查询词典 semi-formal

Therefore, whether the formal regulations, non-formal regulations and quasi-formal regulations are well-coordinated and positively interactive is of vital importance to building stable social order in the countryside.

基层农村社会的秩序是这些多元规范共同作用的结果，因此，基层农村规范体系内的正式规范、非正式规范、准正式规范能否相互配合、进行良性互动对于建构良好的农村社会秩序至关重要。

Formal rulemaking differs from formal adjudication in certain structural arrangements; those responsible for developing and presenting the agencys analysis at the hearing, for example, are not required to be separated from the decision process as they are in formal adjudications.

正式规章的制定与正式裁决在某些结构性安排方面是不同的，比如，负责在听证会上提出和陈述机关的分析的那些人不得像他们在正式裁决中一样脱离裁决程序。

Formal Theory of context can be used in many areas of AI: Using the formal notion of context in representation and reasoning not only embodies context-dependency of knowledge, but also make representations simpler. Since the reasoning process can be localized, the efficiency and openness of systems are both improved. In Natural Language Understanding systems, formal theories of context provide a framework for representing ambiguity and make the process of disambiguating easier.

形式化的context概念可以用于AI的许多领域：在知识表示和推理中使用形式化的context概念，不仅能体现知识对context的依赖性；而且表示结果简洁，可以局部化推理过程，提高系统效率，建立开放的AI系统；context形式理论为语言歧义性的表示提供了一个形式框架并使消歧过程更方便；context决定了中肯性标准，从而有望改善智能信息检索系统的性能。

Dress is most often in formal , except on weekends, when semi- formal attire may be worn

去餐馆一般是穿便装，只在周末时着半正式的服装。

Specialist Custom Tailors from Thailand, deal mainly in men's formal and semi-formal wears.

专家定制缝纫来自泰国，交易主要集中在男性的正式和半正式穿着。

Aiming at activity diagram semi-formal speciality,the activity diagram formal specification and the definition of test coverage rules were given.

针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。

After introducing the AOP, there are components, system connectors, aspect connectors and constraints in architecture. The UML and ADL description of each model are given, and achieves the transform from semi-formal to formal model, and the model's refinement and verification, which provides a good foundation for the development of tools.

引入方面的软件体系结构是由构件、系统连接件、方面连接件以及约束构成的配置格局，不仅给出了体系结构中各元素的统一建模语言和体系结构描述语言的描述，实现体系结构模型从半形式化到形式化的转化，而且实现了模型的求精和验证，为各种工具的开发提供了一个良好的基础。

Two main aspects of the research work are as follows:(1) The paper introduces the experimental ice forces on semi-circular breakwaters which is made by State Key Laboratory of Coastal and Offshore Engineering of Dalian University of Technology and calculate the ice value for different radius semi-circular component, based on which it speculates on that horizontal ice value and water level accord with biquadratic polynomial function, meanwhile, the paper analyses incidence of ice heap to horizontal ice value of semi-circular component.

论文的主要工作有三部分：(1)主要介绍大连理工大学海岸和近海工程国家重点实验室所做的物理模拟试验，应用水平冰力计算公式计算了不同半径半圆型构件的冰力值；根据这些数值的分析，推测半圆型构件水平冰力与水位符合四次多项式函数关系；同时分析了碎冰堆对半圆型构件水平冰力影响。

However,authors still do not find the relevant references on convergence and symmetric problems of the semi-analytical solution.Based on the semi-analytical solution for Hamilton canonical equation theory,the formulations of the clamp and simply supported and symmetric boundary conditions on the Hamiltonian element are derived by the variational principle.Several numerical examples show that with increase of meshes,the convergence rate of the semi-analytical solution is faster than the convergent rate of traditional finite element method based on displacement.

①在厚度上没有任何位移和应力模式的假设，由于传递矩阵方法的引入，从理论上讲，不受板壳厚度或层合板壳层数的限制；②采用弹性力学的Hamilton正则方程半解析法，可以克服边界的局部化效应[8]；③由于在平面内或圆柱壳的曲面内采用了有限元法，所以一般的板壳问题不受结构侧面边界条件的限制，在复杂工程板壳问题上具有广泛的应用领域。

Using properties of zero-divisors, regular elements and subdirectly irreducible ring , we obtain some results on the commutativity of semi-prime ring and Jacobson semi-simple ring as follows 1 Let R be a semi-prime ring ,a∈R and 2a is not zero-divisor,If R satisfies one of the conditions in this paper , then R is commutative.

在某些特殊环的交换性方面取得了进一步的结果，并得到了一些新的结论，主要有一设R 为半质环，a∈R ，且2a 为非零因子，如果R 满足论文中八个条件之一，则可以证明环R 为交换环。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。