查询词典 formalized

A security domain separation model based on DTE policy is formalized.

解决了DTE系统的形式化建模问题，为安全域隔离技术的实现和验证奠定了基础。

As a type of meeting or conference news, eulogistic reporting takes on a formalized "rigid image" as a result of pecularity and conventionality of the events reported.

表彰报道作为会议新闻的一种，因为其报道题材的特殊性和约定性而呈现出模式化的"刻板形象"。

In this paper the application of wireless sensor network in coal-mine safety system is introduced, the model of the system is designed with the model-driven method and is formalized for automatic analysis with the finite state automaton.

介绍了无线传感器网络在煤矿安全监控中的应用，并引入模型驱动开发方法进行设计，对建立的系统模型进行形式化描述，使用有限状态机技术进行自动分析。

Otherwise, from each individual's perspective, there are no formalized rules to guide your behavior.

然而，从个人的角度来说，并没有规定的原则来指导你的行为。

There are definite conditions surrounding the formalized process of schooling.

正式的学校教育有一定的环境条件。

Secondly, it is the semantic interpretation of formalized system.

其次是形式系统的语义解释。

Within the next five years formalized PM will be in use in essentially all areas of human endeavor.

在今后五年里，正式的项目管理将在人们活动的各个领域广泛应用。

The results show that Extenics provides a kind of new thought and formalized methods to solve the incompatible problems.

研究结果表明，可拓学提供了一种新的解决企业信息不相容问题的思路和形式化方法。

During the design period of this new kind of system, it is crucial to establish formalized models and analyze their performance.

在该类系统的设计过程中，必须对各类设计方案进行形式化建模和性能评价。

Generally speaking, the more rules and regulations there are in a company, the more formalized the company.

一般来说，一家公司的规章条例越多，它的正规化程度就越高。

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数据流的质量检测。