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

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

数控仿真中切削面计算的并行化研究

针对高离散精度模型与刀具包围体进行切削计算的情况,由于三维图像重建的计算量大,基于传统CPU实现的数控加工仿真系统不能满足实时性的三维绘制。本文利用GPU的并行性特点,提出并行方式数控仿真切削面显示算法:通过线程并行处理基于MC算法的实体构造模型中体素与刀具包围体的切削计算,根据切削后体素角点信息和边的状态查找建立的构型索引表和交点数目索引表,加速数控仿真切削面的提取,从而提高三维图像的绘制速度,满足实时性显示要求。     

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

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

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

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

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

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

Simultaneous anti-windup synthesis for linear systems subject to actuator saturation

A synthesis method for global stability and performance of input constrained linear systems, which uses a linear outputfeedback controller and a static anti-windup compensator is investigated. Different from the traditional two-step anti-windup design procedure, the proposed method synthesizes all controller parameters simultaneously. Sufficient conditions for global stability and minimizing the induced L2 gain are formulated and solved as a linear matrix inequalities(LMIs) optimization problem, which also provides an opportunity to search for a better performance tradeoff between the linear controller and the anti-windup compensator.The well-posedness of the close-loop system is also guaranteed.Simulation results show the effectiveness of the proposed method.     

我和草原有个约会

<正>春节期间,小土豆收到了不少礼物,他最喜欢的是堂哥送的几块彩色小石头,觉得它们很可能是玉石。妈妈知道了,说:"市里有个古玩城,咱们去开开眼界吧。"古玩城里琳琅满目,小土豆特别关注那些美丽的石头。有位哈桑伯伯是地质学家,和妈妈很熟。他领着小土豆逛古玩城,告诉了小土豆不少和玉石有关的知识。什么叫玉石呢?哈桑伯伯说,根据我国珠宝玉石鉴定标准,"天然玉石"的定义是:由自     

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

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

二氧化碳观测卫星遥感反演研究进展

二氧化碳(CO_2)是大气中主要的温室气体,利用卫星平台观测大气干空气柱中对流层二氧化碳气体体积混合比(XCO_2)是当前温室气体监测的主流手段.首先介绍了5种具备近地面XCO_2浓度观测能力的卫星平台,并以GOSAT卫星的短波红外二级数据产品为例,重点介绍了中国2009～2016年大气XCO_2浓度的时空变化情况.结果表明,中国XCO_2浓度高值区主要出现在东南部,西部地区以及高纬度地区XCO_2浓度相对较低.8年间XCO_2平均浓度为392.28 ppm,并以2.28 ppm/a的速度持续增长.XCO_2浓度随NDVI有明显的季节变化,春季最高,夏季最低,年平均变化量达到6.2 ppm.     

过滤烦恼“直饮”健康

<正>古人云:水为万物之源,土为万物之母,饮资于水,食资于土,饮食者,人之命脉也,而营卫赖之。世界上许多物质都可以找到它的替代品:用陶瓷或塑料代替钢;用一种金属代替另一种金属,但迄今为止,还没有一种物质可以取代水,水是不可替代的有限资源。地球上的水有97.2%是海水,淡水只占2.8%,而全世界可利用的淡水资源不足淡水总量的1%。长期以来,人们都认为水