可执行性

Another work of this paper is to study the continuous design of Test Automation. Common aspects of continuous design include the performance and maintainability of test automation system itself, the independence of test execution, and the analyzability of test result. This paper gives the concrete resolution of above four aspects, and also proposes other aspects need to be considered in continuous design, such as extendibility in future and capability to multi-product and multi-edition.

论文的另外一个工作是对自动化测试系统的可延续性设计进行了研究，从常见的自动化测试体系本身的性能、可维护性，测试执行的独立性以及测试结果的可分析性四个方面对可延续性设计提出了具体的实施方案，另外还提出了自动化测试在未来的可扩充性、对多产品多版本的适应性等可延续性设计需要考虑的问题。

A contract may be referred to as executed ( one fully performed by the contracting parties ) or executory ( one that is yet to be performed ).

合同可被称为执行（1充分履行合同方）或执行性。

And designs a new algorithm which can judge whether or not a given nonnegative integral vector corresponds to a friable trasition sequence. Then the algorithm is used to analyze the reachability of net system which has unique reachable vector or has no T-invariants.

4对可达性与可达方程可满足性相互等价的证明进行补充，给出一个判定非负整数向量是否为可执行向量的判定算法，最后利用该算法对唯一可达向量网和不含T-不变量的Petri网的可达性进行判定。

No consent, licence, approval or authorization of or filing or registration with or other requirement of any governmental department authority or agency in the jurisdiction in which each of the Vendors and the warrantor is registered is required by the vendors and/or the warrantor in relation to the valid execution, delivery or performance of this agreement (or to ensure the validity or enforceability thereof) and the sale of the sales shares.

关于协议的有效执行、交付、履行(或确保其有效性和执行性)，或者可买卖股票的销售等事宜，卖主和/或担保人无需获得其任何一方注册地管辖区内的任何政府职能部门或代理的同意、特许、批准或授权，无需在政府职能部门或代理处进行备案或登记，也不用满足政府职能部门或代理的其他要求。

As one of the three actual supervisory manners of arbition of the Chinese commercial affairs, the judicial supervision with its particular compulsion and implementation, has been the centrum of arbitrative supervisory system, which cant be replaced by the interior supervision or the industrial supervision.

而司法监督作为中国商事仲裁现行的三种监督方式之一，因其所独有的强制性和可执行性，成为内部监督和行业监督所不能取代的仲裁监督体系的中枢。

by analyzing internal and exterior factors working on the validity of professional sports service production institution, the paper concludes that on the one hand, with ectogenic, compellent, defective structure low maneuverability and human degree in the chinese professional sports production institutions, which result in low validity of professional sports production institution in china; on the other hand, for the whole nation systems and common property right dominated by china government, china economy systems' transition, confucian culture that pays more attention to academic knowledge, whereas despise on physical force, which greatly influence the efficiency of professional sports service production institution.

摘 要：通过分析影响竞技体育生产制度有效性的内在因素和外部因素，得出：一方面，中国竞技体育生产制度由于其外生与强制性、制度结构欠缺、可执行性程度低、人性化程度差等原因导致其制度有效性低，另一方面，中国政府主导的&举国体制&和竞技体育的公共产权、中国经济体制转轨、&重文轻体&的儒家文化极大地影响竞技体育生产制度效率的发挥。

Notarize the enforceability of creditor documents such as repayment agreements and contracts on recovery of debts

对债权文书的可执行性进行公证，包括还债协议和债务追偿协议

"Additional Permits" means all the government approvals, consents, registrations and licenses listed in Schedule D hereto in respect of the operation of the Company or the effectiveness or performance of any Ancillary Contract (other than the Pre-Establishment Permits and the Tax Concessions).

&后续批文&指政府对本合同附录四中列出的有关合营公司运营或任何附属合同的有效性或可执行性的批准、同意、登记以及许可（不包括设立批文和税收减免批文）。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

The independent Agents are adopted to complete the specific tasks from sensing temperature of axles to display curve of axle's temperature and to actions of effectors, so the knowledge distribution and control distribution is implemented in this system. It improves the real-time ability, reliability, maintenance and extendibility. It also realizes the intelligence of temperature's sense and control though the communication, coordination and cooperation among Agents.

该设计采用独立Agent完成了从轴温数据的采集、处理到执行机构产生控制动作再到人机界面的实时显示等一系列任务，实现了轴温监控的知识分布和控制分布，提高了系统的实时性、可靠性、可维护性和可扩展能力，并且通过多Agent间的相互通信、协调与合作实现了轴温监测和控制的智能化。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷