助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   structure of programs 的翻译结果: 查询用时:0.018秒
图标索引 在分类学科中查询
所有学科
高等教育
更多类别查询

图标索引 历史查询
 

structure of programs
相关语句
  “structure of programs”译为未确定词的双语例句
     Improving the quality of programs belong to inner strategies, which aimed at improving the content and structure of programs;
     其中,提高节目质量属于内部策略,它以优化节目的内容和结构为根本目的;
短句来源
     Itis also an important method to test the structure of programs.
     路径测试是一个NP问题,是对程序进行结构测试的重要方法。
短句来源
     This will let users be easy to understand the structure of programs, and let them more effective to program.
     这些功能加强了用户对于CAR构件程序结构的把握以及编程效率;
短句来源
     This paper presents design and calculation programs for the cable manufacturing process by VB language. It describes mainly the structure of programs for design and calculation programs for several conductor constructions and proramming.
     利用 VB语言编制电缆制造工艺设计与计算的程序 ,主要介绍了几种导电线芯结构的工艺设计与计算的程序结构、程序设计。
短句来源
     the structure of programs and faculty is too simple.
     学科结构与师资结构单一。
短句来源
  相似匹配句对
     " ,the structure
     兼及了“V他+……”结构的特征。
     On ITS Structure
     论ITS的结构体系
短句来源
     The structure of C.
     剖析C.
短句来源
     The structure of P.C.
     大跨度预应力混凝土斜拉桥(简称P.C.斜拉桥)结构不仅经济、美观,而且可以采用悬臂浇筑方法施工、使这一桥型得以迅速推广。
短句来源
     the structure of programs and faculty is too simple.
     学科结构与师资结构单一。
短句来源
查询“structure of programs”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  structure of programs
The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules.
      
The language provides workflow constructs for defining the structure of programs and for attaining synchronization among concurrently executing programs.
      
This paper proposes an axiomatic systems for total logic, and proves its soundness and completeness in a classical pattern on the structure of programs.
      
Practice is the positive base of economic development, describing the structure of programs that appear to work.
      
In this section, we briefly outline the structure of programs in ProSe and discuss how nesC/TinyOS binaries are synthesized.
      
更多          


The structure of program MD3 is rigorous and rational. It is easy to operate and reliable

MD3程序参考美国NBS的FRAME程序的主要计算公式,并作了一些修正。程序结构严谨合理,运行简便。计算结果准确。将一批典型的复杂矿物的电子探针测试数据分别用日本电子JCXA—733电子探针上配备的CZAFM程序、日本岛津810Q配备的ZAF2程序、地矿部矿产综合利用研究所探针组在Apple—Ⅱ微机上使用的ZAF程序以及本文的MD3程序进行ZAF修正计算,结果表明,MD3程序的计算结果最好,化学成份总量最接近100%,根据化学成分算出的原子比最合理,因而矿物化学式最接近理想分子式。

The major functions and distinguished features are presented. Features consist of graphic interactive mode, management subsystem of optical system catalog data base, the modular structures of program and lens data, the hierarchical menu drive mode and default set-up.Finally ,some ideas about the future of CAOD are proposed.

本文详细地介绍了CAOD软件系统的主要功能,CAOD的重要特色——图形人机会话、镜头目录数据库管理子系统、积木式的程序结构和数据结构以及多层次的菜单驱动方式和默认值。最后提出了CAOD的下一步发展计划:扩充功能和逐步智能化。

The hierarchical structures of programs are frequently used by the users of PASCAL, FORTRAN, ALGOL, COBOL, etc. To suit the need of hierarchical structure proving, an axiomatic system including theproving rule of procedure call is drawn in this papero. As a new idea, the CALL invariant used in the rule makes proving procedure easier and more practical without the need of classifying procedure parameters.

分层结构对使用PASCAL、ALGOL、FORTRAN、COBOL等语言的用户来说,是一种常用的程序结构。本文引入一个囊括过程调用验证规则的公理系统,以适应日益受到广泛注意的分层结构验证技术的需要。文中提出了“调用不变式”概念并用于过程验证规则中,使验证过程不需对过程参数作详细划分,使验证更为方便、实用。

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

 


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

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