公共文化服务平台

2025年2月10日星期一

|

欢迎来到青海省图书馆•公共文化服务平台

登录 | 注册 | 进入后台

[APP下载]

[APP下载]

扫一扫,既下载

全民阅读
职业技能
专家智库
参考咨询

您的位置： 专家智库 > >

陈海明: 作品数：22 被引量：31H指数：4; 供职机构：中国科学院软件研究所更多>>; 发文基金：国家自然科学基金“九五”国家科技攻关计划国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术理学更多>>

合作作者

董韫美中国科学院软件研究所
郑黎晓华侨大学计算机科学与技术学院
许智武中国科学院软件研究所
张强中国科学院软件研究所
吴端仪中国科学院软件研究所

作品列表
供职机构
相关作者
所获基金
研究领域

领域

26个自动化与计算...
7个理学
5个交通运输工程
4个自然科学总论
3个文化科学
2个农业科学
1个经济管理
1个化学工程
1个机械工程
1个电子电信
1个建筑科学
1个环境科学与工...
1个文学

主题

12个上下文
10个形式规约
10个规约
9个上下文无关文...
8个自动机
7个递归
7个形式化
7个句子生成
6个递归函数
6个函数
5个正则
5个正则表达式
5个上下文无关语...
4个形式规约语言
3个代码
3个形式化方法
3个形式化验证
3个形式语义
3个英文
3个硬件

机构

25个中国科学院软...
4个中国科学院研...
3个中国科学院
2个华侨大学
2个中国科学技术...
2个中国科学院大...
1个桂林电子科技...
1个清华大学
1个深圳大学
1个中山大学
1个香港理工大学

资助

24个国家自然科学...
6个国家重点基础...
6个“九五”国家...
4个国家高技术研...
2个福建省自然科...
2个国家科技支撑...
2个中国博士后科...
2个中央高校基本...
1个广东省科技攻...
1个广东省自然科...
1个国家科技基础...
1个教育部留学回...
1个福建省高等学...
1个广西壮族自治...
1个国家杰出青年...
1个国家科技重大...
1个德国研究基金
1个高层次人才科...
1个广西青年科学...
1个广西省自然科...

传媒

16个软件学报
6个计算机工程与...
6个计算机科学
5个计算机研究与...
5个计算机学报
4个计算机工程与...
3个电子学报
3个计算机应用与...
3个小型微型计算...
3个中国科学（E...
2个计算机工程与...
2个计算机工程
2个计算机应用研...
2个计算机系统应...
2个中国铁道科学
2个计算机科学与...
2个科技纵览
2个集成技术
2个2006年全...
2个中国科学院计...

地区

23个北京市
2个福建省
1个安徽省
1个广东省

共 27 条记录，以下是 1-10

全选清除导出

董韫美: 供职机构：中国科学院软件研究所; 研究主题：上下文无关语言递归函数形式规约语言计算机图形学上下文无关文法; 发表作品相关人物供职机构所获资助研究领域

郑黎晓: 供职机构：华侨大学; 研究主题：银行交易邻接表正则表达式并发性 XML模式; 发表作品相关人物供职机构所获资助研究领域

许智武: 供职机构：深圳大学计算机与软件学院; 研究主题：安全性内存句子生成短句文法; 发表作品相关人物供职机构所获资助研究领域

黄文集: 供职机构：中国科学院软件研究所; 研究主题：递归函数上下文无关语言函数式语言多态编译器; 发表作品相关人物供职机构所获资助研究领域

吴端仪: 供职机构：中国科学院软件研究所; 研究主题：上下文无关文法测试用例 CFL CFG 句子生成; 发表作品相关人物供职机构所获资助研究领域

张强: 供职机构：中国科学院软件研究所; 研究主题：函数式语言形式规约形式规约语言匹配方法; 发表作品相关人物供职机构所获资助研究领域

金蓓弘: 供职机构：中国科学院软件研究所; 研究主题：非接触式 XML解析器 J2EE 中间件设计模式; 发表作品相关人物供职机构所获资助研究领域

张瑞岭: 供职机构：中国科学院软件研究所; 研究主题：上下文无关文法文法推断形式语言语法分析形式规约; 发表作品相关人物供职机构所获资助研究领域

戴晓君: 供职机构：中国科学院软件研究所; 研究主题：XML 类型化句子子类型上下文无关语言; 发表作品相关人物供职机构所获资助研究领域

陈雷: 供职机构：中国科学院软件研究所; 研究主题：CFL CFG 句子生成上下文无关文法; 发表作品相关人物供职机构所获资助研究领域

全选清除导出

共3页<1 2 3>

执行隐藏清空

用户登录

用户反馈

标题：

*标题长度不超过50

邮箱：

*

反馈意见：

反馈意见字数长度不超过255

验证码：

看不清楚？点击换一张