查询词典 specification statement

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

PCS is one of the leading european manufacturer and supplier to the Printing and Graphic Arts industry. PCS produces original specification machine parts and process consumables for use in the Print Pressroom and Print Finishing and Converting sectors.

是欧洲著名专门生产印刷耗材的制造及供应商；PCS生产传统规格的生产机器部件且产品涵盖印刷、印后加工等各个部分。

The specification below a few pieces of attached drawing has in the character: My world do a job with skill and ease in the man, the man is foolish, dirty, belong to a desire, do not use honey-tongued prevaricate her ear, if you love her, give her big RMB please.

在几张附图下面的说明文字里有：我在男人的世界游刃有余，男人是愚蠢的、肮脏的、属于欲望的，不要用甜言蜜语搪塞她的耳朵，你若爱她，就请给她大把人民币。

The result shows that: with the expansion of teacher education space, the reform and development of Chinese teacher education is much closer or equal to that of the international teacher education. The transitional stage and education reform in China puts forward a new demand for P. E. talents. The innovation as to education object, specification and curriculum arrangement raised in P. E. Curriculum Arrangement for Chinese Universities with four-year Program published in 2003 meets such a demand, and narrows the gap of education development in high P. E. academy between China and foreign countries. P. E. teachers abroad are usually cultivated by comprehensive universities, the cultivating objectives are verified, and generalists adapted to social development are emphasized. Cultivating mode abroad are various, with "open-type" or "non-directional type" as the main mode, and 4-year program, 5-year program, and 3-year program serve as the main form of education system. Curriculum arrangement abroad stresses general education, with foundationalization, normalization, objectification, optionalization, miniaturization, internationalization and syntheticalization as its characteristics and it employs credit system. The close-typed cultivating mode of P. E. academies in China should be gradually transformed into open-type or multi-type, cultivating generalists instead of specialists, and further constructing a new one with several cultivating types co-existing. Orientation of P.E. teachers in China should follow standard principle, coordination principle, experience principle and resource principle. To improve P.E teacher education in China, the following measures can be taken: relevant laws and regulations should be made for orientation; P.E teachers" training organization should be encouraged to participate in orientation; extension and connotation of P.E. teacher education should be expanded; resources should be optimize; systematic P.E. teachers" orientations should be organized;"Life P.E. Teacher Qualification "should be changed; useful-life should be set for P. E. teacher qualification; P.E. teacher qualification should be regularly authenticated; On-job training of P. E. teachers abroad tends to be systematic, but in China P.E. teachers" on-job training and prevocational training are separated; therefore measures must be taken to change this circumstance and thus speed up the systematic process. Factors concerning constructing a new system of P. E teachers are the following: reconstructing resources, making P.E. teachers" cultivation, orientation and training systematic, establishing a mechanism for encouragement and punishment, making school-based training and college training systematic, and setting up a mechanism combining directional training with non-directional training.

研究结果表明：随着教师教育革新空间的拓展，我国体育教师教育的改革与发展水平逐步与国际体育教师教育发展趋于接轨化。2003年颁布的《全国普通高校体育教育本科专业课程方案》在培养目标和规格、课程设置上的创新性，适应了我国社会转型和教育改革对体育教育专业人才的需求，进一步缩小了与国外高等体育院系教育发展的差距；国外体育教师一般由综合性大学或文理多科性大学培养，培养目标多向化，以培养适应社会发展的通才型人才为主；培养模式灵活多样，多数以"开放型"或"非定向型"培养模式为主，学制多以4年制、5年制、3年为主；课程设置上注重通识教育，突出基础化、师范化、针对化、选修化、小型化、国际化和综合化特点，实行完全学分制的教育管理制度；我国普通高校体育教育本科专业人才培养模式应该由封闭性转向开放式混合型的人才培养模式转变，由专才型转向复合型人才培养模式转变，构建多种类型并存的人才培养模式；我国体育教师入职教育革新应遵循的原则是本位原则、协同原则、经验原则和时间与资源原则，改进措施有：做好入职教育的法规化、制度化建设，激励体育师资培育机构参与体育教师的入职教育，拓展体育教师教育的外延和内涵，优化整合资源，系统组织体育教师的入职教育，改变体育教师资格"终身制"，设定体育教师资格有效期限，推行教师资格定期认证制度等；国际上体育教师在职培训体系显现了体育教师教育一体化的发展取向，但我国体育教师的在职培训与职前培养存在分离性，必须采取改革措施，加速我国体育教师教育的一体化进程；构建体育教师教育新体系的实施要素是：重组资源配置，实现体育教师培养、入职和培训一体化，建立奖惩机制，实现校本与院校培训一体化，建立体育教师定向与非定向培养培训有机结合机制。

Requirement: Understand relevant concept, master principle of abstraction and modeling, understand different modeling paradigms, study how to select a specification methods to analysis system.

要求：了解需求分析的有关基本概念，掌握抽象和建模的原则，理解不同的建模范例，学会如何选择一个规格说明的方法。

An important feature of the PRISM specification is its use of other existing specifications.

对其他现有的规范的使用是PRISM规范的一大特色。

The purpose of the research is to price the GARCH options without risk neutral assumption and the specification of state price density per unit probability. The FHS with calibration is employed to estimate risk neutral parameters.

本研究目的系探讨在非常态与无特定分配设定下的GARCH选择权定价，透过状态价格机率分配及其校正，即可估计风险中立下的校正参数。

When a process control chart is set up optimally, the upper and lower specification limits typically are

当一个过程控制图表被很理想建立完成时，其规格要求的上限和下限通常是

According to the different requirements of customers, producing all kinds of special specification products to meet customer needs.

可根据客户的不同要求，生产各种特殊规格的产品，以满足客户的需求。

Products are mainly marine flange, steel flange with petro-chemical, product specification areas: Metric DN15 ~ DN2000, Inch Series 1 / 2 "~ 78", according to GB, HG, SH, SY, DL, and ASME, ANSI , JIS, DIN and other standard production, are widely used in petroleum, chemical, natural gas, electricity, nuclear power, metallurgy, shipbuilding, food, pharmaceutical, urban water supply and environmental protection management of the road industry, and its materials, specifications, size, performance in full compliance with relevant standards.

法兰产品主要有船用、石油化工用钢制法兰，产品规格范围为：公制DN15~DN2000，英制系列1/2"～78"，可按GB、HG、SH、SY、DL和ASME、ANSI、JIS、DIN等标准生产，广泛应用于石油、化工、天然气、电力、核电、冶金、造船、食品、制药、城市供水和环保等行业的管路上，其材质、规格、尺寸、性能完全符合相关标准。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。