王泓皓
- 作品数：3 被引量：3H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于MLIRF方法的软件原型速成技术研究
- 董韫美李开德陈海明张瑞岭万战勇陈自明张荣华王泓皓张强黄文集
- 该项目提出了一种新的软件原型速成技术，即基于MLIRF方法的原型速成技术。该技术区别于其它原型速成技术的特色，是以项目负责人提出的MLIRF方法为基础，使用特殊的可执行规约语言来刻画系统原型，软件规约的语法方面和语义方面...
- 关键词：
- 关键词：形式规约
- 基于产生式集划分的上下文无关语言句子生成被引量：3
- 2000年
- 给出了上下文无关文法 (context- free grammar,简称 CFG)产生式集的一种划分方法 ,可将产生式分为两类 .使用一类产生式进行推导时 ,推导过程将无限进行下去 ;使用另一类进行推导时 ,推导过程将迅速结束 .证明了 CFG句子生成过程一定是先使用一类产生式使生成的句型不断变长、变复杂 ,再使用另一类产生式使句型变成句子 .据此 ,提出了一种可控制的通用句子生成方法 .其生成一条句子的时间和空间复杂度是 O(r+n) ,其中 n是生成句子的长度或深度限制 ,r是给定上下文无关文法中产生式的数目 .同时 ,给出了适应不同需要的句子生成策略 .
- 王泓皓董韫美
- 关键词：句子生成
- SAQ系统的概念获取和检验
- 该论文介绍了SAQ系统概念获取的思想核心以及获取方法的发展过程.在原有工作的基础上,该文试图较深入地对人机交互概念获取的过程分析研究.针对人和机器各自的特点,对其进行了合理的分工.使得人和机器能相互促进启发,自然地合作....
- 王泓皓
- 关键词：人机交互上下文无关文法句子生成
- 文献传递
