夏幼明
- 作品数：110 被引量：332H指数：10
- 供职机构：云南师范大学更多>>
- 发文基金：云南省自然科学基金云南省教育厅科学研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学经济管理更多>>
- 数据流图描述语言的研究与设计被引量：15
- 2003年
- 数据流图是软件设计开发过程中概念模型设计的重要图形表示法 ,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言 ,并给出示例说明此语言的使用 ,将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述 ,以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。
- 徐天伟夏幼明李凯佳
- 关键词：数据流图软件开发软件工程形式化描述语言概念模型设计
- 用语义网络语言描述知识的表示被引量：19
- 2003年
- 文章首先介绍语义网络的基本概念 ,用实例描述如何用语义网络语言 ( Snet L)表示知识 ,同时介绍如何用扩张的语义网络表示语义 ,着重介绍实例 ( instance-of)、聚集 ( part-whole)、泛化 ( is-a)和联合 ( member-of)几种典型语义关系的语义网络表示的方法。
- 徐天任夏幼明甘健侯徐天惠
- 关键词：知识表示语义关系泛化人工智能
- MWIS问题模型中几类图形的分数色数被引量：4
- 2010年
- 给出了MWIS问题模型中齿顶边星图Wn(m1,m2,…,mn),Cnm,蛛网图W(m,n)以及它们的r-冠图的分数色数、分数关联色数和分数全色数.
- 高炜梁立夏幼明
- 关键词：分数色数
- 基于本体和描述逻辑的语义Web形式化理论及知识推理方法研究
- 甘健侯夏幼明袁凌云徐天伟文斌徐天任赵波
- 研究内容和成果如下：(1)提出了扩展的描述逻辑(ALC+)的语法、语义以及形式化公理体系，形成了扩展描述逻辑语言ALC+，解决了本体知识的深层次语义描述与推理问题。(2)给出了OWL的用户自定义字符串和数值关系约束的语法...
- 关键词：
- 关键词：知识获取算法
- σ_2(G)与分数k-消去图被引量：1
- 2011年
- 设G是一个图,若对于图G的任一边e,G-e都存在一个分数k-因子,则称G是一个分数k-消去图.对于非完全图,证明当顶点数、最小度以及σ2(G)满足一定条件时G是分数k-消去图.并说明结论在一定意义上是最好的.
- 高炜梁立夏幼明
- 多Agent系统中依赖关系的研究被引量：5
- 2000年
- 多Ａｇｅｎｔ 系统是分布式人工智能研究的一个重要分支。本文详细讨论了多Ａｇｅｎｔ 系统中死锁依赖的性质以及三种解决死锁依赖的方法，为多Ａｇｅｎｔ 系统中稳定性和活性的研究提供了有效的途径。
- 张春霞夏幼明向永红
- 关键词：多AGENT系统人工智能
- 分布式应用程序体系结构到C/S网络数据模型转换机制研究被引量：3
- 2003年
- 文章以分布式应用程序体系结构 DAPA(Distributed Application Program Architecture)为基础 ,研究分布计算模型到 C/S网络数据模型的转换机制。文章给出总体设计方案 ,并阐述了相关算法和技术的基本思想 ,在实现 C/S网络数据模型转换的基础上 ,对 B/S网络数据模型转换进行了研究。此项研究直接为
- 甘健侯夏幼明徐天伟刘国祥
- 关键词：网络数据库管理信息系统
- 数据字典描述语言的研究与设计被引量：9
- 2003年
- 在软件工程中 ,软件开发的基础工作是用户需求的获取与分析 ,而数据字典是用户需求说明书的重要组成部分。本文首先介绍了数据库设计过程中所涉及到的用户需求分析 ,对此进行了详细的说明。其次 ,给出了数据字典的形式化语言 ,并对其中的细节给出了必要的说明。通过对用户需求进行分析 ,并用此语言对其进行描述 。
- 徐天伟夏幼明杨红梅
- 关键词：描述语言数据字典数据库软件工程软件开发形式化语言
- 精准农业技术体系及其我国发展现状研究被引量：2
- 2013年
- 农业是第一产业,是国民经济的基础产业。俗话说"民以食为天",农业不仅是人民赖以生存的产业,也是影响一个国家实力的重要因素。在工业和服务业快速发展的新时代,对农业也提出了新的要求和标准。在这种形势下,加快发展精准农业既是转变经济发展方式,全面建设小康社会的重要内容,也是提高农业综合生产能力、增加农民收入、建设社会主义新农村的必然要求。本文介绍了精准农业的内涵及其技术体系,并对我国精准农业发展现状进行了研究。
- 王丹夏幼明杜雷超
- 关键词：精准农业
- 两种特殊冠图的相关分数色数研究被引量：3
- 2009年
- 图的着色问题是图论中的一个重要研究课题之一,分数色数作为正常色数的一个推广在计算机的许多领域中有着重要的应用.研究了一些特殊图形的分数色数,给出了计算这些图形分数色数的公式,并且对公式进行了证明.
- 高炜梁立夏幼明
- 关键词：分数色数关联图冠图
