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

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

真值维护系统的语义研究

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

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

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

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

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

广义拓扑分子格中分子网的θ—收敛性

本文在广义拓扑分子格中建立了分子网的Ｍｏｏｒｅ－Ｓｍｉｔｈθ收敛理论。借助于此理论，我们得到了刻划弱连续序同态的三个特征定理。     

铝酸锶铕的合成与发光的研究

本文详细报导4(SrEu)O·7Al2O3.磷光体的合成及激活剂Eu2+离子浓度、硼酸、五氧化二磷等对磷光体发光强度,发射光谱和激发光谱的影响.讨论了不同Eu2+离子之间的能量传递.测量了不同Eu2+浓度下磷光体的荧光寿命和长余辉特性.     

多金属氧酸盐α-Na6H[GeW9Fe3(H2O)3O37]·16H2O的合成和光谱

合成了多金属氧酸盐α-Na6H[GeW9Fe3(H2O)3O37]16H2O，通过元素分析、红外、紫外、光电子能谱、极谱和穆斯堡尔谱等手段进行了表征，并讨论和研究了该配合物的谱学性质。     

慢波导环形换能器指向性的计算机计算程序

本文利用有限而元式Helmholtz积分方程法完成了慢波导环形换能器指向性的数学计算程序。文中给出了程序中所用的各种数学表达式,计算程序方框图以及计算题例。计算题例中计算机计算结果与实际测量结果基本上是一致的。     

不同生境半夏及炮制半夏中鸟嘌呤核苷的含量测定

采用反相高效液相色谱法测定不同生境半夏和炮制半夏中鸟嘌呤核苷的含量.不同生境的半夏中鸟嘌呤核苷的含量并无差异,但炮制半夏中鸟嘌呤核苷含量较生品均有不同幅度下降.从水溶性成分鸟嘌呤核苷的含量看,种植半夏质量并不比野生半夏质量差;半夏在炮制过程中水溶性成分有所损失.