语义

G. local variable declaration and so on, quantifications over program variables are inevitable.

本文建立了高阶时段演算理论，包括它的语法，语义和证明系统。

The prepositional phrase those express manner , instruments , locative and object can form manner adverbial .

表示方式义及工具，处所，对象等语义的介词结构也可以构成方式状语。

North Sichuan dialect ; reiterative locution ; semantic interpretation ; expression

川北方言；叠字；语义；言语表达

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

In this paper, description logic is used as the formal foundation of OWL DL, the corresponding relation between OWL DL and description logic is analyzed, every element of OWL DL is interpreted with the semantics of description logic.

针对上述问题，Tim Berners- L ee提出了语义 Web[1 ，2 ] ，它是现有Web的扩展，使得 Web不仅是一个展示信息的平台，而且可以由机器理解并做推理。

The logical framework approach,the comparison approach and the success degree approach are demonstrated with examples.

在此基础上，结合后评价实践，对包括逻辑框架法、对比法、成功度法等的通信工程项目后评价常规方法进行了分析和比较；为解决后评价指标权重分配、定性指标定量化、多指标评价结论综合汇总等问题，提出了基于语义判断和模糊判断的综合后评价方法。

The author suggests in conclusion that we see UT instead as a logical element, one that underlies the textual surface and is characterized by its semantic clarity and its functional stability.

通过对翻译单位的路径分析，本文提出，逻辑素语义关系明晰，意义和功能都具有稳定性，因而是理想的翻译单位界定要素。

A knowledge representation method called Logical Neural Network Element Rule of integrating rule-based semantic structure with numeric-based counectionist architecture with learning capability is proposed.

具体提出了一种将基于规则、具有语义的结构与基于数字、具有学习能力的连接机制集成为一体的、被作者称为逻辑神经网络原子的知识表示方法。

The paper summerizes several general pratical new techniques, such as the analyzers of program profiles, maximum potential parallelism, array privatizability, loop parallelism; the visualizers of the statement data dependence graph, procedural callgraph, loop iteration space graph and interactive tools of array privatization and unimodular transformation; the automatic techniques of array privatization combined data dependence and coverage, the computation of parallelizing unimodular transforming matrix for mult-nested loops, enhanced unimodular transformation with array reduction recognition, non-loop level parallelism revealing technique, dynamic dataflow analysis and optimization of cross-loop local cache reuses, etc.

本文从而概括了若干具有一般性的实用新技术，如：程序计算量分析、最大潜在并行性分析、数组私有化分析、循环并行性分析等动态程序分析技术；语句数据相关图、过程调用图、循环迭代空间相关图、交互数组私有化、交互幺模变换等可视化语义交互分析变换技术等等；总结了若干自动并行化新技术，如：结合相关和覆盖的数组私有化方法、对多层嵌套循环计算幺模并行化变换矩阵的循环幺模变换方法、结合数组规约识别增强幺模变换的技术、发掘非循环级并行性的技术、动态数据流分析技术、优化利用循环间Cache数据局部性的技术等等。

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems.

一、引言形式描述技术是用形式语义语法语言，而不是象英语那样用自然语言来定义一个系统的性能。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！