1) system state transferring space
系统状态转换空间
1.
System variants in system state transferring space are state conditions which must be kept in all states of the space, the accurate description and extracting of system variants can not only make specifications concise, more reasonable and more readable than it was ,but also make the transfer from specifications to executable program code easy .
系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,提出一种新的系统不变式抽取的方法。
2) State space transition
状态空间转换
3) status transition system
状态转换系统
1.
Using status transition system, we analysis the semantic model of Z and point out three kinds of shortages.
利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;并通过一个简单的实例说明 Z语义模型扩充在多视点需求工程中的应
6) finite status transition system
有限状态转换系统
1.
Then we extend the semantic model of Z on diversity, validity and temporality by using status transition system, finite status transition system and temporal status transition system.
利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;并通过一个简单的实例说明 Z语义模型扩充在多视点需求工程中的应
补充资料：离散时间状态空间模型
分子式：
CAS号：
性质：状态空间模型的一种，是时间变量为离散的状态空间模型。
CAS号：
性质：状态空间模型的一种，是时间变量为离散的状态空间模型。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条