混合自动机

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

检索结果分析

主题关系类型

  • 共现主题
  • 被引主题
  • 引用主题
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
排序：
自动机
查看相关作品
作品数：6278被引量：16791H指数：46
相关主题：元胞自动机 元胞自动机模型 细胞自动机 有限自动机 交通流
相关领域：自动化与计算机技术
形式化
查看相关作品
作品数：5172被引量：11555H指数：35
相关主题：形式化方法 形式化验证 形式化描述 形式化分析 安全协议
相关领域：自动化与计算机技术 文化科学
仿真
查看相关作品
作品数：184354被引量：438815H指数：95
相关主题：仿真模型 计算机仿真 数值仿真 仿真系统 系统仿真
相关领域：自动化与计算机技术
形式化方法
查看相关作品
作品数：864被引量：2370H指数：18
相关主题：形式化 安全协议 形式化验证 软件开发 B方法
相关领域：自动化与计算机技术
形式化验证
查看相关作品
作品数：548被引量：1339H指数：16
相关主题：形式化验证方法 形式化 安全协议 形式化方法 定理证明
相关领域：自动化与计算机技术
时段演算
查看相关作品
作品数：18被引量：37H指数：3
相关主题：实时系统 形式化方法 时间自动机 混合自动机 形式化
相关领域：自动化与计算机技术
非线性
查看相关作品
作品数：56078被引量：155036H指数：81
相关主题：非线性系统 非线性规划 非线性模型 非线性控制 神经网络
相关领域：理学 自动化与计算机技术
定理证明
查看相关作品
作品数：1008被引量：858H指数：10
相关主题：定理证明器 形式化验证 定理 自动定理证明 辅助函数
相关领域：理学 自动化与计算机技术
定理
查看相关作品
作品数：52608被引量：33518H指数：40
相关主题：勾股定理 不动点定理 余弦定理 正弦定理 动能定理
相关领域：理学 文化科学
计算机
查看相关作品
作品数：515717被引量：560031H指数：126
相关主题：存储介质 计算机设备 计算机网络 计算机程序 电子设备
相关领域：自动化与计算机技术
全选清除导出
共16页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部