可满足的

The system can displace and expand and can be used in strong interference environment.

整个系统具有极强的可移置性和扩容性，可满足各类强干扰条件下的温度高速采集。

A teaching management system of computer network laboratory is designed for the management of computer network laboratory and experiment teaching. It is based on Linux operating system and can satisfy all requirements of the computer network experiment teaching. In addition, it is expansible and open.

针对网络实验室管理和实验教学管理，文章设计并实现了一个网络实验室教学管理系统，该系统采用Linux作为开发平台，可满足网络实验教学的具体要求，并具有可扩展、全开放的特点。

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)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

" Be proud world OL " in the player upgrades to be able to get attribute of 8 free governable is nodded every time, upgrade with a skill dot, players can arrange property site and skill place freely, ask in order to satisfy oneself in not contemporaneous attribute.

傲世OL》中玩家每次升级都会得到8个自由可支配的属性点，和一个技能升级点，玩家们可自由安排属性点和技能点，以满足自己在不同时期的属性要求。

The Global Theater,Computer Net Center,news reportage centre and multifunctional hall,from soup to nuts,all the meeting rooms are using the best sound system,can also offer enlarge vioce,video frequency, simultaneous translation service,TV direct seeding,multimedia demo,wide band,meetingvote system,mise en scene,play movies and dinner party services etc.

环球剧场，计算机网络中心，新闻制作中心，新闻发布中心和多功能签约厅，一应俱全，所有会议室及演出场所均采用世界上最为先进的音响、声控系统及配套设施，可提供语音扩声、视频会议、同声传译、电视直播、多媒体演示、宽带网络、会议表决、新闻发布、舞台演出、影视放映、宴会客房等服务，可满足宾客的各种会议需求

The Global Theater,Computer Net Center,news reportage centre and multifunctional hall,from soup to nuts,all the meeting rooms are using the best sound system,can also offer enlarge vioce,video frequency, simultaneous translation service,TV direct seeding,multimedia demo,wide band,meetingvote system,mise en scene,play movies and dinner party services etc.There are large quantities of administrant persons with ability and advanced service system here.

环球剧场，计算机网络中心，新闻制作中心，新闻发布中心和多功能签约厅，一应俱全，所有会议室及演出场所均采用世界上最为先进的音响、声控系统及配套设施，可提供语音扩声、视频会议、同声传译、电视直播、多媒体演示、宽带网络、会议表决、新闻发布、舞台演出、影视放映、宴会客房等服务，可满足宾客的各种会议需求

With the help of its structure, this paper points out that the non-commutative finite solvable subsimple group will necessarily be a qualitative element group. And referring to the nature of qualitative element group, it can be easily identified the conditions that the ordered prime divisors in a solvable initial finite subsimple group should meet. Suppose that G is always a finite group.

利用其结构，指出了非交换可解有限次单群必为质元群，从而利用质元群的性质，可以很容易地初步确定了可解有限次单群的阶中素因子之间所必须满足的条件，主要得到下面的一些结论：定理1 G是非交换的可解有限次单群，则G′是G的唯一的非平凡正规子群，并且G′是初等交换p -群，此时| G |= p~n q，|G′|=p~n，。

S huffle and integration for China auto parts after sale market, we have to focus on the essential of the auto parts industry(auto parts purchase, logistics, inventory outsourcing service), make use of modern management methods such as information system, make the core competitiveness (channel brand, standardization, replicable profit model), improve the enterprises power to satisfy the market demands.

中国汽配售后市场面临着洗牌和整合，现有的汽配流通企业的规模和能力都远远不够，配件流通渠道不能有效地满足市场需求，市场不可能再给我们40多年的时间一步步走到美国今天的水平，我们必须抓住行业的本质（汽配采购、物流、库存的外包服务），利用信息系统等现代化的管理手段，打造企业的核心竞争力（渠道品牌以及标准化、可复制的盈利模式），尽快提升企业能力，满足市场的需求。

Using ductile cast iron as materials of roller beds of plate mill to substitute the 45# forged steel can meet the requirements of production process. It can avoid the similar surface defects of 45# forged steel and decrease the production cost considerably.

采用球墨铸铁来取代锻钢作为中板轧机前后辊道材质，可满足生产工艺要求，并可解决轧机前后因使用45锻钢辊而造成的钢材或铸坯的表面缺陷，大幅度降低生产成本。

Then we systematically study state transition probability of two-unit series system and paralleled system and stable availability of system, and drew the following conclusions:Firstly, we present the partial differential equation which satisfies state transition probability of the two-unit series system, and proves that state transition probability satisfy the equation, and are their minimal nonnegative solutions.

然后对两个不同型部件、一个修理设备组成的串联系统和并联系统的状态转移概率，以及系统的稳态可用度进行系统研究，得到了如下一些结果。第一，对两个不同型部件、一个修理设备组成的串联系统，其寿命和修理时间的分布函数的各种情况，给出了状态转移概率所满足的偏微分方程组，证明了状态转移概率满足的方程，并且是这些方程的最小非负解。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。