2024年7月23日
星期二
|
欢迎来到滨州市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家教育部博士点基金(20030701015)
作品数:
7
被引量:34
H指数:3
相关作者:
段振华
张海宾
张鹏飞
黄伯虎
门鹏
更多>>
相关机构:
西安电子科技大学
更多>>
发文基金:
国家教育部博士点基金
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
7个
自动化与计算...
4个
电子电信
3个
金属学及工艺
3个
文化科学
1个
生物学
主题
6个
形式化
6个
时序逻辑
4个
多核
4个
信号
3个
代码
3个
代码重用
3个
单点
3个
单点失效
3个
等价
3个
等位
3个
等位基因
3个
低效性
3个
点对点
3个
点对点网络
3个
调度
3个
迭代
3个
迭代次数
3个
迭代过程
3个
动态规划
3个
多核并行
机构
7个
西安电子科技...
1个
哈尔滨工业大...
1个
武汉大学
1个
中国烟草总公...
资助
7个
国家自然科学...
7个
国家教育部博...
4个
国家重点基础...
4个
中央高校基本...
3个
陕西省科技攻...
3个
中国博士后科...
3个
中国人民解放...
2个
陕西省自然科...
2个
综合业务网理...
1个
国家高技术研...
1个
河南省科技攻...
1个
湖北省自然科...
1个
山东省自然科...
1个
中央级公益性...
1个
陕西省教育厅...
1个
国家重点实验...
1个
软件工程国家...
1个
陕西高等教育...
传媒
4个
西安交通大学...
4个
西安电子科技...
3个
计算机研究与...
3个
华中科技大学...
3个
计算机工程与...
3个
光子学报
3个
软件学报
3个
计算机科学
3个
计算机技术与...
3个
中国计算机学...
2个
电子科技
2个
通信学报
2个
电子学报
2个
计算机学报
2个
西北大学学报...
2个
电子科技大学...
2个
系统仿真学报
2个
四川大学学报...
2个
中国空间科学...
2个
科技资讯
地区
6个
陕西省
共
7
条 记 录,以下是 1-7
全选
清除
导出
段振华
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑
发表作品
相关人物
供职机构
所获资助
研究领域
张海宾
供职机构:西安电子科技大学
研究主题:区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
张鹏飞
供职机构:西安电子科技大学计算机学院
研究主题:投影时序逻辑 WEB WEB服务 形式化方法 状态图
发表作品
相关人物
供职机构
所获资助
研究领域
黄伯虎
供职机构:西安电子科技大学计算机学院
研究主题:词法 工艺映射 逻辑优化 光突发交换 布线方法
发表作品
相关人物
供职机构
所获资助
研究领域
门鹏
供职机构:中国烟草总公司陕西省公司
研究主题:WEB服务组合 着色PETRI网 模糊PETRI网 PETRI网 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
刘洪燕
供职机构:西安电子科技大学计算机学院
研究主题:WEB WEB服务 投影时序逻辑 XML 基于XML
发表作品
相关人物
供职机构
所获资助
研究领域
田聪
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 命题投影时序逻辑 词法 形式化建模
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张