记忆细胞自动机规则40的动力学行为

引入双边无穷符号向量空间,从符号动力学的角度研究添加少数记忆函数后的基本细胞自动机规则40的动力学行为.借助计算机编程,找到了一个具有Bernoulli右移位性质的子系统,通过分析2阶有限型子移位对应的转移矩阵的性质,讨论其在子系统上的拓扑混合性和拓扑熵,进一步证明了它在这个子系统上同时具有Li-Yorke和Devaney意义下的混沌.该方法同样适用于其他细胞自动机的研究.     

基于Markov-CA的莆田市涵江区土地利用时空演变研究

针对莆田市涵江区土地利用时空演变模型进行研究,将基于时间离散、状态离散的马尔可夫(Markov)模型和元胞自动机(CA)模型优点有机结合,建立涵江区土地利用Markov-CA模型。利用2005年、2010年涵江区土地利用影像数据,分析土地利用特征,对2015年、2020年、2025年、2030年土地利用时空演变进行模拟。采用Lee-Sallee形状指数作为Markov-CA模型评价指标,评定模型精度。通过实验结果分析,2012年形状指数,证实基于Markov-CA的土地利用时空演变方法精度较高,模拟结果可作为涵江区土地利用政策制定和规划提供理论参考。     

基于虚拟势场和学习自动机的有向传感网覆盖控制

针对目前有向传感网中覆盖增强和冗余节点体眠调度算法存在的问题,提出虚拟势场结合学习自动机的覆盖控制算法.引入基于质心距离和重复感知率的虚拟力改进模型,综合考虑虚拟向心力和切向力对感知角度调整的影响,建立微观虚拟力与转动角度的关系模型,并根据网络整体覆盖率增长率对节点调整幅度进行宏观控制,合理调整节点感知方向.在此基础上,根据节点重复感知率和能量因素建立学习自动机与环境信息的交互机制,学习最优的冗余节点休眠调度策略.仿真实验结果表明,该算法能够显著增强网络覆盖,并有效地控制网络覆盖冗余.     

二维计算动词元胞网络形成模式的整体空间频率分布

计算动词元胞网络是一种以计算动词规则为局部进化规则的新型元胞计算框架。在之前的研究中,已经从中观察到大量模式,例如条纹图形(单色、多色、错位等)、迷宫图形、棋盘格图形、网格图形、斑块图形、复合图形、同质图形、图灵斑图、游动的鱼、波传图等。实验数据表明,计算动词元胞网络有极大的潜力成为又一个通用的模型形成工具。然而这些分类方式往往是根据人眼的直观感受进行,因而缺乏系统性的分析。本文通过大量实验数据对一个特定动词规则矩阵下形成的模式进行统计分析,实验的粒度达到0.2,一共进行1000000次实验。结果表明,同质模式出现的概率为64.23%,整体的空间频率分布集中在最低频区域和3个最高频区域附近。     

基于可接受性标准的复杂产品仿真系统在线评估框架

针对当前复杂仿真系统评估的滞后性问题,提出了基于可接受性标准(Acceptability Criteria,AC)的仿真在线评估方法。通过定性和定量AC到指标的映射模型来建立评估指标体系;引入指标集和评估函数,提出了仿真评估流程有限自动机七元组模型,给出仿真流程到评估自动机的映射关系和基于数据驱动的状态转移机制,实现评估过程自动化执行过程;基于上述成果设计了在线评估工具,通过案例验证了在线评估方法的有效性,表明该方法能够有效解决仿真系统评估滞后性问题。     

基于规则分组的DFA正则表达式匹配算法

模式匹配因误报率低和漏报率低被入侵检测所采用.在使用正则表达式构造DFA时,因状态爆炸导致匹配算法需要较多的存储空间和运行时间,算法效率低下,采用规则分组后,可以在一定程度上抑制状态爆炸问题.根据缓存中的历史记录对正则表达式进行分组,既能利用规则分组减少状态总数,抑制状态爆炸,又能减少因每次重新构建DFA所带来的开销,提高了匹配效率,有利于提高入侵检测的实时性、准确性和高效性.     

可变步长的元胞自动机智能决策疏散模型的仿真研究

将基于模糊推理的方向选择模型和通道吸引力模型,与疏散时间模型等模块进行组合,构建了基于元胞自动机的智能决策模型.在对疏散过程的描述中引入有效通道密度概念,以使密度数值能够直观反映疏散过程各个时段通道的拥挤情况,并通过对个体变步长行进方式的执行,实现对复杂疏散行为更为合理的描述.利用变步长智能决策模型对大型超市疏散过程进行描述,仿真过程能够对个体疏散路线,通道和出口密度变化等疏散特征直观表现,对疏散时间等仿真数据分析表明模型是有效的.     

业务流程建模与测试方法研究

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。     

基于有限状态自动机的入侵检测系统研究

<正>随着Internet的广泛应用,入侵事件变得越来越频繁,攻击手段也变得越来越高明,攻击目标不再仅仅局限在单个主机或单个网络系统,网络基础设施现在也成为黑客的入侵目标。所谓网络基础设施主要包括路由协议和网络管理协议,它们共同构成Internet上各种服务的基础。如果基础设施遭到破坏,提供服务也就无从谈起。     

生理驱动的叶片生长变形算法

提出一种利用反馈控制系统实现生理参数多尺度变化从而驱动叶片生长变形的算法。首先采用二维层次自动机产生植物各器官的分枝结构,通过内部扰动函数实现生理参数与植物生长刺激的互动。其次植物生长刺激在实现了对外部环境参数的影响的同时也修改各器官内部的细节,外部环境参数的变化反过来又对器官分枝结构实现了剪枝。然后在渠化管网假设基础上利用反应-扩散原理实现叶脉纹理的变化,最后通过可控网格面的卷曲和扭曲实现叶片的三维形变。仿真实验表明本方法能够较好的模拟植物叶片的纹理和形状随生理参数改变而变化的过程,能满足虚拟农业实验室植物器官动态展示的需求。