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

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

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

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

大尺寸工程模型试验中的相似材料配比试验研究

大型物理模型试验是研究复杂工程问题的重要方法，如何快速、准确地确定相似材料配比是试验中至关重要的一环.为降低试验成本、简化试验步骤、充分调用原料性能，采用河砂、水泥和石膏这三种最普通的原料，以骨胶比(河砂与水泥石膏的质量比)和水膏比(水泥与石膏的质量比)为变量，进行了45组对比试验，对相似材料的物理及动、静力学参数进行了研究.获得了以河砂、水泥和石膏为原料配制的相似材料各物理量的变化区间；探讨了骨胶比和水膏比对相似材料各物理量的控制作用，并对比了其敏感性；基于多元线性回归分析建立了各因素与物理量间的定量关系，得到的拟合公式能较好地描述相似材料的性质.     

A Forward Selection Method on Customer Credit

In this paper, we discuss a selection and evaluation method of customer credit for the commercial bank loans operation, and put forth a forward selection model by optimization techniques. At last, we also give an example to analyze its application.     

刚-柔性桩复合地基设计理论探讨

刚-柔性桩复合地基设计理论的发展明显地落后于工程实践,基于工程实践成果以及计算机仿真分析结果对刚-柔性桩复合地基设计理论进行了研究,根据不同的基础形式对刚-柔性桩复合地基进行分类,分析了不同型式复合地基的适用性,提出了具体的设计步骤,探讨了承载力与变形等相关问题.此外,还提出了刚-柔性桩复合地基优化设计的建议,并通过工程实例对上述设计理论进行验证.     

雷电波分析与比较研究

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

女大学生排球选修课教学之我见

本文依据大学生生理、心理的阶段特征，通过变换组织教法以及增强学生主体、教师主导的双边作用，分析排球课的项目特点。使技能学习和人格发展相结合，培养身心健康发展的大学生。     

不可微多目标数学规划的高阶对偶性

引入了一类不可微多目标数学规划的高阶对偶模型。在广义凸性条件下,建立了弱对偶性定理。其结果推广和统一了近期文献上出现的结果。     

用带时序子模块的系统动力学模型预测Brent原油价格

提出在系统动力学模型中加入时序自回归AR(p)子模块，并且自动确定每个AR(p)子模块的阶数p。带时序子模块的系统动力学模型既体现了因素问的横向因果关系，又体现了每个因素的纵向关系。建立欧佩克(OPEC)石油产量、世界GDP、煤炭产量与价格、天然气、需求量、供求差额、消费系数、非欧佩克石油产量、非欧佩克供求差额，石油库存和OPEC组织的期望油价共十一个因素影响下的Brent原油价格预测模型，模型的预测结果表明：在系统动力学模型中加入时序自回归AR(p)子模块的方法是可行的、有效的，并且能提高模型的预测精度。     

国民经济动员中医护人员组成形式数据建模

提出一种医护人员在国民经济动员中组合形式的解决方案，并由此建立数据模型。用UML对已建立的模型进行描述并加以改进，便于系统的实现。