张明义
- 作品数：43 被引量：58H指数：4
- 供职机构：贵州科学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学经济管理生物学更多>>
- 泛系分析的数学基础与泛系语义分析
- 张明义
- 泛系分析是我国７０年代提出的跨学科的侧重关系转化与广义对称的数学形式研究。该成果给泛系分析以严格清晰的数学描述，为泛对称，各种层次的信息表示及语义理论提供了重要的代数工具；提出了泛系语义分析的新理论，很好地统一处理了各种...
- 关键词：
- 关键词：数学分析数学基础
- 基于整数小波变换的准无失真图像压缩技术
- 2006年
- 本文首先讨论了一般整数小波的构造方法，然后利用分块DPCM（Differential Pulse Code Modulation）与整数小波变换进行遥感图像的准无失真压缩。该方法可进行实时处理，硬件实现简单，可并行处理。实验结果表明，该方法是一种有效的遥感图像压缩方法。
- 杨静田金文张明义
- 关键词：图像压缩整数小波变换遥感图像
- 基于渗透原理迁移策略的并行遗传算法被引量：14
- 2005年
- 通过分析影响并行遗传算法性能的诸多因素,以避免人为设置迁移代频、迁移率及迁移方向为问题的突破口,以减少通信量提高算法效率为主旨,提出一种基于渗透原理的迁移策略(MigrationSchemeBasedOnPenetration,PMS).PMS迁移策略源于渗透模型,引入渗透阈值控制相邻子群体的迁移,应用渗透原理自适应地确定迁移代频、迁移率及迁移方向,从而解决人为设置迁移代频、迁移率及迁移方向的关键问题,有效降低通信代价,进而提高算法效率.文中首先依据有限群体马尔可夫链模型对基于渗透原理的迁移策略算法的可行性进行了探讨,然后从理论角度给出了迁移代频期望、迁移率期望及通信代价,同时用实例验证了PMS在降低通信代价方面的巨大潜力.
- 赖鑫生张明义
- 关键词：并行遗传算法马尔可夫链
- 工程迁建移民安置的泛评价被引量：3
- 1995年
- 本文在探讨工程还建移民安置评价方法的基础上，建立了移民安置泛评价的指标体系，并提出了泛评价的方法和模型。将它用于龙滩工程移民安置评价，取得了较满意的效果。该泛评价体系具有较好的完整性和实用性，所建工程迁建移民安置评价模型富有新意，这对大、中型工程迁建移民安置问题具有较高的参考价值。
- 张明义盛湘渝顾恒岳康家成王季槐
- 关键词：移民
- 大型水利水电工程移民心态调查被引量：1
- 1995年
- 一、前言 大型水利水电工程横跨时空领域大,往往导致数量多、难度大的非自愿型移民。开发性移民安置的主要目标,在微观上表现为以“乐业”为前提的“安居”和“乐业”的统一,在宏观上表现为“小康”为目标的区域经济发展和人口(劳动)增长的互相融合。它在很大程度上取决于移民的心态反映。这种反映一方面随时空的变化而改变,另一方面由于一定条件下的个体面临大致相似的环境改变与文化背景,也就必然体现出某些群体的心理特征。本文以广西红水河龙滩水库为例,探讨大型水利水电工程移民心态调查及评价的方法。
- 顾恒岳钱小蓉盛湘渝康家成张明义王季槐
- 关键词：大型水利水电工程移民心理工程移民龙滩水库
- 龙滩水库移民安置评价
- 张明义顾恒岳康家成王季槐
- 大型水电工程往往涉及对大片淹没地区的居民迁移安置，这是工程建设中关键性的经济乃至政治问题，是检验和评价工程综合效益的极为重要的指标。寻求促进经济发展，社会稳定和环境保护的新的移民安置评价，无疑是一项新的有重大理论和现实意...
- 关键词：
- 关键词：水电工程移民安置龙滩水库泛系理论移民心理
- 一种基于逻辑程序的重复协商框架
- 2008年
- 本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求。两个A- GENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或全部)需求和放弃自己部分协商需求来实现的。本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件。
- 陈武张明义
- 关键词：AGENT协商
- 面向方面程序的精化演算框架
- 2018年
- 面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.
- 谢刚张明义杨波
- 关键词：精化
- Makinson一个公开问题的注记
- 2009年
- 公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essential原子,从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题。现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V。
- 吴茂念陈武张明义沈复兴
- 关键词：非单调推理等价关系
- 逻辑程序与数据库研究被引量：1
- 2002年
- 1引言
逻辑程序和数据库之间关系的研究始于1977年12月在法国图卢兹召开的"逻辑和数据库"会议.而在此之前,逻辑程序和数据库技术是并行发展的.两者之间的成功汇流得益于日本的"第五代计划",其目标是所谓的"下一代计算机"的开发和研制,在该计划中Prolog被选为编程语言,而关系数据库被用于数据表示.最为流行的逻辑程序设计语言Prolog,作为一般定理证明技术的实现,具有高效和可编程的特点.相应地,关系数据模型作为复杂的层次与网状模型的简化与改进,能提供面向集合的、非过程性的数据操作."第五代计划"极大地刺激了逻辑程序与数据库之间接口的研究.1985年Ull-man发表了题为"Implementation of ogical query 1anguagesfor databases"的论文,奠定了逻辑程序和数据库之间结合的理论基础.
- 邹阳宁卓张明义许道云
- 关键词：逻辑程序数据库数据查询数据处理数据访问
