查询词典 specification statement

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 ".

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

Based on recursive functions defined on context-free language, LFC (language for context free recursive function) is a formal specification language and fits for dealing with phrase structure.

以上下文无关语言上的递归函数为基础的语言LFC(1anguage for context free recursive function)是一种形式规约语言，适于处理短语结构。

Modular continuity 模块连续性 A method satisfies Modular Continuity if, in the software architectures that it yields, a small change in a problem specification will trigger a change of just one module, or a small number of modules.

在使用某个方法产生的软件结构中，如果在一个问题规格方面的微小改变将只会引起一个模块的变化，或少量模块的变化。那么，这个方法满足模块的连续性。

My father is over 60 years old, and he lifts weights every day.

我爸爸六十多岁了，他每天都练习举重。

Then in a serious tone she declared:"It doesn't pay, dear boy, to look like a ninny with one's wife the first night."

两眼湿润了，她把身子蜷得很小，这样似乎可以更好地闻闻自己。