基于马尔可夫链的性能检测器的设计与实现

作     者：许振兴 吴尽昭 陈剑锋 XU Zhen-xing;WU Jin-zhao;CHEN Jian-feng

作者机构：中国科学院成都计算机应用研究所成都610041 

基　　金：国家973计划项目(2007CB310803) 国家863计划项目(2007AA01Z143) 国家自然科学基金资助项目(6087311860973147) 北京交通大学科学研究基金资助项目(2007RC110) 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2010年第30卷第A1期

页      码：215-217页

摘      要：为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用Java Swing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作。

主 题 词：模型检测 交互式马可夫链 时序逻辑 性能检测 系统结构 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203872068...