助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   logic and real 的翻译结果: 查询用时:0.173秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

logic and real
相关语句
  逻辑真实
     UPPAAL is integrated tool software of modeling , simulation, verification for the real time system , that developed jointly by Aalborg university in Denmark and Uppsala university in Sweden have the advanced level in the world . that is constructed dynamic model as the network of timed automata with rigorous logic and real timed abstraction of real time system and simulates , verifies the system. That detects potential faults in the system, and guarantee the reliability of the design.
     UPPAAL是丹麦Aalborg和瑞士Uppsala大学联合开发,具有世界先进水平的实时系统模拟,校核的软件,基于对实时系统严密逻辑,真实时间的抽象,而构建时间状态机动态模型网络,模拟,校核系统,检测潜在失败,保证设计可靠性,雷达传感器内存接口实时系统是航天雷达系统重要组成部分。
短句来源
  “logic and real”译为未确定词的双语例句
     So, Contemporary Abstract Art of China had to deviate from Chinese Ideology, empty concrete world, market logic and real oneself.
     因此,中国当代抽象艺术家不得不“背离”中国的意识形态、空洞的具象世界、市场逻辑和现实自我。
短句来源
     Accordingto this, from the angle of the exchange rate system and the effectiveness of monetary policies in our country, this thesis will research the theory logic and real relation between the exchange rate regime and the effectiveness of monetary policy of our country in current particular financial environment.
     宏观经济均衡论往往将货币政策的有效性、汇率制度选择、资本的流动性纳入统一的分析框架来进行研究,汇率政策与货币政策的协调是实现资本项目有条件开放下经济内外均衡的关键。 我国近年来汇率政策目标和货币政策有效性之间存在矛盾与冲突,都可以归结为我国开放经济条件下的货币政策与汇率政策的权衡。
短句来源
     The generation of rule of law has its historical logic and real basis, and Local China becomes the certain premise of construction of Chinese rule of law.
     法治的生成自有其内在的历史逻辑与现实根基 ,“乡土中国”构成了中国法治建构的当然前提。
短句来源
  相似匹配句对
     Bisimulation with Logic
     互模拟与逻辑
短句来源
     On Innovation and Logic
     略论创新与逻辑
短句来源
     Phenomenology and Logic
     现象学与逻辑学
短句来源
     On the noumenon of logic
     逻辑本体问题新探
短句来源
     To be and to be real
     实在与真实
短句来源
查询“logic and real”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


In order to specify real-time systems, many temporal logics such as Timed Computation Tree Logic, Metric Interval Temporal Logic and Real-Time Temporal Logic have been proposed. Although these logics are good at specifying properties of real-time systems, they are not suitable for describing the implementations of such systems. Thus, the specifications and the implementations are usually described by different languages for real-time systems. In this paper, a new linear temporal...

In order to specify real-time systems, many temporal logics such as Timed Computation Tree Logic, Metric Interval Temporal Logic and Real-Time Temporal Logic have been proposed. Although these logics are good at specifying properties of real-time systems, they are not suitable for describing the implementations of such systems. Thus, the specifications and the implementations are usually described by different languages for real-time systems. In this paper, a new linear temporal logic with clocks, called LTLC, is introduced. It is an extension of Manna and Pnueli抯 linear temporal logic. It can express both the properties and the implementations of real-time systems. With LTLC, systems can be described at many levels of abstraction, from high-level requirement specifications to low-level implementation models, and the conformance between different descriptions can be expressed by logical implication. This aspect of LTLC will be beneficial to the verification and the stepwise refinements of real-time systems.

为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系统的实现模型.这样,在基于时序逻辑的实时系统的研究中,系统的性质和实现通常是用两种不同的语言来表示的.定义了一个带有时钟变量的线性时序逻辑(linear temporal logic with clocks,简称LTLC).它是由Manna和Pnueli提出的线性时序逻辑在实时情况下的一个推广.LTLC既能表示实时系统的性质,又能很方便地表示实时系统的实现.它能在统一的语义框架中表示出从高级的需求规范到低级的实现模型之间的不同抽象层次上的系统描述,并且能用逻辑蕴涵来表示不同抽象层次的系统描述之间的语义一致性.LTLC的这个特点将有助于实时系统的性质验证和实时系统的逐步求精.

The generation of rule of law has its historical logic and real basis, and Local China becomes the certain premise of construction of Chinese rule of law. On some certain that the theory on civil society has exceeded the universality of culture's limitation, however, it is limited on the explanation about the concrete scene on the process of Chinese rule of law. Perhaps this theory will reflect itself on the non-linear thread of the history.

法治的生成自有其内在的历史逻辑与现实根基 ,“乡土中国”构成了中国法治建构的当然前提。市民社会理论在一定程度上具有超越文化疆界的普世性的一面 ,但它对于中国法治进程具体场景的解释力又是有限度的。可能的中国法治理路将彰显于历史进程的非线性思路之中。

In this paper, an integrate method of controlling continuous copper extrusion line using computer is introduced . This system can provide the user with dynamic display state messages or the output of report forms of production line and programmable logic controller ( PLC ). By using graphic operation terminal (GOT) and SoftGOT software as the users' customization operation flat, real time control and state display of the line are performed . For reliability and stability, the PLC, is connected to a computer...

In this paper, an integrate method of controlling continuous copper extrusion line using computer is introduced . This system can provide the user with dynamic display state messages or the output of report forms of production line and programmable logic controller ( PLC ). By using graphic operation terminal (GOT) and SoftGOT software as the users' customization operation flat, real time control and state display of the line are performed . For reliability and stability, the PLC, is connected to a computer with RS-422, and is used for acquiring data, executing the upper computer's commands, performing logic and real time controls. With the developmevct of the automatic supervisory control system of the copper continuous extrusion production line, the performance of the line is reliable, and its operation can be controlled easily.

研究了铜扁线连续挤压生产线控制采用计算机监控系统,它以计算机作为上位机对PLC及整条生产线的状态进行监控,以SoftGOT软件作为用户可以定制功能的软件平台,开发出良好的人机界面、监控画面以及数据存储等功能 PLC作为下位机通过通信线缆与上位计算机相连,执行上位机指令,通过梯形图编程完成逻辑控制、顺序控制及实时控制等功能 铜扁线连续挤压生产线结合现代电子技术和计算机构成的系统,自动化的水平得到很大提高,其性能稳定可靠、操作简单,连续长时间工作无故障

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关logic and real的内容
在知识搜索中查有关logic and real的内容
在数字搜索中查有关logic and real的内容
在概念知识元中查有关logic and real的内容
在学术趋势中查有关logic and real的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社