论文部分内容阅读
对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。
基于UPPAAL的数据关联时序有限自动机模型验证
【摘 要】
：
对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关
【机 构】
：
哈尔滨工程大学计算机科学技术学院
【出 处】
：
计算机工程
【发表日期】
：
2007年22期
其他文献
A Summary of the Main Contents and Existing Problems in the Study of Multi-Energy Coupling in Energy
Multi-energy flow (MEF) coupling is one of the key features of the energy Internet and integrated energy systems that are different from smart grids. With the i
我国粮食流通业在"十三五"时期发展迅速,为做好"十四五"时期粮食工作创造了良好的基础和条件。"十三五"时期粮食工作发展成效显著,"十四五"时期将面临新的机遇和挑战。"十四
中新社巴黎4月21日电（记者龙剑武）21日，法国总统选举首轮投票前公布的最后民调结果显示，中间派独立候选人艾曼努尔·马克龙和极右翼国民阵线候选人马丽娜·勒庞的支持率
目的深入了解某医院医联体合作单位间远程医疗服务的现状和需求,分析开展远程医疗服务存在的困难和问题,提出可行建议。方法按照自行设计的“某医院医联体单位远程医疗实施情
A Perspective on the Future of Distribution: Smart Grids, State of the Art, Benefits and Research Pl
Currently, the design and operation criteria for electrical distribution networks are fastly changing due to some factors;among these, the progressive penetrati
目的研究上消化道出血患者营养状况与临床结局的关系及其临床治疗。方法纳入94例上消化道出血患者作为研究对象,根据营养风险评分(NRS2002)分为高风险组和低风险组,所有患者
目的:研究和探讨全膝关节置换术应用氨甲环酸的止血效果,同时对比术前及术中应用氨甲环酸对患者出血量、术后血红蛋白量、输血率及相关并发症发生几率的影响,判定不同时机应
目的探讨自身免疫性多内分泌腺病综合征（autoimmune polyendocrinopathy syndrome，APS）的诊断要点及治疗原则。方法对我院收治的APS2例的临床资料进行回顾性分析，并复习相关文献