查询词典 formal

Have formal go into effect this year People's Republic of China but law of second birth t......

于今年起正式生效的《中华人民共和国可再生能源法》，。。。。。。

I don't know where the news from is. Our company is a formal organization with reliable channel of information. How can we allow the gossips go the rounds!

也不知道这种消息是从那里传出来的，我们是一家正规的公司，我们有正常的信息渠道，怎么能允许小道消息传播！

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

Despite the squabbling, the formal goalpost remains clear.

尽管存在分歧，但政府总体的目标是很清晰的。

The truffles are to be served at a formal reception at Lady Godiva's mansion.

为了更好的为Godiva女士服务，点心厨师需要按要求将巧克力点心放在盘子里。

Along with the existence of a formal organization, a goup always has all kinds of informal organizations existing.

一个群体中，伴随着正式组织的存在，往往同时会有各种各样非正式组织的存在。

The formal head of state is the Queen of Britain, who is represented by a New Zealander as Governor-General.

南岛西南海岸线上的山脉高耸入云，与大海相连，形成了许多蜿蜒陡峭的峡湾。

In 1899, a formal institution of medical education was established in the form of the Medical School of the Governor-Generalship of Taiwan.

台大医学院是台湾光复当时唯一的医学教育机构。其后 5 0余年间，台湾的的医学教育有很大的改变和发展，到 1990年台湾的医学院已增加到 11所。

I know their meanings, I mean they are not formal principles of the govt?

我知道它们的意思，我是说它们不是政府的正式规章吧？

Give the grantee a formal commendation in writing in and out of the company.

对获奖人员在公司内、外进行通报表扬。

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