助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   duration calculi 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
航空航天科学与工程
电信技术
更多类别查询

图标索引 历史查询
 

duration calculi
相关语句
  时段演算
     Based on the introduction of the conception, characteristic, up-to-date development and framework of hybrid systems, a summary of hybrid system modeling is given. This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension. Finally, some primary results and methods of simulation are summarized.
     在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。
短句来源
  “duration calculi”译为未确定词的双语例句
     DURATION CALCULI:AN OVERVIEW
     时段演算综述
短句来源
  相似匹配句对
     DURATION CALCULI:AN OVERVIEW
     时段演算综述
短句来源
     On the Duration of the Execution of Mortgage
     抵押权行使期间探疑
短句来源
     CHAOS AND PREDICTABLE DURATION
     混沌与预报期限
短句来源
     The treatment of renal staghorn calculi
     鹿角形肾结石的治疗
短句来源
     Treatment of Biliary Calculi with Laparoscopy
     腹腔镜治疗胆管结石
短句来源
查询“duration calculi”译词为用户自定义的双语例句

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


The duration calculi are calculi for designing embedded real time software systems. The calculi overviewed in this paper include the duration calculus, the extended duration calculus, the mean value calculus and the probabilistic duration calculus. They are extensions of the interval temporal logic, and can accommodate some concepts of mathematical analysis such as integrals, mean values, piecewise continuity and differentiability of functions over continuous time.The calculi...

The duration calculi are calculi for designing embedded real time software systems. The calculi overviewed in this paper include the duration calculus, the extended duration calculus, the mean value calculus and the probabilistic duration calculus. They are extensions of the interval temporal logic, and can accommodate some concepts of mathematical analysis such as integrals, mean values, piecewise continuity and differentiability of functions over continuous time.The calculi can be used to capture and define real time requirements for hybrid systems,to define real time behavior/semantics of computing systems, andto calculate system dependability in terms of requirement satisfaction probability.

时段演算是用于嵌入式实时软件系统设计的演算系统.本文概述了该演算系统,其中包括时段演算、扩充时段演算、平均值演算和概率时段演算.它们都是区间时态逻辑的扩展,可用于处理数学分析中函数在连续时间上的一些概念,如:积分,平均值,分段连续性和可微性.该演算能够应用于对混合系统的实时需求进行刻划和精化,同时也能定义计算系统的实时行为和语义,以及用来计算关于系统需求的满足概率.

As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi. Firstly, the requirement with some assumptions is captured in duration calculi, then the algorithm is specified in mixed term hybrid descriptions and a parameter selection is given. During the verification phase,the program invariant is reasoned about with Hoare...

As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi. Firstly, the requirement with some assumptions is captured in duration calculi, then the algorithm is specified in mixed term hybrid descriptions and a parameter selection is given. During the verification phase,the program invariant is reasoned about with Hoare logic and specified by duration formulae. Finally, the whole verification is finished in the duration calculus framework.

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.

Based on the introduction of the conception, characteristic, up-to-date development and framework of hybrid systems, a summary of hybrid system modeling is given. This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension. Finally, some primary results and methods of simulation are summarized.

在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。

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

 


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

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