1) 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语义模型扩充在多视点需求工程中的应
2) finite state transmission diagram
有限状态转换图
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语义模型扩充在多视点需求工程中的应
5) WFST
加权有限状态转换器
1.
This paper proposes a novel framework for Chinese-English name back-transliteration based on multiple models by using weighted finite-state transducers(WFST).
该框架以两个基于字符的转换模型和两个基于发音的转换模型为核心,通过加权有限状态转换器将多模型进行融合实现对人名的翻译。
6) 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规格的机械算法 。
补充资料：股份有限公司的转换
股份有限公司的转换——
股份有限公司的转换是指公司组织性质的变更，即由股份有限公司变为其他类型的公司。当公司不再具备股份有限公司的条件的时候，就需要变更登记为其他类型的公司。例如，由于公司收购的原因，当收购要约期满，收购要约人持有的股票达到公司股票总数的90%时，其余股东有权以同等条件向收购要约人强制出售其股票。如果强制出售后，公司股东人数达不到规定的股份有限公司的最低要求，公司必须变更登记。又如由于国家征收的原因，公司也可能变为国有独资公司。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条