助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   混成自动机 的翻译结果: 查询用时:0.017秒
图标索引 在分类学科中查询
所有学科
非线性科学与系统科学
更多类别查询

图标索引 历史查询
 

混成自动机
相关语句
  hybrid automata
     Linear hybrid automata are undecidable in general, but for a subclass of linear hybrid automata called positive loop-closed automata, the satisfaction problem for linear duration properties can be solved by linear programming.
     虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过线性规划方法加以检验.
短句来源
  相似匹配句对
     UNIVERSAL AUTOMATA
     通用自动机
短句来源
     K-LIMITED-i: AUTOMATA
     K囿∑自动机
短句来源
     Hybrid Power Control System and Its Application
     混成电力控制系统及其应用
短句来源
     PARAMETRIC ANALYSIS OF LINEAR HYBRID SYSTEMS
     线性混成系统的参数分析
短句来源
查询“混成自动机”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  hybrid automata
The theoretical framework in developing the PNDN is based on the improved theory of Petri nets and hybrid automata.
      
It has been frequently observed that Duration Calculus with linear duration terms comes close to being a logic of linear hybrid automata.
      
Specification and synthesis of hybrid automata for physics-based animation
      
Physics-based animation programs can often be modeled in terms of hybrid automata.
      
This paper describes a system for specifying and automatically synthesizing physics-based animation programs based on hybrid automata.
      
更多          


Hybrid systems are real-time systems that allow both continuous state changes over time periods of positive durations and discrete state changes in zero time. Being an important subclass of hybrid systems, linear hybrid systems are usually modeled using linear hybrid automata. Linear hybrid automata are undecidable in general, but for a subclass of linear hybrid automata called positive loop-closed automata, the satisfaction problem for linear duration properties can be solved by linear programming. To support...

Hybrid systems are real-time systems that allow both continuous state changes over time periods of positive durations and discrete state changes in zero time. Being an important subclass of hybrid systems, linear hybrid systems are usually modeled using linear hybrid automata. Linear hybrid automata are undecidable in general, but for a subclass of linear hybrid automata called positive loop-closed automata, the satisfaction problem for linear duration properties can be solved by linear programming. To support automatic checking of linear hybrid automata for linear duration properties, a tool named LDPChecker implementing the checking algorithm has been developed. The tool LDPChecker can identify positive loop-closed automaton and perform checking on it. Its key features includes its ability to check real-time and hybrid system for many real-time properties including reachability property, and to generate diagnostic information automatically.

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息.

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关混成自动机的内容
在知识搜索中查有关混成自动机的内容
在数字搜索中查有关混成自动机的内容
在概念知识元中查有关混成自动机的内容
在学术趋势中查有关混成自动机的内容
 
 

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