查询词典 specification

While studying, this paper adopts some research methods like demonstration and specification method, institution method, game theory method and comparativeness method etc., and argues the following points:(1) Regional cooperation is an inevitable demand of markets.

本文在研究过程中，运用了实证与规范分析法、制度分析法与博弈论、比较法等研究方法，论证了以下观点：（1）区域合作是市场要求的必然，因此，深港合作是市场经济发展的产物，深港合作是市场要求的必然。

I am responsible for the system specification, compartmentalization and design of sub modules, logic synthesis and functional simulation.

比较器控制电路的顺利完成，将极大拓宽该单片机的应用领域。

The system specification, compartmentalization and design of sub modules, logic synthesis, placing and routing, functional simulation, etc. are described in detail in this thesis.

全文采用自顶向下的设计方法，对设计要求、系统设计、子模块的划分与设计、逻辑综合、布局布线以及功能仿真等内容进行了详细阐述。

Each kinds of specification intermediate frequency, high frequency, ultrasonic frequency power source, the many kinds of forms smelting, induction heating complete set of equipment, use in the back, nonferrous metal, alloy material smelting, forging and heat treatment.

产品/Product：各种规格的中频、高频、超音频电源、多种形式的熔炼、感应加热成套，用于黑色，有色金属，合金材料的熔炼、锻造及热处理。

The basic concept and characteristics of missile system-of systems combat simulation for effectiveness evaluation were summarized and the problems of simulation model specification were analyzed, then the hierarchical description and composition method based on system-of-systems, entity and behavior was proposed as the modeling methodology of system-of-systems combat simulation, which is SEB composable modeling methodology. Then, the reference model of SEB methodology and the modeling reference view of various hierarchies were discussed.

总结了面向效能评估的导弹体系对对仿真基本概念和特点，分析了体系对抗仿真模型描述中存在的主要问题，在此基础上，提出体系－实体－行为的分层组合描述方法，作为体系对抗仿真的建模方法，即SEB组合建模方法，并给出其参考模型和各个层次建模的参考视圈。

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型———可组合时间Petri网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

Finally, we explore the problem of compositional specification and verification in temporal logic.

最后，本文对时序逻辑的可复合规范及验证问题进行了探讨。

The major products include in ulConnector wiring,high temperature wiring,terminator meets insert, shields wiring,usb cable computer matches line,dataLine,water-proof wire,and we also specialized in processing and selling sumitomo/pacific wire .our company has Advanced twisterand disposal plant,perfect management system and professional technicians team that would be able to Satisfy consumer's requirements for all sorts of different specification products.we have won the trust and support from our Customers by providing the stable quality and high quality service.our customers engaed in the different manfacture Industries,such as communication,household appliance,compter,transformer,car medical treatment and etc.

产品主要有UL（CSA 的连接线、高温线、端子接插件、屏蔽线、USB线、电脑配线、数据线、防水线及专业加工销售日本住友电工台湾大平洋等品牌电子线。公司拥有先进的线束处理设备和完善的管理体系，团结了一批专业的技术人员，能满足客户各种不同规格产品的需求。稳定的品质和优质服务，赢得了广大客户的信赖和支持。我们的客户以涉及通讯、家用电器、电脑、变压、汽车、医疗等制造行业。

If one is in the nature of the case barred from consistently conceiving any specification of that general possibility, though, then the significance of its conceivability wanes.

如果某人在情况中被禁止一致设想任何一般可能性的特定情况，尽管，那么可设想的significance也就减弱了。

In this dialog, you can configure the specification.

在此对话框，您可以配置规范。

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。