1) transformation of tense
时态转换
2) Tense and Aspect Conversion
时体态转换
3) time-interval of state conversion
状态转换时长
4) state switch
转态转换
5) temporal 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语义模型扩充在多视点需求工程中的应
2.
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.
本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 。
6) change-over time
双稳态继电器转换时间
补充资料:可转换证券的转换价值
可转换证券的转换价值——
如果一种可转换证券可以立即转让,它可转换的普通股票的市场价格与转换比率的乘积就是可转换证券的转换价值,即转换价值等于普通股票的市价乘以转换比率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条