浅谈格蕴涵代数上的同余关系

本文在对格蕴涵代数上的同余关系分析研究中,对同余关系所具有的商格蕴涵代数进行详细分析研究,了解不同类别同余关系之间的关联,希望能够对格蕴含代数内的同余关系有着全面分析研究.     

扰动模糊有限转换状态机

引入了扰动模糊有限转换状态机和扰动模糊有限状态机的（强）同态的概念,研究了它们的相关性质。给出了[Σ]的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了[Q]上容许关系及强同态的核的概念,研究了它们的相关性质。     

基于有限状态机的协议测试方法

该文首先介绍了有限状态机的一般理论并描述了两种确定型有限状态机模型,之后将有限状态机模型引入通信系统中,并以GTP协议为例介绍了通信协议报文在GPRS网络中流转的过程及测试方法。     

基于扩展有限状态机的诱骗服务器关键技术研究

作为防火墙和入侵检测的有效补充,诱骗服务器成为网络安全的越来越重要的部分,本文在对当前诱骗服务器的研究水平进行了仔细分析的基础之上,提出了使用有限状态机理论来构建诱骗服务器的方案,并对其中的关键技术做了详细阐述。     

基于有限状态机的空间对接仿真平台控制系统设计

给出了一种基于分层式有限状态机的五自由度空间对接仿真平台控制系统设计方法,对状态机进行了扩展定义．增加了一个定义于状态上的变量属性集合,使其有利于系统的代码实现．结合控制系统采用的10 ms定时中断机制,将状态机层次划分到了可以分析每个10 ms硬件中断程序所需实现的控制功能状态及其转移、继承关系的程度,可以更清晰地设计出中断程序所需要的构成结构．系统的实际应用结果证明了上述方法的有效性．     

基于有限状态机的视频编解码器设计

在实时嵌入式多媒体通信系统中，分析了基于帧的视频编解码器设计方式对语音编解码器、通信模块实时性的影响，利用状态转换图分析了视频编解码器的有限状态机(FSM)。实验结果表明，基于状态机的设计方法提高了嵌入式系统的实时性。     

基于有限状态机的SIP监听研究

VOIP以其高效、快捷、节约通信资费的特性,被大众广泛认可。受利益等因素的驱动,利用VOIP实行的犯罪在网络里日益猖獗。出于国家安全及公众根本利益考虑,需要对利用VOIP实行的严重犯罪行为进行有效打击、管控,VOIP监听迫在眉睫。本文基于VOIP协议之一的SIP协议分析,确定由信令流至媒体流的监听途径。为节约成本,本文基于有限状态机的SIP监听模型可有效解决VOIP一种协议的监听问题,为执法、管理机关提供一种解决方案参考。     

基于有限状态机的自动售货机控制器

针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机（Hierarchical FSM,HFSM）模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转化为一棵状态树,利用状态的局部相关性查找下一个目标状态。分析表明,该模型能有效地解决复杂系统的“庞大症”。     

加权Moore机的同余与最小化

本文定义了加权Moore机的同余、同态,给出了同态定理并证明了同余关系在加权Moore机中构成一个完备格。在同余关系下给出了加权Moore机的商Moore机,并给出了求最小状态Moore机的算法。     

FI代数上的直觉模糊滤子和同余关系

在FI代数上引入直觉模糊滤子的概念,给出了直觉模糊滤子的一个等价刻画,探讨了由直觉模糊滤子诱导的同余关系,证明了一些性质。     

基于亲属元的亲属运算模型研究

为了解决民法意义上的亲属的结构化表示问题,提出一种可以表示任何亲属的亲属元序列表示法,通过抽象出10种基本的亲属元,可将任意的亲属表示为这些亲属元的有序序列,从而解决了亲属的编码问题及亲属属性判断问题.更重要的是,基于亲属元,构造出了一套非常简洁的亲属求逆和复合运算算法.     

剩余格中同余关系的简化

在剩余格中定义了一种只依赖于交运算和蕴含算子的同余关系,简化了[L]作为泛代数的同余关系的表达式,证明了这种同余关系和滤子之间仍然是一一对应的,并且这种对应关系是相应的完备格之间的一个同构。     

同余方程加密方案的研究

目前基于公钥的加密和会话密钥交换方案容易受到中间人攻击且效率不高。为此,提出了一种基于同余方程的加密和会话密钥交换方案,该算法可以安全高效地实现会话密钥的协商和加密消息的传输,并且还能防止中间人攻击。该方案在一定程度上防止第三者对传输消息的篡改,其安全性是建立在大数因子分解的困难性基础上的。     

剩余格上的模糊滤子和模糊同余关系

介绍了剩余格上的模糊同余关系和模糊滤子的定义,给出了剩余格上模糊滤子和模糊同余关系间的一一对应,证明了在剩余格上模糊滤子和模糊同余关系上定义适当的序关系可使它们是完备格同构。     

关系决策系统中相对不可区分和区分关系的约简

针对相对不可区分和区分关系约简的问题提出相应的算法。首先，考虑等价关系中相对不可区分关系的约简，提出一种新的辨识矩阵，并在此基础上得到了一种约简算法，通过关系的补关系提出相对区分关系的约简算法。然后，将相对不可区分关系等概念推广到一般关系。对于关系决策系统的相对不可区分关系约简给出了相应的辨识矩阵，并利用关系的补关系得到了相对区分关系约简的辨识矩阵，从而得到了两者的约简算法。最后，在选取的UCI数据集上，对提出的算法进行验证。在等价关系上，基于绝对约简的相对不可区分关系的约简（EQIND）算法与相对不可区分一般关系的约简（BⅡND）算法所得约简相同，基于绝对约简的相对区分关系的约简（EQDIS）算法与相对区分一般关系的约简（BIDIS）算法所得约简相同；同时算法BⅡND、BIDIS可以对不完备决策表进行约简。实验结果验证了所提算法的可行性。     

优势关系下随机信息系统的属性约简

粗糙集理论与概率论、模糊数学和证据理论等其他处理不确定或不精确问题的理论有很强的互补性。在优势关系的基础上,以证据理论中的mass函数为基本工具,提出了基于优势关系的随机信息系统,研究了优势关系下随机信息系统的属性约简问题。分别考虑了随机信息系统和目标随机信息系统两种情况,并给出了实例说明约简方法的有效性。     

灰色信息系统基于集中有序关系下的知识约简

属性约简是粗糙集理论进行知识获取的核心问题之一。针对现实信息系统中属性值取值不确定的情况,结合灰色系统理论对集中有序关系进行扩展,建立了灰色信息系统中趋于某个标准值的一种偏好关系,并以集中有序关系下的优势度为启发式信息,给出了属性的重要性度量,在此基础上提出了适合于属性值为连续灰数的信息系统的属性约简算法,给出了约简的实际操作方法,并通过实例验证了算法的可行性。     

不完备信息系统中基于限制容差关系的属性约简方法

决策表核属性的确定往往是信息约简的基础,然而以往的核属性约简方法大多是针对完备信息系统的。将完备信息系统中的属性核与属性序约简算法延伸至不完备系统,提出一种不完备信息系统中基于限制容差关系的属性约简方法。该方法通过构造限制容差关系下决策表的改进分辨矩阵来求得核属性,并将非核属性按直观影响分类质量的能力排序,能够保证得到的约简结果是相对最小约简。通过实验比较证明该方法可行、有效。     

集值信息系统基于限制相容关系的属性约简

讨论集值信息系统基于限制相容关系的属性约简方法;给出相似水平核心属性的特征。通过实例说明该算法能够得到集值信息系统的相对约简。