查询词典 performance specification

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.

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

If the level of conformance to specification directly increases as a result of new processes, the

如果符合规范的程度直接因新过程而提高，规定的监督费用极有可能

We find that the quality of your shipment is not in conformity with the agreed specification.

我们发现你方来货的质量与所协议的规格不完全一致。

Constabulary hall thinks " the case that this specification is not the website that make friend is very severe also, not allow to ignore ".

警察厅认为"这说明非交友网站的情况也非常严重，不容忽视"。

We have something to do in the new stage.

在这段崭新的时期中，我们有一些要做的。

The difference between tourism decision-making under uncertainty and risky tourism decision-making is indistinctive.

其中不确定性旅游决策和风险旅游决策的界线比较模糊，两者的区分是相对的。