安全协议抗DoS攻击的形式化分析研究

随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而忽略了存储资源消耗.针对以上不足,本文对基本的串空间模型进行扩展,引入消息相关度集合和代价函数,提出了一种分析安全协议抗DoS性的新方法,并利用该方法,对JFK协议的抗DoS性进行了详细分析.     

中国发电产业发展有序性:基于省际布局和产业组织的实证研究

目前,中国电力产业已存在"弃风、弃光、弃水、弃核"的限电约束并出现火电"产能过剩"的超额供给现象;在供给侧结构性改革、新一轮电力体制改革和能源生产与消费革命的制度环境中和共同引导下,发电产业有序发展问题亟待解决.本文基于耗散结构理论,构建产业空间引力模型和产业系统熵值模型,选取2011-2016年统计数据,从省际布局和产业组织的角度,通过实证分析对中国发电产业有序发展进行研究,并分析其有序发展路径.研究结果表明:虽然目前中国发电产业发展仍处于无序状态,但中国发电产业将保持远离平衡的状态,供给侧部门发展也正朝向一个更高效、更稳定、更有序的状态演进.最后给出相应的政策建议.     

一致性特征下综合体停车需求预测方法

基于单一建筑功能停车需求一致性特征的分析,采用停车需求高峰比系数对建筑功能停车需求分布趋势进行分时刻描述,提出了单一建筑功能停车需求预测的影响系数修正模型,并基于共享停车理念建立了综合体停车需求预测三步骤模型,且在实际案例中进行了良好的应用.由于采用了分时刻需求分布预测法,综合体停车需求的预测结果信息较为丰富,也为停车设施后期的精细化管理提供了良好的数据支持.     

加权shift算子加上Volterra型算子在Hardy空间上的不变子空间及约化子空间

Cuckovic等刻画了shift算子加上Volterra算子在Hardy-Hilbert空间上的不变子空间。在他们以及Stessin等的关于约化子空间的研究基础上,文章研究了加权shift算子加上Volterra型算子在Hardy空间上的不变子空间及约化子空间,部分地推广了他们的结论。     

基于TCMSP抗肿瘤中药小分子EGFR-TKI的研究

目的研究分析中药小分子表皮生长因子受体酪氨酸激酶抑制剂(EGFR-TKI)的抗肿瘤情况。方法挖掘中药系统药理学数据库与分析平台(TCMSP)中药小分子表皮生长因子受体抑制剂,利用反向分子对接服务器(DRAR-CPI)进行靶点验证。结果木犀草素、槲皮素、金雀异黄酮、表没食子儿茶素没食子酸酯、漆黄素5种中药小分子与表皮生长因子受体(EGFR)结合良好。结论中药小分子EGFR-TKI能从多个靶点、多种途径抑制肿瘤细胞的生长和扩散,利用中药小分子开发新一代多靶点EGFR-TKI具有广阔的前景。     

卫星通信在应急通信中的应用及发展

 介绍了国外应急通信的应用模式、政策、手段以及国内应急通信体系的建立与发展,讨论了卫星通信系统在应急领域的应用,展望了卫星通信的新技术、新方向及其未来发展。     

侗族村寨聚居空间演变特征分析——以贵州黎平高寅侗寨为例

以贵州省黔东南州黎平县九潮镇高寅侗寨为典型案例,从农户宅基地利用视角,对侗族村寨用地规模及其内部特征、空间演变过程及其形态特征进行研究.研究结果表明,1990年以来高寅侗寨宅基地扩张面积占总面积的比例达到70%以上,户均宅基地面积维持在170m2左右,高寅侗寨宅基地扩张具有加速蔓延趋势且新修房屋正逐步放弃传统木瓦结构,偏好砖混结构;农户宅基地的居住功能在不断加强,而生产功能(主要是圈舍养殖等)正逐步趋于弱化,内部结构正趋于简单化、集约化;近三十多年高寅侗寨用地存在着先沿"歌堂"内向"填充",后向"风雨桥"外向扩展的演变过程,体现了侗族村民依山傍水的建房理念.     

判断空间中若干几何图形位置关系的教学设计

线性代数有着非常广泛的应用.判断空间中几何图形的位置关系是空间解析几何的重要内容,同时也是线性代数的一种重要应用.这些知识点与线性代数中矩阵的秩、线性方程组等内容相互关联,形成了一个有机整体.探讨利用线性代数的相关理论判断空间中若干几何图形位置关系的教学设计.     

关于局部对称空间的几个Pinching定理

研究了局部对称空间中具有平行平均曲率向量的紧致伪脐子流形,利用活动标架法和Hopf极大值原理讨论了子流形的Pinching问题,即估算子流形第二基本形式模长的平方的Laplacian,再对截面曲率和Ricci曲率加以某种限制,得到这类子流形成为全脐子流形的几个拼挤定理.     

基于目标空间分区的稳态高维多目标进化算法

针对高维多目标优化中Pareto非劣候选解所占比例很大,常用的先考虑收敛性再考虑分布性的多目标进化算法面临选择压力衰减的问题,提出一种先考虑分布性再考虑收敛性的高维多目标进化算法——基于目标空间分区的稳态高维多目标进化算法(SS-OSP).该算法先采用目标空间分区策略将种群按照权重向量分为多个子空间,在每个子空间中按照分解方法中的聚合函数选择个体;然后,考虑到常规的PBI聚合函数的罚参数在进化过程中一直保持不变的情况,提出一种自适应PBI聚合函数;最后,仿真实验结果表明所提出的算法与其他三种算法相比,具有更好的收敛性和分布性.