2024年8月22日
星期四
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(61272174)
作品数:
6
被引量:14
H指数:2
相关作者:
侯刚
周宽久
王洁
任龙涛
王小龙
更多>>
相关机构:
大连理工大学
更多>>
发文基金:
国家自然科学基金
中央高校基本科研业务费专项资金
更多>>
相关领域:
自动化与计算机技术
文化科学
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
8个
自动化与计算...
5个
电子电信
4个
经济管理
4个
文化科学
4个
理学
3个
机械工程
3个
交通运输工程
2个
电气工程
2个
航空宇航科学...
2个
医药卫生
2个
社会学
1个
哲学宗教
1个
天文地球
1个
石油与天然气...
1个
建筑科学
1个
农业科学
1个
一般工业技术
1个
自然科学总论
主题
6个
形式化
6个
形式化验证
6个
软件系统
6个
迁移矩阵
5个
有界模型检测
5个
软件设计
4个
代码
4个
单片
4个
单片机
4个
电机
3个
代码生成
3个
单粒子
3个
单粒子翻转
3个
单片机原理
3个
单片机原理与...
3个
电路
3个
电路仿真
3个
电路故障
3个
电路系统
3个
电视
机构
8个
大连理工大学
1个
哈尔滨工业大...
1个
中国航天
资助
8个
国家自然科学...
4个
中央高校基本...
3个
辽宁省普通高...
2个
国家重点基础...
2个
大连市信息产...
2个
广西高校科学...
2个
国家教育部博...
1个
贵州省科学技...
1个
国家高技术研...
1个
国家科技支撑...
1个
国家社会科学...
1个
教育部留学回...
1个
辽宁省教育厅...
1个
国家级大学生...
1个
海岸和近海工...
1个
辽宁省自然科...
传媒
7个
计算机科学
4个
计算机工程与...
4个
实验室研究与...
4个
计算机工程与...
4个
实验技术与管...
4个
实验室科学
4个
第五届信息安...
4个
2013全国...
4个
2013年全...
4个
第七届信息安...
3个
清华大学学报...
3个
计算机工程与...
3个
软件学报
3个
电气电子教学...
3个
2012全国...
3个
第六届信息安...
2个
现代计算机
2个
大连理工大学...
2个
计算机技术与...
2个
第四届信息安...
地区
8个
辽宁省
共
8
条 记 录,以下是 1-8
全选
清除
导出
侯刚
供职机构:大连理工大学
研究主题:正则表达式 工控网络 网络协议 形式化验证 PROTEUS
发表作品
相关人物
供职机构
所获资助
研究领域
周宽久
供职机构:大连理工大学
研究主题:嵌入式软件 复杂网络 嵌入式系统 遗传算法 决策支持系统
发表作品
相关人物
供职机构
所获资助
研究领域
任龙涛
供职机构:大连理工大学国家示范性软件学院
研究主题:形式化验证 STM 嵌入式软件 迁移矩阵 级联故障
发表作品
相关人物
供职机构
所获资助
研究领域
王洁
供职机构:大连理工大学
研究主题:无线 嵌入式软件 无线传感器网络 无线网络技术 信号强度
发表作品
相关人物
供职机构
所获资助
研究领域
王小龙
供职机构:大连理工大学
研究主题:形式化验证 级联 网络建模 软件系统 级联故障
发表作品
相关人物
供职机构
所获资助
研究领域
赖晓晨
供职机构:大连理工大学国家示范性软件学院
研究主题:嵌入式计算机 惯性传感器 氧化锆 计算机组织与结构 单片机
发表作品
相关人物
供职机构
所获资助
研究领域
王竹
供职机构:大连理工大学国家示范性软件学院
研究主题:复杂网络 加权 级联故障 级联 网络建模
发表作品
相关人物
供职机构
所获资助
研究领域
勇嘉伟
供职机构:大连理工大学
研究主题:形式化验证 状态空间爆炸 软件系统 层次化 STM
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张