形式化

Finally the true-false subset semantics is analyzed.

介绍了作者开发的真假子集语义及其在Agent形式化中的应用。

From the background of anti-modernity issues, I further think that the basic dimension of Marxist philosophical revolution is an ethical one, which is not of the"formalized"ethics, but of the new substantive ethics subject to criticizing the anti-morals of capitalism.

本论文进一步认为，如果从这一反现代性的问题背景出发，马克思哲学革命的根本向度便是一个伦理学向度，但这不是西方传统哲学中的那种&形式化&伦理学，而是一种全新的以批判资本主义之反伦理性为主题的实质伦理学。

This paper presents a workflow management system based on software agent. It applies an activity-based modeling method and builds formal workflow model. It also puts forward an agent model composed of activity model, intention model, skill model, self-capacity model and companion model to implement workflow management. An agent federation which can be nested is constructed to enhance system flexibility and a shared domain ontology based on workflow is defined to support semantic interoperation among agents.

文章提出了一种基于软件agent的工作流管理系统，采用基于活动的工作流建模方法，建立了形式化的工作流模型，在此基础上，定义了包括活动、意向、技能、自身能力、伙伴等模型的实现工作流运行的agent模型，构建了可嵌套的agent联邦结构，增强了系统的灵活性，并定义了基于工作流的共享领域本体论，支持agent间的语义互操作。

Liu creates vases with protruding women's bottoms .They are not intended to shock as an erotic form, but to suggest a naked truth hidden among the elaborate trimmings and formalities of daily life.

精致陶瓷花瓶突出了女人赤裸的身体部位，目的不是来表达任何色情意识，而是鼓励我们在复杂、形式化的生活当中找出内藏的赤裸真相。

And also by discussing Chomsky's related theories, the methods in his research are found different from the previous ones. Accordingly, the characteristics of methodology in transformational and generative grammar are analyzed in this paper, which are rationalism, deduction and formalization.

从相关理论的分析中不难看出，乔姆斯基的研究方法与以往有所不同，从而可见转换生成语法的方法论特点，即理性主义、演绎性和形式化。

Firstly, this paper has discussed the theory and application of Agent and Multi-agent system,and gives Formalisation of AA for RTAIS,This Agent Architecture comprises tow levels of agents, the RTAIS Agent,and a set of agentwithin it,and finally,gives an example of simulation system of Intelligent Campaign Decision Based on AA,shows that this model not only meets the time restriction of hard real-time system,,but also bings an higher intelligence to it if being used in real-time intelligent syt...

该文首先对Agent和多Agent系统的理论和应用进行了概述，提出一种用于实时人工智能系统的多Agent结构模型AA的形式化描述，这种Agent结构包含两层Agent，即RTAISAgent和AA内部的一组Agent体，并介绍基于该模型的舰艇协同攻击潜艇的仿真系统的实例，证明AA结构模型应用于实时智能系统，不仅能适应强实时系统的实时性要求，而且提供了更高的智能水平。

The model opera styled gesticulations of robbers and the valiant elders give a deceiving first impression, but when we noticed that in the news report the formalized relation among violence and evil amidst the upstanding community, then we can say such purposeful postures rightly illuminate the increasingly subdued effects of any social mores on the population. It might agitate a moment of fear and anger about the gangsters' violence and successive respect for the upright elders, but these feelings do not last that long; everything finally comes to calm. We have seen so many similar stories replayed everyday in every way. In the end, we read violence, fear it for a while, then leave it by the wayside in an ulterior corner of our memory without any sigh until one day when the gangster really surround us.

抢夺的嫌犯与声张正义的老人样板戏式的造型，看起来甚是虚假――然而，当我们意识到暴力与邪恶的关系在连篇累牍的新闻报道中被形式化，那我们就能立刻推断出这种摆设倒是确确切切地说明了被模式化的道德律对人们的影响――它或许能够引起一阵对年轻人暴行的惊悸，旋而是片刻对老者秉持正义的赞赏，而最后，这些不断被复制的新闻故事被长久地搁在心里某个隐蔽的角落，引不起任何道德感的涟漪了。

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

Formalized description of reconfigurable manufacturing system is presented to serve as the theoretical basis for system optimization.

可重构制造系统的模型及其重构算法是可重构制造系统的形式化表示，是研究RcMS优化的理论基础。

Here, we exploit the manual query reformulations of other users to make suggestions to a new user.

这里我们利用其他用户人工查询重新形式化来对新的用户推荐。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了