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

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

跟踪目标的动态模型问题的评述

本文提出跟踪飞机一类机动目标的动态模型,对这些模型的特点和应用范围作出评述。     

成型铸钢件的缺陷形貌与评定

本文在显微形貌分析的基础上,运用断裂力学的方法,对射流消能器铸钢缺陷进行了分析,预测了其疲劳寿命,给出了初始缺陷的评判标准。切剖检测和跟踪统计表明,理论结果与实际情况一致。     

解冻焦散线方法与应力强度因子K_Ⅰ,K_Ⅲ的测定

本文提出了解冻焦散线的实验方法,这是一种应用光弹切片技术获得模型内部任一点焦散线图象的方法。将它用于测定平面应变状态裂纹的应力强度因子K_1,K_2,获得了满意的结果。     

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

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

嵌段聚氨酯弹性体的动态力学性能研究

以预聚体法合成了两嵌段聚醚—聚酯型聚氨酯弹性体。研究了配料比、氨酯基浓度及固化剂用量等对该体系动态力学性能的影响。发现:该嵌段共聚物是完全相容的,其玻璃化转变温度T_g与聚醚含量呈线性关系;固化剂用量对该体系的T_g亦有影响。此外,对于聚酯氨酯体系,其T_g值与氨酯基浓度U亦呈线性关系。     

齿轮疲劳裂纹监测方法的研究

本文通过分析齿轮疲劳裂纹振动信号的特点,建立了一套以信号平均、滤波、移频等相结合的诊断方法。经实例验证,它是一种方便、有效的诊断方法。     

12.7mm高射机枪模态试验与分析

本文利用实验模态分析技术和有限元法研究机枪—土壤系统的动态特性,通过模态试验获得机枪在硬质土壤支撑条件下的低阶模态信息,据此对机枪有限元模型的边界条件进行模拟,并从动力学角度分析影响射击精度的主要因素,为进一步研究机枪结构动力修改和质量评估提供依据,