李宗勇
- 作品数:15 被引量:52H指数:5
- 供职机构:西南电子电信技术研究所更多>>
- 发文基金:国防科技技术预先研究基金国家高技术研究发展计划国家部委预研基金更多>>
- 相关领域:自动化与计算机技术军事自然科学总论更多>>
- 基于图形化的本体一致性检查
- 本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在丈中,首先分析了当前的关于概念集的一致性检查方法,然后将目前比较流行的 OWL 的本体表达方式转化为基...
- 许勇王智学李宗勇
- 关键词:本体OWLUML
- 基于蚁群算法的参数相关网格任务调度算法研究被引量:13
- 2007年
- 任务调度是网格计算环境中影响系统性能的重要问题,目前大多数调度算法在调度时均把任务假定为元任务,而忽略任务间的约束关系。利用图论的思想将任务间依赖关系描述为满足一定条件的有向无环图(DAG),通过DAG图可以精确描述任务的优先级,此外蚁群算法在元任务调度中能有效实现任务调度和负载均衡,因此在蚁群算法进行元任务调度结果的基础上,根据任务优先级对分配给资源的任务进行排序即得出了参数相关任务调度的结果。仿真结果显示,此方法在各种网格环境下均能解决相关任务的调度问题,而且保证系统的负载均衡。
- 李宗勇彭霞王智学刘影
- 关键词:蚁群算法任务调度网格计算
- 领域本体的一致性检查被引量:16
- 2009年
- 针对领域本体中概念集的一致性检查问题,给出领域本体的形式化定义,阐述领域本体中的公理集,分析概念集的一致性检查方法,将OWL的本体表达方式转化为基于UML的表达方式,对UML进行适当的扩展,提供一种基于图形化的本体一致性检查机制。该方法基于图形化的形式,简洁直观、容易操作,克服了原有检查方法形式化程度高及复杂难操作的缺点。
- 许勇王智学李宗勇
- 关键词:领域本体UML语言
- 基于领域知识的需求模型检验方法
- 建模语言UML为开发人员的软件设计提供了丰富的建模元素,但是模型元素之间缺乏准确的语义约束,无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描述语言(MEISRDL)中我们提出了一种基于领域知识的模型...
- 张爱辉王智学李宗勇
- 关键词:领域知识本体
- 基于遗传算法的配送优化算法设计与实现被引量:5
- 2006年
- 为了在有限的资源下,以最小成本完成物资的配送,需要对配送路由进行优化。提出了一种配送优化算法,它在遗传算法基础上根据物资配送的特点选取种点和需求点,并利用配送点需求量进行区位分配结果的优化。仿真结果表明,算法能有效地解决种点的选取问题。极大地减少了运算时间,能在较短的时间内获得较优的解决方案。
- 李宗勇李岳王智学
- 关键词:配送优化遗传算法
- 面向领域知识复用的C^4ISR系统需求建模方法
- 2010年
- 为了准确地获取和复用C4ISR系统需求,提出基于多本体的需求获取与建模框架。详细介绍了在此框架下进行需求建模的过程,首先明确用户的目标模型,然后使用目标对已有的领域知识库进行查询,如果发现匹配的目标,则利用目标-任务的映射关系抽取相关知识,如果没有匹配的目标,则生成概念描述框架引导用户提出需求,最后将两部分需求合并形成最终的需求模型。需求建模过程一方面能够复用已有需求,另一方面能够在本体的引导下提出新的需求,保证了需求模型的质量和建模的效率。
- 朱卫星王智学李宗勇
- 关键词:C4ISR系统
- 基于领域知识的模型检验方法
- 本文对基于领域知识的模型检验方法进行了阐述。UML为开发人员的软件设计提供了丰富的建模元素,但是模型元素之间缺乏准确的语义约束,无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描述语言(MEISRDL...
- 张爱辉王智学李宗勇
- 关键词:软件开发程序语言
- 文献传递
- 基于领域知识的模型检验方法被引量:5
- 2008年
- 提出了一种基于领域知识的模型检验方法。该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础。领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求。
- 张爱辉王智学李宗勇
- 关键词:规则库领域知识潜规则本体
- 基于三维目标建模的需求分析方法被引量:1
- 2008年
- 面向目标的需求分析方法是需求工程领域研究的热点问题之一。在深入研究目前有代表性的目标分类方法基础上,提出一种不依赖于具体应用领域的、较为系统和完整的目标分类框架和建模方法。该框架从三个角度对目标进行划分,分别将其归类为操作性或非操作性目标,硬目标或软目标以及实现型或维持型目标。这三种分类虽然相互独立,但在实际建模时可以相互补充,形成一个完整的体系,为目标建模提供不同的帮助。在此基础上,还提供了一种目标建模的具体算法,可以较好地完成目标建模任务。
- 陈彬王智学李宗勇陈国友
- 关键词:面向目标
- 面向业务概念框架的可视化需求获取与建模工具
- 在已经提出的面向业务的需求描述语言的基础上,开发了基于该语言的需求工程工具,重点介绍了其中的可视化的需求获取与建模工具,并结合一个具体的实例介绍使用该工具进行需求建模的方法和原理.
- 李宗勇王智学
- 关键词:可视化建模描述语言
- 文献传递