国家高技术研究发展计划(863-306-ZT06-02-2)
- 作品数：5 被引量：8H指数：2
- 相关作者：傅育熙徐良贤杨萍陈英孔骏更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多层有限状态自动机的多输入汉语词性标注系统被引量：1
- 2001年
- 将带有歧义的切分字段作为词性标注系统的输入，并在词性标注系统中引入了有限状态自动机进行部分句法分析以排除切分和标注歧义，实现了一个结合部分句法分析的汉语词性标注系统。
- 孔骏陈玉泉陆汝占
- 关键词：有限状态自动机自然语言处理
- 多态x-演算
- 2000年
- 1 引言计算模型是计算机科学研究的重要问题之一。计算机科学家对顺序计算的研究已处于较成熟的阶段,并提出了相应的计算模型,其中尤以λ-演算最为经典。与顺序计算相比,我们对并行计算的认识处于较肤浅的水平。自Milner提出CCS以来,计算机科学家提出了一系列并行与并发计算模型。在这些模型中Milner等人提出的π-演算是较为成熟的。和λ-演算一样。
- 蒋翔宇傅育熙
- 关键词：计算机科学
- 并发计算的元模型 Ⅱ.对称通信被引量：3
- 2000年
- 在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 。
- 傅育熙
- 关键词：进程代数元模型Π演算
- 并发计算的元模型 Ⅲ.互模拟格被引量：2
- 2000年
- 在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为
- 傅育熙
- 关键词：进程代数元模型
- 软件开发和管理过程中的演化分析和设计被引量：4
- 2002年
- 本文首先介绍了软件过程的概念,提出了软件过程中演化研究的重要性,然后按演化产生的原因对软件演化进行了分类,并分别讨论了软件开发过程中固有的需求演化、分工演化、调试演化、重用演化和工具环境演化以及软件过程管理中的个体视图演化和模板类演化,分析了这些演化之间的关系,简要地介绍了我们设计的文档日志以及如何利用文档日志确定演化范围。
- 杨萍徐良贤陈英
- 关键词：软件开发软件工程计算机
