全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 duration calculi 的翻译结果: 查询用时：0.217秒
 历史查询

 duration calculi 时段演算(1)
 时段演算
 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 腹腔镜治疗胆管结石 短句来源

我想查看译文中含有：的双语例句
 没有找到相关例句
 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－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社