检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西南大学计算机与信息科学学院,重庆400715
出 处:《计算机科学》2009年第9期294-296,共3页Computer Science
基 金:重庆市科技公关计划项目(CSTC-2006AA3011);重庆市科技公关计划项目(CSTC-2007AB2031)资助
摘 要:针对缺少对工业过程测量和控制系统(IPMCS)实时性评估研究的情况,提出了一种利用随机Petri网评估IPMCS实时性的方法。首先利用FB为IPMCS建模,转换为SPN模型;然后利用SPN模型与马尔可夫链(MC)同构的特征,转换为MC。最后基于MC的状态转移矩阵和稳态概率,对IPMCS的实时性进行评估,得到了量化的实时性数据。以具体示例的形式来说明如何对IPMCS的实时性进行评估。这种方法能给出量化的实时性数据,可以为IPMCS的设计提供参考。Few studies are done on industrial process measurement and control systems (IPMCS) real-time characteristic evaluation. So the paper provided an evaluation method of IPMCS real-time characteristic based on stochastic Petri net. First,FB was used to model IPMCS. Then the model was transformed to SPN model. Second, SPN model was transformed to Markov Chain (MC). Because an SPN model is isomorphic to a continuous time MC. Lastly, based on MC's transition matrix and steady probability, IPMCS real-time characteristic was evaluated. An example was given to illustrate how to evaluate IPMCS real-time characteristic. The method can give out real-time characteristic quantitative data which can provide reference when designing IPMCS.
关 键 词:工业过程测量和控制系统 随机PETRI网 评估
分 类 号:TP202[自动化与计算机技术—检测技术与自动化装置]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.112