您现在的位置:生物医药大词典 >> 英汉双语句子大全 >> 的意思
A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.
中文意思:
验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。


以下为相关句子列表(点击查看,可以看对应的解释):
A program about AIDS is showing on TV. 电视正播映一个有关爱滋病的节目。
A program combining on-the-job training with related instruction that enables workers to master the practical and technical skills required for a skilled occupation. 一个将在职培训与相关指导结合起来的计划,它可以使工人掌握技能职业所需的实践和技术技能。
A program condition that allows changing or updating data in storage. 对存储器中的数据可进行修改或更新的工作方式。
A program consists of the step-by-step instruction that tell the computer how to do its work .Software is another name for a program or programs . 一个计画有按部就班的指导以告诉计算机该如何做它的工作.软件是一个计画或计画的另外一个名字.
A program for a play contains a list of the actors' names and other information about the play. 一出剧的节目单包括演员表和与该剧有关的其他情况。
A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state. 验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。
A program in execution, a process is an active entity, which can cause things to occur, as opposed to a program, which is a passive entity. 一种正在执行中的程序,是一种活着的实体,能引起事件的发生;而程序是被动的,处于静止状态。
A program is a specific set of instructions written by one or more people, which direct the action of a computer system. 一个程序就是一组指令的集合,由一个或多人编写,用于指导计算机系统的动作。
A program may access memory within a valid block buffer. 一个程式可以存取在正确的区块缓冲区中的记忆体.
A program may be such that the sequence of program events or program edits can be over-ridden by the operator. 程序可能出现下列情况,程序事件的顺序或程序编辑可以被操作员强行越权处理。
A program may be written in such a manner as to reject or alter certain input or output information which does not conform to some pre-determined criterion or otherwise fall within certain pre-established limits. 以编辑的方式写程序,使之拒绝或改变输入或输出信息,这些信息不符合某些预确定的标准或者属于预设定的限制。
 
你知道它的英文吗?
你知道中文意思吗?
热门分类


成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今 生物医药大词典- 自2008年3月1日开始服务 生物谷www.bioon.com团队研发
沪ICP备14018916号-1