论文部分内容阅读
本文基于多ＵＩＯ序列提出了一种最优化协议一致性测试生成方法，可以证明本方法生成的测试序列的长度比其它基于ＵＩＯ序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术，因此生成叠加转换序列所需要的计算时间大大减少了。
基于多UIO序列的协议一至致性测试生成
【摘 要】
：
本文基于多ＵＩＯ序列提出了一种最优化协议一致性测试生成方法，可以证明本方法生成的测试序列的长度比其它基于ＵＩＯ序列的测试方法生成的测试序列短。由于本方法采用了形式珈技术，因此生
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
随着面向对象实现技术的快速发展，面向对象的各种软件开发方法正在相互融合，并进入实施应用阶段，从而有力地促使了这一方法逐步走向成熟，基于“青鸟工程”和现有的面向对象方法，我
目的观察肺癌伴恶性胸腔积液患者接受重组人白细胞介素-2（IL-2）胸腔内注射联合微波热疗治疗肺癌恶性胸腔积液的疗效及副作用。方法60例肺癌恶性胸腔积液患者，随机分成两组，每组30
本文提出一种松耦合多数据库系统环境下的查询处理策略。查询优化的目标是全局和局部两个操作层次开发系统，以减少执行一个查询的整体代价。
随着经济的全球化和信息时代的到来，图书馆要在激烈的市场竞争中立于不败之地并不断得到发展，就必须确立自己的竞争优势，也就是要打造图书馆的核心竞争力。唯有追求图书馆核心竞
本文介绍了ＳＴＥＰ标准的概念和原理，基于ＳＴＥＰ标准对各种计算机辅助系统进行集成的策略，以及ＳＴＥＰ模型描述语言ＥＸＰＲＥＳＳ的编译器的实现和ＧＨＭｏｄｅｌｉｎｇ４．０的ＳＴＥＰ中性文件前后处理器的实现，语言轩讨论了ＳＴＥＰ标准的实现原理、ＥＸＰＲＥＳＳ编译器
精子载体法转基因由于具有简便易行、对胚胎发育影响小的特点而成为最具诱惑力的转基因方法之一,因此研究者们在不同的水平上对该方法进行了研究。从分子水平上简要分析了探
目的探讨微创扩清并负压引流治疗小儿急性脓胸的临床疗效。方法采用腋下＂S＂小切口行小儿急性脓胸扩清术并负压引流36例,切口长4～10cm,肺叶切除2例。结果全组无手术死亡,均顺利康
高校图书馆有着雄厚的馆藏资源和专业素质高的馆员队伍，在两个文明建设中起着举足轻重的作用。高校图书馆参与社会公共文化事业建设，既有政府政策保障，又有优越的客观条件，在公共
肝细胞生长因子（HGF）是一种具有多重功能的细胞调控因子。HGF与其受体Met酪氨酸激酶（c-Met）的结合可激发多种生物学反应，从而调节细胞的增殖、分化、形态发生和侵袭运动等。有多种