您的位置： 专家智库 > >

国家自然科学基金(60573010)

作品数：17 被引量：86H指数：5
相关作者：蒋运承王驹汤庸余泉唐素勤更多>>
相关机构：广西师范大学中山大学楚雄师范学院更多>>
发文基金：国家自然科学基金广西壮族自治区自然科学基金广西青年科学基金更多>>
相关领域：自动化与计算机技术理学文化科学更多>>

文献类型

  • 17篇中文期刊文章

领域

  • 12篇自动化与计算...
  • 4篇理学
  • 2篇文化科学

主题

  • 6篇描述逻辑
  • 3篇不动点语义
  • 2篇循环术语集
  • 2篇语义
  • 1篇等价
  • 1篇信息分存
  • 1篇信誉度
  • 1篇序集
  • 1篇映射
  • 1篇有限自动机
  • 1篇语义WEB服...
  • 1篇语义WEB服...
  • 1篇远程
  • 1篇远程教学
  • 1篇整数小波
  • 1篇整数小波变换
  • 1篇知识表示
  • 1篇智能问答系统
  • 1篇数据隐藏
  • 1篇偏序

机构

  • 16篇广西师范大学
  • 4篇中山大学
  • 2篇楚雄师范学院
  • 2篇黔南民族师范...
  • 1篇广西科技大学
  • 1篇桂林电子科技...
  • 1篇毕节学院
  • 1篇中南大学
  • 1篇桂林空军学院

作者

  • 9篇王驹
  • 9篇蒋运承
  • 3篇周生明
  • 3篇汤庸
  • 3篇唐素勤
  • 3篇余泉
  • 2篇甘晓丽
  • 2篇李波
  • 2篇李春梅
  • 1篇孙容海
  • 1篇甘丹
  • 1篇王继军
  • 1篇黄莉
  • 1篇曹发生
  • 1篇周锦程
  • 1篇廖元秀
  • 1篇蒋联源
  • 1篇刘红翼
  • 1篇林铭
  • 1篇祝英俊

传媒

  • 4篇广西师范大学...
  • 2篇计算机研究与...
  • 2篇计算机学报
  • 2篇计算机科学
  • 1篇光电子．激光
  • 1篇模式识别与人...
  • 1篇计算机应用研...
  • 1篇黔南民族师范...
  • 1篇实验技术与管...
  • 1篇Scienc...
  • 1篇智能系统学报

年份

  • 2篇2009
  • 8篇2008
  • 4篇2007
  • 3篇2006
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
P中与归纳等价的几个条件
2006年
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法。
余泉甘晓丽周锦程王驹
关键词：偏序集
网络语言实验室的教学模式的研究与设计被引量：5
2006年
网络语言实验室作为一种现代的教学手段，已经成为外语教学过程中的一个非常重要的组成部分。该文分析了基于行为主义学习理论和建构主义学习理论下的语言实验室的特点及其教学模式，指出了在多媒体网络技术支持下的自主式教学模式更适合当前的外语教学、加强学习策略的培训是提高教学效果的关键，并设计了网络语言实验室的教学模式。
李波唐素勤林铭
关键词：外语教学教学模式
Cost-Sensitive学习的一个新课题被引量：2
2007年
Cost-Sensitive学习注重分类过程中的各种代价,特别是误分类代价和属性代价。在Cost-Sensitive学习中还有一种代价对分类的总代价有较大影响,这种代价可称为分类延时代价,即延误分类而造成的代价。包含分类延时代价的Cost-Sensitive学习是Cost-Sensitive学习中一个新的课题,这个新课题的目标是使分类过程中的误分类代价、检查代价及分类延时代价之和达到最小。给出包含一种简单的分类延时代价的Cost-Sensitive学习,提出一个既"摊薄"延时代价又减少浪费检查代价的检查策略。
周生明廖元秀
基于Petri网分解的系统范例分析
2008年
以生产者—消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法。
唐素勤刘红翼王驹蔡自兴
关键词：PETRI网
基于信息分存的整数小波大容量数据隐藏方法被引量：2
2009年
针对基于变换域的数据隐藏算法容量较小、提取时需要原始图像的问题,提出一种小波域的大容量隐藏盲提取算法。利用混沌序列和分组异或对隐秘信息加密,进而将隐秘信息分解为不完全商和余数,然后将不完全商和余数分存于载体图像的低频和高频系数中,并对溢出进行处理。实验表明:在灰度图像中数据隐藏量(SHR)达到37.5%,峰值信噪比(PSNR)可保持在39 dB以上,直方图无异常;通过混沌加密,使得隐秘信息具有较好的伪随机特征,安全性好。
寇丽娟祝英俊蒋联源黄莉孙容海
关键词：数据隐藏信息分存整数小波变换混沌序列
基于服务提供方与请求方的语义Web服务选取研究被引量：1
2007年
充分考虑请求方与提供方的情况,结合服务提供方的信誉度与服务请求方的满意度,以请求方的满意度为主,参考提供方的信誉度,提出了一个服务发现与选取的参考模型WSDM-CS,结合本体深入讨论了信誉度与满意度的实现算法,并应用到语义Web服务中,以提高在语义Web服务选择中的准确性和可靠性。
李春梅蒋运承
关键词：语义WEB服务本体信誉度满意度
具有QoS约束的语义Web服务发现的研究被引量：32
2007年
传统的Web服务主要是基于UDDI的技术规范,只提供了按照简单分类和关键字的服务发现方法,造成查准率与查全率低,影响服务复用和服务组合的相容性。带有语义的Web服务通常也只关注服务功能性的匹配,因缺乏服务质量描述和灵活、有效的服务匹配方法,而难以保证服务的全面匹配和快速定位。本文分析了现有的一些相关研究,在Web服务模型的基础上,结合“逐渐逼近”的思想,提出一个三层次的匹配筛选算法,并对基本描述、IOPE、服务质量各层的匹配算法进行了深入讨论,用相似函数来度量服务提供方与服务请求方的Web服务相似程度,为Web服务发现提供了一种有效的方法。
李春梅蒋运承
关键词：服务质量相似函数
循环ALCN-Tbox的模型构造被引量：1
2008年
从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。
余泉甘晓丽王驹
关键词：描述逻辑
循环ALCN-Tbox具有模型的条件被引量：16
2008年
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.
曹发生余泉王驹蒋运承
关键词：NAMESYMBOL
描述逻辑FL-循环术语集的语义及推理被引量：12
2008年
循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^-循环术语集的语法、语义和不动点模型的构造方法.针对FL^-循环术语集的需要,提出了一种新的有限自动机,使用有限自动机给出了不动点语义和描述语义下FL^-循环术语集的可满足性和包含推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.
蒋运承王驹邓培民汤庸
关键词：描述逻辑循环术语集不动点语义有限自动机
全选 清除 导出
共2页<12>
聚类工具0