直径为2的有向图的彩虹连通

利用概率方法证明:直径为2的有向图D的彩虹数cr→(D)∈{2,3,4,5},直径为2的k-正则有向图D的强彩虹数scr→(D)≤[(e(4_(μ2)k-2_(μ2)+1))1/μ1],并且存在无穷多个满足cr→(D)=scr→(D)=2的有向强正则图.     

激光共聚焦显微镜研究填料在涂料中的分布I：正交分析方法研究填料在涂料中的纵向分布以及对耐候性能的影响

设计制备了2种不同TiO2填料填充的环氧树脂涂料,用激光共聚焦显微镜（LSCM）对填料TiO2在这2种涂料中的横向和纵向分布分别进行了研究.结果表明,在这2种涂料中TiO2填料的纵向分布差别较大.TiO2在Disp样品中的纵向分布比较均匀,而TiO2在Non-disp样品的纵向分布中存在1.1μm的一个填料缺失层（gap）,这个填料缺失层严重影响耐候过程中涂料的表面光学性质.根据LSCM的测试结果,提出了填料在涂料中的分布模型,并且根据该模型预测了耐候过程中涂料表面性质的变化：涂料的表面光学性质出现一个先降低再提高的过程.此理论预测结果与实际耐候过程中表面光学性质的变化情况一致,说明该模型的正确性与科学性.     

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）算子。该算子不仅考虑了属性的重要性,而且能够反映出属性的相互关系。值得指出的是存在的一些正态分布区间数平均算子都是该算子的特例。最后举例说明了该算子在不确定多属性决策中的应用,结果表明该方法是可行的。     

甲烷均相转化研究进展

在绿色、经济的反应条件下实现甲烷的直接转化一直是化工能源领域面临的重大挑战之一.在过去的10年中,有机合成化学家们相继发展了多种甲烷均相转化方法,为利用丰富的甲烷作为化工原料来合成高附加值的化工产品提供了新的转化途径.本文从反应作用机制方面总结了近年来甲烷均相转化领域的研究进展,包括过渡金属和主族金属参与的,以及光促进的甲烷均相转化等.在这些研究进展中,过渡金属催化的甲烷转化方法占据主要,涌现了对甲烷碳氢键进行亲电活化、氧化加成和卡宾插入等多种不同活化机制.引人注意的是,光催化模式利用清洁的光能为反应提供能量,为甲烷的均相转化提供了一种更加绿色可持续的化学转化方案.文末对发展更多高效的光促甲烷转化反应及其应用前景进行了展望.     

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

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

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

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

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

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

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

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

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

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