Numerical simulation of microstructure formation ofAZ91 using mCA method

A stochastic model for simulating the microstructure formation of Mg alloy AZ91 during solidification was developed based on the finite element method（FEM） for macroscopic model of heat transfer calculation and a modified Cellular Automaton （mCA） for microscopic modeling of nucleation, growth of crystal. In this model, the effect of solute redistribution, interface curvature and preferred orientation was considered. A numerical simulation was developed with C＋＋ program language. The computation was carded out to understand the effect of varying processing parameters, such as nucleation parameters and heat transfer coefficient, on the microstructure formation of AZ91. The result of simulation was displayed on screen.     

自动协议逆向工程研究综述

全面梳理了该领域国内外相关文献,归纳分析了自动协议逆向工程的研究现状和发展趋势。为了更清晰地刻画不同方法的特点和比较异同,提出一种基于协议逆向工程输出结果的分类方法,将协议逆向方法分为侧重于协议格式提取、侧重于协议状态机推断、侧重于完整协议规范描述、侧重于其他输出结果四类,并据此进行分析和比较。基于目前的进展情况和进一步的问题剖析发现,复杂交互场景分析、链路层协议逆向、加密协议分析以及协议状态机优化等应作为自动协议逆向工程领域下一步的重点研究方向。     

基于CAFE法的单晶铜杆热型连铸过程晶体生长模拟

基于元胞自动机(CA)和有限元(FE)耦合法对单晶铜杆热型连铸过程中晶粒生长及演化过程进行了模拟,获得了稳定状态下铸棒内温度分布及液固相界面的位置和形态,模拟了连铸初期沿热流方向细小等轴晶快速合并形成柱状晶的过程,采用截面形态和极图法分析了定向凝固条件下各个生长时刻的晶粒形貌和晶粒生长取向以及晶粒竞争生长过程中的快速淘汰和慢速淘汰阶段,为热型连铸工艺优化提供了依据。     

焊接接头微观组织演化的可视化模拟

本文主要针对焊接接头微观组织演化建模及其可视化方法进行研究。采用元胞自动机模型,通过对焊接接头的微观组织晶粒生长进行模拟来分析和研究微观组织的形态学和动力学特征;通过微观组织图像人工生成技术,直观、精确地展现出微观组织演化的可视化效果。实验结果表明,经过回归分析得到的晶粒生长指数同主流的Burke经验公式相符,使用元胞自动机算法对微观组织演化进行的可视化模拟得到了令人满意的效果。     

基于元胞自动机的交通枢纽内人群疏散效率研究

利用元胞自动机仿真不同出口位置和不同内部布局下交通枢纽内人员的疏散情况,通过制定合适的人员行走规则,对交通枢纽内人员疏散进行仿真分析。结果表明,正面中央开口时人员的疏散效率最高,此时由于人员相对于出口大概呈对称分布,人员对过道的利用率达到最高;和正面边缘开口相比,出口位置设置在侧面更好,以减少行人在行走过程中方向的变化从而减少疏散时间。当在侧面开口时,在靠近出口墙壁处设置过道可以提高人群的疏散效率,并且适当地增加过道数目,可以对疏散人群起到分流的作用,从而对人群的疏散也很有利。     

十字路口处长车交通状态相图

如今,相图被广泛用于交通科学领域的研究,取得了重要成果。根据理论分析和计算机模拟,本文构建了十字路口处交通流量相图。该相图是由五个基本区域构成的,本文分析并推导出每个区域的具体流量公式。在周期边界条件下,采用确定性 Fukui－Ishibashi元胞自动机交通模型进行数值模拟,其模拟结果与理论分析精确一致。     

元胞自动机方法在枝晶生长模拟中的应用

尽管大量关于枝晶生长模拟的研究都使用了相场方法,但近年来元胞自动机(CA)方法在枝晶生长模拟方面也取得了很大进展.介绍了CA方法模拟枝晶生长的原理和模型,评述了CA方法在枝晶模拟方面的发展历程,指出了存在的问题的和进一步研究的方向.     

用CA方法模拟过冷熔体中自由树枝晶的生长

基于溶质扩散和界面能的作用，建立了过冷熔体中自由树枝晶的生长模型，考虑了成分过冷、曲率过冷和界面能各向异性，用胞元自动机（CA）方法模拟了枝晶生长、界面扰动以及分枝的竞争演化，对枝晶尖端生长速度和过冷度的关系进行了模拟计算，并与L-G-K理论模型进行了定量的比较。     

基于场景的车载设备测试用例自动生成方法研究

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。     

有穷自动机的Linux多点触摸屏中间件设计

多点触摸屏的应用程序开发是当前的研究热点.Linux multi-touch (MT)协议是Linux输入子系统的一个标准协议,定义了多点触摸设备驱动程序的数据传输规范,有着广泛的使用范围.识别和处理多点触摸屏驱动程序的数据是多点触摸屏应用最基本的功能.本文采用有穷自动机的思想,设计了一个可以识别符合Linux multi-touch协议规范数据的多点触摸屏中间件.中间件提供外部接口供应用程序使用,可以减少程序开发人员的重复工作,提高开发效率.