查询词典 Extended Memory Specification

SPECIFICATION: Colorlessness, clarity liquid, It's the mixture with many kind of organic solvent.

产品特性：无色透明液体，一种多样有机溶剂的混合物，微溶于水，能溶于各种有机溶剂

Super video compact disc - Disc-interchange system - Specification.

NF C97-140-2001 高级激光视盘。光盘交换系统。

Super video compact disc - Disc-interchange system-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.

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

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。