2024年8月22日
星期四
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
段振华
作品数:
210
被引量:232
H指数:8
供职机构:
西安电子科技大学
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
国家教育部博士点基金
更多>>
相关领域:
自动化与计算机技术
电子电信
金属学及工艺
更多>>
合作作者
田聪
西安电子科技大学通信工程学院综...
王小兵
西安电子科技大学通信工程学院综...
张南
西安电子科技大学通信工程学院综...
赵亮
西安电子科技大学
黄伯虎
西安电子科技大学通信工程学院综...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
79个
自动化与计算...
45个
电子电信
21个
文化科学
14个
经济管理
13个
理学
12个
航空宇航科学...
9个
电气工程
8个
机械工程
7个
金属学及工艺
7个
交通运输工程
7个
一般工业技术
6个
医药卫生
5个
化学工程
5个
建筑科学
4个
天文地球
4个
自然科学总论
3个
轻工技术与工...
3个
社会学
3个
语言文字
2个
环境科学与工...
主题
44个
网络
32个
时序逻辑
28个
计算机
25个
形式化
25个
通信
23个
电路
23个
图像
23个
仿真
21个
映射
18个
信号
17个
代码
17个
硬件
16个
调度
16个
用户
15个
多核
15个
形式化验证
15个
语义
14个
等价
13个
迭代
11个
引擎
机构
77个
西安电子科技...
5个
西北大学
4个
北京控制工程...
4个
武汉大学
3个
西北工业大学
2个
清华大学
1个
楚雄师范学院
1个
广州大学
1个
哈尔滨工业大...
1个
北京空间飞行...
1个
成都体育学院
1个
国防科学技术...
1个
山东科技大学
1个
西安邮电学院
1个
西安建筑科技...
1个
曲阜师范大学
1个
中国科学院软...
1个
中国空间技术...
1个
空间智能控制...
1个
西安邮电大学
资助
46个
国家自然科学...
20个
国家重点基础...
15个
中央高校基本...
12个
国家教育部博...
11个
国家高技术研...
8个
陕西省科技攻...
8个
陕西省自然科...
7个
陕西省教育厅...
7个
国家重点实验...
7个
中国人民解放...
6个
中国博士后科...
4个
国家中长期科...
4个
综合业务网理...
3个
国防科技技术...
3个
山东省自然科...
3个
国家科技重大...
3个
中央级公益性...
2个
国防基础科研...
2个
陕西省教育厅...
2个
陕西省工业科...
传媒
23个
软件学报
22个
西安电子科技...
10个
西安交通大学...
10个
计算机科学
9个
计算机研究与...
8个
中国空间科学...
7个
计算机学报
6个
计算机应用
5个
电子学报
5个
计算机工程
5个
西北大学学报...
5个
光子学报
5个
计算机应用研...
5个
计算机技术与...
5个
空间控制技术...
4个
电子科技
4个
华中科技大学...
4个
计算机应用与...
4个
微电子学与计...
4个
电子科技大学...
地区
77个
陕西省
5个
北京市
1个
山东省
共
84
条 记 录,以下是 1-10
全选
清除
导出
田聪
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
发表作品
相关人物
供职机构
所获资助
研究领域
王小兵
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 数字仿真 词法 仿真
发表作品
相关人物
供职机构
所获资助
研究领域
张南
供职机构:西安电子科技大学
研究主题:协作通信 信道 低复杂度 时序逻辑 语句
发表作品
相关人物
供职机构
所获资助
研究领域
赵亮
供职机构:西安电子科技大学
研究主题:时序逻辑 社交网络 SUB 监控器 逻辑语言
发表作品
相关人物
供职机构
所获资助
研究领域
黄伯虎
供职机构:西安电子科技大学
研究主题:词法 工艺映射 逻辑优化 光突发交换 布线方法
发表作品
相关人物
供职机构
所获资助
研究领域
罗玲
供职机构:西安电子科技大学
研究主题:映射规则 软件故障 语句 并发系统 Π演算
发表作品
相关人物
供职机构
所获资助
研究领域
陆旭
供职机构:西安电子科技大学
研究主题:计算机程序设计语言 以太 程序设计语言 编程风格 形式化描述
发表作品
相关人物
供职机构
所获资助
研究领域
张海宾
供职机构:西安电子科技大学
研究主题:区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
门鹏
供职机构:中国烟草总公司陕西省公司
研究主题:WEB服务组合 着色PETRI网 模糊PETRI网 PETRI网 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
杨凯
供职机构:西安电子科技大学
研究主题:虚拟机 探针 词法 程序设计语言 操作符
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共9页
<
1
2
3
4
5
6
7
8
9
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张