基于K4的超模态逻辑

D.M.Gabbay在“超模态逻辑理论：模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4［T·,K·］,主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。     

基于左右端点的IOWGA算子的区间型组合预测模型

文章针对实际值序列和预测值序列均为区间数的组合预测问题,将区间数的左右端点作为考虑问题的出发点,引入诱导有序加权几何平均(IOWGA)算子,以对数误差平方和为准则,分别建立左、右端点的IOWGA算子的变权系数最优组合预测模型,并通过引入偏好系数把多目标最优化模型转化为单目标最优化模型,给出各模型间最优解的性质.     

遗传算法中交叉操作的两种改进方法

通过分析交叉算子，提出了分别与模拟退火算法以及神经网络相结合的改进型遗传算法，改进型遗传算法的收敛性能远远优于标准遗传算法。     

城镇化与碳排放:基于异质面板模型的检验

基于1971 ～2012年16个新兴发展中国家的跨国样本,采用异质性面板模型检验了城镇化和碳排放的定量关系.结果表明:新兴发展中国家的城镇化和碳排放之间主要呈现正向关系,但同时显现出负向影响的迹象;收入、人口和能源密度对碳排放均呈现出显著的正向影响,且短期效应大于长期效应.转变经济发展方式、促进产业结构升级、优化能源结构、加强低碳考核是实现我国城镇化可持续发展的有效路径.     

基于广义反调和均值的弱化缓冲算子的构造及其应用

在灰色系统缓冲算子公理体系下,基于广义反调和均值构造了一类新的满足缓冲算子3条公理的弱化缓冲算子,称为广义反调和均值弱化缓冲算子(记为GAHAM弱化缓冲算子)。GAHAM弱化缓冲算子以已有的平均弱化缓冲算子为特例,从而推广了一些已有构造弱化缓冲算子的结果,说明GAHAM弱化缓冲算子更具有一般性。通过数值计算比较表明利用GAHAM弱化缓冲算子比利用已有的一些弱化缓冲算子建立GM(1,1)模型精度有较大程度提高,说明了GAHAM弱化缓冲算子在应用上的实用性。     

国家自然科学基金资助项目综合评价:基于Vague集多准则决策

采用基于Vague集的多准则决策方法,对国家自然科学基金11类主要竞争性资助项目的实施情况进行综合评价和排序.首先,通过问卷调研的方式,由国家自然科学基金项目评审专家采用"高"、"不高"和"不清楚"三类语义,对各类项目按照"评审公正性"、"管理规范性"、"科研创新性"和"社会影响力"四个准则进行评价;然后,根据问卷统计结果,将语义评价转化为Vague估计值,并利用一种新的评分函数计算各类项目在各准则下的得分;最后,采用正态分布的OWA算子集结各准则下的得分,得到所有项目的综合评价和排序.本文的研究结果将为完善国家自然科学基金的资助结构与管理模式提供重要参考依据.     

基于二元联系数的信息不完全的群决策方法

对准则值为二元联系数而准则权重信息不完全确定的群决策问题进行了研究。定义了二元联系数及其期望值、均方差等概念,利用期望—方差准则给出了一种对二元联系数进行比较和排序的方法;给出了几种二元联系数信息集成的几何算子,包括二元联系数加权几何(BCNWG)算子、二元联系数有序加权几何(BCNOWG)算子和二元联系数混合几何(BCNHG)算子;在群体决策情形下,提出了一种基于二元联系数的信息不完全的群决策方法。该方法利用BCNWG算子和BCNHG算子对二元联系数准则值进行集成;利用二元联系数准则值的方差和准则权重的随机性,通过建立优化模型确定最优准则权重;利用二元联系数的比较规则对决策方案进行排序和择优。最后,实例分析表明了该方法的可行性和有效性。     

基于不同粒度语言判断矩阵的多属性群决策方法

针对具有不同粒度语言判断矩阵形式的偏好信息的多属性群决策问题,首先给出了不同粒度语言转换的准则,给出了将不同粒度语言短语一致化的函数及其性质,并进而提出了基于不同粒度语言判断矩阵的多属性群决策方法.该方法不仅简洁、直观,且不会发生信息丢失,所得的决策结果较为精确、合理,最后通过算例对方法的实用性和有效性进行了说明.     

无穷算子和量词

笔者根据 Montague、Scott等人的想法,在 Segerber、Gabby和毛翊[1] [2]等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学[3] [4].邻域语义学可运用于无穷算子,无穷算子也能刻画一般的量词(包括通常的全称和存在量词).     

基于聚类描述的培养算子与TSP求解

首先提出用聚类树描述ＴＳＰ对象的新方法；并在此基础上，提出了培养算子的基本概念和方法，以进一步改进解的质量。对多个ＴＳＰ实例求解的实验表明，基于聚类描述的培养算子对ＴＳＰ的求解具有良好的效果。