技术联盟的共生演化分析

企业组建技术联盟的根本目的,就是基于自己能力缺陷,分散风险,降低研发成本,共享技术收益,是一个典型的利益共生体.Logistic生物种群共生进化模型给技术联盟共生体提供了一个分析框架.分析结果表明:对于主体不均等的技术联盟,主导企业从合作伙伴中获得的收益是非常有限的,远远低于自己对伙伴企业的贡献,并且这种联盟方式要求企业之间的分工程度要高;而对于主体均等的技术联盟而言,双方的贡献相差不大,都相对比较小.技术联盟企业通过分工形式形成各种关系,以激烈的竞争维持着共生模式的稳定性.     

利用纠缠转换实现任意二粒子态的隐形传输

通过量子通道实现未知粒子态或量子比特的隐形传输,自1993年[1]提出以来,受到了许多理论与实验工作者的关注.二粒子纠缠态可通过三粒子GHZ态实现隐形传态[2];也可通过三粒子非最大纠缠态或两对二粒子非最大纠缠态实现概率隐形传态[3,4].     

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

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

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

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

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

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

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

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

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