变螺距螺纹加工的参数化编程

文章阐述了变螺距螺纹加工的编程方法,探讨了用宏程序实现变螺距螺纹的参数化编程,提高了编程效率,增强了程序的灵活性和通用性。     

基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

旋翼/机身组合模型试验台技术改进及验证

中国空气动力研究与发展中心研制的旋翼/机身组合模型试验台,具有阻塞度小、功率大、支架干扰小等优点.近年来,试验台通过配套研制标模系统、改进测量系统及旋翼操纵系统标定方法等工作,使试验台的水平和能力得到了进一步的提升.验证试验表明:该试验台技术先进、性能指标优良,安全稳定性好,试验数据精准度高,可作为直升机型号研制和课题研究可靠的试验平台.     

具有参数编程功能的陶瓷刀片磨削加工数控系统

提出了一种适用于陶瓷刀片加工的新的插补算法,介绍了基于此算法的陶瓷刀片磨削加工数控系统。此插补算法大大简化了系统设计,提高了刀片的加工精度。用该系统精心设计的５个加工指令,即可完成所有标准刀片和大部分非标准刀片的加工编程。利用系统的参数编程功能,操作者只需选择刀片形状并输入刀片参数,系统可自动生成零件加工程序,完成刀片的加工。     

Ahmed 模型的流固耦合数值计算方法探索与实验验证

流固耦合效应会影响汽车行驶安全性,对该效应的数值模拟方法的可信度需要验证。以 Ahmed 模型作为数值仿真和实验验证的对象,数值计算是流体计算与结构计算两部分耦合,配合风洞实验的位移、压力测量技术与流场显示技术(烟流法、丝线法)与之比较,数值模拟与实验所得位移结果之间的差异始终在20%以内。从流场结构角度分析得到流固耦合效应影响气动力的机理主要在于流场中涡的拓扑结构变化。为将来数值研究时变侧风下车辆的流固耦合问题提供实验及理论依据。     

动态有限元模型建立的逆方法

本文介绍一种用测量的特征对(归一化振型和固有频率)建立结构系统动态有限元模型的方法。有限元模型用质量和刚度参数表示,这些参数由正交条件和特征方程的加权欧氏范数取极小值来确定。对不完全测量特征对条件下解的唯一性和不完全测点集的处理方法进行了讨论。文中给出的实例表明,这里提出的方法是可行的。     

结构动特性计算的广义模型物理化方法及应用

大型组合结构动特性计算往往采用子结构模态综合技术。子结构模态综合技术是将大型结构划分多个部件,将部件按照模态坐标展开为广义模型,再将广义模型进行综合,获得整体结构动特性。本文给出一种将部件的广义模型和物理模型直接综合的方法一广义模型物理化方法,并提供了方法在Nastran软件的实现途径。该方法不同于传统的子结构综合方法,能够将广义模型直接按照物理模型看待,从而将广义模型直接和物理模型进行综合,避免了繁琐的模态综合过程,使得对广义模型的理解和使用更加直观。文章晟后给出了广义模型物理化方法的验证算例以及工程应用实例。     

拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。     

二次约束优化方法在结构动力模型修正中的应用

将二次约束优化方法应用于结构动力模型修正问题中.该方法将模型修正问题转化为一个带二次约束的最优化问题.应用奇异值分解,给出了结构模型修正的数值方法,并进行了数值实验.通过与其他方法比较,本文提出的方法是有效的.     

基于嵌套赋时多色图的工作流模型

为了满足扩散制造流程建模中递阶分层结构的定义和不确定运行时间的表达,通过对多色图的研究和改进,提出嵌套赋时多色图,用以构建扩散制造中的工作流模型.在此基础之上,给出工作流结构约束规则,检查结构可达性、合理性、输入/输出惟一性等,避免流程模型中出现不良结构.在流程时间分析中,利用基本结构的时间计算求解流程整体时间.引入时间裕度的概念,并在时间维分解任务节点,将多色图映射为时间距离图.利用Floyd-Warshall算法判断时间一致性,进而确定任务起止时间.以某装备的贮箱部件扩散制造为倒,对方法进行了验证.     

一种基于实体模型的三轴数控加工刀轨生成算法

实体模型是几何造型的高级模型,它具有完整的曲面拓扑关系,国内基本实体模型的数摈加工算法的需求日渐迫切,本文提出了一种适合实体模型的三轴数控加工刀位轨迹生成算法;首先根据加工行距作一组平行于刀轴的平面,与模型的待加工表面求交,得到一系列交线,再根据加工步长规划另一组与上述平面垂直且平行于刀轴的平面,与上述交线求交,得到一交点网格,判断刀具与数据点的位置关系从而得到刀位轨迹。     

基于非线性模型预测控制算法的亚轨道再入轨迹优化

针对升力式飞行器再入终端需要满足窗口约束条件的情况,提出了一种基于模型预测算法的再入轨迹优化方法。该方法利用预测模型和滚动优化策略将非线性多约束优化问题转化为线性优化目标函数,并采用二次规划法求解该轨迹优化问题,得到了满足相应约束的亚轨道再入轨道。以某升力式再入飞行器为对象进行了纵向轨迹优化计算,仿真结果验证了该轨迹优化方法具有较高的精度和计算效率。     

单片微机在控制模型姿态角中的应用

用廉价单片微机８０９８装置（包括单片机外围芯片、辅助电路、角度显示器、控制程序等），控制多台大功率步进电机，实现模型姿态角的控制，并对如何利用软件来提高步进电机的运行频率，模型姿态角β、α和下转盘进行跟踪显示等有关技术进行了探讨。     

战时航空油料的优化调拨

针对战时航空油料调拨的特殊情况,对油料调拨的过程进行了系统分析,并利用线性规划及网络的有关理论建立了战时油料优化调拨的数学模型,同时给出了模型求解的程序化步骤,以便计算机实现。该模型及其求解过程具有通用性,适用任一战区,较好地解决了战时诸如运输路线的选择以及油料供应点、运输线路遭到破坏等情况下的油料调拨问题。     

一类短生命周期产品的订购与定价联合决策模型

研究了一类短生命周期产品在价格依赖(加和)随机需求下的订购与定价联合决策问题。根据一类产品单周期两阶段销售的营销特性,首先以集中式系统的视角研究了其联合最优决策,并应用随机动态规划模型刻画了集中式系统的最优决策;然后,证明了其期望利润函数关于各决策矢量的凹性,并给出了确定最优决策矢量的迭代搜寻算法;最后,应用数值实验对决策结果进行了分析。研究表明:系统的绩效主要来自于销售的第一阶段,经营者应当更注重该阶段利润的挖掘。     

试论高级程序设计语言的设计与评价标准

高级程序设计语言的设计与评价标准是长期以来人们一直关心并争论的问题。我们在分析了数十种很有影响的高级语言的基础上,提出了有关程序设计语言设计与评价标准的十个主要指标。本文首先介绍了各个标准指标的选择依据,并对可靠性、可读性、可维护性、效率、可用性、灵活性、可移植性、自然性、一致性与简洁性进行了详细的讨论,最后给出了一些分析实例。     

惩罚函数法在发动机性能计算中的应用

按照涡喷发动机工作时遵守的气动热力学定律,建立了发动机的稳定数学模型,并针对双轴涡轮发动机性能计算的非线性数学模型,利用优化和最优控制理论中的惩罚函数法,对发动机性能进行了基于约束的最优求解程序设计,利用程序对某型发动机的稳定飞行特性进行了计算,计算结果表明,使用惩罚函数法求出的特性曲线变化规律正确,发动机平衡方程的解的精度更高,在此基础上得出的发动机飞行特性也更准确。另外惩罚函数法对初值的要求很低,迭代运算不易发散。