2024年12月23日
星期一
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
刘永梅
作品数:
30
被引量:13
H指数:2
供职机构:
首都师范大学信息工程学院
更多>>
发文基金:
国家自然科学基金
中央级公益性科研院所基本科研业务费专项
北京市教委科技发展计划
更多>>
相关领域:
自动化与计算机技术
文化科学
经济管理
更多>>
合作作者
关永
首都师范大学信息工程学院
张杰
首都师范大学
毛春静
首都师范大学信息工程学院
吴敏华
首都师范大学信息工程学院
王国辉
首都师范大学信息工程学院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
31个
自动化与计算...
23个
文化科学
19个
电子电信
10个
理学
8个
经济管理
8个
机械工程
7个
电气工程
5个
天文地球
5个
环境科学与工...
5个
农业科学
4个
轻工技术与工...
4个
交通运输工程
4个
政治法律
3个
哲学宗教
3个
语言文字
2个
生物学
2个
化学工程
2个
矿业工程
2个
建筑科学
2个
医药卫生
主题
25个
嵌入式
25个
接口
23个
通信
23个
芯片
22个
网络
22个
接口连接
21个
端口
21个
智能芯片
21个
输入端
21个
输入端口
21个
系统芯片
21个
键盘
21个
键盘接口
19个
数据传输
15个
冗余
11个
有限状态机
10个
形式化
10个
形式化验证
9个
定理
9个
定理证明
机构
31个
首都师范大学
3个
北京航空航天...
3个
中国科学院研...
2个
中国科学院
2个
肇庆学院
2个
中国科学院软...
1个
大连理工大学
1个
北方交通大学
1个
东华大学
1个
国家农业信息...
1个
北京化工大学
1个
渤海大学
1个
内蒙古大学
1个
锦州师范学院
1个
北京工业大学
1个
北京交通大学
1个
北京理工大学
1个
西安微电子技...
1个
首钢工学院
1个
中国人民解放...
资助
24个
北京市自然科...
24个
国家自然科学...
19个
北京市教委科...
16个
国家高技术研...
11个
国际科技合作...
10个
北京市科技新...
10个
国家科技支撑...
10个
国家重点实验...
8个
中央级公益性...
8个
北京市教委科...
8个
北京市科委项...
7个
北京市优秀人...
7个
北京市教委科...
7个
北京市教委重...
6个
国家重点基础...
6个
北京市教委资...
6个
北京市高等学...
6个
北京市教育委...
6个
北京市属高等...
5个
北京市重点实...
传媒
19个
计算机工程与...
15个
计算机工程与...
14个
计算机应用与...
13个
微计算机信息
12个
计算机工程
12个
小型微型计算...
11个
计算机科学
10个
计算机应用研...
10个
首都师范大学...
10个
计算机教育
8个
软件学报
7个
计算机应用
6个
计算机研究与...
6个
电子学报
6个
计算机工程与...
6个
计算机仿真
6个
电子器件
6个
计算机测量与...
5个
电子技术应用
4个
电源技术
地区
30个
北京市
2个
广东省
1个
河南省
1个
河北省
共
34
条 记 录,以下是 1-10
全选
清除
导出
关永
供职机构:首都师范大学
研究主题:形式化验证 定理证明 嵌入式系统 形式化 机器人
发表作品
相关人物
供职机构
所获资助
研究领域
张杰
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
发表作品
相关人物
供职机构
所获资助
研究领域
毛春静
供职机构:首都师范大学
研究主题:高速通信 抗辐照 串行数据 错误校验 传输接口
发表作品
相关人物
供职机构
所获资助
研究领域
朱虹
供职机构:首都师范大学
研究主题:高速通信 抗辐照 串行数据 错误校验 传输接口
发表作品
相关人物
供职机构
所获资助
研究领域
陈金强
供职机构:首都师范大学
研究主题:高速通信 抗辐照 串行数据 现场可编程门阵列 错误校验
发表作品
相关人物
供职机构
所获资助
研究领域
尚媛园
供职机构:首都师范大学
研究主题:图像 四元数 加密 图像加密 虚部
发表作品
相关人物
供职机构
所获资助
研究领域
万玛宁
供职机构:首都师范大学
研究主题:高速通信 抗辐照 串行数据 错误校验 传输接口
发表作品
相关人物
供职机构
所获资助
研究领域
王国辉
供职机构:首都师范大学
研究主题:定理证明器 形式化验证 定理证明 逻辑命题 机器人
发表作品
相关人物
供职机构
所获资助
研究领域
吴敏华
供职机构:首都师范大学
研究主题:逻辑语言 逻辑命题 流水线 自校验 双冗余
发表作品
相关人物
供职机构
所获资助
研究领域
李晓娟
供职机构:首都师范大学
研究主题:形式化验证 定理证明 机器人 移动机器人 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共4页
<
1
2
3
4
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张