柳军飞
- 作品数：32 被引量：164H指数：6
- 供职机构：北京大学软件工程国家工程研究中心更多>>
- 发文基金：电子信息产业发展基金国家自然科学基金国家电子信息产业发展基金更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生电气工程更多>>
- 基于XYZ/SE的软件部分正确性验证
- 2015年
- 针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性验证;进行调整和验证,即:如果推导结果与预期不一致,则需要重写相关程序或者回溯检查推导过程是否存在错误,直至程序部分正确性得到验证为止。以国库信息处理系统为对象,分析了基于XYZ/SE的统一框架性能。分析表明,基于该框架能够对软件的不同抽象层次进行规范描述,实现从抽象(静态语义)到具体(动态语义)的平滑过渡。同时,基于XYZ/SE的统一框架也可以表示Hoare逻辑推演规则。
- 张锦刘曼霞赵二群柳军飞
- 关键词：形式化描述
- 分布式过程支持系统的研究
- 2005年
- 要支持异地软件开发,分布式的过程支持系统的建立是必要的。通过比较4种分布式的过程支持系统的体系结构,引擎分布、数据分布的结构能有效地支持分布式软件过程。设计实现了基于P2P方式的多引擎PSEE(Process-Sensitive Software Engineering Environment)——MEPSS,在MEPSS中,每个引擎具有自治性,同时各引擎间通过交互形成一个完整的过程支持系统。
- 潘崇明田勇施海虎柳军飞
- 关键词：分布式
- 软件过程建模语言研究被引量：28
- 1996年
- 本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．
- 柳军飞唐稚松
- 关键词：过程建模语言程序语言
- 一种编目信息的分类、检索方法和装置
- 本发明公开了一种编目信息的分类、检索方法和装置，所述检索方法包括：提取查询信息中的特征词语，将提取的特征词语组成所述查询信息的特征词语集合；针对所述查询信息的特征词语集合应用预先构建的一组局部敏感的哈希函数簇H将所述查询...
- 柳军飞范红杰麻志毅孙博
- 文献传递
- 一种以活动为中心的软件过程元模型被引量：9
- 2004年
- 在软件开发过程中,过程定义是整个软件过程工程的核心,而成功的过程定义基于一个良好的软件过程元模型。提出了一种以活动为中心的软件过程元模型,使用ECA规则处理多种活动之间的转移关系,该元模型的描述基于XML语言,并采用XML sclaema来定义和检查XML文档的语法。该元模型具有可操作性强、结构简单的特点,并且在实际软件开发中得到了初步应用。
- 张颖施海虎柳军飞
- 关键词：元模型ECA规则XML语言XMLSCHEMA软件工程
- 一种结合背景知识的远程监督关系抽取方法
- 本发明提供了一种结合背景知识的远程监督关系抽取方法。该方法包括：对于训练数据集中的每一个包，通过句子编码器得到包中的每个句子的向量表示；利用知识库中的实体表示构建句子层级的注意力机制，为每个句子分配注意力权重，并基于各个...
- 邓可君章学妙范红杰柳军飞
- 文献传递
- 一种弹性的软件过程模型验证工具被引量：1
- 2007年
- 过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。
- 胡旷董广智田勇柳军飞
- 关键词：语义规则可扩展标记语言
- OR-Mapping的一种实现方法被引量：1
- 2004年
- OR Mapping集成了面向对象语言和关系型数据库 ,使我们在开发数据库应用时能享受到面向对象设计的好处。本文提出了一种具体的OR Mapping实现方法。使用对象描述数据库中的表能够使系统的结构清晰 。
- 金松齐璇柳军飞
- 关键词：面向对象语言关系型数据库数据库开发程序开发JAVA语言
- 一种面向实体关系联合抽取中缓解曝光偏差的方法
- 2022年
- 实体关系联合抽取的目的是从非结构化文本中同时提取实体提及和关系事实,是知识图构建的关键步骤,也是许多自然语言处理中高级任务的基础.现有工作大都采用了分阶段的联合抽取方法来处理文本中同时存在的多个三元组和实体重叠情况下的三元组抽取问题,虽然取得了合理的性能提升,但都存在严重的曝光偏差问题.对此,提出了一种名为融合关系表达向量(fusional relation expression embedding,FREE)的新方法,通过融合关系表达向量来有效缓解曝光偏差问题.此外,提出了一种称为条件层规范化层的新特征融合层来更有效地融合先验信息.在2个广泛使用的数据集上进行了大量对比实验,结果表明该方法相较于当前最先进的基线方法具有显著优势,可以更有效地处理各种情况,并在不牺牲效率的前提下取得了与当前针对曝光偏差问题的先进方法相当的性能.
- 王震范红杰柳军飞
- 分布式面向对象技术研究
- 柳军飞
- 关键词：分布式操作系统并发程序设计
