在市场经济体制下发展科学技术

介绍了一些发达国家在发展科学技术方面的做法，分析了他们的特点，结合我国科技发展的实际情况，指出了存在的问题，提出了改进科学技术管理工作的建议。     

粒子分辨CCT方法中的δ电子效应

提出了切伦科夫相关时间测量(CCT)中初始粒子在辐射体里产生的δ电子的干扰问题,以及降低干扰的方法. 通过模拟计算给出了北京τ-C工厂探测器初步设计中CCT的π/K分辨本领.     

福建省民营科技企业技术创新的对策研究

民营科技企业成为拉动福建省经济增长的重要力量，成为推动科技进步的主力军。而技术创新是提高企业产品竞争力和企业活力的活动，是推进民营科技企业健康、并持续发展的主要源泉。本文根据福建省民营科技企业技术创新的现状和存在问题，提出一些技术创新的对策。     

立体几何中图形的“补割变化”规律

立体几何中图形的“补割变化”规律陈继武（浙江东阳市教研室３２２１００）立体几何图形的“补割变化”，对高中学生来说并不陌生，因为球的表面积公式和三棱推的体积公式；教材中均是将图形进行“补割变化”导出的．然而，在解立体几何问题时，如何因题制宜地将图形“补...     

把语法教学和语言实践融为一体

本文从人民教育出版社出版的初中义务教育英语新教材(JEFC)的语法教学新思路说起,举例说明初中英语的语法教学必须使用启发式教学并和语言实践活动融为一体,从而达到英语教学整体改革的目的。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

网格计算:全球信息化的下一个里程碑

近几年来，一个不为人们所熟悉的新词“网格”正越来越多地见诸报端，业已成为当今信息技术产业的新热点，众多国家和著名IT厂商都把它列为重要的研发方向。那么，究竟什么是网格呢？网格即下一代的互联网，具体地说，网格是把整个因特网整台成一台巨大的超级计算机，实现各种资源的全面共享，它无疑是全球信息化的下一个重要的里程碑。