基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

污染环境中具有Markov切换的随机互惠三种群生存分析

研究污染环境下受到毒素和双重噪声(白噪声和有色噪声)作用的随机系统,建立污染环境中具有Markov切换的随机互惠三种群模型。利用随机微分方程相关理论和分析方法,考虑系统同时受到白噪声、有色噪声、毒素浓度及种群间相互作用因素对种群生存状态的影响,得到随机互惠三种群系统中各种群趋于灭绝、随机非平均持久、随机弱平均持久和随机强平均持久的充分条件。数值模拟验证了理论结果的正确性。     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。     

具有Logistic增长项的两种群竞争Keller-Segel模型的稳定性分析

应用线性化方法研究两种群竞争的Keller-Segel模型常数平衡解的个数及其稳定性问题.     

雾霾污染的危害与治理支付意愿研究进展

雾霾污染问题是当前研究的热点问题。雾霾污染会导致出行障碍、相关疾病发病率及死亡率上升、动植物生长受阻、旅游业产值下降、社会经济发展受影响和社会稳定度下降等。可见,治理雾霾污染刻不容缓。雾霾治理的费用相当高,公众参与治理雾霾是一种有效的缓解雾霾治理资金紧张的有效途径之一。由此,本文以我国雾霾污染治理的支付意愿为研究对象,利用文献研究和归纳总结方法,系统介绍了雾霾治理支付意愿的相关问题、雾霾治理支付意愿的评估模型以及雾霾治理支付意愿的影响因素,以期为我国雾霾治理费用的分摊提供重要的理论参考。     

商业模式创新理论模型构建研究

此研究的开展基于以下背景：在新的一波转型浪潮中，创新商业模式的必要性和迫切性与日俱增，虽然对商业模式创新过程的研究在逐年增加，但多聚焦于成功企业商业模式创新的变革阶段或成功创业者的高阶战略认知，缺乏对商业模式创新过程的进一步抽象和总结，以致无法回答企业“如何进行商业模式创新”的问题。此研究认为，以“活动系统”为中心的商业模式创新理论模型——光谱模型，确定了商业模式创新的逻辑起点和逻辑终点，融合了从整体上指导企业进行商业模式创新的价值过程和从认知视角指导活动开展的商业模式创新源过程，呈现出商业模式创新过程中主体之间的动态交互和子过程的动态迭代，旨在更直观地回答企业“如何进行商业模式创新”。     

激光冲击强化对Ti2AlNb合金微观组织及残余应力的影响

Ti2AlNb(O-Ti2AlNb)具有优异的力学性能,在航空发动机方面有远大应用前景.激光冲击强化(Laser Shock Peening,LSP)是一种先进的表面改性技术,能够在材料表面诱导产生高幅值、大深度的残余压应力,改善材料微观组织,提高材料抗疲劳、高温氧化等性能.本文采用激光冲击强化对Ti2AlNb合金进行表面改性,并研究其组织演变、残余应力以及高温环境对性能的影响.结果表明:激光冲击强化能够显著减小Ti2AlNb合金近表面的晶粒尺寸.显微硬度由冲击前的350 HV提升到395 HV;在冲击区域近表面产生了约-377 MPa的残余压应力;而在高温环境中,由激光冲击强化所诱导的材料近表面残余应力随时间逐渐释放,在600℃条件下,残余应力释放较为缓慢;而在720℃条件下,残余应力迅速释放.     

装配/残余应力对聚碳酸酯刮擦行为影响的数值研究

聚碳酸酯材料在制备、运输和服役的过程中,不可避免会受到表面刮擦的作用,同时,制造和使用过程中产生的残余应力和装配应力通常会对材料的使用性能产生影响.因此,有必要研究装配应力和残余应力对聚碳酸酯材料表面刮擦行为的影响.将残余刮擦深度、沟槽肩高和刮擦切向力作为聚碳酸酯材料刮擦性能的表征指标,采用有限元数值模拟的方法,系统地研究了不同水平的装配应力和残余应力对聚碳酸酯材料刮擦行为的影响.结果表明,压应力可降低聚碳酸酯表面的残余刮擦深度、沟槽肩高和刮擦切向力.研究表明,可以通过在聚碳酸酯材料表面引入装配/残余压应力来提高其耐刮擦性能.     

工程弹性系统与系统弹性理论研究综述

工程弹性系统(engineered resilient system,ERS)是美国国防部(department of defense,DOD)应对越来越不确定的任务和环境而提出的未来国防系统发展战略,对复杂系统的工程实践与系统弹性理论都带来新的挑战。首先,对ERS提出的背景和相关概念进行介绍,重点对美国国防领域对ERS的一些观点进行分析,包括ERS的关键属性、弹性工程与现役系统关系、ERS设计中考虑的因素和ERS与系统工程的关系等,并对美国DOD优先立项的ERS项目研究进展进行了的研究。其次,对弹性相关的学术研究进行了述评,包括不同领域中弹性的概念、系统弹性不同的评价方法以及系统弹性设计方法,以便于对ERS的发展有一个较为全面的了解和借鉴。最后,在ERS发展研究基础上,从理论和应用角度对ERS和系统弹性理论面临的挑战进行了讨论。