1) Finite state verification
有穷状态验证
1.
Finite state verification for programs is an approach between theorem proving and testing.
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。
2) finite automat
有穷状态机
1.
The paper discusses the technique and algorithms of intrusion detection based on the protocol analysis,and presents a protocol state transfer model according finite automata.
本文对协议分析入侵检测的方法和算法进行了研究,并通过对网络协议和入侵攻击的深入分析,提出了一个基于有穷状态机的状态协议迁移模型。
3) Finite path verification
有穷路径验证
4) finite automaton
有穷状态自动机
1.
A finite automaton(FA) was used to build up the shallow water ray tracing model,and the model state,transition, event and action were analyzed.
用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线追踪内在的状态及状态转移分析。
2.
A shallow water acoustic field algorithm using finite automaton was presented.
提出一种用有穷状态自动机研究浅海声场的方法。
5) finite state machine
有穷状态自动机
1.
Protocol analyzing finite state machine plays a very important role in guaranteeing the correctness of protocol analyzing.
协议的形式化描述工具有穷状态自动机、通信有限状态自动机。
6) Statechart Verification
状态图验证
1.
A Statechart Verification Tool for Automotive Electronics-Smart Automata;
支持汽车电子的状态图验证工具—Smart Automata
补充资料：验证状态控制
验证状态控制
control of verification status
YOnzheng zhuangtaiko叩Zhi验证状态控制(印ntrOI of verifi。蚊ion status)为准确识别产品的验证状态所采取的技术作业和活动。在产品生产的全过程中，对不同验证状态应加以区分和管理。验证状态一般可分为4种:①待验状态;②已验合格状态;③已验不合格状态;④已验待判定状态。 正常生产过程中，为了防止未经验证或已经检验但尚未判定其是否合格的产品与已验合格产品互相混淆，必须对验证状态实施控制。方法是对不同验证状态的产品作出标识，并分别存放。验证状态的标识可使用标记、印章、标签、标牌、转序卡、检验记录、存放容器、存放地点等不同方式、方法。根据管理的需要，也可几种方法同时使用。一般在使用标记、标签、标牌的同时，还要在转序卡、工序生产原始凭单或验收单等记录凭证上登记、记录，成品或半成品实物要根据其材质、尺寸大小等不同情况，确定不同验证状态存放的不同地点或不同容器。 验证状态标识和产品标识不同，产品标识区分每个或每批产品在形成过程中的标识标记，可以是批号、炉号、规格型号等标志，用以防止不同类型产品的混淆。这种标识在生产过程中是惟一的，不改变的。验证状态标识是随工序转序(流程流转)而改变的，在生产过程中不是惟一的。 良好的验证状态控制由与生产过程有关的各部门协作完成。工艺技术部门按车间场地布局设定不同验证状态实物的存放地点、位t和器具，设!明显的文字标识。‘验证的状态由检验部门负责确认，并出具凭证。物资、生产管理部门负责不同验证实物的搬运和管理。这些部门的协调运作才能形成一个有效的验证状态控制系统。(陈率民)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条