纤维缠绕复合材料壳体中金属嵌件的受力分析及优化设计

本文对一纤维缠绕复合材料壳体中金属嵌件进行了受力分析及形状设计。通过受力分析与设计使得复合材料与金属嵌件接触面应力分布合理化，保证了接触面的变形协调，得到了优化的金属嵌件形式。     

二次抛物线型面喷管参数的优化选择

二次抛物线型面是火箭发动机喷管较常用的一种型面，对其参数进行优化选择是必要的，在喷管型面长度和出口扩张半角确定的条件下，优化方法是把比冲作为目标函数，利用一维等熵流的气动力公式，二次抛物线型面的几何关系和计算机求极大值方法，确定达到比冲最佳值的设计变量一喷管初扩张角和出口马赫数。     

连续逻辑DYL电路在测试系统中的应用

本文利用DYL多元逻辑电路的特点,提出求极值和中间值的“地址”的方法和电路。使DYL多元逻辑电路的应用更加完善。     

一种新的四路激光跟踪坐标测量系统的基点标定方法

在激光跟踪三维坐标测量系统中,系统首先要经过标定,才可以进行实际测量。因此系统标定的准确度会直接影响系统最终测量准确度。为了提高标定准确度,提出一种新的标定方法,即利用直线法原理,在优化布局下,采用两路激光干涉仪测量出基点的三维坐标。仿真结果表明目标点相对于基点呈对称分布时,测得的基点坐标准确度比非对称分布时高6到7倍,并通过实验得出了在该优化布局下的基点坐标。     

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

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

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

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

微重力下管肋式空间辐射器的整体优化分析

建立了向一重力环境下管肋式空间辐射器传热过程的数学模型，并以单质量散热量最大和热载体驱动功率最小为优化目标，对管式空间辐射器进行了优化分析。     

平面度误差目标函数凸凹性的研究

证明了平面度误差最小区域评定法的目标函数是二维欧氏空间R2 中的连续、不可微的凸函数 ,从而证明了目标函数的全局极小值是唯一的。     

军用装备大规模可编程逻辑器件设计计价方法

大规模逻辑编程器件已在军用装备中得到了广泛应用,但目前为止国家还没有相关文件和标准明确其价格评估.长此以往对军用装备的质量必将产生一些不利影响.同时,缺乏科学成本预测工具和价格审核手段的现状,对装备经费资源也会造成很大浪费.根据实际工作经验,分析了影响大规模逻辑编程器件设计价格的主要因素和注意事项,提出了一套大规模逻辑编程的新评估计价方法.     

基于置换群的可逆逻辑门网络级联

n输入n输出可逆逻辑门的级联构成一个群,它与对称群Sτ同构。本文研究了生成Toffoli门集合的可逆逻辑门数的特点,证明了任意置换Sn可以由n-轮换δ和一个置换τ=（ij,ik）生成,同时证明了相邻2一轮换可由至多两个NOT门在不增加额外信息位的情况下生成。最后提出了一个基于上述理论的可逆逻辑门网络级联算法,并通过实例验证了该算法的正确性。