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

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

基于后验风险确定故障样本量的Bayes方法

针对目前测试性故障样本量的确定方法过于粗糙和试验样本量过大的问题,提出了合理运用信息熵方法对装备系统各单元的测试性先验信息进行信息融合,得到装备系统级测试性试验数据。在此基础上得到测试性指标的先验分布,并进一步通过Bayes后验风险准则确定故障样本量及试验方案。以某型电动舵机系统各模块的试验数据为例,以故障检测率为测试性指标,经过分析和计算,发现运用所提方法得到的故障样本量相比传统方法明显减少,从而减少了试验成本,同时得到的测试性指标相对误差较小,保证了可信度。     

血清miRNA提取方法的优化

利用正交试验法优化血清miRNA的提取方法,为进一步研究血清miRNA作为生物标记物提供方法学基础.本文以hsa-miRNA-223-3p,hsa-miRNA-483-5p和hsa-miRNA-16为检测目标,通过比较Trizol法和Trizol+酚/氯仿法的miRNA提取效率和qPCR检测结果,应用正交试验选择出最优实验方案.结果表明血清miRNA的最优提取方法为:血清用DEPC水4倍稀释,离心条件为4℃,12 000r·min-1,离心时间为10min,Trizol法提取.     

环境规制政策与公共健康——基于环境污染的中介效应检验

为了探究环境规制政策对于环境污染及公共健康的影响,本文基于我国1978至2013年颁布的976条环境规制政策,利用从政策属性力度、政策内容力度两个维度对我国环境规制政策进行量化的数据,构建了针对环境规制政策效果的计量模型,通过将中介效应检验方法引入环境健康经济学分析,检验了环境污染对环境规制政策与公共健康的中介效应.研究结果表明:环境规制政策对公共健康具有促进作用;我国总体的环境规制政策对于防治环境污染产生了一定程度的积极效果;环境规制政策通过对环境污染显著的部分中介效应进而对公共健康产生了促进作用.本研究基于总体环境规制政策文献量化角度考察的"政策-环境-健康"三维动态关系结果,阐明了环境规制政策、环境污染以及公共健康三者的影响传输路径,对于有效评估环境规制政策效果,保障环境质量以及公共健康的可持续提升具有理论借鉴价值.     

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

针对传统混合动力汽车控制方法不考虑已知道路交通信号灯信息对车辆能量管理影响的问题,提出了基于交通信号灯信息的混合动力汽车节能预测控制智能优化策略。通过建立混合动力汽车系统的简化模型,并采用连续广义最小残量方法求解模型预测控制问题。运用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方法分析了雷电流的频谱分布     

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

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

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

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