不同曲率弯管对气相爆轰波传播特性的影响

采用附加Runge-Kutta方法,5阶加权无震荡格式和基元反应模型,对规则爆轰波在15°,20°,30°,40°,45°,60°光滑弯管的传播过程进行了数值模拟. 本文采用的基元反应模型是9组分48反应模型,反应气体为满足化学当量比的H₂/O₂混合气体,并用氩气稀释. 分析数值模拟结果发现所有弯管胞格结构都从规则变为不规则,随着弯角度数的增加,爆轰胞格结构从有到消失,爆轰波从没有熄爆区到有熄爆区,30°是有无胞格消失区、产生熄爆与非熄爆的临界度数;在一定压力下,大于30°的弯管下游都会产生重新起爆的现象;由于弯管的复杂性,爆轰波的反射在下壁面存在马赫反射和规则反射两种模式.     

考虑粒子阻碍效应的再结晶元胞自动机模型

为了更合理地仿真第二相粒子材料的再结晶过程,在单相材料再结晶元胞自动机模型中引入Zener亚晶长大阻力和小粒子钉扎晶界的元胞取向转换规则,创建了细小的第二相粒子材料的再结晶元胞自动机模型,实现了铁素体钢板的再结晶退火过程仿真.结果表明:所建模型全面考虑了变温-回复、晶粒变形储能不均、亚晶异常长大形核机制和小粒子阻碍效应的综合影响,模拟的组织演变及其动力学分析揭示了与理论和实际相符的规律:小粒子尺寸越小、数量越多,再结晶抑制效应越强,再结晶的孕育期及过程越长.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

13-Bit多速正六边形格子气自动机模型

建立了具完全对称性的多速正六边形格子气自动机模型,通过对典型绕流问题的计算模拟,证明了模型的正确性和有效性。     

相邻蜂窝流动通信量编路分析

根据蜂窝式移动通信中平均和瞬时的电信量,对蜂窝重叠区采用流动通信量编路法,使其通信量达到最大值．并对其性能进行分析比较．     

d维自助式类渗流细胞自动机模型临界值为零的一个充分条件

研究了d维自助式类渗流细胞自动机模型的临界值问题．对于一类控制定向模型且被修正基本模型控制的自助式渗流模型,利用外生成思想,得到其临界值pc＝0的一个充分条件．     

互连网络诊断性与容错性的细胞图自动机算法的串行模拟

本文对作者以前提出的细胞图自动机算法,给出了串行模拟结果,特别地给出了这些串行模拟程序对几种重要的互连网络如超立方体,交叉立体和Ｍｏｂｉｕｓ立方体模拟的一些具体结果及效率分析．     

泡沫金属材料可压缩塑性力学有限元计算公式

介绍了泡沫金属材料可压缩塑性力学的基本理论;并根据该理论模型推导出三维空间情形、平面应力情形、平面应变和轴对称情形的有限元计算公式。从而为用连续本构模型模拟泡沫金属材料的可压缩塑性行为提供了计算依据。     

基于元胞自动机的企业生产过程的研究

为减少和预防企业生产中意外事故的发生,将元胞自动机理论应用于企业生产过程的研究,建立了某企业生产中基层-员工执行系统的元胞自动机模型.通过对安全生产的个人因素和环境因素在不同状态下的模拟和分析,认为员工遵守规章规程的程度是影响企业安全生产的关键因素之一;并在此基础上,建议企业多关注于如何保证政策法规被规范执行,以缩小实际操作与规则规程之间的差距.这为企业安全生产的研究提供了一种新的思路.