Fuzzy系统的范数与Fuzzy系统的分类

引入了R-Fuzzy集和Fuzzy系统范数的概念,在Fuzzy系统范数的意义下,可将Fuzzy系统分为3类,即正规Fuzzy系统、正则Fuzzy系统和奇异Fuzzy系统.证明了基于ZadehFuzzy集的Fuzzy系统和BernsteinFuzzy系统是正规Fuzzy系统,基于R-Fuzzy集的HermiteFuzzy系统是正则Fuzzy系统,基于R-Fuzzy集的LagrangeFuzzy系统是奇异Fuzzy系统.最后,通过构造BernsteinFuzzy系统,得到了一个广义Bernstein多项式.在较弱的条件下证明了广义Bernstein多项式在C[a,b]中具有泛逼近性,并通过反例说明:存在不具有泛逼近性的广义Bernstein多项式.     

基于Choquet积分的多属性正态分布区间数决策方法

在Choquet积分的基础上,提出了正态分布区间数的关联有序平均（NDINCOA）算子。该算子不仅考虑了属性的重要性,而且能够反映出属性的相互关系。值得指出的是存在的一些正态分布区间数平均算子都是该算子的特例。最后举例说明了该算子在不确定多属性决策中的应用,结果表明该方法是可行的。     

BiHom-pre-Lie代数的双模

给出了BiHom-pre-Lie代数双模的定义、判断双模的方法以及双模的实例,推导出BiHom-pre-Lie代数双模的对偶是双模所满足的条件.得到了BiHom-pre-Lie代数的双模与BiHom-Lie代数的表示之间的关系.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

自然与规范:当代科学哲学自然主义转向的两难困境

法因的"自然本体论态度"采取一种哲学上的"最小主义策略",是沿着自然主义方向对传统的科学哲学重新定向的努力,但法因本人的理论也陷入自我循环,没有解决长期困扰自然主义者的自然与规范的二元悖论的问题。劳斯的科学实践哲学最终并没有清晰地阐明规范性与因果性的关系问题,没有找到一条走出当代科学哲学所面临的自然与规范的两难困境的出路。"实践的规范自然主义"的合理性模式或许是一条走出当前理论困境的出路,但其内容和细节尚有待进一步丰富和完善。     

一种基于身份代理重加密的云数据共享方案

针对云存储环境对隐私数据安全共享的迫切需求,提出一种安全、高效的云密文数据共享方案.该方案利用基于身份的代理重加密技术,将隐私数据加密后上传到云存储服务器中.为了实现数据的安全分享,数据所有者可以生成一个重加密密钥发送给代理服务器.代理服务器利用重加密密钥将数据所有者的密文转化为数据共享者的密文,而代理服务器却不能读取加密的数据.该方案不需要使用公钥证书,从而缓解了传统公钥加密方案的繁琐公钥管理过程.此外,该方案在随机预言机模型下是可证明安全的,从理论上保证了云数据共享方案的安全性.     

用于异质用户出行管理的可交易许可证研究

针对公共交通与私家车出行方式并行的双模式交通系统,在考虑不同用户的时间价值情况下,通过引进可交易的道路许可证政策,建立了均衡出行交通模型.研究发现,许可证政策将拥挤产生的交通成本内部化,在缓解交通拥堵的同时,通过经济手段,降低了系统总成本.进一步地,本文证明如果汽车比公交快,那么时间价值较高的人会选择私家车出行;反之,如果公交比汽车快,时间价值相对较高的有车族会选择公交出行.通过与OD收费进行比较,我们得到在收费为正的情况下,许可证政策可以得到与基于OD收费相同的效果.最后,算例结果表明,许可证政策使得部分人选择公交出行的成本更低,达到鼓励公交出行的目的;甚至在许可证发放数量少于临界数量的情况下,选择公交出行的人会获得正收益.     

剩余型直觉模糊推理的三I方法

要本文研究了由左连续三角模所生成的直觉三角模的性质,给出了与直觉三角模相伴随的剩余型直觉蕴涵算子的等价刻画,揭示了直觉模糊蕴涵算子和模糊蕴涵算子的关系．结合模糊推理的三I方法,针对剩余型直觉蕴涵算子,提出直觉模糊推理IFMP问题的三I方法和分解方法,给出两种方法的求解公式,并讨论了它们的还原性,证明了三I方法和分解方法具有良好的还原性．最后提出了IFMP问题的a-三I方法．并给出相应的算例分析．     

法锥条件下非凸规划的非内点同伦方法

利用不可行的内点同伦方法(CHIIP)求解非凸规划问题的KKT点. 证明了当非凸规划问题的可行域满足法锥条件时, 跟踪同伦方程产生的同伦曲线可得到非凸规划问题的KKT点, 且该算法具有全局收敛性.     

时空平面的Clifford代数与Abel复数系统

证明时空平面Clifford代数Cl_1,1的3个二维子代数构成Abel复数系统的3种复数(椭圆复数、 双曲复数与抛物复数), 给出了Euclid平面、 Minkowski平面及Galileo平面可在同一框架下进行研究的可行性以及Euclid变换、 Lorentz变换及Galileo变换的统一表达式.