周生明 作品数:21 被引量:97 H指数:6 供职机构: 广西师范大学计算机科学与信息工程学院 更多>> 发文基金: 国家自然科学基金 广西壮族自治区自然科学基金 中国博士后科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 理学 自然科学总论 更多>>
Cost-Sensitive学习的一个新课题 被引量:2 2007年 Cost-Sensitive学习注重分类过程中的各种代价,特别是误分类代价和属性代价。在Cost-Sensitive学习中还有一种代价对分类的总代价有较大影响,这种代价可称为分类延时代价,即延误分类而造成的代价。包含分类延时代价的Cost-Sensitive学习是Cost-Sensitive学习中一个新的课题,这个新课题的目标是使分类过程中的误分类代价、检查代价及分类延时代价之和达到最小。给出包含一种简单的分类延时代价的Cost-Sensitive学习,提出一个既"摊薄"延时代价又减少浪费检查代价的检查策略。 周生明 廖元秀Fuzzy图的一个新定义和一个新算法 1992年 把Fuzzy关系的定义域和值域定义为一个Fuzzy集,给出Fuzzy图的一个新定义,引进Fuzzy图的λ切图和导图的概念,导出求Fuzzy图的最大支撑树的一个新算法。这个算法也可用于求普通赋权图的最小生成树。 周生明关键词:模糊图 具有知识服务功能的物联网 2014年 针对资源受限的物联网在信息存储、传输和智能处理方面遇到的挑战,本文提出一种新的解决方案:创建一种形式语言,用于描述以感知信息为基础的知识;定义基于感知器的语义解释;构建基于感知器的微型知识库;将感知器收集到的感知信息转换成知识,并向用户提供知识服务;由此建立具有知识服务功能的物联网。这种物联网可将各种不同类型的感知信息转换成同一种形式的知识,解决WSN中异构感知网络之间的通信问题。由于知识是数据和信息的高度浓缩和抽象,知识的表达形式使数据量的减少发生了质的飞跃,这对于解决资源受限的物联网在存储和传输方面的问题将起到极大的推动作用。 廖元秀 周生明 覃少华关键词:物联网 知识服务 多媒体不能完全替代板书的理论依据之一 被引量:2 2008年 利用思维科学所揭示的人的思维过程,分析比较在课堂教学中多媒体演示和板书对学生理解抽象概念的效果。给出多媒体不能完全替代板书的理论依据,希望多媒体和板书都能得到更合理、更高效地使用。 周生明 廖元秀关键词:思维科学 抽象思维 形象思维 多媒体教学 板书 本体上的代数结构 被引量:3 2004年 建立了本体概念集合上的一种代数结构——本体格,通过本体格上的代数性质分析本体结构的特性.由于本体的形式化研究仍处于初级阶段,尚缺乏对本体的严格的评价技术.代数方法是一种带有严谨逻辑推理的方法,代数性质是一种适用广泛的性质,本体上的代数性质可用于分析所有本体结构的特性.所以,建立的本体格为本体论的研究提供了一种具体的评价技术. 周生明Fuzzy关系闭包 1990年 引进Fuzzy关系的定义域和值域的概念,讨论Fuzzy关系的自反闭包,传递闭包和等价闭包等几种Fuzzy关系闭包,证明这些闭包的存在并给出它们的结构。 周生明关键词:FUZZY关系 闭包 等价 基于描述逻辑的CIM模型 2007年 分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。 蒋运承 汤庸 王驹 周生明关键词:描述逻辑 CIM模型 应试教育对高校教学的渗透及影响 2012年 近年来,应试教育对高校教学的渗透越来越严重,高校的教学方式有"中学化"的趋势,大学生的学习能力和学习效率令人担忧。本文列举应试教育对高校教学渗透的现象,分析其原因及造成的影响,并提出相应的对策。 周生明 廖元秀关键词:应试教育 高校教学 带RVM的描述逻辑εL混合循环术语集的语义及推理 被引量:3 2008年 分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的. 蒋运承 王驹 周生明 汤庸关键词:描述逻辑 不动点语义 描述逻辑εL混合循环术语集的LCS和MSC推理 被引量:12 2008年 分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础. 蒋运承 王驹 周生明 汤庸关键词:描述逻辑 不动点语义 COMMON