张明义

作品数：38被引量：52H指数：4
导出分析报告
供职机构：贵州科学院更多>>
发文主题：句型缺省理论缺省逻辑黑颈鹤种群结构更多>>
发文领域：自动化与计算机技术理学经济管理生物学更多>>
发文期刊：《计算机应用与软件》《计算机工程与设计》《大自然探索》《环保科技》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划贵州省自然科学基金贵州省省长基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
命题知识库演化中的新知识特征
《贵州大学学报（自然科学版）》2024年第1期1-19,共19页王以松 刘蕻 张颖 张明义 李丹宁 杨佳佳 
国家自然科学基金资助项目(62376066,61976065,61370161)
逻辑差概念在表征基于逻辑的知识库中起到重要作用,这些知识库持续受到动态变化的影响,它们之间存在实质性差异。这一概念与遗忘密切相关,它在各种逻辑中得到了广泛探讨。针对命题理论的相关符号,提出了3种差概念——逻辑差异、子句差...
关键词：逻辑差 子句差 素子句差 计算复杂性 相变 知识管理 
LFNDIT:从不确定状态变换学习布尔网络
《计算机科学》2020年第11期268-274,共7页黄羿 孔世明 王以松 张明义 马新强 
国家自然科学基金(61976065);重庆市高技术产业重大产业技术研发项目(2018148208);重庆市技术创新与应用发展重点项目(cstc2019jscx-fxydX0094);重庆英才计划创新创业示范团队(CQYC201903167)。
布尔网络是一种重要的基因调控数学模型,从布尔网络的状态变换推断其结构以发现基因之间的调控关系是布尔网络研究中长期关注的重要问题。已有的归纳逻辑程序算法不能从布尔网络的不确定(解释)状态变换学习推断其网络结构。为此,文中提...
关键词：归纳逻辑程序 布尔网络 异步布尔网络 正规逻辑程序 LFNDIT算法 
面向方面程序的精化演算框架被引量：1
《西南师范大学学报（自然科学版）》2018年第7期67-74,共8页谢刚 张明义 杨波 
国家自然科学基金项目(61309006;61563011);贵州师范大学资助博士科研项目
面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础...
关键词：面向方面 精化 演算 
指向分析语义及其存在性证明
《计算机应用与软件》2015年第2期5-9,17,共6页杨波 谢刚 李松 张明义 
国家自然科学基金项目(61262029);贵州省自然科学基金项目(20122021)
作为别名分析的主要形式,指向分析通过计算指向关系提供完整的别名关系。准确刻画指向分析中相关概念及语义十分有助于深入理解程序中指向关系的生成及变化过程,并为别名分析或指向分析相关形式化工作奠定理论基础。针对面向对象程序设...
关键词：指向分析 语义 合适定义 证明 
带模理论的回答集程序设计（英文）被引量：1
《贵州大学学报（自然科学版）》2013年第5期81-89,94,共10页王以松 张明义 
贵州省优秀科技教育人才省长基金((2012)62)
基于回答集语义的逻辑程序(ASP)是一种描述性问题求解的典范,目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架,它不仅是正规逻辑程序的一般化,对带聚合函数的ASP而言,也与SPT-PDB的回答集语义一致。经证明,当背...
关键词：逻辑程序设计 回答集 SMT 聚合函数 
抽象解释理论框架及其应用被引量：5
《计算机工程与应用》2010年第8期16-20,44,共6页杨波 张明义 谢刚 
国家自然科学基金Grant No.90718009;贵州省科学技术基金(No.[2009]2119);贵州省教育厅自然科学基金 Grant No.(2009)0061~~
在高度依赖计算机的现代社会,软件(特别是大型实时安全攸关软件)的可靠性成为计算机界和整个社会都非常关注的问题。现有的形式化软件验证工具都不得不通过近似来处理复杂问题中的计算,P.Cousot和R.Cousot提出的抽象解释作为一种在数学...
关键词：语义 Galois连接 widening算子 Narrowing算子 抽象解释 
Makinson一个公开问题的注记
《计算机科学》2009年第6期217-218,222,共3页吴茂念 陈武 张明义 沈复兴 
国家自然科学基金(No.90718009);贵州大学省级研究生创新基金(省研理工2006005);贵州省科学技术基金(黔科合J字[2009]2123号)资助
公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essential原子,从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题。现解决了这个公...
关键词：非单调推理 essential原子 等价关系 
一种基于逻辑程序的重复协商框架
《计算机科学》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是存在限制蕴含范式的仅有中间逻辑.
关键词：良构范式 中间逻辑 蕴含范式 
低代价最短路径树快速算法的时间复杂度研究被引量：4
《计算机工程与设计》2007年第22期5468-5471,共4页汪维清 汪维华 张明义 
重庆文理学院重点科研基金项目(Z2006SJ32)
低代价最短路径树是一种广泛使用的多播树,它能够在保证传送时延最小的同时尽量降低带宽消耗。快速低代价最短路径树算法FLSPT是在DDSP算法的基础上,通过改进节点的搜索过程,该算法构造的最短路径树与DDSP算法构造的树具有相同的性能,...
关键词：多播 最短路径树 STEINER树 最小生成树 迪克斯曲拉算法 Fibonacci堆 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部