Performance evaluation from stochastic statecharts repre-sentation of flexible reactive systems:a si

来源 :系统工程与电子技术(英文版) | 被引量 : 0次 | 上传用户:Stanleytsang627
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper focuses on the performance analysis of flexible reactive systems. The performance analysis consists of two phases: first system modeling, second performance evalua-tion. The paper models the flexible reactive system by the stochas-tic statecharts method, and uses the simulation method to evalu-ate the performance. To make use of the feature of event-triggered state transitions in the statecharts, a new method of simulation is proposed based on the techniques of the discrete-event system simulation. The new method solves the problem of computer imple-mentation of stochastic events, probabilistic transition, concurrent states, paral el actions, and broadcast communication mechanism in the stochastic statecharts. An example of a flexible manufactur-ing system is presented. The simulation result of the example is consistent with the analytical result, which shows the feasibility of the proposed new simulation method.
其他文献
奶牛生产性能的高低受环境的影响,特别是炎热的夏季,高温对奶牛的生产性能影响比较大.作者搜集了大量长期从事畜牧技术工作中得到的最大程度减少环境影响的经验材料,总结出了
建设项目开发管理机制,需要根据实际情况,抓住质量、进度与成本三要素,着力在责任落实、协调推动、服务保障和考核激励方面下功夫,对各种经营管理资源进行有效地计划、组织、
针对一起起重机吊具故障导致坠落伤人事故案例进行分析,找出故障原因及事故根源,并提出相应的预防措施,从而避免类似事故的再次发生,可供起重作业人员进行参考。 Aiming at
区间值信念结构下证据理论在信息融合、决策分析中有着广泛的应用前景.针对区间值冲突证据组合出现反直观结果问题,提出一种新的证据组合方法.从整体角度构建证据间Pignistic概
为了提高终端空域航空器到达时间预测的准确性和排序队列的稳定性,本文从分析影响航空器预计到达时间ETA的不确定因素出发,建立了同一机型航空器过同一边界点到达时间的概率
Frame and frequency synchronization are essential for orthogonal frequency division multiplexing (OFDM) systems. The frame offset owing to incorrect start point
This paper considers a project scheduling problem with the objective of minimizing resource availability costs appealed to finish al activities before the deadl
A combination method of optimization of the back-ground value and optimization of the initial item is proposed. The sequences of the unbiased exponential distri
This paper focuses on fast algorithm for computing the assignment reduct in inconsistent incomplete decision systems. It is quite inconvenient to judge the assi
A novel strategy of probability density function (PDF) shape control is proposed in stochastic systems. The control er is designed whose parameters are optimal