张永红
- 作品数：2 被引量：3H指数：1
- 供职机构：曲阜师范大学计算机科学学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于本体的构件功能检索的设计与实现被引量：3
- 2009年
- 目前,基于构件的软件开发已经成为软件工程研究领域和软件开发实践过程中越来越重要的内容。在构件的描述与检索中引入本体,可以更好地表示构件间的语义信息,同时使得构件过程描述与检索成为可能。在研究基于本体的构件描述基础上,设计并实现了构件功能检索过程,为使用构件进行软件开发的用户提供了一种按照所需功能进行构件检索的方法,同时,由于利用知识语义上的匹配,为查全率和查准率提供了更好的保证。
- 闫伟曹宝香张永红李福盛
- 关键词：本体OWL
- 直径为5的图的2-导出匹配划分和2-导出匹配覆盖问题的NP-完全性(英文)
- 2009年
- 给定一个简单图G和正整数k,具有完美匹配的图G的k-导出匹配划分是对顶点集V(G)的一个k-划分(V_1,V_2,…,V_k),其中对每一个i(1≤i≤k),由V_i导出的G的子图G[V_i]是1-正则的.k-导出匹配划分问题是指对给定的图G,判定G是否存在一个k-导出匹配划分.令M_1,M_2,…,M_k为图G的k个导出匹配,如果V(M_1)∪V(M_2)∪…∪V(M_k)=V(G),则我们称{M_1,M_2…,M_k}是G的k-导出匹配覆盖. k-导出匹配覆盖问题是指对给定的图G,判定G是否存在k-导出匹配覆盖.本文给出了Yang,Yuan和Dong所提出问题的解,证明了直径为5的图的导出匹配2-划分问题和导出匹配2-覆盖问题都是NP-完全的.
- 禹继国郑永猛刘桂真张永红
- 关键词：运筹学
