您的位置： 专家智库 > >

雷丽晖

作品数：8 被引量：83H指数：5
供职机构：西安电子科技大学计算理论与技术研究所更多>>
发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个理学
  • 2个经济管理
  • 2个哲学宗教
  • 2个生物学
  • 2个天文地球
  • 2个化学工程
  • 2个矿业工程
  • 2个石油与天然气...
  • 2个冶金工程
  • 2个金属学及工艺
  • 2个机械工程
  • 2个动力工程及工...
  • 2个电子电信
  • 2个电气工程
  • 2个建筑科学
  • 2个水利工程
  • 2个轻工技术与工...
  • 2个交通运输工程
  • 2个航空宇航科学...

主题

  • 4个形式化
  • 4个形式化验证
  • 4个有限自动机
  • 4个时序逻辑
  • 4个实时系统
  • 4个投影时序逻辑
  • 4个确定有限自动...
  • 4个状态图
  • 4个自动机
  • 4个组合WEB服...
  • 4个逻辑
  • 3个形式化方法
  • 3个语义WEB服...
  • 3个区间时序逻辑
  • 3个逻辑与
  • 3个可满足性
  • 3个可满足性判定
  • 3个混合自动机
  • 2个大温差
  • 2个大涡模拟

机构

  • 4个西北大学
  • 4个西安电子科技...
  • 2个安徽工业大学
  • 2个北京跟踪与通...
  • 2个北京工商大学
  • 2个北京航空工程...
  • 2个北京应用物理...
  • 2个长春理工大学
  • 2个长治学院
  • 1个安徽财贸职业...
  • 1个安徽国际商务...
  • 1个安徽技术师范...
  • 1个安徽省农业科...
  • 1个安徽新华学院
  • 1个安徽冶金科技...
  • 1个安徽医科大学
  • 1个安阳师范高等...
  • 1个白城师范高等...
  • 1个蚌埠教育学院
  • 1个北方工业大学

作者

  • 4个雷丽晖
  • 4个张海宾
  • 4个鱼滨
  • 4个段振华
  • 4个门鹏
  • 3个张鹏飞
  • 3个田聪
  • 3个刘洪燕
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华
  • 1个张晓华

传媒

  • 4个计算机工程与...
  • 4个西北大学学报...
  • 4个西安交通大学...
  • 4个西安电子科技...
  • 4个计算机科学
  • 4个计算机技术与...
  • 2个分析化学
  • 2个光机电信息
  • 2个工业安全与环...
  • 2个中国仪器仪表
  • 2个计算机安全
  • 1个当代电视
  • 1个分子科学学报
  • 1个现代商业银行
  • 1个汽车维修
  • 1个化工科技
  • 1个当代经济研究
  • 1个吉林蔬菜
  • 1个行政与法
  • 1个人民论坛
共 4 条 记 录，以下是 1-4
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60373103)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60433010)
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
中国人民解放军总装备部预研基金
相关领域：自动化与计算机技术 电子电信 航空宇航科学技术 理学 一般工业技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0