基于壁面滑移修正的凝胶推进剂流变本构方程

为了调研壁面滑移现象对凝胶推进剂管道流动的影响,对凝胶推进剂及3种模拟液在直圆管中的流动进行了研究。对直圆管流动实验采集的流动数据进行壁面滑移修正,得到了壁面滑移速度公式。构建了考虑壁面滑移修正的幂律本构方程,计算出考虑滑移速度的沿程阻力系数和广义雷诺数及二者的关系。采用PIV实验并结合数值仿真,得到管道输送过程中的真实内流场速度分布以及壁面有滑移和无滑移的速度剖面图。研究表明:经过壁面滑移修正可见推进剂及模拟液幂律本构方程是唯一的;通过沿程阻力系数的计算和管道内流场PIV实验两方面验证了所用修正方法和所建流变本构方程的正确性和适用性。      

飞机结冰的不确定性量化研究进展

为深入认识影响飞机结冰的不确定性及其研究方法,从自然条件结冰、冰风洞试验、数值模拟等方面,介绍了飞机结冰不确定性来源,以蒙特卡洛法、多项式混沌法和随机配置法等为例,系统分析了各种不确定性量化方法在计算能力、求解精度等方面的优劣。考虑飞机结冰不确定性量化处于起步时期,重点综述了数值模拟中结冰条件不确定性对冰形和气动特性的影响。从结合单步法和多步法确定最佳结冰时间步长来提升结冰计算精度和效率、对其他关键部件进行结冰不确定性量化从而为更精细化的防/除冰系统的设计提供支撑,以及通过建立高精度的代理模型来代替原本复杂的数值模拟系统以应对考虑多个不确定性因素共同作用所带来的计算挑战等多个方面,全面展望不确定性量化方法及其在飞机结冰应用中的发展方向。     

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

发动机榫头/榫槽接触问题的可靠性形状优化设计

在结构可靠性形状优化的基础上，推导了接触问题随机有限元的灵敏度解析分析表达式，给出了优化分析的基本步骤，并对某发动机燕尾型榫头／榫槽接触结构，选取榫头齿颈宽和齿面倾斜角为设计变量，以榫头最大拉伸应力、齿面挤压应力及可靠度指标为约束条件，对榫头边界上节点的最大当量应力进行了优化分析。结果表明，优化后榫头和榫槽接触面上的接触压力、当量应力及可靠度指标的分布更加均匀，验证了优化分析模型的合理性及所提出的可靠性形状优化设计方法的有效性，为榫头／榫槽的结构设计提供有价值的参考。     

用广义乘子法求解航天器最优平面再入轨迹

从纵向平面无量纲航天器质点运动方程出发，引入了能量参数对运动方程进行推导，使得运动方程和优化问题易于处理。通过将优化变量转化为分段连续的线性函数和Runge—Kutta数值计算方法，将轨迹优化问题转化为非线性规划问题，应用广义乘子法对其进行数值分析，给出了不同航程要求下．总加热量最小，满足终端要求以及过载、动压、热流约束的航天器最优轨迹，并分析了其特点。     

基于性能退化数据的液体火箭发动机可靠性Bayes评定

性能退化表征的是产品的工作能力随时间逐渐降低的现象。对于液体火箭发动机等试验费用昂贵的高可靠性产品,失效时间数据难以得到,此时性能退化数据是评定其可靠性的重要信息。文章提出用线性随机过程模型来描述产品性能参数逼近临界值的过程,再根据产品的失效机理,推导出产品的失效分布函数形式。相对于传统的寿命分布模型,文中推导的失效分布函数中的参数因物理含义明确而易于通过实时跟踪测量性能参数时间序列数据估计得到。文中还通过一个数值实例说明了该方法在工程上应用的有效性。