面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

基于KAUTZ模型的预测函数控制及其稳定条件

对模型未知的系统采用Kautz函数逼近得到系统的近似模型.基于所得到的Kautz模型设计了一种预测函数控制器.对该算法进行了稳定性分析,依据Lyapunov稳定性定理得到了保证闭环控制系统稳定的充分条件.仿真实验证明,该算法能够准确逼近真实系统模型,实现自适应控制,得到满意的控制效果.     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

平纹编织复合材料层板维修的挖补角度优化分析与试验验证

鉴于平纹编织复合材料的广泛应用与该类型层板维修研究的缺失性,研究针对一系列不同修补角度的平纹编织复合材料层板维修工况,进行了三维有限元模型分析计算与试验验证,得到结论如下:修补角度的选取对于恢复强度的影响极为明显。研究使用的平纹编织复合材料层板结构最佳修补角度为4°,最大强度修复率达到了66.98%;分析采用的三维有限元修补模型得到的强度计算值与试验数据基本吻合,说明该计算模型能够满足维修设计的需求,为实际修理提供较好的维修指导。     

翼面升力系统

本系统克服了目前普遍采用的前橼缝翼容易引起大迎角的缺点。前橼缝翼安装在机翼前端,其产生的升力不过重心,形成力矩,使飞机上仰。翼面升力系统产生的升力与原升力方向相同,不会形成力矩,所以不会造成大迎角的问题。经过试验验证,本系统具有很强的实用性。     

基于融合特征和LS-SVM的脱机手写体汉字识别

提出的脱机手写体汉字识别系统主要研究特征提取和分类识别两个模块.特征提取模块主要包括采用基于不变矩和弹性网格技术的串行特征融合方法,所得到的特征向量不仅充分反映了手写体汉字的全局和局部特征,而且具有很强的区分表达能力.分类识别模块将神经网络多类分类策略与最小二乘支持向量机相结合,所得到的分类器不仅识别率高、泛化能力强,而且有效地解决了多类分类问题.实验证明本文提出的识别系统能够取得很好的识别效果.     

基于动态布隆过滤器的云存储数据持有性验证方法

针对现有云存储数据持有性验证方法验证效率低的问题,提出一种基于动态布隆过滤器的云存储数据持有性验证方法.首先使用同态哈希函数对云存储数据进行处理,简化客户端计算量;然后第三方验证平台使用数据块标签构造动态布隆过滤器,支持云存储数据的全动态操作;最后通过随机验证路径生成持有证据,增强云存储数据持有性验证的安全性.实验结果表明该方法可有效减少证明计算开销,提高了验证安全性和验证效率.     

从厦门PX项目到漳州古雷石化项目——基于项目利益相关方关系管理模型的案例研究

在对厦门PX项目演变为漳州古雷石化项目过程中的关键事件资料进行收集、整理和分析的基础上,运用“基于博弈模型的项目利益相关方关系管理模型”对这个案例从遭遇民众抵制到成功选址的过程进行深层次分析,以研究一个事关政府和企业发展战略的重大项目,如何借助项目利益相关方关系管理而成功实施。研究表明项目利益相关方关系管理模型（PSRM模型）可以成为政府和企业发展战略的重要实施工具。同时指出重大石化项目实施项目利益相关方关系管理时企业运作PSRM应是战略导向的。应使利益相关方具备完全信息,企业付出努力可以使博弈达到企业需要的均衡。     

一种指纹特征识别的可信验证数字签名系统

针对云计算定制和交付两个出入口的安全问题,提出一种以可信云安全计算为支撑,基于传统密码学数字签名技术,设计了以生物指纹特征为可信计算的验证数字签名技术模型。首先利用二值化和细化算法生成1个像素宽度纹线的指纹图像数学模型框架,提取框架中的指纹特征点,进行数字指纹特征点的拓扑结构等价变换,并进行非对称加密,实现了基于指纹特征识别的可信验证数字签名信任根。结果表明该方法具备生物特征"零知识"验证特点,具有抗攻击性强、加解密运算速度快的优势,从而提高可信云-端的用户安全防御能力。     

基于二维浅水方程的溃坝水流数值模拟

针对溃坝水流的特点, 提出了一种基于二维浅水方程的数学模型, 对溃坝水流进行数值模拟研究. 模型采用二阶leap-frog格式和一阶迎风格式相结合的有限差分格式进行数值离散, 计算网格采用时间和空间交错网格. 在模型建立完善的基础上, 对模型进行一维和二维的数值验证, 主要算例包括:下游有水的溃坝洪水理论解, 带有三角形障碍物的一维溃坝模型试验以及二维溃坝数值模型试验. 通过与理论解和实测值比较, 结果表明模型具有良好的稳定性以及模拟间断水流和处理动边界问题的能力.