Influence of environmental factors on corrosion damage of aircraft structure

Corrosion is one of the important structural integrity concerns of aging aircraft, and it is estimated that a significant portion of airframe maintenance budgets is directed towards corrosion-related problems for both military and commercial aircraft. In order to better understand how environmental factors influence the corrosion damage initiation and propagation on aircraft structure and to predict pre-corrosion test pieces of fatigue life and structural integrity of an effective approach, this paper uses the cellular automaton (CA) method to character the effect of electrolyte concentrations, dissolution probabilities, and temperature on the corrosion damage of a metal structure exposed to an aggressive environment, and the procedure for applying the local rules between the cells of the CA to simulate the corrosion damage evolution is formulated. The simulation results show that the different electrolyte concentrations, dissolution probabilities and temperature, the laws of the dissolution current with time are investigated and they obey the time power function.

行人穿越马路对交通流的影响

结合交通心理学理论,在科学分析人为因素特征(如习惯性、随机性、从众心理等)的基础上,建立了行人乱穿马路行为的元胞自动机模型,数值模拟探讨了行人在一个位置和多个位置穿马路时交通运行状态与人为因素大小的参数之间的关系,重点研究了过街频率、过街位置分布、过街位置数目对交通流的影响.结果表明:基本图上存在饱和流量平台,其饱和流量值主要取决于行人过马路的时间和过街频率.在总穿越时间和总等待时间一定的情况下,穿越频率的提高扩大了饱和流量对应的密度范围,特别在高密度区,单次过马路时间的延长将显著降低道路的实际通行能力;过街位置是否均匀分布对交通几乎没影响;一般而言,相同条件下,让行人分散几处过马路要优于行人集中一处花费长时间过马路.

幺半群-矩阵型自动机的商自动机

本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的.在此基础上,引入(n,S)-自动机上的所谓的■和■关系,证明了这两个关系是可交换的.

有限自动机定义函数的线性本原圈积分解

本文讨论有限自动机显表出定义函数ｆ的线性本原圈积分解问题．在该圈积分解之下，函数ｆ被表成线性外函数因子ｆＬ与线性本原内函数因子ｆＮ的圈积，这里函数ｆＬ定义了一个线性弱可逆有限自动机ＭｆＬ，而函数ｆＮ定义了一个非线性有限自动机ＭｆＮ且其不能再分解成一非平凡的线性外函数与一非线性内函数的圈积．本文证明了一函数ｆ的任两线性本原内因子互为对方的线性本原内因子，从而证明了函数ｆ的线性本原圈积分解的唯一性．本文所给出的函数ｆ的线性本原圈积分解比此前已有的ｆ的相对（ｔ０，Ｔ）圈积分解能进一步降低求ｆ定义的有限自动机Ｍｆ的弱逆Ｍ＊ｆ的复杂性，其可应用于有限自动机公钥密码体制的密码分析中．

广义标准自动机及其商自动机

文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。

线性时序逻辑约束下的滚动时域控制路径规划

针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化。其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列。通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式。而且,由于地势影响因子的引入,所建议的方案更接近于真实情况。仿真实验结果验证了文中提出方法的可行性和有效性。

基于改进元胞自动机的室内火灾疏散模型

基于元胞自动机理论,量化确定了吸引力、摩擦力和排斥力的运算规则,且将疏散人员的心理因素和火灾的影响纳入考虑范围,提出了一种新的室内建筑火灾人员疏散模型,并编制了相应的数值仿真计算程序。模拟结果表明,该模型能够较好地模拟发生火灾时的人员疏散现象,并可以找到不利于人员疏散的瓶颈位置。

一种有效的模糊关联规则挖掘的形式化方法

模糊关联规则用于处理数据库中的不精确信息,并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则,通过约束级别管理模糊规则,并给出一个扩展的验证度量过程。使用形式化方法的挖掘算法,在不同的约束级别上并行化挖掘过程,总结得到的结果。算法的复杂度分析以及实验结果表明该形式化方法是有效可行的,从而确立了模糊关联规则表示和评价的逻辑基础。