Jobshop问题中动画仿真模型的自动生成系统

对于给定目标,仿真过程可大致分为仿真建模,程序实现,仿真结果的统计分析三大部分,其中仿真建模是最基础的,关系整个仿真成败的环节,如果能够在仿真模型完成后自动生成相应的仿真程序,不中大大减少了工作量,还可使工作者集中精力于仿真建模,使模型更准确,更优化,本文以Ｊｏｂｓｈｏｐ问题为例,给出了一中基于ＳＩＭＡＮ／ＣＩＮＥＭＡ软件的动画仿真程序自动生成系统,但该系统整体设计思想并不局限于ＳＩＭＡＮ／ＣＩＮ     

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

基于SSI模型的加速应力试验定量评估方法

为了解决传统应力-强度干涉模型(SSI,Stress-Strength Interference)不能对加速应力试验(AST,Accelerated Stress Testing)进行可靠性指标随时间变化的定量评估问题,针对应力和强度均引入了随机过程进行描述.首先假设了产品强度退化过程和应力变化分别为漂移布朗运动和对称布朗运动.其次,为了解决Basu的布朗运动SSI模型在零时刻可靠度为1的问题,从工程角度,假设产品设计制造过程与试验或使用过程相互独立,提出了产品可靠性是设计生产决定的固有可靠性以及试验使用过程确定的使用可靠性的串联结果.通过将传统应力强度干涉模型结合Basu的布朗运动SSI模型,建立了与时间相关的应力强度干涉模型IMSDⅠ,并给出了相关评估方法.基于将加速应力试验与加速退化试验相结合,改进了已有的AST试验方法,扩大了试验数据量,最后,通过仿真算例验证了本文模型和评估方法的理论正确性和工程可实施性.      

计算机网络防御策略模型

目前计算机网络防御研究中缺乏高层且易于细化的策略建模方法,因此在分析Or-BAC模型(Organization Based Access Control model)的基础上,对网络防御控制行为进行抽象,建立计算机网络防御策略模型(CNDPM,Computer Network Defense Policy Model).该模型对保护、检测和响应等策略进行统一建模,并引入角色、视图、活动自动分配的方法,以提高分配的效率,同时给出了策略到规则的推导规则,以细化为具体的防御规则.还给出了策略的完备性、有效性和一致性的形式化描述及分析.实例分析表明,该模型表示的计算机网络防御策略,能够有效地转化为防御规则,具有较好的实用性和扩展性.      

统一硬化模型在复杂加载条件下的应用

超固结土模型是能够描述土的剪缩、剪胀、硬化、软化和应力路径依赖性等特性的简单、实用的模型,与剑桥模型相比,仅增加了一个材料参数(Hvorslev面斜率).采用基于SMP(Specialy Mobilized Plane)强度准则的变换应力方法对模型实现了三维化.在模型中应用加卸载准则来反映复杂加载条件下土体的应力应变特性,模拟了随着循环次数的增加,土体会逐渐变硬,剪切模量逐渐增大、孔隙比减小、超固结程度不断增大等趋势.由循环加载以及真三轴试验数据和预测结果的基本吻合表明了模型能够合理地反映复杂加载条件下土的变形特性.      

基于点线关系的透视图消隐算法

准确获取建筑物的三维形体信息,在军事和民用上都有非常重要的意义.针对建筑物三维形体获取过程中的消隐问题,提出了一种基于点线关系的三维透视图消隐算法.结合后向面判别法和光线投射算法,利用三维表面模型中点、线、面的遮挡关系和视平面域上的包含性规则,进行边界线段的显、隐程度检查,实现对模型的消隐处理.实验结果表明,该算法数据结构简单,建立的透视投影计算模型正确且消隐算法有效,为地形地物透视图的消隐提供了一种新的方法与支持手段.     

基于路径相关本构模型的大型薄壁曲面复合材料零件固化变形分析

大型薄壁曲面复合材料零件多采用热压罐工艺成型,在固化过程以及脱模过程会产生变形,导致零件变形超差,部件装配困难。针对此问题,本文首先采用路径相关本构模型对其固化成型过程进行分析,然后进行热压罐成型试验验证理论分析结果,就此采用反向补偿法修正模具型面。仿真结果表明,某大型薄壁曲面复合材料零件成型后最大位移为11.121 mm,最小位移为0.171 mm,分别发生在对称轴方向短边的边角点和靠近对称轴方向短边的边角点;零件在变形较大的两侧边和短边处残余应力较大,与变形较小的长边相差7 MPa左右。仿真结果与试验结果吻合良好,固化变形平均误差为8.6%。使用补偿后的模具再次进行固化变形仿真,使该零件的最大固化变形降低了70.8%。     

热防护系统损伤容限分析

建立了含初始矩形损伤的热防护系统(Thermal protection system,TPS)气动热分析的CFD数值模型,分析结果表明损伤区域侧壁出现了很高的热流密度峰值,并且迎风面侧壁峰值高于背风面,而损伤区域底部热流密度却很低。利用分析获得的热流密度建立了含损伤和无损伤TPS的有限元传热分析模型。分析结果表明:损伤的存在导致防热瓦最高温度急剧上升,超过其材料能承受的极限温度(1 500℃),防热瓦首先失效,而损伤对机体最高温度影响较小。最后进行了TPS损伤容限分析,在防热瓦极限温度约束下,外部热流密度最大值从100kW/m2增加到140kW/m2,矩形损伤宽度最大容许值从22.7mm减小到12.6mm,而弧形损伤宽度最大容许值从34.6mm减小到25.1mm,即随着外部热流密度最大值增加,损伤宽度的最大容许值降低,并且相同外部热流密度水平下弧形损伤宽度的最大容许值大于矩形损伤。     

空间载荷机柜热控设计的仿真研究

空间站主动热控系统的作用是提供和保持航天员、仪器设备和结构部件所要求的温度、湿度和风速等热环境。本文以空间载荷机柜为热控系统的基本单元,建立了以单相流体循环回路为基础、采用液冷结合风冷的冷却方式的载荷机柜数学模型;介绍了模糊增量控制算法的工作原理;提出了采用模糊增量控制算法,以液冷支路进出口温差和风冷支路冷却量占总冷却量的比值为控制目标的反馈控制策略。同时文章采用数值模拟方法研究了控制系统的动态响应效果。仿真结果显示,模糊增量控制算法具有响应迅速、超调量小、无静态误差的特点,控制策略满足有效性、稳定性和高精确度的要求。     

基于飞行资源分离的航班延误传播研究

在航班串设计及机组排班过程中,经常涉及飞行资源(飞机、机组)分离的问题。而延误航班的飞行资源分离将导致共享资源的衔接航班发生延误,并传播至后续航班串。本文考虑带有飞行资源分离的航班串,利用基于贝叶斯网络的比例风险回归模型,对资源分离后的航班离港延误进行分析。对比两种不同时刻飞机与机组资源分离方案下,各延误因素对衔接航班离港延误,以及整个后续航班串延误时间的影响,结果表明,不同时刻分离方案会造成不同的延误传播效果。本文为飞机、机组资源分离时刻的选择提供了定量分析方法,结果表明,资源分离时刻的不同对衔接航班的离港延误,以及整个后续航班串延误波及时间的影响都不同。