Lukasiewicz命题逻辑系统中真度的等价定义及相关性质 被引量：18

1

作者 周建仁 吴洪博 《工程数学学报》 CSCD 北大核心 2013年第4期580-590,共11页

对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系... 对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果. 展开更多

关键词 计量逻辑学 Lukasiewicz命题逻辑 真度定义 等价形式 推理规则

在线阅读 下载PDF 职称材料

基于剩余格的一类度量空间及性质 被引量：4

2

作者 周建仁 谢晶晶 吴洪博 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2012年第5期897-901,共5页

给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构,讨论了该度量结构下该类剩余格中的聚点问题,并证明了剩余格的基本运算在度量空间中的连续性.

关键词 模糊逻辑 逻辑代数 蕴涵算子 剩余格 度量空间 连续性

在线阅读 下载PDF 职称材料

财政分权和城镇化对地区环境污染的影响 被引量：8

3

作者 周建仁 陈盈盈 《西部论坛》 北大核心 2016年第4期92-100,共9页

在中国改革开放和现代化进程中,地区环境污染状况受到财政分权程度和城镇化水平的影响。采用中国30个省域2000—2013年的面板数据,构建空间计量模型及面板门槛模型,实证检验财政分权和城镇化对地区环境污染的影响,分析表明:我国目前的... 在中国改革开放和现代化进程中,地区环境污染状况受到财政分权程度和城镇化水平的影响。采用中国30个省域2000—2013年的面板数据,构建空间计量模型及面板门槛模型,实证检验财政分权和城镇化对地区环境污染的影响,分析表明:我国目前的财政分权体制易于刺激地方政府发展高污染、高经济效益的工业产业,因而不利于环境污染的减少;城镇化对环境污染的影响具有以城乡均等化为标尺的门槛效应,城乡均等化水平较低时城镇化会导致环境污染增加,而城乡均等化水平较高时城镇化不存在这种负面效应;财政分权易于导致城乡差距扩大,进而会加剧城镇化的环境污染效应。应合理设置财政分权度,改革晋升考核体制;加强城乡均等化建设,促进新型城镇化发展。 展开更多

关键词 财政分权 城镇化 环境污染 环境效应 环境污染效应 城乡均等化 城市偏向 晋升锦标赛 环境规制

在线阅读 下载PDF 职称材料

BL代数的一种弱化形式 被引量：2

4

作者 周建仁 吴洪博 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2014年第2期231-236,共6页

在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形... 在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形式;在MTL-代数的基础上给出WBL-代数的一些特征定理. 展开更多

关键词 模糊逻辑 逻辑代数 BL-代数 MTL-代数 NM-代数 WBL-代数

在线阅读 下载PDF 职称材料

同盟解体的研究:回顾与评析 被引量：7

5

作者 周建仁 《国际论坛》 CSSCI 北大核心 2012年第4期49-55,80-81,共7页

本文对国际关系领域已有的同盟解体研究情况进行了全面回顾和批评,认为当前有关同盟解体主要有五种解释路径,"目标实现说"认为同盟目标实现后同盟就会解体,"同盟类型说"认为进攻性同盟、对称同盟和非制度化同盟更... 本文对国际关系领域已有的同盟解体研究情况进行了全面回顾和批评,认为当前有关同盟解体主要有五种解释路径,"目标实现说"认为同盟目标实现后同盟就会解体,"同盟类型说"认为进攻性同盟、对称同盟和非制度化同盟更容易解体,"国家制度说"则认为民主国家同盟更容易维持,而"国内政治说"认为国内体制变化、人口代际更替以及意识形态分歧会导致同盟解体,"军备同盟效用比较说"认为同盟解体与否与军备同盟之间的效用比较有关。本文详细分析了这五种解释的理论逻辑及其不足,并提出了未来进一步推进同盟解体理论构建的研究路径。 展开更多

关键词 同盟解体 理论逻辑 研究路径 国际关系

在线阅读 下载PDF 职称材料

BL*系统和IMTL系统等价性的语构证明 被引量：1

6

作者 周建仁 吴洪博 《计算机工程与应用》 CSCD 北大核心 2016年第5期41-46,共6页

BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算... BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统。对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统BL*系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考。 展开更多

关键词 模糊逻辑 语构理论 IMTL命题系统 BL＊命题系统 等价性

在线阅读 下载PDF 职称材料

金融危机对我国对外贸易的影响及对策 被引量：1

7

作者 周建仁 王雷 《统计与决策》 CSSCI 北大核心 2009年第15期110-112,共3页

文章从我国外贸规模与速度、出口商品结构、对外贸易金融风险、汇率、对外贸易方式、对外贸易地理方向、国际贸易政策七个方面分析了金融危机对我国的影响。最后提出了政策思路,并从金融、财政、组织方面采取应对措施。

关键词 佥融危机 外贸 影响 对策

在线阅读 下载PDF 职称材料

欧盟决策程序研究中的两种范式和两种方法 被引量：1

8

作者 周建仁 《国际论坛》 2003年第5期58-63,共6页

近年来国外学者开始关注欧盟一体化的微观过程 ,重视对欧盟内部决策程序的研究。国外学者在对欧盟决策程序进行理论分析时 ,主要采用两种理论范式 :政府间主义和制度主义 ,及两种研究方法 :权力指数分析和空间模型分析。政府间主义重视... 近年来国外学者开始关注欧盟一体化的微观过程 ,重视对欧盟内部决策程序的研究。国外学者在对欧盟决策程序进行理论分析时 ,主要采用两种理论范式 :政府间主义和制度主义 ,及两种研究方法 :权力指数分析和空间模型分析。政府间主义重视对政府间谈判的研究 ,制度主义则同时重视超国家机构的作用 ;权力指数分析重视单位层次的属性 ,空间模型分析重视从系统层次分析国家偏好分布的总体影响。这两种范式和方法对于国内刚刚起步的欧盟内部决策程序研究具有重大的参考价值。 展开更多

关键词 政府间主义 制度主义 权力指数分析 空间模型分析

在线阅读 下载PDF 职称材料

MV代数的子代数及相关重言式之间的关系

9

作者 周建仁 吴洪博 《计算机工程与应用》 CSCD 2013年第9期45-49,共5页

对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[... 对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[0,1]的子代数,那么或M为有限MV代数Ln,或M为区间[0,1]上包含{0,1}的稠密集;若正整数n-1可分解为(m1-1)(m2-1)…(mt-1),其中m1-1,m2-1,…,mt-1是两两互素的正整数,则Ln是Lm1,Lm2,…,Lmt生成的MV代数;T([0,1])=∞∩n=2T(Ln),其中T(M)表示MV代数M上全体重言式之集合。 展开更多

关键词 模糊逻辑 Lucasiewicz逻辑系统 多值逻辑代数(MV) 子代数 重言式

在线阅读 下载PDF 职称材料

城市水生态系统建设模式研究进展 被引量：29

10

作者 王沛芳 王超 +2 位作者 冯骞 钱进 周建仁 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第5期485-489,共5页

在总结城市建设发展历史进程和城市水生态系统研究建设进展的基础上,指出目前国内外对城市水生态系统没有开展全面的综合研究,未能形成系统性的研究体系,缺乏城市 人类 水体相协调的理念.针对这种状况,提出了水安全、水环境、水景观、... 在总结城市建设发展历史进程和城市水生态系统研究建设进展的基础上,指出目前国内外对城市水生态系统没有开展全面的综合研究,未能形成系统性的研究体系,缺乏城市 人类 水体相协调的理念.针对这种状况,提出了水安全、水环境、水景观、水文化和水经济五位一体的城市水生态系统建设模式.这种模式可以有效地解决城市涉水规划和建设的单一性问题,有利于完善城市水生态系统的管理体系,为城市生态建设提供理论指导和技术支持. 展开更多

关键词 城市建设 水生态系统 水安全 水环境 水景观 水文化

在线阅读 下载PDF 职称材料

新疆吐哈盆地中侏罗世古大气CO_2重建 被引量：13

11

作者 肖良 李勇 +3 位作者 周建仁 李相传 郭俊锋 何文龙 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2014年第2期154-160,共7页

新疆吐哈盆地北缘中侏罗世早期的三道岭植物群中包含大量的银杏类和茨康类植物,从银杏类中选择一种似银杏属植物(似银杏(未定种)),同时从茨康类中选择两种拟刺葵属植物(华丽拟刺葵和狭叶拟刺葵)分析角质层特征,获取3种植物的气孔参数值... 新疆吐哈盆地北缘中侏罗世早期的三道岭植物群中包含大量的银杏类和茨康类植物,从银杏类中选择一种似银杏属植物(似银杏(未定种)),同时从茨康类中选择两种拟刺葵属植物(华丽拟刺葵和狭叶拟刺葵)分析角质层特征,获取3种植物的气孔参数值.似银杏属的气孔指数为4.1%,而华丽拟刺葵和狭叶拟刺葵的气孔指数非常接近,分别为4.8%,4.7%.利用似银杏属和拟刺葵属植物的气孔指数(平均值分别为4.10%,4.75%)开展气孔指数法和气孔比率法重建新疆吐哈盆地中侏罗世早期的古大气CO2体积分数.气孔指数法获得的CO2体积分数分别为4.510×10-3,3.523×10-3,均落在GEOCARBⅢ可信误差范围之外.气孔比率法重建的CO2体积分数分别为1.770×10-3,1.530×10-3,处于GEOCARBⅢ可信误差范围之内,说明对于恢复侏罗纪的CO2体积分数而言,气孔比率法比气孔指数法更加可靠.比较气孔比率法获得的两个CO2体积分数,发现1.770×10-3比1.530×10-3更接近GEOCARBⅢ的最佳拟合线,表明银杏类植物化石获得的古大气CO2体积分数更加准确.最后,确定出新疆吐哈盆地中侏罗世阿连期到巴柔期的CO2体积分数为1.770×10-3. 展开更多

关键词 拟刺葵属和似银杏属 气孔参数 古大气CO2体积分数 中侏罗世 吐哈盆地

在线阅读 下载PDF 职称材料

刺槐属植物新品种DUS测试指南研究 被引量：7

12

作者 荀守华 周建仁 +4 位作者 黄发吉 乔玉玲 张丽君 毛秀红 张江涛 《北京林业大学学报》 CAS CSCD 北大核心 2013年第2期135-140,共6页

为科学规范地开展植物新品种特异性、一致性和稳定性(DUS)测试工作,更好地履行《国际植物新品种保护公约》并与国际接轨,研制了刺槐属DUS测试指南。指南遵循国际植物新品种保护联盟有关测试指南总则和我国有关测试指南的国家标准,通过... 为科学规范地开展植物新品种特异性、一致性和稳定性(DUS)测试工作,更好地履行《国际植物新品种保护公约》并与国际接轨,研制了刺槐属DUS测试指南。指南遵循国际植物新品种保护联盟有关测试指南总则和我国有关测试指南的国家标准,通过多年多点观测调查,深入细致地研究了刺槐属主要种、变种、变型、无性系和品种的形态特征和生长特性,为性状特征表筛选确定了31个测试性状;对每个测试性状的表达状态进行准确描述和科学分级,共描述划分了110个表达状态或等级;为94个表达状态确定了标准品种;给每个表达状态确定了代码,并给每个性状规定了测试方法。 展开更多

关键词 刺槐属 植物新品种 DUS测试指南 测试性状 表达状态

在线阅读 下载PDF 职称材料

计量逻辑中真度的均值表示形式及应用 被引量：25

13

作者 吴洪博 周建仁 《电子学报》 EI CAS CSCD 北大核心 2012年第9期1822-1828,共7页

命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真... 命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式. 展开更多

关键词 计量逻辑 真度 均值表示 极限定理 对称性定理 规范型 计算公式

在线阅读 下载PDF 职称材料

南水北调对南四湖水环境影响分析与评估 被引量：20

14

作者 罗辉 周建仁 郭忠 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第1期63-67,共5页

南四湖是山东省的重要水源地,也是南水北调东线工程的主要调蓄湖泊.随着该地区社会与经济的高速发展,南四湖也出现了诸多环境与生态问题.针对南四湖地区存在的湖泊淤积、水资源短缺、水污染及生态环境恶化等一系列问题,分析了现状南四... 南四湖是山东省的重要水源地,也是南水北调东线工程的主要调蓄湖泊.随着该地区社会与经济的高速发展,南四湖也出现了诸多环境与生态问题.针对南四湖地区存在的湖泊淤积、水资源短缺、水污染及生态环境恶化等一系列问题,分析了现状南四湖水体水环境质量,并对南水北调工程实施后的水环境质量进行了预测评估.结果表明,调水将使湖区水环境质量有质的提高,退化的生态系统将得以恢复. 展开更多

关键词 南水北调 南四湖 水环境评价

在线阅读 下载PDF 职称材料

分子标记在林业植物新品种鉴别中的应用及前景 被引量：18

15

作者 王琼 郑勇奇 周建仁 《林业科学》 EI CAS CSCD 北大核心 2008年第6期180-186,共7页

在对林业植物新品种的鉴别中,对于有异议的品种,采用分子标记作为辅助手段去鉴别;法院审理植物新品种权纠纷案件时,作为判案证据,采用分子标记鉴别是快速而有效的途径。分子标记在植物品种特异性、特别是无性繁殖的无性系品种的鉴别上... 在对林业植物新品种的鉴别中,对于有异议的品种,采用分子标记作为辅助手段去鉴别;法院审理植物新品种权纠纷案件时,作为判案证据,采用分子标记鉴别是快速而有效的途径。分子标记在植物品种特异性、特别是无性繁殖的无性系品种的鉴别上有广阔前景。一旦我国实行国际植物新品种保护公约1991年文本,分子标记将作为必要方法应用于某些实质性派生品种的鉴别。 展开更多

关键词 分子标记 植物新品种保护 品种鉴别

在线阅读 下载PDF 职称材料

(3n+1)值逻辑系统R_0L中公式的真度性质 被引量：8

16

作者 吴洪博 周建仁 张琼 《电子学报》 EI CAS CSCD 北大核心 2011年第10期2230-2234,2229,共6页

基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n... 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架. 展开更多

关键词 计量逻辑学 R0L系统 真度 相似度 伪距离

在线阅读 下载PDF 职称材料

八大公山亮叶水青冈林及其植物区系的研究 被引量：10

17

作者 曹铁如 祁承经 +3 位作者 喻勋林 龙成良 周建仁 张金发 《中南林学院学报》 CSCD 1993年第1期8-16,共9页

在群落调查的基础上,对湖南八大公山亮叶水青冈林的植物区系进行了较深入的分析,计有记名种子植物共83科165属269种。对其属的分布型进行统计,共有温带属106属(占64.0%),热带属52属(占31.6%),表现出群落区系的温带性较强;对种的分布型... 在群落调查的基础上,对湖南八大公山亮叶水青冈林的植物区系进行了较深入的分析,计有记名种子植物共83科165属269种。对其属的分布型进行统计,共有温带属106属(占64.0%),热带属52属(占31.6%),表现出群落区系的温带性较强;对种的分布型进行统计,共有东亚种57种(占21.2%),中国特有种197种(占73.2%)。其中华中特有种77种(占28.6%)。根据林地植物种的存在度、多盖度和群集度,结合区系的特有性,确定了亮叶水青冈等15个特征种。研究认为,八大公山亮叶水青冈林,是华中区特有的顶极群落,富有中国和东亚区系成分,华中特有种集中,是华中区最有典型代表性的群落和区系。它与欧洲和北美的水青冈林有着共同的起源。但其保留的古老残遗植物则更为丰富。 展开更多

关键词 八大公山 水青冈 植物区系

在线阅读 下载PDF 职称材料

命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质 被引量：4

18

作者 吴洪博 周建仁 《计算机学报》 EI CSCD 北大核心 2015年第8期1672-1679,共8页

计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真度;讨论了与析取... 计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真度;讨论了与析取连接词、合取连接词、蕴含连接词、否定连接词等基本逻辑连接词相关的Γ-真度性质;讨论了与分离规则MP,三段论规则HS等推理规则相关的Γ-真度性质.该文的工作为将计量逻辑的思想融入(3n+1)-值模糊命题逻辑系统R0L并建立基于给定理论的近似推理基本框架和相关的逻辑度量空间奠定了基础. 展开更多

关键词 模糊逻辑 计量逻辑 命题逻辑系统R0L Γ-真度 连接词 MP规则 HS规则

在线阅读 下载PDF 职称材料

粉末冶金Fe-C-Cu-Cr-Mn的组织与性能研究 被引量：5

19

作者 朱权利 周建仁 《热加工工艺》 CSCD 北大核心 2014年第8期87-90,94,共5页

利用正交实验研究了铜、铬和锰含量对粉末冶金Fe-C-Cu-Cr-Mn材料烧结后组织和性能的影响。材料经冷压后于1135℃采用网带烧结炉烧结，对烧结后的材料进行硬度、抗拉强度、冲击韧性测试和显微组织观察。结果表明：铜对硬度和抗拉强度的... 利用正交实验研究了铜、铬和锰含量对粉末冶金Fe-C-Cu-Cr-Mn材料烧结后组织和性能的影响。材料经冷压后于1135℃采用网带烧结炉烧结，对烧结后的材料进行硬度、抗拉强度、冲击韧性测试和显微组织观察。结果表明：铜对硬度和抗拉强度的影响最大、铬锰次之；锰对伸长率和冲击韧性的影响最大、铜铬次之；材料烧结后的显微组织为铁素体、珠光体和孔隙。铜、铬、锰含量分别在1％～3％、0～1．2％、0-3％～1．2％变化时，Fe．0．8C-3Cu-1．2Cr-0．3Mn的综合性能最好，其硬度为56．9HRA，抗拉强度612．5MPa，伸长率为1．8％，冲击韧性7．9J／cm^2。 展开更多

关键词 粉末冶金 Fe—C-Cu-Cr-Mn 组织 性能

在线阅读 下载PDF 职称材料

南水北调东平湖水质分析与治理对策 被引量：1

20

作者 罗辉 欧阳越 周建仁 《水利水电技术》 CSCD 北大核心 2003年第11期18-20,共3页

从大汶河水污染现状分析入手,按照2005年东平湖水质达到国家地表水Ⅲ类标准目标,针对该流域水污染重点,提出了调整产业结构、加大城市污水厂建设、推广生态农业生产和强化法制化管理等措施。并指出了东平湖的治污实际是山东省南水北调... 从大汶河水污染现状分析入手,按照2005年东平湖水质达到国家地表水Ⅲ类标准目标,针对该流域水污染重点,提出了调整产业结构、加大城市污水厂建设、推广生态农业生产和强化法制化管理等措施。并指出了东平湖的治污实际是山东省南水北调治污的一个缩影,是优先实施的一个“一比一”治污模型。 展开更多

关键词 南水北调 东平湖 大汶河 水质分析 治理对策 山东 水污染

在线阅读 下载PDF 职称材料