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

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

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

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

真值维护系统的语义研究

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

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

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

考虑两种不确定性的模糊决策方法

本文提出了一种新的考虑两种不确定性的模糊决策方法。该方法采用贴近测度SM和阈值λ以决定是否启用某条规则,井用修正函数MF修正推出的结论;然后,再利用专家对规则的置信度SC再一次校正修正后的结论。这种决策方法将为专家系统提供有效的推理工具。本文最后,提出了算法及例子。     

显微组织对NdFeB磁体β（iHc）的影响

研究了显微组织对ＮｄＦｅＢ磁体ｉＨｃ及β（ｉＨｃ）的影响，对ＮｄｘＦｅ９３－ｘＢ７磁体，ｘ从１６增加到２８时，Ｈｃ增加了５５％，β（ｉＨｃ）降低了约１１％；进一步优化显微组织，增加富Ｎｄ晶间相，减弱晶粒间的磁耦合作用及消除晶粒表面的高退磁场区域，不仅可提高磁体的矫顽力，亦可显著改善其矫顽力温度系数。     

类氖锗X光激光双程放大实验研究

本文在神光装置上,进行了类氖锗X光激光双程放大实验研究.实验中使用了硅/钼多层膜X光平面反射镜.用平场光栅谱仪测量了X光激光的时间积分和时间分辨信号.实验证实了X光激光的双程放大.时间积分结果表明,双程放大为单程放大信号的5倍多;时间分辨结果表明,对多层镜的作用时间作修正后,双程放大信号的增强倍数还要大.在本实验条件下,多层镜的寿命约为400—700ps.