二维元胞自动机交通流的绿波模型与交通灯效应

在ＢＭＬ模型的基础上,采用了车辆跟驶的规则,同时研究了独立动作的交通灯的交通效应,使得二维元胞自动机交通模型能更好地模拟城市交通的绿波模型和交通灯对城市交通流的影响。     

计算主义纲领与机器博弈的认知意蕴

在第二代认知科学的潮涌中,计算主义纲领虽然面临心灵实在论、行为主义、联结主义的挑战,但仍然引导着传统认知领域和新兴认知分支的发展。机器博弈是认知科学与博弈论互动的产物,在计算主义纲领启发下,理性人之间的博弈被视为人-机智能体间的策略性互动,互动认知、博弈学习、演化博弈等理论成为智能体感知环境、处理信息、控制行为、交流互动的分析基础。自动机在重复博弈中显示出的长远眼光、威胁和承诺能力,提供了解决计算主义纲领主要难题——意向性之谜的思路:意向性并不是孤独的心灵与外部世界的关系,而是通过智能体互动实现的自我指涉。     

经济利益驱动下食品企业安全风险演化动态研究

消费扩大驱动下食品质量安全问题日渐严峻,食品企业经济利益驱动型掺假所具有的蓄意性、隐蔽性、技术性特点,为新时期食品安全治理提出了一系列挑战。鉴于此,本文借助演化博弈理论,考虑了食品企业收益、食品生产技术成本、生产残次食品损失以及政府监管成本、社会负面效益等因素对食品安全风险形成的影响,构建了食品掺假行为演化博弈模型,并对其演化状态进行了理论和仿真分析。在此基础上,运用元胞自动机理论,进一步考虑到食品企业策略转变意愿与基层食品监管机构策略转变意愿,从空间博弈角度对食品掺假行为及其监管的空间演化状态进行了深度剖析和刻画。研究结果显示,食品企业和基层食品监管机构在策略选择方面具有同步性振荡特征。而且,在食品企业策略转变意愿或基层食品监管机构策略转变意愿维持较低水平时,食品企业和基层食品监管机构的策略（严格监管,合规生产）是纯策略稳定状态。通过本文研究既丰富了我国食品安全监管理论,也为地方食品安全长效监管提供了思路借鉴和理论指导。     

基于元胞自动机的网络舆情传播研究

随着互联网在信息传播方面的广泛应用,网络舆情事件的不断出现对政府的网络社会治理提出了新挑战。元胞自动机的同质性、时空局部性和并行性符合网络舆情传播的特点,同时也能形象地表示出网络舆情的传播运作规律,所以可以用元胞自动机模型来模拟表达网络舆情的传播过程。只有信息传播者的影响力系数足够大,其才能更好地引导网络舆情走向。同时,信息的传播效果,取决于信息接收者自身的受影响系数。     

基于Mealy自动机的多人重复博弈演化模型及仿真分析

本文提出一种基于Mealy自动机的多人重复博弈演化模型。该模型用Mealy自动机表示博弈参与人的战略行为,并构造一个基于遗传算法的自动机演化程序。博弈初始时,博弈参与人提交一个Mealy自动机。博弈参与人的有限自动机在当前状态下与竞争对手的自动机进行博弈,并且依据其获取的支付转换到下一状态,然后在新的状态下开始新一周期的博弈。在进行一段时间博弈后,则利用自动机演化程序对自动机进行演化,演化的标准是依据其在这一段时间博弈中的获得的平均支付及战略成本。通过仿真可以验证,在参与人理性程度较低且存在信息干扰的情况下,博弈参与人为了降低在博弈过程中的信息失真率,战略成本需要以较大的幅度下降。     

冯·诺伊曼自繁殖自动机思想及其方法论意义

20世纪40年代,冯·诺伊曼开始研究自动机理论。他认为在自动机的初级阶段,必须研究逻辑与构造两个方面的重要问题,这可以用逻辑普遍性、可构造性、构造的普遍性、自繁殖、进化五个问题来表达。他对这五个问题进行了探讨并设计了五种自繁殖自动机模型,即动力模型、元胞模型、兴奋-阈值-疲劳模型、连续模型和概率模型。由于他的早逝,他的设计并没有完成,但他的思想对后世的影响深远,具有深刻的方法论意义,其中一些想法现在开始用来制造生物机器人。冯·诺伊曼开创了人工自动机与自然自动机(即生物)的比较研究并把机器与人的神经系统作了比较,开辟了生物自动机研究的新方向,用逻辑和数学方法揭示自动机的本质,使我们对逻辑和数学方法的作用有了更深刻的理解。     

肿瘤的分裂模型与控制

本文首先讨论在非人为控制下通过改变约束条件得到三种不同的肿瘤增长模型,并用元胞自动机模型模拟肿瘤的生长过程。同时通过对两种治疗模型的比较和分析,给出治疗建议。     

基于自动机原理的自动售货机软件的实现

利用自动机原理对现有的自动售货机的工作模式进行了分析，指出了自动售货机在购买多种商品时的不方便之处和销售管理上的落后现象，提出了用软件方法对自动售货机工作模式进行优化和扩展，并增强其管理功能，以使自动化销售过程更快捷、准确和有效。     

数字图像区域标定的方法

给出了二值图像区域的标定方法。对于八近邻和四近邻的图像，分别建立了一组最小的完备图。利用图像标定的基本图，为二值图像边界的识别构造了一个自动机，自动机的输出就是顶点链编码，为二值图像区域的标定提供了一个有效算法。     

加性细胞自动机的同构性分析

根据矩阵方程理论和细胞自动机原理,提出了加性细胞自动机状态转移结构的同构性方法,该方法利用状态转移矩阵方程及其特征多项式分析规则90和150加性细胞自动机,证明了特征多项式为不可约多项式时的零边界规则90和150加性细胞自动机与其对应的线性细胞自动机具有相同结构的状态转移图,即它们同构。研究表明:该方法对实际的伪随机序列产生、通信和测试等领域具有应用推广价值。