大传动比摆线针轮减速机的改进齿形

本文提出采用适当参数的短幅外摆线的等距线替代产生自交的短幅外摆线的等距线或复合齿形作为摆线轮的齿形,以便于既能够保持复合齿形提高效率的目的,又能够简化工艺,提高工效,同时满足摆线齿的修形要求,增大齿顶强度,使啮合传动平稳。文中还给出了一种机型的计算结果和放大的图样。     

新的有希望的氧化剂──二硝酰胺铵(ADN)

二硝酸胺铵（ADN）分子式为NH4N（NO2）2。，不含卤素，能量密度高，高温稳定性好，作为推进剂，燃烧不产生烟，是复合推进剂中最有希望的替代氧化剂之一。据美国推进与动力杂志载文，英国剑桥大学用高速摄影方法研究了ADN与GAP粘合剂的冲击响应。结果表明，ADN的粉末比高氯酸铵稍稍敏感（在他们所用的落锤仪上）。试验还发现，ADN能被高熔点粗砂（60μm硬玻璃粉）和脆性聚合物敏化，高密度聚乙烯可抑制其爆燃。新的有希望的氧化剂──二硝酰胺铵(ADN)@文战元     

复合推进剂高压下侵蚀燃烧特性的研究

讨论了少烟丁羟合推进剂高压下侵蚀燃烧与装药装填密度的关系，给出了计算变截面装药气流速度方程，总结了在此推进剂在Ｐ≥１５．０ＭＰａ下侵蚀燃烧规律，为装药设计提供了依据。     

多变量非线性非定常气动力的模糊逻辑模型

应用模糊逻辑算法，建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型，并进行了验证，结果表明：所建立的非定常气动力模型逻辑模型有较强的预测能力，此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型，提供很好的借鉴。     

关于复合函数极限几个定理的探讨

本文对复合函数的极限做了细致的讨论，给出了6个定理。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

电沉积CeO2/Zn纳米复合涂层

将纳米氧化铈颗粒加入镀锌液中进行复电沉积制得纳米复合涂层。通过失重法，ICP，SEM和XRD方法探讨了纳米氧化铈颗粒对电沉积锌涂层的影响。结果表明，在同样的电沉积条件下，纳米复合涂层的耐蚀性明显提高，而微米复合涂层的耐蚀性只稍有改善；纳米复合涂层中氧化铈的含量高于微米复合涂层中的氧化铈含量。纳米氧化铈颗粒改变了锌涂层的表面组织形貌和晶体结构，从而提高了涂层的耐蚀性。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

深层搅拌法技术及其工程应用

深层搅拌技术是对软土地基进行处理的较常用技术 ,它具有加固效果显著、形式灵活多样、环境无污染、施工机具简单、施工速度快、节省投资等优点 ,目前在地基处理和基坑工程中广泛采用。本文主要阐述该技术特点及在地基处理工程中的应用 ,对同类工程设计具有重要的参考价值。