2024年11月29日
星期五
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
朱关铭
作品数:
17
被引量:26
H指数:3
供职机构:
上海大学计算机工程与科学学院
更多>>
发文基金:
上海市高等学校科学技术发展基金
国家自然科学基金
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
缪淮扣
上海大学计算机工程与科学学院
李刚
中国科学院软件研究所
童頫
上海大学计算机工程与科学学院
张晓莺
上海大学计算机工程与科学学院
张阁
上海大学计算机工程与科学学院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
7个
自动化与计算...
3个
电子电信
3个
医药卫生
3个
理学
2个
经济管理
2个
金属学及工艺
2个
机械工程
2个
文化科学
1个
电气工程
1个
社会学
主题
5个
Z规格说明
5个
Z语言
4个
人工智能
3个
形式化
3个
遗传算法
3个
语法制导
3个
软件测试
2个
等价
2个
定理
2个
信息系统
2个
形式语义
2个
性能分析
2个
有向图
2个
有向图模型
2个
语法分析
2个
软计算
2个
谓词
2个
变式
2个
抽取
1个
大型数据
机构
7个
上海大学
1个
宁波大学
1个
重庆大学
1个
中国科学院软...
1个
上海市计算机...
1个
上海科学技术...
资助
5个
国家自然科学...
4个
国家高技术研...
3个
上海市高等学...
1个
广东省自然科...
1个
国家重点基础...
1个
江西省自然科...
1个
上海市自然科...
1个
浙江省自然科...
1个
江西省教育厅...
1个
江西省教育厅...
1个
软件工程国家...
1个
上海市教育委...
1个
上海市科学技...
1个
上海市教委科...
传媒
5个
计算机应用与...
5个
上海大学学报...
3个
计算机工程
3个
应用科学学报
3个
计算机科学
2个
计算机学报
2个
计算机工程与...
2个
计算机应用
2个
小型微型计算...
2个
软件学报
2个
计算机工程与...
1个
科学通报
1个
计算机研究与...
1个
东南大学学报...
1个
南京大学学报...
1个
上海金属
1个
华中科技大学...
1个
同济大学学报...
1个
微机发展
1个
微电子学与计...
地区
7个
上海市
共
7
条 记 录,以下是 1-7
全选
清除
导出
缪淮扣
供职机构:上海大学计算机工程与科学学院
研究主题:测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
发表作品
相关人物
供职机构
所获资助
研究领域
李刚
供职机构:上海大学
研究主题:面向对象 OOZS 软件开发 有向图模型 Z语言
发表作品
相关人物
供职机构
所获资助
研究领域
童頫
供职机构:上海大学计算机工程与科学学院
研究主题:人工智能 计算机 面向对象 软件开发 布线算法
发表作品
相关人物
供职机构
所获资助
研究领域
张阁
供职机构:上海大学计算机工程与科学学院
研究主题:页面置换算法 LRU FIFO Z语言 Z规格说明
发表作品
相关人物
供职机构
所获资助
研究领域
明继军
供职机构:上海大学
研究主题:Z规格说明 抽取 变式 连接式 谓词
发表作品
相关人物
供职机构
所获资助
研究领域
张晓莺
供职机构:上海大学计算机工程与科学学院
研究主题:Z语言 规格说明语言 形式谱 Z
发表作品
相关人物
供职机构
所获资助
研究领域
潘皞
供职机构:上海大学
研究主题:NEAT 形式化 综合器 人工智能
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张