The LTS state tree generation algorithm based on CHAM is presented, and validated with a typical in examples.
基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。
Thus, LTS state tree generation algorithm is the key to deriving testing plans and testing cases from architecture descriptions.
因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题。
The generation algorithm of adaptive mesh which is based on the quad-tree data structure is presented.
以四分树为数据结构，建立了网格细分法生成自适应网格算法。
Then this thesis presents a new approach to solve top event occurrence rate and a new generation algorithm of minimal cut sequence of dynamic fault tree that deviate from Markov model completely.
提出了一种完全脱离马尔可夫模型的求解动态故障树顶事件发生概率的方法和一种最小顺序割集的生成方法。
Then this thesis presents a new approach to solve top event occurrence rate and a new generation algorithm of minimal cut sequence of dynamic fault tree that deviate from Markov model completely.
提出了一种完全脱离马尔可夫模型的求解动态故障树顶事件发生概率的方法和一种最小顺序割集的生成方法。
应用推荐