检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]武汉科技大学机械自动化学院,湖北武汉430081
出 处:《工程设计学报》2015年第1期18-25,共8页Chinese Journal of Engineering Design
基 金:国家高技术研究发展计划(863计划)资助项目(2012AA040102);武汉科技大学冶金装备及其控制教育部重点实验室开放基金资助项目(2013A12)
摘 要:为解决马尔科夫模型的状态空间爆炸问题,在状态空间分解法的基础上,建立单个部件(层次3)的SPN模型,然后根据子系统的组成结构建立单个子系统(层次2)的SPN模型.将子系统SPN模型集成为系统模型(层次1),得到系统模型的可达图及缩小的等效半马尔科夫图,按图建立系统模型的状态方程并求解,然后对系统进行可靠性和可用性评估.以泵送系统为例,验证分解法有助于解决状态空间爆炸问题,并使建模的难度和计算量减小,更易于操作.To solve the state space explosion problem of Markov model,individual component(level 3)SPN model was developed based on the state space decomposition approach.Then,according to the basic structure of the subsystem,individual subsystem(level 2)SPN model was developed.The subsystem SPN models were integrated into system model(level 1).Reachable graph and reduced equivalent Semi-Markov rate diagram were generated to obtain solutions of the equations for the system model.Assessment of reliability and availability for the system was done.Pumping system as an example was used to validate the decomposition method could help to overcome the state space explosion problem,to reduce the difficulty and calculation for modeling and to operate easier.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.33