Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

提高聚氨酯推进剂基体粘结强度的途径探索

聚氨酯的水解稳定性较差,粘结强度偏低。将端羟基聚丁二烯与聚氨酯进行共混改性,提高了聚氨酯基体的表观交联度及推进剂的拉伸强度。采用示差扫描量热法和红外光谱法分析基体共混物的微观结构,表明这是提高聚氨酯基体粘结强度的一条有效途径。     

Lanchester方程与火力指数的内在联系

本文从Lanchester 方程出发,利用正矩阵的特性,将矩阵特征向量与火力指数有机地联系起来。通过例子进一步说明火力指数是Lanchester 方程中威力系数概念的推广;它不仅与武器本身有关,而且依赖于整个战斗的武器配系。当某些种类的武器被摧毁,战斗格局发生一定变化时,火力指数也会发生变化。火力指数还决定于火力分配原则。     

内外干扰因素对液体火箭发动机的影响分析

在已有的液体火箭发动机稳态工况的非线性数学模型基础上,计算分析了单干扰因素对液体火箭发动机参数的影响,用非线性方法和小偏差方法对比分析了两个干扰因素分别和共同对发动机参数的影响。所得结论可用于泵压式燃气发生器循环的液体火箭发动机试验结果分析、可靠性及故障分析,也揭示了此类发动机参数随各种干扰因素的变化规律     

反应堆轴向功率不均匀系数快速算法

本文提出了用于反应堆运行现场安全校核的反应堆轴向功率不均匀系数的快速算法,导出了轴向功率不均匀系数的快速计算式。     

拉压异性材料楔体的极限载荷分析

利用莫尔屈服准则,对一侧承受均布垂直载荷作用的拉压异性材料楔体进行了极限载荷分析。计算结果表明,考虑了材料的拉压异性影响,楔体承受的极限载荷有明显提高。     

机械零件可靠性在应力-强度分布特性下的计算模型

根据应力-强度分布特性下的干涉理论,确定了机械零件在应力-强度诸分布情形下的可靠性计算模型,将应力、强度、结构和可靠性计算联系起来。     

采用改进遗传算法的舰载机保障调度方法

舰载机保障作业过程受到多种资源约束,同时可能存在突发事件的干扰。针对此特点,分析并制定干扰情况下的模型修正策略。在遗传算法中引入禁忌搜索算子改进传统遗传算法的变异操作,并通过具体实例进行仿真验证,其结果证明改进后的遗传算法在优化含干扰事件的多机保障问题时效率更高,并通过甘特图直观地反映重调度方案,为真实情况下有效处理舰载机保障过程中的干扰事件奠定理论基础。     

Enhancing the explosive characteristics of a Semtex explosive by involving admixtures of BCHMX and HMX

A well-known ternary plastic explosive, Czech Semtex 1H, contains a mixture of PETN and RDX softened by SBR. In this work, BCHMX was used to replace PETN in Semtex 1H to form Sem-BC+RDX. In addition, another mixture based on BCHMX and HMX as energetic fillers bonded by the polymeric matrix of Semtex 1H (Sem-BC+HMX) was studied. The particle size distribution of each individual explosive was determined to obtain the optimum mixing conditions. Friction and impact sensitivities were determined. The velocity of detonation was reported practically and the detonation properties were calculated by EXPLO5 code. The explosive strength of each sample was measured by the ballistic mortar test. The conclusion confirms that the velocity of detonation of Sem-BC+HMX was the highest in comparison with the prepared samples. Sem-BC+RDX has the least impact and frictions sensitivities. Sem-BC+RDX has higher detonation velocity, detonation properties and explosive strength than Semtex 1H. Addition of BCHMX in Semtex 1H as a replacement for PETN is the candidate to produce a high performance advanced Czech plastic explosive.