期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
状态轮询和事件驱动的软件状态机设计优化
1
作者 孙来平 虞翊 楚彭子 《计算机工程与应用》 CSCD 北大核心 2024年第12期303-313,共11页
状态机设计的灵活性在给开发人员带来高效与便利的同时,也带来三类较典型的问题:由于状态逻辑和时序依存导致的输出错误,由于历史数据缓存导致的状态机计算量庞大的问题,以及由于状态跃迁耦合导致的输出不可控问题。目前这三类问题在软... 状态机设计的灵活性在给开发人员带来高效与便利的同时,也带来三类较典型的问题:由于状态逻辑和时序依存导致的输出错误,由于历史数据缓存导致的状态机计算量庞大的问题,以及由于状态跃迁耦合导致的输出不可控问题。目前这三类问题在软件详细设计和编码中仍然存在。在状态机功能不改变、在有限状态机设计约束条件下从时间复杂度和圈复杂度两个维度对状态机进行等价转换,即将原状态和判定条件进行合并或拆分,根据元模型定义对拆分或合并后的状态进行重组,添加跃迁条件,提出优化的一般性过程。进而针对三类典型问题给出优化算法,用同一算法分别对优化前后的状态机进行测试,并从时间复杂度和圈复杂度两方面验证了优化算法的可行性。该研究的实用价值在于为实时控制和安全苛求系统软件设计或重构提供了一种优化的方法。 展开更多
关键词 软件状态 图同构 状态等价性 时间复杂度 圈复杂度
下载PDF
Availability Equivalence Analysis of a Repairable Multi-State Series-Parallel System 被引量:1
2
作者 HU Linmin YUE Dequan TIAN Ruiling 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2016年第6期1596-1616,共21页
The availability equivalence of different designs for a repairable multi-state series-parallel system(RMSPS) is discussed in this paper.The system components are assumed to be independent,and their failure and repair ... The availability equivalence of different designs for a repairable multi-state series-parallel system(RMSPS) is discussed in this paper.The system components are assumed to be independent,and their failure and repair rates to be constant.The system availability is defined as the ability of the system to satisfy consumer demand.Factor improvement method and standby redundancy method are used to improve the system design.To evaluate availability of the both original and improved systems,a fast technique,based on universal generating function,is adopted.The availability equivalence factor is introduced to compare different system designs.Two types of availability equivalence factors of the system are derived.A numerical example is provided to illustrate how to utilize the obtained results. 展开更多
关键词 Availability equivalence factor factor improvement method multi-state series-parallelsystem standby redundancy method universal generating function.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部