论文部分内容阅读
在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序列的完整路径,实验结果表明能够正确生成FSM图中各个状态的最短UIO序列.
一种新的基于FSM的UIO序列生成算法
【摘 要】
：
在一致性测试中,如何有效地生成UIO序列一直为人们所关注.针对此,提出一种新的基于FSM的UIO序列生成算法,进而由C语言编写实现.该思想采用栈和结构体相结合的思路来保存UIO序
【机 构】
：
内蒙古大学计算机学院,内蒙古大学网络信息中心
【出 处】
：
内蒙古大学学报(自然科学版)
【发表日期】
：
2011年5期
其他文献
国道209线神（农架）宜（昌）路是湖北省＂一江两山＂（长江三峡、神农架、武当山）旅游黄金通道。该路段的落步河桥头的危岩曾经造成5名游客被砸身亡的意外事故。2014年底,公路部门对此危岩
在充分利用无穷维Hamilton算子结构特性的基础上，完全刻画了上三角型缺项无穷维Hamilton算子纯虚点谱的并集、纯虚剩余谱的并集和纯虚连续谱的并集，并将上述结论在一定条件下推
介绍了一种以STC89C52RC为主控芯片的嵌入式系统设备接入Internet的技术,阐述了网络接口芯片RTL8019AS的内部结构及特性原理,并且根据RTL8019AS的特性和原理设计了以太网通信
利用复变函数方法，通过构造保角映射，研究了带不对称裂纹的圆形孔口的反平面剪切问题，给出了Ⅲ型裂纹问题的应力强度因子．在极限情形下，不仅可以还原为已有的结果，而且求得带对称双
论述了乙烯装置节能减排的措施。优化乙烯原料、采用先进技术、蒸汽系统的总体优化、已有装置的技术改造等，都有助于节能减排的实施。
通过原位本体聚合法制备了一系列透明的APhen-CdS纳米微粒／聚合物复合材料．透射电镜（TEM）测试显示，APhen—CdS微粒均匀的分散在聚合物中，微粒直径仍保持2—5nm，荧光光谱（PL）表明，APhen-
以土壤中重金属镉的细菌抗性基因cadA的多样性与丰度,间接反映目前我国森林立地环境中重金属镉生物有效态的影响水平.利用变性梯度凝胶电泳及实时荧光定量PCR技术,调查寒温带
分析总结了2005年中国石油和化工行业经济建设取得的成就，指出了发展中面临的一系列问题和矛盾，展望了2006年我国石油和化工行业的发展前景以及“十一五”规划期间的发展环境。
利用空间分解方法研究了无穷维Hamilton算子的可逆性．得到缺项算子矩阵可补为可逆无穷维Hamilton算子，且其逆的一个子块为已知的等价条件，并给出该问题的所有解；此外，还研究了一般