二维正则伊辛模型的元胞自动机模拟

提出一种研究伊辛(Ising)模型的元胞自动机演变规则:在二维正方格阵的每个格点上放置一个Ising自旋磁子,设定该系统中磁子的状态和演化规则.这样,就可以直观地显示伊辛模型的自发磁化演化过程,并且观察到二维正则伊辛模型的临界相变,得到了系统磁化率相图.文章描述的方法丰富了元胞自动机模型研究伊辛模型的演化规则,得到了较好的结果,并为三维伊辛模型的仿真计算打下基础.     

一类混合系统的建模问题

针对一类具有多个子系统相互作用的混合动态系统,建立了每个子系统的混合输入输出自动机模型,并给出了混合输入输出自动机的运算规则．运用模块化的建模思想,根据子系统之间逻辑和物理上的联系,通过单个模型的输入输出接口,将混合输入输出自动机按照运算规则进行综合,从而建立整个混合系统的混合输入输出自动机模型．通过实例说明了建模方法的运用过程．     

多态自动机在字符串搜索及统计时的应用

多态自动机较之有穷自动机有更强的计算功能和对算法的描述功能,所以在计算理论和学习理论中有相当地位.本文首先简要地介绍了多态自动机,然后利用多态自动机的计算功能给出了一种搜索算法,此算法可以完成字符串的搜索和统计功能.文章对此算法的复杂度进行了分析,该算法的复杂度是多项式的,并且对此算法添加一些辅助部分也可以完成搜索网络资源的功能.此算法在计算机上也很容易实现.     

城市交通系统动力学特性研究——带信号灯控制的一维元胞自动机模型研究

元胞自动机的交通流模型以简单的规则反映交通过程中实际存在的各种复杂因素,并能在计算机上方便实现,从而可以演示这些因素对城市交通系统动态特性的影响。本文系统阐述了元胞自动机在交通流上的应用,以元胞自动机理论为基础,把车辆在路段上运动的变化规律表述为元胞自动机的演化规则,建立了基于元胞自动机理论的交通流模拟的NS模型,并利用Matlab语言实现了带信号灯控制的一维元胞自动机模型的仿真。     

基于有限自动机的RFID入侵检测

利用RFID中间件的特点, 加入入侵检测异常检测模块, 通过对入侵者的攻击数据流与RFID系统内部的数据流进行对比后提取特征向量, 并通过对入侵数据流对应子模块的归纳建立有限自动机, 对有限自动机的归并来提高系统入侵检测的效率. 此外, 参照归并后的有限自动机对攻击进行分类, 通过对攻击本质的分析与提取来检测一部分入侵检测自动机里没有相应的攻击. 最后, 对固定攻击比例的访问事件样本乱序进行试验, 试验结果表示系统在3轮测试中均得到稳定的检测率.     

基于细胞自动机的青霉素菌体生长可视化模型

为了更好地反映出青霉素发酵过程中菌体生长的复杂系统特征,在对青霉素生长分批发酵过程菌体生长机理研究基础上,建立了基于细胞自动机的青霉素分批发酵过程中菌体生长的可视化模型．模型采用二维彩色图案描述了青霉素菌体的生长演化过程;模型演化规则建立在青霉素生产分批发酵过程菌体生长机理及其动力学微分方程模型基础上,更加符合青霉素分批发酵过程菌体生长演化行为的多样性,随机性和不确定性的特点．仿真结果表明,该模型较好地描述了青霉素分批发酵过程中菌体生长的演化行为．     

一种用于微观组织模拟的三维元胞自动机模型

元胞自动机是复杂体系的一种理想化模型,特别适合于处理那些难以用数学定量描述的复杂动态体系问题,如材料微观组织的演变模拟．它非常适合于计算机模拟实施．利用C 计算机语言,运用OpenGL网形函数库建立了一种三维元胞自动机模型．该模型具备了经典元胞自动机的基本特征,因此可以根据需要进行扩展．由于运用了0penGL的实时3D技术使得模拟结果更加逼真,并可以从多角度进行观察．文中运用该模型进行了简化的枝晶生长模拟,并与二维的模拟结果进行比较,验证了该模拟的正确性．     

基于时间自动机网的C3I系统建模和实时性验证

针对目前缺乏描述和分析C3I系统的理论基础,提出了基于时间自动机理论的C3I系统的数学模型.建立了C3I系统中各个子系统的时间自动机模型,子系统之间通过通道进行通讯,通过时间自动机网把C3I系统构建为多个并行的时间自动机的网络模型.提出基于计算树逻辑CTL的C3I系统的实时性表达方法,详细描述使用模型检测工具Uppaal对C3I系统建模和所建模型的实时性验证的方法.实验结果证明,基于时间自动机的C3I系统的建模与模型检测方法是有效的,为C3I系统行为的分析、验证提供理论基础.与经典算法相比,该方法提高了对C3I系统建模和分析的效率.     

区间时序逻辑的模型检查

为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则．利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合．同时,定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机,使得它们接受相同的原子命题序列集．这样,区间时序逻辑的模型检查问题就等价地转换成了很容易解决的两个标注有限状态自动机的语言包含问题．     

一种基于元胞自动机的安全多重图像水印算法

提出一种多重图像水印算法,利用元胞自动机和元胞自动机变换丰富复杂的性质增强水印安全．将图像分割成不重叠的子块,由混沌序号序列决定一个子块中将嵌入哪个图像水印,通过水印私钥对水印进行置乱加密和对子块进行二维元胞自动机变换,然后在低频系数中量化嵌入加密水印．实验结果表明,提出的算法有很好的安全性、不可见性和鲁棒性,多个水印的嵌入和提取互不干扰．     

“广岛——日本‘最具活力’的城市”中的文化冲击

从跨文化交际中的文化冲击理论出发,解读＂广岛——日本‘最具活力’的城市＂一文。分析该文作者,一位普通美国记者,在战后重建的广岛所经历的种种不解和困惑。并进一步分析日美两个民族在对待等级秩序和人人平等,自杀是消极还是积极等方面存在的差异。正是这些文化差异导致普通美国民众对日本文化的误读并产生排斥性情感。     

“概论”课教学改革与实践——河南机电高等专科学校“概论”课教改总结

《毛泽东思想和中国特色社会主义理论体系概论》课是讲述马克思主义中国化的理论成果,学好这门课对青年学子的成才无疑具有极为重要的意义。文章结合学生特点,积极进行教学模式、教学方法和手段、实践性教学环节、考试方法等方面的改革与实践,以提高＂概论＂课教学的实效性。     

“AIDA”模式与市场营销案例教学研究

以营销理论中的“AIDA”信息传递模式为基础，探讨营销案例教学过程中的信息沟通问题。通过案例准备、案例分析、案例思考、案例讨论构建学生的营销理念和知识体系，培养学生运用知识解决问题的能力。     

学习领域课程及实施对策分析

德国学习领域课程以工作过程结构理论为基础,是与建立在传统学科结构理论基础上的学科课程相对的一种课程模式。与学科课程相比,前者更符合职业学校学生的认知特点。根据学习领域课程开发与具体职业相结合这一特征,提出了学习领域课程开发的两个关键问题：一个是从职业活动形态向职业学校课程形态转化,一个是从职业学校课程形态向职业活动形态转化。认为课程开发的质量取决于对这两个关键问题的把握。要推动优秀课程的开发,就要从提高影响转化的两个重要因素——教师和实训设施入手。     

耦合元胞自动机模型及其在Mathematica中的实现

提出了一种耦合元胞自动机模型,并就具有置换作用的元胞自动机对进行了模拟研究,并提供了其在Mathematica4．0中的程序实现,实际结果显示,耦合元胞自动机模型具有丰富的内涵。     

博弈论视角下“农民上楼”问题的研究——基于第三方要价仲裁平衡模型

基于博弈论的视角,通过引进第三方进行最后要价仲裁,并构建＂要价仲裁平衡模型＂来实现利益博弈局中人利益关系的动态平衡,切实保障农民的权益,解决农民＂上楼难＂问题。     

释例阐述非谓语动词“v_ing”式和“to_v”的语义区分

语法书上都有"v_ing"式和"to_v"式的用法区分,但只从一些语言现象上作出论述,未能从语义实质上揭示其运作规律。文章以当代语法大师Quirk和Leech的观点作为理论依据,使用释例对比的方法,从认知的角度研究两种形式的语义特征和语用功能,揭示其含义及规律,力求清楚地区分两种形式的不同语义,以利于深入、系统地研究英语动词的非谓语形式。     

石油企业“三基”工作求是

从研究"三基"工作管理模式入手,剖析"三基"工作的各种方法,探讨"三基"工作的客观规律,运用唯物辩证法的思想提出了"三基"问题管理法的观点。从而修正了经典传统的"戴明循环"为"三基循环",为研究"三基"工作提供了参考。有利于基层管理者提高对"三基"工作的认识,形成"三基"管理的长效机制。     

网络环境下的高职英语“双主”教学模式探究

随着现代教育技术手段在高职英语教学中的不断运用,网络环境下的高职英语教学模式的探索和实践成为了高职英语教学改革的新思路。从课程导入、学生自主学习、教师课堂讲授、监督与评价四方面阐述网络环境下的高职英语“双主”教学模式的实施过程,在此基础上,结合教学改革实际,提出“双主”教学模式实施过程中的常见问题及对策,为今后的改革实践提供参考。