1) WSTD
Web程序状态转换图
2) program sequential function chart
程序状态转移图
1.
The paper refers to use LOGO! to achieve control to Double Power s Interconver-sion of Spare Control Electrocircuit,and designs hardware s wiring diagram, program sequential function chart and logic diagra
文章提出了用LOGO!对《工厂供电》课中双电源互为备用控制电路进行控制的方案,设计出了硬件接线图、程序状态转移图和逻辑图。
3) 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是否同构来验证控制器综合结果的正确与否。
4) 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文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言。
5) swap program status word
交换程序状态字
6) signal state converting diagram
信号状态转换图
1.
The influence of signal state converting diagram on TPS s running time in ATS is analyzed.
分析自动测试系统中的信号状态转换图是如何影响测试软件运行时间,并以NI DAQmx为例提出了任务句柄动态管理的解决方案,大大改善了测试运行时间。
补充资料：程序转换方法
程序转换方法
program transformational method
chengxu zhuanhuan fangfa程序转换方法(p到理，即m transfo们盯ationalmethod)由一程序转换至与之等价的另一程序的方法，简称转换方法。从软件自动化的角度看，程序转换有两类:一类是队向特换，即由一抽象级别较高的程序转至另一满足功能要求的抽象级别较低的程序。另一类是校向传换，即在相同(或类似)抽象级别上程序间的转换。 纵向转换涉及从功能规约到可执行的程序的全过程，可分为三个阶段:①从“做什么”的功能规约到“如何做”的设计规约转换;②从设计规约到高级语言程序的转换;③从高级语言程序到机器语言程序的转换。一般认为，①是其核心和难点，而②，③可借助编译技术完成。前者所要考虑的主要问题有:转换模型、转换过程中的正确性架构、知识及其表示机制和转换规则的选取等。代表性的工作是70年代中期西德慕尼黑技术大学信息学研究所在F.L.卫达uer教授主持下开始研究的软件自动化系统，即计算机辅助、直觉指导的程序设计(CIP)项目，以及南京大学计算机软件研究所徐家福教授主持研制的算法设计自动化系统NDADAS和软件自动化系统NDAU卫〕o CIP的目标是开发可形式保证程序正确性的程序开发系统。其课题有三:第一，设计并定义一广谱语言CIP一L;第二，开发一交互系统;第三，建立一指导程序开发中形式推理过程的方法学。CIP的特点是:第一，各步之间转换的实现只借助“保证正确性”的转换规则;第二，开发全过程由程序人员指导，亦即，由程序人员选定转换规则。 Nl〕AI〔)AS是实现功能规约到设计规约自动转换的算法设计自动化系统。它采用功能规约分解树模型，从给定的函数功能规约开始的转换过程由一系列自顶向下的精化步构成，每一精化步将某一函数规约或按某一控制结构分解成若干子函数功能规约;或将某一函数规约转换成另一易于求解的函数规约或算法已知的基元函数功能规约。此过程一直进行到所有未分解的(子)函数功能规约均是基元函数功能规约为止。结果即为相应的设计规约。 Nl)AUTO是实现设计规约到可执行的程序代码自动转换的软件自动化系统。主要工作是设计了一个图形化的软件设计规约语言GSPE〔:和实现了一个自动转换系统。(万PEC基于函数模型，并引人了新的软件分解模式，以及代数与一阶谓词相结合的抽象数据类型定义方法。系统转换过程分两步:第一，由转换程序将设计规约中的一阶谓词描述成分消去，将用户新定义的抽象数据类型用已有的类型实现;第二，由代码生成程序采用过程方法将转换后的设计规约翻译成可执行的程序代码。转换程序采用输人输出谓词综合法消去一阶谓词成分。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条