基于演化博弈的武器装备研制合同定价模型研究

针对合同的动态性，提出利用基于演化博弈建立定价模型。考虑到决策群体中个体的认识误差，对所建立的定价模型进行修正，建立带偏离的定价模型并分析了偏离对均衡解的影响。最后将以上模型应用实例进行比较分析。     

关于半线性热方程的死角性质

本文考虑下述问题：这里，．本文证明了在发生死角时只有有限个死角点．     

粒子分辨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]的基础上,讨论如下的一类半线性抛物型方程双移动边界的定解问题: