1) intermediate assertion
中间断言
1.
The main purpose of this paper is to illuminate two thoughts and methods of formal verification: intermediate assertion and weakest predicate, on this base, two problems are solved:the relation to "Q contain Q′"and program correction; to verify program correction, if intermediate assertion is weaker, sometimes it is not better.
本文阐明了形式化验证中“中间断言”和“最弱前置谓词”两种思想和方法 ,在此基础上 ,解决了两个问题 :开始前置断言Q蕴涵非常弱的前置断言Q′与程序正确性的关系 ;对于验证程序正确性 ,中间断言并不是越弱越
2) A break or gap.
间断，中断
3) middle language
中间语言
1.
This paper firstly discusses the use of dynamic migration strategy to integrate the resources in distance education system in terms of practical application,puts forward the methods of using middle language technology to realize data migration,and presents an implementing scheme for XML so as to provide a referential method for the sufficient and effective management of teaching res.
根据实际应用,讨论了利用动态迁移策略对远程教育系统中的资源进行整合,提出了利用中间语言技术实现数据迁移的方法,并给出了一种XML的实现方案,对充分有效管理教学资源提供了一个可供参考的方法。
2.
In this paper the middle language in Chinese query systems of GIS is studied.
由于GIS中文查询语句与空间扩展SQL语句相差很大,直接转化非常困难,所以需要有某种中间语言作为过渡。
3.
The idea that use the structure of semantic meaning query tree as middle language is put forward.
提出了语义查询树的中间语言结构,设计了查询语句向语义查询树的转换算法。
4) Interlingua
[英][,intə'liŋgwə] [美][,ɪntɚ'lɪŋgwə]
中间语言
1.
The Design of a Multi-Lingual Communication Platform Based on Interlingua;
多语信息交流平台的中间语言系统及支撑环境设计
2.
The key of the interlingua-based MT system is the design of the interlingua.
基于中间语言的翻译系统的关键是中间语言设计。
5) intermediate language
中间语言
1.
Implementation of intermediate language in process of decompiling based on IDA
基于IDA的反编译中间语言设计
2.
The design and implement of intermediate language in decompilation system greatly affects generality and practicability of decompilation.
逆编译系统中中间语言的设计和实现极大地影响逆编译的实用型和通用性 。
3.
Along with rules and optimizing strategies,the program is transformed to intermediate language.
该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。
6) interlanguage
[英]['ɪntəlæŋɡwɪdʒ] [美]['ɪntɚ'læŋgwɪdʒ]
中间语言
补充资料：断言
断言
assertion
断盲脚留时妞.;。，移.曰.卜拿粤伽勺p万盛咖或s纽把-~)，(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句，在狭义下，数理逻辑中把它理解为逻辑一数学语言的一个闭公式，并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题，例如选择公擎~of咖让)，诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且，语义学本身并未充分发展，或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内，某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条