论文部分内容阅读
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述，本文将变异分析引入构造类别代数中，设计了应用于构造类别代数的几类变异算子，并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤。这种方法为基于构造类别代数的协议测试提出了一个新的方向。
基于构造类别代数的变异分析
【摘 要】
：
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述，本文将变异分析引入构造类别代数中，设计了应用于构造类别代数的几类变异算子，并且提出了使用变异分析
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
电子学报
【发表日期】
：
2002年12A期
【基金项目】
：
自然科学基金重大研究计划项目(No.90104010,No.60241004),,教育部博士点基金项目(No.2000035802),,安徽省自然科学基金项目(No.01042208),,国家863计划项目(No.2001AA112062,No.2001AA121016),,中国科学院院长基金特别支持项目(院基计字905号)
其他文献
分析了孙家滩水电站转桨式水轮发电机组受油器甩油的问题，并介绍了对其处理的措施。
结合新疆冲乎尔水电站工程大坝表面保温保湿方案设计,论述了不同保温保湿材料和施工工艺的优缺点。并对喷涂聚氨酯方案,通过现场试验和理论计算,选定了技术经济优越的喷涂厚
阐述了土工格栅加筋支挡结构的特点、主要型式、设计、施工工艺等,通过与传统重力式挡土墙的对比分析,提出了潘口水电站开关站采用无面板的土工格栅加筋土挡土墙的方案设想。
结合龙桥水电站工程的实际,按照钢管和围岩联合承载的设计原则,对该工程地下埋藏式压力钢管和分岔管进行了结构设计和有限元计算,其结果对于类似工程具有一定的参考价值.
分析了影响溪洛渡水电站高陡边坡预裂爆破效果的主要因素,结合右岸坝肩开挖所做的爆破实验,提出了有针对性的爆破参数和方案,并探讨了较厚岩体分块爆破及单响控制问题.
本文提出一种基于直接边界元方法的虚拟多介质(Quasi-Multiple Medium,QMM)加速方法,并将它应用于三维VLSI多介质互连电容的计算中.QMM方法将三维互连电容器中的单层介质看成
本文针对分枝逻辑法的缺点,提出了一种快速心律失常病类判别的模糊数学方法.该方法使用S型和Z型隶属函数将心电RR间期和QRS波宽度两个参数模糊化,并通过计算其对于正常以及室
瞄准：为了在 Kupffer 房间上观察肝新生(ALR ) 的 augmenter 的效果并且决定 ALR 是否支持 hepatocyte，增长由 Kupffer 房间导致了。方法：Kupffer 房间和 hepatocytes 是有教养
目的总结采用改良肱三头肌劈开入路法治疗肱骨远端C型骨折手术的临床效果。方法对2012年1月至2016年6月收治的15例肱骨远端C型骨折患者采用改良肱三头肌劈开入路法治疗,观察
报道了全耗尽SOI MOSFET器件阈值电压漂移与辐照剂量和辐照剂量率之间的解析关系.模型计算结果与实验吻合较好.该模型物理意义明确,参数提取方便,适合于低辐照总剂量条件下的