助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   program state 的翻译结果: 查询用时:0.137秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

program state
相关语句
  程序状态
     Program State Monitoring System
     一种程序状态监测系统
短句来源
     This text refers to use PLC to replace electric switch to control,achieved control to double power's interconversion of spare control electrocircuit in textile mills. This text laso illustrates the feasibility of using PLC by analyzing hardware's wiring diagram,program state transfer diagram and ladder diagram.
     提出了用PLC代替继电器控制,实现对纺织厂双电源互为备用电路的控制,并通过对其硬件接线图、程序状态转移图和梯形图的分析,阐明了PLC控制的可行性。
短句来源
     This paper proposes a novel representation for multi-threaded programs with shared variables,which is called thread interaction reachability graph(tIRG). Based on tIRG,dependences in concurrent programs are analyzed globally and a new dependence graph called MSDG,which vertex is a 2-tuple composed of program state and statement,is constructed.
     针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).
短句来源
  “program state”译为未确定词的双语例句
     Program State Transformer (Ⅱ)
     程序状态转换函数(Ⅱ)
短句来源
     This paper discribes several breakdowns of data acquisition system and checking methods in Picker 1200 CT. Breakdowns can be quickly found out with the method of a cooperation of artifact,diagnosis program,state indicator and replacement.
     本文介绍了几种Picker1200CT数据采集系统常见故障的排查方法 ,通过结合图像伪影、诊断程序、状态指示灯及代换法快速排查故障。
短句来源
  相似匹配句对
     Program State Transformer (Ⅱ)
     程序状态转换函数(Ⅱ)
短句来源
     State and V. T.
     Stace和V.T.
     Program
     会议程序
     state.
     state.
短句来源
     Program State Monitoring System
     一种程序状态监测系统
短句来源
查询“program state”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  program state
It also allows the programmer to obtain a fresh program state for reliable testing, eliminating the need to reload an entire program.
      
One conclusion is that UNITY and related formalisms leave some important issues implicit, such as their concept of the program state, which means that great care must be exercised when implementing tool support.
      
In many areas of computation and reasoning, the value of an expression may depend on an implicit parameter, which may for example represent a program state, or time, or a possible world.
      
Blast constructs, explores, and refines abstractions of the program state space based on lazy predicate abstraction and interpolation-based predicate discovery.
      
We rely on a microarchitectural rollback mechanism to restore correct program state in the event of a defect detection.
      
更多          


Dijkstra's predicate transformer for specifying the semantics of guarded commands set and proving the total correctness of a program is generalized to a programming language with a goto statement.The concept of program state transformer is used to derive some basic results for verification of programs_2 The approach of proving the correctness-preserving property of some common program transformations that are used in the compiling process is also explored.

本文使用程序状态转换函数来验证程序的全正确性,由于讨论了程序运行中控制点位置的变化,这给验证有多个出口的程序提供了一个有效的工具.文章最后证明了一系列程序变换的等价性,由此推证编译程序生成过程保持了源程序的语义.

PROLOG/KET is a PROLOG interpreter implemented on Eclip(?)e MV/8000 Ⅱminicomputer system in C language.This paper introduces the unification algorithm and the inference procedure of the system,discusses several issues concerned with the implementation techniques,including the storage and search of clauses,the optimization for control stack,and the management of program library and the handling of program states.Finally,it analyses the performance of the system,and present some features for improvement....

PROLOG/KET is a PROLOG interpreter implemented on Eclip(?)e MV/8000 Ⅱminicomputer system in C language.This paper introduces the unification algorithm and the inference procedure of the system,discusses several issues concerned with the implementation techniques,including the storage and search of clauses,the optimization for control stack,and the management of program library and the handling of program states.Finally,it analyses the performance of the system,and present some features for improvement.

PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.

The system is a basic system of single clip composed of 89C51 single clip, 373 data flip-latch and operating mode switch circuit. while the system is linked with PC and the down load program of PC is run, it controls operating mode, switches circuit switches the system to program state, and the system writer the new program code to 28F512 memory, so it has realized the programmable ability of the system. The system presents many advantages: low cost, easy design and more practicability etc.

由89C51单片机、28F512存储器、373数据锁存器和工作状态切换电路组成的基本单片机系统,与PC机串口相联,在PC机上运行自编的下载程序,就可控制工作状态切换器,将系统切换到编程状态,并把新的程序代码写到28F512存储器中,从而实现系统的再编程能力.该系统具有成本低、设计容易、实用性强等优点.

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关program state的内容
在知识搜索中查有关program state的内容
在数字搜索中查有关program state的内容
在概念知识元中查有关program state的内容
在学术趋势中查有关program state的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社