基于元胞自动机的交通流分析

结合元胞自动机的理论,对车辆运行建立了交通流数学模型.通过C++软件描述了运行车辆除超车之外靠右行规则下,交通流量随换道概率变化的情况;通过Matlab软件进行仿真模拟,揭示了交通密度在右行规则控制下所形成的交通流的规律性.结果表明:在靠右行驶规则下,适当的转向概率和车速有利于交通流量的提升.     

凹土/PVA多孔载体生物流化床的挂膜启动研究

通过聚乙烯醇(PVA)缩甲醛交联反应制备的凹土/PVA多孔载体,具有比表面积大、孔隙丰富、挂膜启动速度快、附着生物量大等特点,应用于生物流化床处理有机废水可取得较好的处理效果。20d挂膜启动试验表明,在凹土/PVA多孔载体投加量(堆积体积)为曝气区容积20%的条件下,模拟废水进水COD1000~3000 mg/l,进水COD负荷不超过8.7kg·m-3·d-1时,COD去除率可保持90%以上。对氨氮也有较高的去除能力,进水氨氮浓度100 mg/l以内,停留时间为12 h时,稳定运行时氨氮去除率可保持在90%以上。     

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

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

基于曲率驱动机制的晶粒生长元胞自动机模型

结合晶粒生长的统计分忻理论和概率性转变觇则，建立了基于曲率驱动机制的晶粒正常生长的二维元胞自动模型，该模型的一个显著特点是晶粒生长速率和晶界曲率(1／RC-1／R)之间满足线性关系，而传统的元胞自动机模型则难以满足这种线性关系模拟结果比较全面地反映了等温条件下晶粒正常生长的各种现象：平均晶粒面积与时间的关系，晶粒尺寸、晶粒边数的分布规律及其时间不变性，晶粒边数与尺寸的关系，以及晶粒生长速率与晶粒尺寸和曲率的关系等．模拟结果与晶粒生长的动力学理论预测相符合。     

区域集聚多动态联盟体系下的企业单元化技术研究

在对产品制造过程的内部关系和动态联盟产品制造过程分解进行研究的基础上，给出一种便于动态联盟产品制造过程分解和盟员企业单元化的基于核心技术和次核心技术的产品制造过程关系图。提出通过产品依赖关系处理技术来促进同构盟员企业单元网络生成的方法。并探讨了区域集聚的多动态联盟体系下盟员企业单元化和同构盟员企业单元网络生成的内在规律。     

变速生长条件下Al－Cu合金的定向凝固枝晶组织

应用改进的定向凝固装置研究了Ａｌ－２ｗｔ－％Ｃｕ和Ａｌ－４ｗｔ－％Ｃｕ合金在阶跃和不同加速度线性变速生长条件下，定向凝固组织的动态转变。实验结果表明：尽管定向生长的胞－枝晶动态转变过程随加速度的降低而减缓，但胞晶组织都是在经历了一定的胞晶形貌扰动之后才发生快速失稳、分枝细化并向树枝晶组织过渡，加速度不同，由失稳胞晶演变成的树枝晶可具有多种分枝形式。     

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

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

移动定位技术的现状与发展趋势

基于位置服务为人们的日常生活带来了极大的方便,同时也推动了移动定位技术行业的快速发展。针对移动定位技术发展状况,分析目前主流定位技术的优劣,并对取得的突破作简单的总结归纳。     

Construction of living cellular automata using the Physarum plasmodium

The plasmodium of Physarum polycephalum is a unicellular and multinuclear giant amoeba that has an amorphous cell body. To clearly observe how the plasmodium makes decisions in its motile and exploratory behaviours, we developed a new experimental system to pseudo-discretize the motility of the organism. In our experimental space that has agar surfaces arranged in a two-dimensional lattice, the continuous and omnidirectional movement of the plasmodium was limited to the stepwise one, and the direction of the locomotion was also limited to four neighbours. In such an experimental system, a cellular automata-like system was constructed using the living cell. We further analysed the exploratory behaviours of the plasmodium by duplicating the experimental results in the simulation models of cellular automata. As a result, it was revealed that the behaviours of the plasmodium are not reproduced by only local state transition rules; and for the reproduction, a kind of historical rule setting is needed.     

基于接口精化的广义无干扰性研究

在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题。针对当前构件化软件设计过程中,信息流安全属性仅局限于二元安全级格模型的问题,在现有安全接口结构基础上提出广义安全接口结构,在广义安全接口结构上定义精化关系,并利用这一精化关系定义了能够支持任意有限格模型的基于安全多执行的无干扰属性,首次将安全多执行的思想应用于构件化系统的信息流安全属性验证。使用 Coq 定理证明工具实现了接口自动机程序库以及对精化关系的判定过程,并用实例验证说明了无干扰属性定义的特点及判定方法的有效性。