基于Petri网技术的继电保护建模研究

提出了保护系统建模方法。分析了保护系统的混杂特性及其数学描述,利用可编程赋时Petri网(PTPN)建立线路距离保护模型。该方法将保护系统的工作特性分成离散状态逻辑层和连续动态层来描述,由逻辑层协调各连续动态系统的模式切换。继电保护装置的输入量为连续动态层状态变量,继电保护装置的动作属于系统离散状态逻辑层的变化。在建立模型时考虑了自动重合闸与继电保护的配合。数字仿真表明保护的PTPN模型的可行性。     

一类混合系统的建模问题

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

基于自动机理论的密码匹配方法

针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密; 其次,构造出可接受加密密码的自动机——状态数目可变自动机(VNS - DFA),该自动机不仅能够匹配加密密码,同时还可以输出加密密码的同态原像以及匹配成功的次数; 最后,在状态数目可变的自动机上对用户输入的密码进行实验验证表明,用户建立的密码经过同态映射后可全部被该自动机接受,且该自动机的时间复杂度优于传统的DFA以及改进的DFA.     

拟（h,k）存贮有限自动机的可逆性

主要研究拟（h,k）阶存贮有限自动机的延迟k步与k＋1步弱可逆性,以及它的弱逆,得到了拟（h,k）阶存贮有限自动机的延迟k步与k＋1步弱可逆的充分必要条件,并且通过所得结果可以比较简便地构造出延迟k步与k＋1步弱可逆拟（h,k）阶存贮有限自动机的延迟k步与k＋1步弱逆。     

基于字频分布的中文网页编码识别算法

编码识别是网页内容过滤的必要前提,多种中文编码共存给中文网页的内容过滤带来不便。针对上述问题,提出一种基于字频分布的中文网页编码识别算法。根据汉字的使用频率,选取使用频度较高的字符构成高频字符编码表,以高频字符编码作为关键字,使用改进的模式匹配算法查找待识别网页,并统计匹配次数。将编码的匹配结果作为分析的依据,最终判定待识别网页的真实码制。实验结果证明,与Unigram算法相比,该算法对目前通用的中文编码识别率较高,适合对未知编码的中文网页进行快速编码识别。     

下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。     

时间自动机状态空间的一个极小化构造方法

对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。     

格值有限状态自动机的同态和商自动机

提出了格值有限状态自动机（LFSA）的同态、强同态的概念,研究了LFSAs同态、强同态的若干性质。在LFSAs强同态的基础上,得到了LFSA的商自动机及其最小化自动机,刻画了商自动机的性质。     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

模拟三点弯曲试验的细胞自动机模型

细胞自动机是一种在随机初始条件下,通过构造简单的数学规则,来描述离散动力系统内部因局部单元之间强烈的非线性作用而导致系统整体自组织演化过程的一种数学模型.在此基础上,以力、位移作为基本状态变量,基于基本的力学规律构造了细胞自动机模型的矢量局部更新规则,建立了一种模拟岩石破坏过程的细胞自动机模型,并克服了以往规则确定随意性以及标量化的缺点.利用该模型模拟了三点弯曲梁的破坏过程,分析了预制裂纹对三点弯曲梁的破坏过程的影响,给出了与破坏过程所对应的应力-应变曲线以及声发射曲线.