查询词典 enigmatic language

In this paper,a temporal logic language XYZ/E is used to formalize several common architectural styles.

该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格。

Stylistically speaking, formalness is the most conspicuous feature of legal language and it is exhibited by the use of technical terms, archaic words and formal words.

然后文章探讨了如何提高译文的可读性，即尽量使译文清楚、流畅、地道，这一点在当今法律翻译界也少有人论及。

At this point, a special applications program translates the source code into machine language, or object code-a format that the operating system will recognize as a proper program and be able to execute.

在这个时候，一种特殊的应用程序将源代码翻译成机器语言或目标代码--操作系统将认作真程序并能够执行的一种格式。

The basic language knowledge element s are formed by vocabulary and syntax,syntax and synatex knowledge,and composition.

基础语言知识因素由词汇与句法、句法与句法知识和章法构成。

It's a question of forming language habits and that takes time.

这是一个养成语言习惯的问题并且要花不少时间。

However, there is no easy formula to meet the language needs of all XXY boys.

不过，是不容易的公式，以满足语言的需要，所有xxy男孩。

The language relation formula is presented, and it then can be applied to judge the liveness for the synthesized system.

给出相应的语言关系式，它可用於判定合成系统的活性。

The basic concept of semantics is a form of expression language (formula, the arrow out, etc.) that the true concept.

语义的基本概念是一个形式语言的表达式的真性这一概念。

Use artificial intelligence programming language prolog programming formula software source code.

利用人工智能程序设计语言prolog编程实现的公式计算软件源代码。

FORmula TRANslation; high-level programing language for mathematical and scientific purposes.

公式翻译；数学科学用途的高级程序语言。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。