基于有限状态自动机的黑白数字图像表示方法

提出了一种用有限状态自动机（FA）来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,任一正则语言也可以表示为一幅黑白数字图像,即正则语言与黑白数字图像可以相互转化。而由自动机理论原理知,正则语言可以用有限状态自动机等价描述,从而得到用有限状态自动机来描述黑白数字图像的方法。这样就建立了图像与自动机理论这两门学科之间的联系,也为用自动机进行图像压缩奠定了基础。     

基于自动机模型数据关联性能评估算法

提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。     

元胞自动机与计算机模拟

元胞自动机是时间和空间都离散、物理参量只取有限数值集的物理系统的理想化模型，在该系统中每个元胞都具有其内在状态，并由有限数量的信息位组成：近年来，元胞自动机模型应用于各个领域，特别在计算机模拟中取得了较大进展。本文将从介绍元胞自动机理论入手，探讨元胞自动机技术应用于计算机模拟。     

元胞自动机与计算机模拟

元胞自动机是时间和空间都离散、物理参量只取有限数值集的物理系统的理想化模型,在该系统中每个元胞都具有其内在状态,并由有限数量的信息位组成。近年来,元胞自动机模型应用于各个领域,特别在计算机模拟中取得了较大进展。本文将从介绍元胞自动机理论入手,探讨元胞自动机技术应用于计算机模拟。     

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

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

有限自动机与多路自动机的关系

简单介绍了多路自动机的定义，分析了多种自动机和有限自动机的关系，包括确定的有限自动机和非确定的有限自动机，并且给出了例子，本文的结论推广了计算学习理论中可有效学习的类的范围。     

区间时序逻辑的模型检查

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

一种较少状态数的LR分析器

该文提出了一种新的LR分析器的构造方法,该方法从构造识别活前缀的确定有限状态自动机出发,通过合并有限状态自动机中可合并的等价状态对,对得到的有限状态自动机进行化简,从而得到较少状态数的LR分析表。该构造方法具有与LALR方法相同的语法识别能力并且避免了LALR方法在合并同心项目集时可能出现的归约一归约冲突。结果表明采用该方法构造文法分析表可以在一些情况下减少文法分析表的状态数目。     

有限自动机在自动控制软件设计中的应用

简述了有限自动机的基本概念，提出了应用有限自动机进行软件设计的处理思想，并给出了实现方法。有限自动机在软件设计中以及应用过程中充分考虑了软件设计的规律性，提高了软件设计的工作效率。     

一种构造入侵检测系统模式匹配自动机的方法

介绍了一种新的用于构造入侵检测系统模式匹配自动机的方法,该方法的基本出发点在于NFA与DFA能力的等价性、构造NFA的方便性和DFA运行的高效性。它从构造判定单个模式的NFA自动机入手,通过集成单个的NFA而得到全集的NFA,并将全集NFA转换为与之等价的DFA并化简,从而可得到全集的确定型模式匹配有限自动机。由于该方法可以完全自动完成,从而可方便地为入侵检测系统构造模式匹配自动机。     

工业PC机在温度巡检中的应用

化工生产中温度检测系统对于不同的厂家采取的方式不 同。详细论述 了用工业 Ｐ Ｃ 机加上现场 Ｓ Ｔ Ｄ 工业总线系统来完成对温度的采集和 显示等。本系统共分两部分：现场监视 站采用现场 Ｓ Ｔ Ｄ工业总线系统完成现场信号采集,将其进行处理,转化并将数据传给上位机。上位机操作站采用工业 Ｐ Ｃ机,把现场监视站采集到的信号进行整理,显 示, 打印, 报警,纪录等处理。本系统运行可 靠, 抗干扰能力强,具有很高的推广价值,并可以应用到其它类型的信号检测上。     

ARM系列单片机与PC机之间的串行通信

论述了实时监测系统中ARM单片机与PC机之间的通信方法,介绍了ARM系列单片机与主机串行通信的结构框图与硬件接口电路,讲述了下位机通信程序的设计方法和上位机通讯的软件实现,并给出了上下位机通讯的流程图。在通信的过程中,需要设定相同的通讯协议才能保证通信的正常。     

虚拟加工系统运动仿真的研究

分析了在虚拟制造中占有重要地位的机械加工过程仿真方法．以HAASVF-1加工中心为例，对虚拟加工系统的运动仿真进行了研究和探讨．利用UG强大的运动分析功能实现了虚拟加工系统的运动仿真．该运动仿真使人们直观感受加工过程，能对加工过程中出现的碰撞和干涉进行检测，并提供报警信息．     

基于XEN的入侵检测服务研究

针对现存入侵检测系统存在的问题,提出一个运行于虚拟机监控器之上的入侵检测系统。由虚拟机监控器来虚拟硬件接口,在单一的硬件实体上运行多个系统实例,因为虚拟机监控器处于操作系统和硬件之间,从而使得这个入侵检测系统位于监控所有对操作系统的入侵事件的最佳位置,并处于一个独立于操作系统之外的受保护的空间内,增强了入侵检测系统的独立性和检测能力,是传统的基于主机和网络的入侵检测系统优点的完美结合。     

基于Internet的纤维缠绕机远程监控系统

介绍了纤维缠绕机的远程监控系统的结构和功能，以及基于客户机／服务器(C／S)模式的监控实现技术，讨论了利用WinSock(Windows Socket)实现网络数据传输的通信过程和编程思想，并对纤维缠绕中数据信息的处理作出了相应阐述。     

RFID技术在库存管理中的应用

通过在物流管理中引入RFID技术,能够确保产品物流信息采集的自动化及高效性;通过构建EPCIS系统来实现共享和管理供应链中各环节的产品业务等相关数据,能够实现供应链中产品的实时跟踪与信息共享,可改善其供应链上下游信息流不通畅的局面,从而提高供应链管理的效率和水平．文中所述模型的分析和原型系统的设计对今后利用RFID技术改善供应链信息流的现状、提高供应链管理的效率和水平具有深远的借鉴意义．     

4f光学信息处理系统

较详细分析４ｆ相干光信息处理系统和４ｆ白光信息处理系统的成象特征及其在栅形函数信息处理、相幅转换、特征识别、代数运算（含加、减、乘、除、微积分、卷积以及相关运算）等方面的应用。研究表明，４ｆ光学信息处理系统比起电子信息处理系统具有信息量大抗干扰性强等优点，其应用前景是十分广阔的。     

特征技术在数控图形自动编程系统中的应用

在详尽分析图形自动编程关键问题－实体建模的基础上，针对广大中小型企业自身特点及其加工对象的特殊性，提出一种新的三维形体表达方式及共数据库存储方法：内部采用特征造型以建立形体的数据库；外部采用三视图加轴侧图以完成详细几何信息的输入。这种方法为图形自动编程系统后续环节的方便连接奠定了坚实的基础。     

AutoCAD图形直接用于CNC机床的加工程序编制

介绍怎样从Auto CAD图形直接获取零件图信息,再加必要的加工参数,产生CNC机床零件加工程序的方法,并阐述了有关数据结构和微机与CNC机床通讯的有关内容。     

简明技术制图新语言--表达式图样表示法

新创一种技术图样表达式表示法,将图样相关信息以英文字母、符号与数字,按一定的规则排列成表达式,表示图样的形状、要素尺寸、定位坐标以及技术标准。表达式可作为一种语言记录、传输和存储技术图样所需的信息。可应用计算机显示图样或绘出图形,也可输入自动化生产机械加工产品。