国家自然科学基金(60573009)

作品数：9被引量：9H指数：1
导出分析报告
相关作者：张明义章衡杨本娟沈复兴马新强更多>>
相关机构：贵州大学贵州科学院北京师范大学重庆文理学院更多>>
相关期刊：《计算机工程与设计》《计算机应用》《数学学报（中文版）》《北京师范大学学报（自然科学版）》更多>>
相关主题：安全标签访问控制信息安全强制访问控制BP算法更多>>
相关领域：自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种超图类的全图存在性问题研究
《北京师范大学学报（自然科学版）》2009年第1期1-4,共4页吴茂念 沈复兴 傅莺莺 
国家自然科学基金资助项目(60573009,60310213);贵州省省长基金资助项目(2005-212)
证明了当n≥4时,不存在排斥Cn的k-一致的可数超图的全图.Hanjanl和Pach于1981年证明了当k=2且n=4的情形;Cherlin和Komjath于1994年证明了当k=2且n≥4的情形,这里的结果是他们结论的推广.
关键词：超图 全图 k-一致 排斥Cn 
基于安全标签的访问控制研究与设计被引量：6
《计算机工程与设计》2008年第21期5432-5434,5658,共4页马新强 黄羿 
国家自然科学基金面上项目(60573009);贵州省高新技术产业发展专项基金项目(KG2007032);重庆文理学院校内科研基金项目(Y2007SJ43)
为了保障信息的安全性和保密性,对信息的访问和操作需要遵循一定的安全策略。安全标签是实现多级安全系统的基础,是实施强制访问控制安全策略的前提。对基于安全标签的强制访问控制模型的实现方案和技术进行了较为详细地分析,主要从安...
关键词：信息安全 安全标签 访问控制 强制访问控制 LogicSQL标签 
An Approach for Handling Conflicts in Authorization
《Wuhan University Journal of Natural Sciences》2008年第5期626-630,共5页ZHANG Mingsheng ZHANG Mingyi 
the National Natural Science Foundation of China (60573009,90718009)
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 auth...
关键词：AUTHORIZATION authorization conflict conflict resolution schema logic program with ordered disjunction 
三素元组猜想对于Peano公理组的条件独立性
《北京师范大学学报（自然科学版）》2008年第4期360-361,共2页马鑫 沈复兴 
国家自然科学基金资助项目(60573009,60310213)
用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.
关键词：三素元组 Peano公理组 紧致性定理 模型 
一种快速逃离局部极小点的BP算法被引量：1
《计算机应用》2008年第B06期25-27,共3页文冬林 刘小军 
国家自然科学基金资助项目(60573009);贵州省省长基金资助项目2005(212)
针对反向传播(BP)算法容易陷入局部极小点的问题,提出了一种改进价值函数,使其快速收敛到全局最小点的方法。对扩展的异或问题正弦函数模拟进行了仿真实验,结果对比表明,改进的BP算法能快速逃离局部极小点,收敛到全局最小点,达到了期望...
关键词：逃离局部极小点 价值函数 全局最优 
一种基于逻辑程序的重复协商框架
《计算机科学》2008年第5期209-212,239,共5页陈武 张明义 
国家自然科学基金(60573009);贵州省长基金(2005(12))资助
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之...
关键词：AGENT 协商 扩展逻辑程序 
中间逻辑中的良构范式被引量：1
《数学学报（中文版）》2008年第1期181-190,共10页章衡 张明义 杨本娟 
国家自然科学基金(60573009，60703095);贵州省长基金(2005(212))
本文在中间逻辑中引入了良构范式的概念,为该类范式的研究提出了一个通用方法,并应用该方法证明了HT逻辑是存在一般蕴含范式的最弱中间逻辑,经典命题逻辑CPL是存在限制蕴含范式的仅有中间逻辑.
关键词：良构范式 中间逻辑 蕴含范式 
G_3逻辑中的弱合取范式
《计算机科学》2007年第4期158-162,共5页章衡 张明义 杨本娟 
国家自然科学基金(60573009);贵州省长基金2005(212)资助
本文为G3逻辑提出一种类似于经典逻辑中合取范式的弱合取范式,并给出两种范式化简算法:一种是通过公式刻画反模型的语义方法;另一种为基于重写翻译的语法方法。文章最后证明,在G3逻辑中对任意公式做弱合取范式化简不存在多项式算法。
关键词：弱合取范式 G3逻辑 范式化简 计算复杂性 
A characterization of answer sets for logic programs被引量：1
《Science in China(Series F)》2007年第1期46-62,共17页ZHANG MingYi ZHANG Ying FangZhen LiN 
Supported partially by the National Natural Science Foundation of China (Grant No. 60573009);Stadholder Foundation of Guizhou Province (Grant No. 2005(212)
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 defin...
关键词：nested logic programming characterization of answer sets completion semantics TIGHTNESS loop formulas 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部