【摘 要】
：
目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（61402131）
论文部分内容阅读
目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。
其他文献
“夏过无病三分虚”，盛夏酷热难耐，人们容易动辄出汗、气短乏力、吃不好、睡不香，此谓“苦夏”。此时，不妨使用夏日清补小能手——西洋参来缓解这些不适，尤其是体质虚弱、免疫力低
血凝素样氧化低密度脂蛋白受体1（LOX-1）是氧化低密度脂蛋白的主要受体，属C型血凝素家族，LOX-1可通过损伤内皮细胞，促进单核细胞黏附聚集，诱导细胞凋亡等机制促进动脉粥样硬化的形成
经皮冠状动脉介入和冠状动脉搭桥术，作为重要的心肌血运重建方式，挽救了大量冠心病患者的生命；但是，针对弥漫性血管病变患者，上述两种治疗方法受到了很大的限制。基于室腔-孔道-心
虽然流行病学调查表明风湿热的发病率在发达国家已大大减少，但二尖瓣狭窄在世界范围内仍导致不容忽视的致死率和致残率。经皮二尖瓣扩张术经过20年的发展后对治疗二尖瓣狭窄患
对承钢1 260 m3高炉扒炉大修后开炉快速达产过程进行了详细的总结。开炉前完成了布料参数校验和确定等准备工作。通过对开炉料的用料结构、装料方式和炉料分布的合理选择,以
随着无限通信技术的成熟，使得通过信息交换和交通信息分发式改善交通安全和预防交通拥堵成为可能。为了分发紧急信息给驾驶员，广播技术通常被采纳，但是又经常受到隐藏节点、干扰
社会工作是世界经济、社会发展的必然产物，伴随着工业化、城市化、现代化所引发的社会问题而产生和发展。职业化的社会工作起源、发展并成熟于西方发达国家，至今已有百年以上的
首先对机械式压力机的典型运动规律和常用传动方案的特点作了全面分析;阐述了伺服电机在机械式压力机上的应用现状,总结了其应用特点,提出了混合驱动压力机的思想,并介绍了混
本文报道早产和感染是引起新生儿硬肿症的主要原因。早产儿的病死率比足月儿高。早产儿单纯由早产因素引起硬肿症者,病死率低,早产儿由感染、受寒、窒息或多因素引起者,病死
他汀、血管紧张素Ⅱ受体拮抗剂具有独立于降脂、控制血压以外的血管保护作用。近几年的研究表明他汀与血管内皮祖细胞正性相关,同时提示了血管内皮祖细胞在增强血管再生和损