查询词典 formal

According to given formal semantic, it has been proven the reliability and completeness of this system.

根据给出的形式语义，可以证明该系统的可靠性和完全性。

To regulate policy composition and guarantee its correctness, an algebraic model called APoCA (attribute-based access control policy composition algebra) is proposed for composing access control policy. In APoCA, an authorization relation between entities is described at the attribute level. APoCA fertilizes the existing formal frameworks by taking into account the computation of attribute values.

为了规范策略合成和保障策略合成正确性，基于属性刻画了实体间的授权关系，通过属性值的计算结构扩展了现有的策略合成形式化框架，建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra)。

A formal model for computerised chinese restricted grammar, based on complex features, was proposed.

2全面评述了自然语言的机器理解理论和人工智能技术，并在应用系统中加以利用。

To discuss characteristics and values of New Gothic graphic design according to its internal conceptional tendency and external formal language.

通过归纳西方新哥特风格平面设计的特质，比较分析中国新哥特风格平面设计的现状、特点及发展出路。

The concession contract establishes a formal relationship of exchange of service and money between the host government and concessionaire.

特许合约建立了政府和特许公司之间金钱与服务上交易的正式关系。

During a formal audience with the Austrian Emperor and in subsequent memoranda, he advocated reorganizing the Austrian economy, reforming the coinage of much of central Europe, negotiating a Concordat between the Habsburgs and the Vatican, and creating an imperial research library, official archive, and public insurance fund.

在奥地利皇帝的正式接见中以及后来的备忘录中，他提倡重组奥地利经济，改革中央欧洲的货币制度，通过哈普斯堡皇室与梵蒂冈之间的协定，建立帝国研究图书馆、官方档案馆与公共保险基金。

It can also be used as a reference by researchers concerned with the formal modeling of concurrent systems.

它也可以被用来作为通过与正式的并发系统建模有关的研究者参考。

The formal approach to protocol conformance testing is the foundation for design and implementation of protocol testing system.

形式化的协议一致性测试理论是高质量地进行协议一致性测试活动的基础，具有重要的理论研究意义和实用价值。

By the way, Westerners can leave a party or meeting halls without a formal conge, nor should they shake hands with every attendee like most of us will do here.

顺便说一句，西方人会离开宴会和会议大厅，也没有一个正式的conge他们握手，每一位参与者都像我们大多数人都将在这里工作一样。

Based on the the formal characteristics of "Lihe word"(another special disyllabic VO type structure in Mandarin),we found another important effect of nuclear stress,that is NS has the effect on syntactic structure to separate or conglutinate the combination of words within the NS domain, resulting the NS domain a expanding trend inside.

以该统计结果为基础，发现决定嵌偶词分布的条件是嵌偶词能否与邻近单音成分进行嵌偶，而制约嵌偶的规则有二：一是嵌偶的两个单音成分在句法结构上越近则越容易嵌偶；二是有"核心重音黏合力量"作用的两个成分容易嵌偶。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐