2024年8月23日
星期五
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
雷丽晖
作品数:
8
被引量:84
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张