2025年1月16日
星期四
|
欢迎来到营口市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
赵春娜
作品数:
22
被引量:272
H指数:7
供职机构:
首都师范大学信息工程学院
更多>>
发文基金:
国家自然科学基金
北京市自然科学基金
国际科技合作与交流专项项目
更多>>
相关领域:
自动化与计算机技术
经济管理
冶金工程
兵器科学与技术
更多>>
合作作者
关永
首都师范大学信息工程学院可靠嵌...
施智平
首都师范大学信息工程学院可靠嵌...
李晓娟
首都师范大学信息工程学院
薛定宇
东北大学信息科学与工程学院流程...
叶世伟
中国科学院研究生院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
30个
自动化与计算...
20个
电子电信
19个
文化科学
15个
理学
12个
机械工程
12个
电气工程
10个
经济管理
9个
医药卫生
8个
建筑科学
7个
交通运输工程
6个
金属学及工艺
6个
航空宇航科学...
6个
军事
5个
天文地球
5个
冶金工程
5个
环境科学与工...
5个
兵器科学与技...
4个
哲学宗教
4个
化学工程
4个
轻工技术与工...
主题
24个
网络
20个
神经网
20个
神经网络
19个
计算机
18个
仿真
15个
通信
13个
定理
13个
定理证明
13个
形式化
12个
形式化验证
11个
信号
11个
性能分析
11个
支持向量
9个
调度
8个
电路
8个
形式化方法
8个
遗传算法
7个
多尺度
7个
形式化建模
6个
代码
机构
17个
首都师范大学
7个
东北大学
5个
东北师范大学
4个
北京师范大学
4个
国防科学技术...
3个
中国科学院
3个
国防科技大学
3个
电子信息系统...
2个
北京化工大学
2个
西北大学
2个
教育部
2个
沈阳工业大学
2个
中国科学院研...
2个
中国人民解放...
1个
大连理工大学
1个
东北工学院
1个
国家农业信息...
1个
大连大学
1个
北京石油化工...
1个
喀什师范学院
资助
32个
国家自然科学...
19个
北京市自然科...
17个
国家高技术研...
14个
国际科技合作...
12个
国家重点实验...
11个
北京市优秀人...
9个
北京市教委科...
8个
国家科技支撑...
7个
国家重点基础...
7个
中国博士后科...
7个
北京市教委科...
7个
国家教育部博...
6个
湖南省自然科...
6个
北京市科委项...
6个
辽宁省自然科...
6个
中央高校基本...
5个
辽宁省科学技...
5个
中央级公益性...
5个
北京市教委资...
5个
北京市教育委...
传媒
15个
小型微型计算...
15个
计算机工程与...
13个
系统仿真学报
13个
计算机工程与...
13个
计算机科学
12个
计算机仿真
11个
电子学报
11个
计算机应用与...
10个
计算机工程
10个
软件学报
9个
计算机应用研...
9个
微计算机信息
8个
电子与信息学...
8个
计算机应用
6个
系统工程与电...
6个
中国图象图形...
5个
计算机研究与...
5个
计算机学报
5个
兵工学报
4个
数学的实践与...
地区
20个
北京市
8个
辽宁省
3个
江苏省
1个
湖南省
1个
陕西省
共
33
条 记 录,以下是 1-10
全选
清除
导出
关永
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
发表作品
相关人物
供职机构
所获资助
研究领域
施智平
供职机构:首都师范大学
研究主题:形式化验证 定理证明 形式化 图像检索 定理证明器
发表作品
相关人物
供职机构
所获资助
研究领域
李晓娟
供职机构:首都师范大学
研究主题:形式化验证 定理证明 机器人 移动机器人 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
王瑞
供职机构:首都师范大学
研究主题:形式化验证 机器人 ROS 移动机器人 时间自动机
发表作品
相关人物
供职机构
所获资助
研究领域
薛定宇
供职机构:东北大学信息科学与工程学院
研究主题:分数阶 分数阶微积分 机器人 网络控制系统 仿真
发表作品
相关人物
供职机构
所获资助
研究领域
叶世伟
供职机构:中国科学院计算技术研究所
研究主题:定理证明 形式化 流形学习 形式化验证 HOPFIELD网络
发表作品
相关人物
供职机构
所获资助
研究领域
张杰
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
发表作品
相关人物
供职机构
所获资助
研究领域
华伟
供职机构:首都师范大学
研究主题:SPACEWIRE 性能分析 形式化建模 形式化方法 可靠通信
发表作品
相关人物
供职机构
所获资助
研究领域
袁晓红
供职机构:首都师范大学信息工程学院
研究主题:PLC 综合原料场 自动控制系统 现场总线 以太网
发表作品
相关人物
供职机构
所获资助
研究领域
潘峰
供职机构:东北大学信息科学与工程学院
研究主题:教学改革 MATLAB/SIMULINK 网络控制系统 自动化专业 足球机器人
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共4页
<
1
2
3
4
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张