您的位置: 专家智库 > >

国家自然科学基金(60573009)

作品数:9 被引量:11H指数:2
相关作者:张明义章衡杨本娟沈复兴马新强更多>>
相关机构:贵州大学贵州科学院北京师范大学更多>>
发文基金:国家自然科学基金贵州省省长基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 9篇期刊文章
  • 1篇会议论文

领域

  • 7篇自动化与计算...
  • 3篇理学

主题

  • 1篇定理
  • 1篇信息安全
  • 1篇信息检索
  • 1篇引擎
  • 1篇用户
  • 1篇用户兴趣
  • 1篇用户兴趣模型
  • 1篇搜索
  • 1篇搜索引擎
  • 1篇索引
  • 1篇条件独立性
  • 1篇图类
  • 1篇强制访问控制
  • 1篇全局最优
  • 1篇全图
  • 1篇协商
  • 1篇逻辑
  • 1篇逻辑程序
  • 1篇紧致
  • 1篇紧致性

机构

  • 5篇贵州大学
  • 3篇贵州科学院
  • 2篇北京师范大学
  • 1篇北京工商大学
  • 1篇贵州师范大学
  • 1篇清华大学
  • 1篇重庆文理学院

作者

  • 3篇张明义
  • 2篇沈复兴
  • 2篇杨本娟
  • 2篇章衡
  • 1篇陈武
  • 1篇傅莺莺
  • 1篇李丹宁
  • 1篇马鑫
  • 1篇吴茂念
  • 1篇黄羿
  • 1篇文冬林
  • 1篇吴晓
  • 1篇马新强
  • 1篇刘小军

传媒

  • 2篇北京师范大学...
  • 2篇计算机科学
  • 1篇数学学报(中...
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇Scienc...
  • 1篇Wuhan ...

年份

  • 1篇2009
  • 6篇2008
  • 3篇2007
9 条 记 录,以下是 1-10
排序方式:
一种快速逃离局部极小点的BP算法被引量:2
2008年
针对反向传播(BP)算法容易陷入局部极小点的问题,提出了一种改进价值函数,使其快速收敛到全局最小点的方法。对扩展的异或问题正弦函数模拟进行了仿真实验,结果对比表明,改进的BP算法能快速逃离局部极小点,收敛到全局最小点,达到了期望的效果。
文冬林刘小军
关键词:价值函数全局最优
一种基于逻辑程序的重复协商框架
2008年
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或全部)需求和放弃自己部分协商需求来实现的。本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件。
陈武张明义
关键词:AGENT协商
个性化搜索引擎中用户兴趣模型的研究
随着 Internet 网络的迅猛发展,个性化信息服务越来越成为信息检索领域的研究热点。本文针对用户兴趣模型构建问题,利用用户兴趣树描述用户兴趣,对用户个性化模型进行了研究, 并提出了一种兴趣模型调整算法。模拟实验表明,...
吴晓李丹宁林洁冀肖榆李丹
关键词:信息检索个性化搜索用户兴趣模型
文献传递
一种超图类的全图存在性问题研究
2009年
证明了当n≥4时,不存在排斥Cn的k-一致的可数超图的全图.Hanjanl和Pach于1981年证明了当k=2且n=4的情形;Cherlin和Komjath于1994年证明了当k=2且n≥4的情形,这里的结果是他们结论的推广.
吴茂念沈复兴傅莺莺
关键词:超图全图
A characterization of answer sets for logic programs被引量:1
2007年
Checking if a program has an answer set, and if so, compute its answer sets are just some of the important problems In answer set logic progremming. Solving these problems using Gelfond and Llfschltz's original definition of answer sets Is not an easy task. Alternative charaoterlzatlons of answer sets for nested logic programs by Erdem and Llfschltz, Lee and Llfschltz, and You at el. are based on the completion semantics and various notions of tlghtnese. However, the notion of tightness Is a local notion In the sense that for different answer sets there are, In general, different level mappings capturing their tlghtnese. This makes It hard to be used In the deelgn of algorithms for computing answer sets. This paper proposes a charecterization of answer sets based on sets of generetlng rules. From this charaoterlzation new algorithms are derived for computing answer sets and for performing some other reasoning teaks. As an application of the charecterlzatlon a sufficient and necessary condition for the equivalence between answer set sementics and completion semantics has been proven, and a basic theorem Is shown on computing answer sets for nested logic programs baaed on an extended notion of loop formulas. These results on tlghtnese and loop formulas are more general than that in You and Lin'a work.
ZHANG MingYiZHANG YingFangZhen LiN
关键词:TIGHTNESS
中间逻辑中的良构范式被引量:1
2008年
本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.
章衡张明义杨本娟
三素元组猜想对于Peano公理组的条件独立性
2008年
用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.
马鑫沈复兴
关键词:紧致性定理
An Approach for Handling Conflicts in Authorization
2008年
Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction (LPOD) is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts (such as exceptional conflicts, potential conflicts), and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.
ZHANG MingshengZHANG Mingyi
关键词:AUTHORIZATION
基于安全标签的访问控制研究与设计被引量:7
2008年
为了保障信息的安全性和保密性,对信息的访问和操作需要遵循一定的安全策略。安全标签是实现多级安全系统的基础,是实施强制访问控制安全策略的前提。对基于安全标签的强制访问控制模型的实现方案和技术进行了较为详细地分析,主要从安全标签的定义、组成、存储、比较算法和实现等几个方面进行了讨论。鉴于安全标签在高安全等级数据库系统中的重要作用,并在自行开发的具有自主版权的数据库管理系统LogicSQL上实施了该方案,使其至少达到B1级别安全。
马新强黄羿
关键词:信息安全安全标签访问控制强制访问控制
G_3逻辑中的弱合取范式
2007年
本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式,并给出两种范式化简算法:一种是通过公式刻画反模型的语义方法;另一种为基于重写翻译的语法方法。文章最后证明,在G3逻辑中对任意公式做弱合取范式化简不存在多项式算法。
章衡张明义杨本娟
共1页<1>
聚类工具0