民用喷气发动机排故通用思想及其应用

由喷气发动机的共性入手，通过简化物理模型，导出了发动机正常工作的流量连续、燃油控制、稳态恒速、热功平衡四大特征；分析了故障产生的直接因素和控制因素，提出了先以故障现象排查直接因素、再以四大特征分析控制因素、结合检查测试、最终确认故障的通用思想．并总结了各类故障的分析、检查方法，为维修人员理解故障的物理本质和内在联系、灵活运用各种排故检查工具、应对层出不穷表现各异的故障提供了系统的解决方案。     

模糊决策分析方法在新型导弹武器装备试验总体设计中的应用

军事运筹学研究方法的开放性和多样性、模糊数学中定量分析和定性分析相结合的灵活性方法,为新型导弹装备试验总体设计带来新的思路和决策分析方法。文中以试验总体设计为研究背景,给出了模糊决策分析方法的应用实例,为试验工程实践提供参考思路。     

对偶变换及其在冗余度机器人中的应用

给出了用对偶数矩阵来描述冗余度机器人的雅可毕方程的方法，对偶阵及其变换是这一方法的基础，对偶阵方法可使机器人节点参数的描述变得简洁，尤其在可毕矩阵的直接确定过程中这一方法更显得有效，对偶变换这一方法对机器人运动学、动力学、控制系统之建模提供一种简化的有效方法。     

二次有理双圆弧曲线及其在CAD中的应用

阐明了由三点Ｐ０，Ｐ１，Ｐ２确定的双圆弧的连接点可用控制点表示，其轨迹是圆心在Ｐ０Ｐ１中垂线上，半径为的圆弧是（ｌ＝｜Ｐ０Ｐ２｜，θ１，θ２△Ｐ０Ｐ１Ｐ２的底角）。提出了三种满足光顺性要求的选择连接点的方法。证明了用二次有理Ｂｅｚｉｅｒ曲线精确表示圆弧的充要条件是其中ｋ≠０，ω０，ω１，ω２为权因子。进而建立了双圆弧曲线的有理参数方程，即其中Ｆｉ（ｔ）与Ｇｉ（ｔ）是双圆弧基函数。作为应用，最后构造了一类以双圆弧为横向截线的曲面，包括其特殊情形双圆弧锥面和双圆弧柱面。     

动力系统精细算法的逼近机理与误差分析

发现以下３者的协同作用是实现精细算法高精度,高效率的内在机制和根本原因：１）Ａ│ｘ│〈∞,指数矩阵ｅ＾Ｈｘ的Ｍａｃｌａｕｒｉｎ级数展开式绝对收敛;２）初始Ｍａｃｌａｕｒｉｎ级数展开式中的有效展开项总数能够通过递推算法以指数方式扩展;３）新增有效展开项的系数能够通过递推算法以指数或拟指数方式逼近其真值。     

产品概念设计方案的评价方法

概念设计方案的评价方法是设计过程可接受性决策的重要依据.利用模糊数学的理论与方法把各种模糊信息数值化以对概念产品方案进行定量评价,通过建立设计方案评价体系及不同评价指标隶属度、考虑不同指标权重的方法,给出了产品概念设计方案的综合模糊评价方法,从而为产品概念设计提供一种形式化的、科学化的推理决策依据,同时也为产品设计过程自动化打下良好基础.     

离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论.     

不规则结构有限元分析的并行处理及其在YH-1上的实现

在结构分析中,有限元方法是一个重要的数值方法。近些年来,关于单元刚度矩阵计算与总刚度矩阵合成的并行处理问题,A.K.Noor,梁维泰等人已进行了富有成效的工作,但他们的工作都是面向几何形状规则的结构分析问题。本文结合YH—1机的特点,对不规则结构分析问题,在提出单元分组技术的基础上,给出了一个单元刚度矩阵计算的并行算法ESVC,和变带宽存储格式下一个总刚度矩阵合成的并行算法ESVS。通过在YH—1并行机上对实例的计算结果表明:当同时计算的单元数r取120时,加速比s可达9.5,且r愈大,s就愈高。     

小孔节流静压轴承多目标模糊优化设计

在静压轴承的设计中，有许多设计参数属于模糊变量，而且有许多模糊因素（如设计水平、制造水平、材质优劣等）也影响设计结果。为解决这些问题，寻求静压轴承的最佳设计方案，本文推导出小孔节流静压轴承模糊约束多目标优化数学模型，阐述了应用最优水平截集法和扩增系数法，通过二级模糊综合评判，将模糊约束多目标优化问题逐步转化为普通约束单目标优化问题，最后用复合型法求出静压轴承最优解的全部过程，为静压轴承的设计提供了一套更符合客观实际的切实可行的多目标优化方法。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。