粒子分辨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等原来的算法。     

惯性约束中子测温的误差研究

综合分析了ＩＣＦ（惯性约束）中子测温系统的误差与其参数的关系，这些参数包括靶核温度，探测的中子数、靶到探测器的距离、探测器的响应函数以及闪烁体厚度等，考虑到中子与探测器的相互作用，探测器的响应与靶的烧蚀过程，在此基础上提出了新的统计误差计算方法，该方法对于改善中子测温的相对误差并应用于闪烁体的设计具有重要意义。