双属性概率图优化的无人机集群协同目标搜索

为了提高不确定环境下无人机（unmanned aerial vehicle,UAV）对目标捕获能力,进而提高多UAV协同搜索效率,提出了基于双属性概率图结合改进的协同进化遗传算法（improved co-evolutionary genetic algorithm,ICEGA）的多UAV协同目标搜索方法。首先,根据环境的先验信息,在原概率图基础上引入标志位,建立基于双属性矩阵的待搜索环境概率模型,提高环境和目标的信息感知准确度;其次,定义UAV的飞行规则并结合目标先验概率图信息,建立UAV运动模型及确定最大收益的目标函数;最后,建立分布式UAV之间的信息交互模型,运用ICEGA算法优化产生最优协同决策输入航向角集合,在线实时滚动优化产生最优协同路径。实验结果表明,基于双属性概率图结合ICEGA算法更能够保证最优路径的产生,使得UAV能够准确地搜索到目标;同时,对比仿真验证了ICEGA算法能够提高UAV之间的协同性,保证了路径可行性及提高了目标搜索效率。     

边界条件含特征参数的三阶微分算子的自伴性和特征值的依赖性

研究一类边界条件含有特征参数且具有转移条件的三阶微分算子的自伴性和特征值的依赖性.通过在新的Hilbert空间定义线性算子T,将问题转化为对相关线性算子T的研究.利用算子理论,证明了该算子的自伴性,在此基础上,讨论了特征值的连续性,特别研究了特征值关于相关参数的可微性,并得到相应的微分表达式.     

时变脉冲微分方程初值问题解的存在性

首先给出了脉冲微分方程初值问题的解与相对应的常微分方程初值问题的解之间的关系,然后利用常微分方程理论讨论了一类时变脉冲微分方程初值问题,并在相对较弱的条件下建立了解的存在性定理,所得解允许和某些Sk相遇多次,推广了相关问题的已有结果.     

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

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

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

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

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

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

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