论文部分内容阅读
本文对非确定性的分布式系统的相容性测试提出一种新的方法，这种方法是经典的状态识别方法的一种扩展。我们提出了集合识别的概念，重新定义了区别序列和ＵＩＯ序列，最后我们给出了层次测试的方法。
测试非确定性系统的一种结构化方法
【摘 要】
：
本文对非确定性的分布式系统的相容性测试提出一种新的方法，这种方法是经典的状态识别方法的一种扩展。我们提出了集合识别的概念，重新定义了区别序列和ＵＩＯ序列，最后我们给出了层次
【机 构】
：
内蒙古大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年3期
【基金项目】
：
国家自然科学基金
其他文献
国家发展和改革委员会1月1日宣布，根据《价格法》第32条规定，自2008年12月1日起解除年初对成品粮及粮食制品、食用植物油、猪肉和牛羊肉及其制品、乳品、鸡蛋等食品类商品的临
人民网青岛视窗9月8日电据青岛日报报道“十二五”期间．青岛将按照“改善品质、提高质量、确保安全”的总体要求．着力转变畜牧业增长方式，提升畜牧业产业化、规模化、标准化发展
本文研究了几种加限制的半圈厄过程的字问题的计算复杂性。主要结果是：１．字母表只含一个符号的半圈厄过程的字问题是ＮＰ完全的；２．对于任一固定的字母表只含一个符号的半图厄过程，它的字
本文提出了一种利用硬件实现关系排序的模型，该模型采用总线相联的细胞阵列结构形式。它适宜于用ＶＬＳＩ实现，关系元组沿阵列管道边传输边排序，传输与排序同时完成，元组的串入串出满足计
目的探讨非典型急性阑尾炎的诊断与治疗方法。方法回顾分析105例手术确诊的非典型急性阑尾炎患者的资料：男40例,女65例。结果61例术前诊断为腹痛原因待查,考虑为急性阑尾炎;44
目的探讨股骨干骨折患者实施不同固定方式治疗效果。方法对56例股骨干骨折患者治疗方法及结果进行回顾性总结分析。结果实施髓内针固定11例、钢板螺钉内固定30例、多枚螺钉固
本文提出了一种图象处理与特征造型相结合的造型手段，利用图象处理的技术把三维布尔运算转化为在一维区间上处理，从而鐾避免了实体造型中布尔运算的不稳定性，特征信息的加入使参
<正>添加剂预混料成分多、用量小、作用大、安全性要求高,被列入农业部生产许可管理。2010年全国有半数左右的添加剂预混料生产许可证到期换发。加强添加剂预混料生产质量管
大豆黄酮作为新型饲料添加剂具有添加剂量小、见效快、毒副作用小等优点．在肉鸡生产上有促进生长、提高饲料利用效率、提高免疫力、改善胴体品质等作用，因而在肉鸡生产上具有广
一种图象分割新方法及其在石油勘探中的应用赵荣椿（西北工业大学计算机科学与工程系西安７１００７２）ＡＮＥＷＡＰＰＲＯＡＣＨＯＦＩＭＡＧＥＳＥＧＭＥＮＴＡＴＩＯＮＡＮＤＩＴＳＡＰＰＬＩＣＡＴＩＯＮＩＮＯＩＬＤＥＴＥＣＴＩＯＮ￥ＺｈａｏＲｏｎｇｃｈｕｎ（Ｄ...