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

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

伯恩斯坦语言编码理论视角下的隔代教育分析

隔代教育原本是帮助年轻父母解决后顾之忧的重要举措,而现实生活中隔代教育存在的众多教育问题对孩子的成长和发展极为不利。文章借用伯恩斯坦的语言编码理论对隔代教育进行解释和剖析,指出隔代教育效果不如双亲教育的重要原因在于祖辈用的是限制型语言编码,孙辈在和祖辈的生活中习得了这种语言编码,与学校教育和主流社会要求的精致型语言相背离,一旦他们走进学校和社会则较难取得成功。破解隔代教育的困境,关键在于构建孩子的精致型语言编码。     

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

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

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

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

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

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

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

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

六维力传感器薄板受迫振动分析

目前弹性体的解耦大多以静态实验标定的方法求解,而缺少对弹性体建模的理论分析。以六维力传感器弹性体中的上E型膜为研究对象,根据其结构和约束条件建立力学模型,通过薄板弯曲理论推导出上E型膜在仅受Z方向载荷FZ时受迫振动过程中任一瞬时的动扰度表达式,并求出动态应变输出。仿真实验表明理论推导与实际情况较吻合。     

习近平风格的体现

<正>自2006年8月中央外事工作会议之后时隔八年,2014年11月中央再次召开外事工作会议。习近平在本次中央外事工作会议上的重要讲话,是党中央外交理论和实践创新的最新成果,对当前和今后一个时期我国对外工作具有极其重要的指导意义。对此我有三点体会:第一,这次中央外事工作会议非常明显地体现了习近平的外交特色。一是充分体现了习近平的战略思维和历史观;二是辩证地分析形势,但又明确表达自己的主张。以前我们分析形势也是要求辩证地看,既要看到这一面,又要看到那一面。而这一次则提出"五性五不",即"要充分估计     

高阶脉冲变时滞BAM神经网络的周期解

神经网络的诸多功能主要体现在其动力学特征中,而周期解问题则是其动力学行为研究中很重要的一部分.许多情况下,考虑神经网络的脉冲效应是必要而具有实际价值的.本文利用重合度理论中的Gaines-Mawhin延拓定理和微分不等式技巧,研究一类具脉冲干扰的高阶BAM神经网络模型的周期解问题,在要求激活函数有界的前提下,得到其周期解存在的充分条件.