查询词典 formal

Looking back, the formal recognition of Columbus Day is relatively recent.

历史上，官方对哥伦布节的认可，相对来说距现代较接近。

Therefore, to establish a formal and reasonable business combination accounting principle, with references to international standards, is very crucial for us to improve the quality of accounting information.

那么，结合国际化规范我国的企业合并会计方法，对提高合并企业的信息提供质量意义重大。

In this paper a combinational theory of compilers is described and a formal deductive system is given.

本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。

The four movement bends are all basedon the classical formal structure, and fuse more than two principles of musical formwhich make out the commixture musical form of Prokofievs characteristic.

全曲四个乐章均以古典曲式的结构框架为基础，并将两种以上的结构原则加以结合，从而形成具有普罗科菲耶夫特色的混合曲式。

Based on a formal analysis of lifting decomposition, the hierarchical structure concept of the decomposition set, as well as the lifting decomposition technique of the polyphase matrix' greatest mth-order common divisor, is proposed to conquer the difficulties in the practical computation of and the optimal search in the huge decomposition set.

本文在形式化分析Lifting分解原理的基础上，提出了分解集合的分级结构概念以及多相矩阵的m阶最大公因子Lifling分解技术，克服了分解集合求解问题的高复杂性所带来的实际计算与搜索困难；进一步地，从数值稳定性及计算代价两方面研究了分解的评价问题，设计出两种实用的分解稳定性准则；最后，结合分级结构技术提出一种最优分解算法。

The analysis on legitimacy suggests that, GEV has a public legitimacy in sociology -being accepted by the commonalty but without legitimacy in law-formal registered in government.

通过对合法性的讨论，可以看出绿家园是具有社会学意义上的普遍合法性，即被大众所认可和接受，但是在法律意义上的狭义合法性即注册却一直欠缺。

It describes functions of protocol design and maintenance with formal technique, which is software engineering of communication protocol.

协议工程是形式化的协议开发过程，它使用形式化的方法来描述协议的设计和维护中的各个活动，它是研究对象为通信协议的软件工程。

Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative and noncommutative ring theory, optimization theory, discrete event dynamical systems, automata theory, formal language theory and the mathematical modeling of quantum physics and parallel computation systems.

在许多不同的数学领域存在着其它形式的半环，比如组合学，泛函分析，拓扑学，图论，欧式几何，概率论，交换和非交换环，优化论，离散动力系统，自动化理论，形式语言理论，量子物理的数据模型和并行计算系统。

The next Day after I came home to my Hutch with him, I began to consider where I should lodge him, and that I might do well for him, and yet be perfectly easy my self; I made a little Tent for him in the vacant Place between my two Fortifications, in the inside of the last, and in the outside of the first; and as there was a Door, or Entrance there into my Cave, I made a formal fram'd Door Case, and a Door to it of Boards, and set it up in the Passage, a little within the Entrance; and causing the Door to open on the inside, I barr'd it up in the Night, taking in my Ladders too; so that Friday could no way come at me in the inside of my innermost Wall, without making so much Noise in getting over, that it must needs waken me; for my first Wall had now a compleat Roof over it of long Poles, covering all my Tent, and leaning up to the side of the Hill, which was again laid cross with smaller Sticks instead of Laths, and then thatch'd over a great Thickness, with the Rice Straw, which was strong like Reeds; and at the Hole or Place which was left to go in or out by the Ladder, I had plac'd a kind of Trap-door, which if it had been attempted on the outside, would not have open'd at all, but would have fallen down, and made a great Noise; and as to Weapons, I took them all to my Side every Night.

应该说，我现在的裁缝手艺已相当不错了。另外，我又给了他一顶兔皮帽子，戴起来挺方便，样子也很时髦。现在，他的这身穿戴也还过得去了。他看到自己和主人几乎穿得一样好，心里十分高兴。说句实话，开始他刚穿上这些衣服时，深感行动不便；不但裤子穿起来感到很别扭，而且，背心的袖筒磨痛了他的肩膀和胳肢窝。后来我把那使他难受的地方略微放宽了一些，再加上对穿衣服也感到慢慢习惯了，他就喜欢上他的衣着了。回到家里第二天，我就考虑怎样安置星期五的问题。我又要让他住得好，又要保证自己绝对安全。为此，我在两道围墙之间的空地上，给他搭了一个小小的帐篷，也就是说，这小帐篷搭在内墙之外，外墙之内。在内墙上本来就有一个入口通进山洞。因此，我在入口处做了个门柜和一扇木板门。门是从里面开的。一到晚上，我就把门从里面闩上，同时把梯子也收了进来。这样，如果星期五想通过内墙来到我身边，就必然会弄出许多声响，也就一定会把我惊醒。

Our relationship with China Women''s Federation, Labor and Employment Bureau, the source of nanny customers peace of mind at ease, after three certificates complete formal training (induction card, health card, ID card) in the main service i

我们与全国妇联，劳动就业局合作，保姆的来源让客户安心放心，经过正规培训三证齐全（上岗证，健康证，身份证）主要服务于全市中、高档白领人士和涉外人员家庭为对象的家政公司。

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万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐