论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试
【机 构】
：
东北大学软件中心
【出 处】
：
计算机学报
【发表日期】
：
1994年11期
其他文献
随着中国的入世,加快了中国医药事业的全球发展步伐。而作为中国这样一个发展中的人口大国,医药卫生水平必须与国际接轨,这样我们才能更好的发展我们自己,让我国的医药事业更
计算凸包问题不仅是计算几何的基本工具之一，而且在实际应用中也是很重要的，本文运用Ｇｒａｈａｍ扫描技术及双动线检测的方法，构造了测定简单多边形凸包的Ｏ（ｎ）快速算法。
一旦掌握孵化相关的步骤和技术之后（虽然一开始看上去并不是如此）,鸡蛋的孵化过程相对来说就很简单。其他家禽品种诸如火鸡、水禽的孵化步骤与鸡类似,不过在孵化时间和适用条件
神经保护剂是治疗早期急性脑梗死的有效方法之一,它可延长缺血神经细胞的生存能力,为进一步治疗争取时间。依达拉奉是一种新型自由基清除剂,具有清除自由基、抑制脂质过氧化
直接的体绘制技术提供了在一幅图形内显示三维数据场各种信息的巨大潜力，然而，上成这样的图形是极其昂贵的，而且高质量图形的绘制远远达不到交互实现的水平．与光线投射方法每次独立地处理一条光线相比，体绘制的体元投影方法按一定的顺序逐一处理数据场内每。个体元．图形绘制的复杂性是Ｏ（ｎ）（ｎ是数据场体元个数，即三个方向长度的乘积）．体元投影方法引起人门极大的兴趣是因为在处理过程中充分地利用了体元的空间连贯性．
本文提出一种基于几何推理的参数化设计方法，该方法引入了已知元素，已知约束等新概念；通过扩展一般的图形数据结构统一表示几何元素与几何约束；基于普通算法而不是专家系统实现几
本文提出一种利用一幅透视图象重建对称形体的算法．通过对透视图中灭点位置分布规律的解析求出透视投影时视点的位置以及物体的对称平面后，即可唯一地确定物体上任意一对对称点的三维坐标．
本文在加上引进了关系分划，利用外延空间上的概率分布得到了证据的信任函数，并给出了证据合成的Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ公式的简化计算方法及在专家系统中的应用。
目的分析及评价应用保守治疗、DHS、伽玛钉、人工关节量换治疗老年人股骨粗隆间骨折的方法及选择。方法应用上述方法治疗老年人粗隆间骨折共57例，年龄67-92岁，平均79岁。结果对