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

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

变电站电缆敷设及二次接线的工艺改进

电缆敷设是指电缆从配电箱出来以后到达用电设备或另一个配电箱的走线方式，一般而言，不同的环境、条件、性质所选择的电缆敷设方式也有差异。电缆敷设和二次接线是变电所建设施工过程中的重要工作，与整个工程的质量息息相关，也是涉及到变电站各项保护功能实现的重要项目。在电缆敷设和二次接线施工过程中，涵盖许多内容和程序，各个环节都对整个工程的质量息息相关，做好每一个环节的改进工作是提高其质量的关键。文章从变电站电缆敷设和二次接线的一般工艺着手，探讨了如何改进其工艺提高工程质量的问题。     

邻烷基二苯甲酮在光促进合成中的应用

近年来,光促进的有机合成作为一种温和、绿色的合成手段引起了广泛关注.常见的光促进有机反应不可避免地需要添加金属配合物或有机染料作为光敏剂,而邻烷基二苯甲酮衍生物是一类具有光活性的化合物,在光照下发生烯醇化生成邻醌二甲烷,无需外加光敏剂即可发生多种化学反应.从手性有机小分子催化的不对称反应和C-H键官能团化两方面对近年来邻烷基二苯甲酮衍生物参与的光化学转化反应进行了总结和综述.     

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

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

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

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

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

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

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

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

火焰原子发射光谱法测定电解质饮料中钾钠的含量

建立了火焰原子发射光谱法测定电解质饮料中钾和钠含量的方法.钾、钠的方法检出限分别为0.004 22μg/m L和0.002 16μg/m L,钾、钠的加标回收率分别为91.1%~100.9%和93.0%~102.8%.该方法操作简单、快速、准确度高、重现性好、无需使用附加光源,测定结果与火焰原子吸收光谱法无显著性差异.     

基于熵值修正G1法江西省智慧旅游建设水平评价研究

文章基于熵值修正G1法对智慧旅游建设水平进行研究,构建城市智慧旅游建设水平评价指标体系和模型,对江西省11个地级市进行实证研究,结果显示,11个城市的智慧旅游建设水平整体较低,其中基础设施建设水平、经济发展水平、科技创新和硬件支撑上城市间差异较大,在智慧旅游环境支撑总体差异小,保持在较高水平。并依据评价结果对江西省11个城市分为三个类别,对每一类别城市的特点进行了分析,以期能够指导江西智慧旅游的规划建设。