1) finite state transmission diagram
有限状态转换图
2) 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语义模型扩充在多视点需求工程中的应
3) 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).
该框架以两个基于字符的转换模型和两个基于发音的转换模型为核心,通过加权有限状态转换器将多模型进行融合实现对人名的翻译。
4) State Transferring Diagram
有限状态图
1.
Intrusion Detection System Based on State Transferring Diagram;
用有限状态图来识别系统入侵
5) state transition graph
状态转换图
1.
Ajax crawling algorithm based on state transition graph
一种基于状态转换图的Ajax爬行算法
2.
In connection with the high complexity and integration of current digital circuit,introduces simulation verification and formal verification which are analyzed and compared,and then detailedly introduces the verification of controller synthesis based on STG s(state transition graph) isomorphism.
该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。
6) state transition diagram
状态转换图
1.
Rapid analysis of LL syntax based on the state transition diagram
基于状态转换图的LL语法快速分析方法
2.
The state transition diagram model of Petri net is given.
给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步。
3.
The concept of bag automata and of bag language is presented, the state transition diagram of bag automata is given in this paper, the relation between bag language and the languages in Chomsky hierarchy is studied.
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言。
补充资料:股份有限公司的转换
股份有限公司的转换——
股份有限公司的转换是指公司组织性质的变更,即由股份有限公司变为其他类型的公司。当公司不再具备股份有限公司的条件的时候,就需要变更登记为其他类型的公司。例如,由于公司收购的原因,当收购要约期满,收购要约人持有的股票达到公司股票总数的90%时,其余股东有权以同等条件向收购要约人强制出售其股票。如果强制出售后,公司股东人数达不到规定的股份有限公司的最低要求,公司必须变更登记。又如由于国家征收的原因,公司也可能变为国有独资公司。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条