混合自动机

作品数：28被引量：81H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘保罗裴海龙陈宗基薛乐魏晨更多>>
相关机构：华东理工大学华南理工大学上海交通大学汕头大学更多>>
相关期刊：《计算机仿真》《中国学术期刊文摘》《南京大学学报（自然科学版）》《控制理论与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=计算机x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于混合自动机的PSL模型研究被引量：2
《计算机应用研究》2010年第1期196-199,203,共5页张萌 高德远 樊晓桠 
基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号...
关键词：计算机仿真 混合自动机 混合信号电路 模型 形式化方法 
基于混合自动机的随机噪声电路动态特性分析被引量：2
《计算机仿真》2008年第6期326-330,共5页张萌 高德远 樊晓桠 
国家自然科学基金项目(60573143)
在集成电路非线性随机噪声的分析中应用Petri网技术,需要对原有的Petri网从定义和变迁发射规则方面等进行统计特性与连续特性的拓展研究和补充。并且基于噪声的随机非线性特性分析目的需求,拓展了传统的Petri网,提出了混合随机Petri网(H...
关键词：计算机仿真 模型 佩特里网 混合自动机 形式化方法 动态特性 
计算机软件
《中国学术期刊文摘》2006年第6期140-142,共3页
多维数据模型ER（HH）；基于DCD的块设备快照系统；面向网络计算机的视频播放器组件化模型；可重构“客户资源计划”系统的开发和建模；基于PAX255硬件平台建构嵌入式系统的解决方案；纂于混合自动机的J2ME代码自动生成技术；状态依赖...
关键词：计算机软件 多维数据模型 嵌入式系统 自动生成技术 视频播放器 网络计算机 混合自动机 资源计划 硬件平台 J2ME 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部