一类有限自动机及其直积的试验序列

对有限自动机Md、Mnd及M×Md∧Mnd的初(末)态试验序列、UIO序列和同步序列进行了讨论,给出了它们之间的关系及最短的试验序列个数的判定,并在此基础之上给出了M×Md和M×Mnd的初(末)态试验序列、UIO序列和同步序列的一些性质和结果.     

两个有限自动机之间试验序列的关系

给出两个有限自动机分别具有等价、弱同构、同构、强于关系时,它们相应的试验序列所具有的关系.     

有限自动机的积可逆性讨论

主要讨论了有限自动机运算后的可逆情况,给出了有限自动机串、并联后为可逆(弱可逆,延迟有限步(弱)可逆)的若干条件,最后对有限自动机的化合运算的可逆性进行了特别讨论．     

概率有限自动机积的覆盖性

提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.     

一种新的基于FSM的UIO序列生成算法

在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.     

钟控序列和有限自动机密码的一种实现

讨论两个自治有限自动机复合的状态序列的一些数学性质.给出在微型计算机IBM-PC上有限自动机密码的一种实现及其保密性能的分析,并附有关于密文和乱数序列的均匀分布的X~2检验及密文和乱数序列中游程长的统计结果.     

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.     

HG-AFS测定土壤水溶态、可交换态Se(Ⅳ)和Se(Ⅵ)

硒的形态分析(含价态)在环境、生命科学以及食品、医药卫生方面具有重要意义.为了了解土壤水溶态和可交换态中硒具体价态以及相关价态含量,通过实验优化了氢化物发生原子荧光光谱法测定条件,直接测定Se(Ⅳ)和定量还原后测总无机硒,差减法测得Se(Ⅵ)量.对两种供试土壤的水溶态和可交换态硒存在的价态及含量进行了报道,方法简便可行.     

函数列一致(R)可积的一个充分条件

给出了函数列一致（R）可积的一个新的充分条件和证明及相关结果．     

su(1,1)代数的相干态

介绍了非紧李代数ｓｕ（１,１）的相干态,并以简单的例子讨论了它随时间演化的性质,得出可积系统的相干态的密度矩阵的矩阵元有统一的解析表达式。     

有限自动机在模式匹配中的应用与研究

有限自动机匹配算法是多模式匹配中的重要算法.反向有限自动机在一定的条件下能压缩自动机的规模,从而提高模式匹配的速度.将反向有限自动机算法与BM算法相结合,利用当前获取信息进一步增大匹配过程中的跳跃距离,可进一步提高模式匹配的速度.     

一种通信有限状态机的被动测试及其错误诊断

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题，提出了一种被动测试错误检测方法．该方法在外部通道放置观察者，并使用了全局状态描述系统的当前可能状态，利用了观察到的输入输出信息，同时结合了模型转换推测出系统的状态变迁．基于该检测方法又设计出一种层次化的错误诊断算法，首先记录被动检测过程中系统经历的转换轨迹，用变异分析方法生成候选诊断，然后通过被动观察来降低错误集合的规模，最后使用区分序列和交叉判定进行错误定位．通过一个实际的H．245通信协议的实验表明，所提算法能够在有限观察步骤内检测出被测系统中的错误，并能有效定位检测错误，其回溯算法也可以显著缩短错误症状序列的长度．     

C-TERN: 一种基于CFSA的军事新闻文本时间信息处理算法

提出一种基于层叠有限状态自动机(CFSA)的中文军事文本时间表达式识别与规范化算法C-TERN。C-TERN首先利用成熟的分词工具识别出文本中的时间词, 然后将从通用语言和军事语言中提取的时间表达式规则分成多层, 逐层进行时间信息的精细识别。在规范化过程中, 通过4个步骤分别对特殊时间表达式、简单时间表达式、时间段表达式和绝对/相对时间表达式进行推理计算和规范化。算法考虑了规则集提取的正确性、规则之间冲突的消解以及匹配方式的合理性。在多个数据集上的实验结果显示, C-TERN不但能有效地识别标准时间、偏移时间和不确定性时间表达式, 而且能完成对简单、特殊以及隐含的时间点、时间段和偏移时间的推理与规范化, 能够满足军事文本时间信息处理的需要。     

CH_4／Ni（111）化学吸附解离反应终态的理论研究

采用ＣＮＤＯ和ＡＳＥＤ－ＭＯ方法，选择Ｎｉ＿（１０）原子簇模拟Ｎｉ（１１１）晶面，分别对ＣＨ＿３／Ｎｉ（１１１）和Ｎ／Ｎｉ（１１１）吸附体系进行了研究，所得结论与实验基本一致。     

(L,M)-闭包模糊邻域空间

通过将L-模糊弱邻域算子的概念变形到(L,M)-闭包模糊邻域系, 给出(L,M) 闭包模糊邻域系和(L,M)-闭包系统的关系, 并研究(L,M)-闭包模糊邻域空间与连续映射构成范畴的终结构和初始结构. 最后给出该范畴的余积和乘积.     

异步电路的低功耗状态机AFSM的设计与实现

基于CMOS低功耗门控技术,设计了一种应用于ASIC中的异步状态机(AFSM).关键是将原始的同步状态机分解为若干个能够相互通信的子状态机,提高子状态机的自循环率,进而通过异步控制子状态机,达到降低功耗的目的.将该思想应用于VLSI设计实例,证明了采用这种异步状态机设计能够有效节省片上系统(SoC)的功耗最高达25%以上,并且不会过多地增加芯片面积.     

Banach序列空间lp(Xi)的几何性质

利用lp空间的性质及lp和lp(Xi)的关系,讨论了lp(Xi)的强凸性、(M)性质和(S)性质,给出了它们的充要条件.     

基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

自旋体系的一般 SU(2)相干态

本文引进自旋体系的一般SU(2)相干态的产生算符,从而推广了一般SU(2)相干态概念,给出了它的测不准关系,二阶相干度,并讨论了它的产生及其量子效应。