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

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

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

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

五种希格斯玻色子与希格斯场之内部结构模型图表解析

现今，“希格斯玻色子”被认为是所有基本粒子质量的来源，也是标准模型预言的最后一种粒子，目前，物理学家普遍认为不排除未来可能会发现其他带电荷的希格斯玻色子。许多物理学家认为：事实上，希格斯玻色子组成希格斯场是一种更加复杂的理论模型，而这些理论模型预言了应有五种不同的希格斯玻色子，它们不仅带有电荷，还有可能带有色荷，而且质量也不相同。希格斯场遍布在宇宙中，该文就这五种不同希格斯玻色子及其组成的希格斯场，作一理论模型预言之图表解析。     

基于交通信号灯信息的混合动力汽车节能预测控制方法

针对传统混合动力汽车控制方法不考虑已知道路交通信号灯信息对车辆能量管理影响的问题,提出了基于交通信号灯信息的混合动力汽车节能预测控制智能优化策略。通过建立混合动力汽车系统的简化模型,并采用连续广义最小残量方法求解模型预测控制问题。运用MATLAB/Simulink进行仿真,仿真结果验证了交通信号灯信息模型的有效性,以及所设计的模型预测控制算法大幅度提高混合动力汽车的燃油经济性的能力和实时控制性能。研究结果表明所提出的控制策略可以实现车辆行驶轨迹的优化控制,显著提高了车辆的燃油经济性,并满足系统的实时最优控制要求。     

雷电波分析与比较研究

本文对双指数雷电流模型和 IEC1 3 1 2—— 1推荐的雷电流模型进行了分析和研究 ,计算了这两种雷电流模型的雷电流参数。在此基础上 ,用 FFT方法分析了雷电流的频谱分布     

基于优化理论的网络拥塞控制机制的建模方法

介绍了一种基于优化理论的网络拥塞控制机制的建模方法．在描述了现有拥塞控制机制基本原理的基础上，以Reno／RED为网络实例，讨论了拥塞控制机制数学模型的建立．说明了本文所介绍的建模方法，对网络拥塞控制机制的分析和设计是有帮助的．     

论测试与评价在CMM和CMMI中的作用

测试与评价在CMM和CMMI中有着不同的作用，这两种作用反映了两种不同模型对测试与评价技术在软件管理工程中作用的不同认识，体现了CMMI对测试与评价支持优于CMM，论证了CMMI是一个更适应于时代发展的模型。     

基于激励理论对经理优化报酬组合的探讨

对经理长期报酬和短期报酬的优化组合激励问题进行了探讨。通过分析建立了组合激励的两阶段搏弈模型，求解模型得到了最优报酬组合。结合构成最优报酬组合的各参数的含义，探讨了它们对最优报酬组合的影响。