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

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

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

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

真值维护系统的语义研究

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

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

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

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

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

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

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

用Fourier方法解半线性抛物型方程双移动边界问题

文[1]就金属板烧蚀中提出的问题,给出了热导方程单个移动边界问题的Fourier型级数求解法。文[2]研究了热导方程双移动边界问题。还有些人研究了抛物型方程移动边界问题情况。但是迄今这一类问题的研究工作集中于线性的情况,对非线性的情况讨论甚少,其它移动边界问题也是如此(参见[3]、[4])。本文是在[1]、[2]的基础上,讨论如下的一类半线性抛物型方程双移动边界的定解问题:     

量子阱非对称法布里-珀罗腔调制器电折变模式蓝移

对于从实验中观察到的GaAs/GaAlAs多量子讲非对称法布里一哨罗腔调制器中电致折射率变化引起的模式蓝移现象,从理论上予以讨论.利用等效光程方法分析了电致折射引起的模式的移动特性,实验和理论符合较好.