基于可信计算的防网络欺诈认证方案

由于大部分用户没有用户证书,在不安全网络环境中,基于用户名/口令的远程用户认证是最为常见的认证方式.正是基于这一点,许多攻击方式才得以成功实施.在分析了当今主要网络欺诈的方法和现有密钥保护机制的基础上,提出一种基于可信计算技术抵御网络欺诈的认证方案.该方案结合使用了可信计算保护存储机制、证书链、口令分割等多种技术,即使用户名/口令被盗,仍然能保证用户的认证安全.分析结果表明了该方法能有效抵御网络欺诈攻击.     

含随机穿越特征指标的离散系统满意估计问题

当待估量的期望值是一个有界区域时, 对待估量穿越目的域边界问题进行了讨论. 通过对离散估计系统的区域极点、随机穿越特征量等指标的相容性进行分析, 给出了一种满足多指标要求的满意待机估计策略, 并设计了基于双线性矩阵不等式组(BMIs)的求解算法. 所给出的待机估计策略可保证待估量在目的域内平均滞留度满足一定的指标, 同时相对目的域边沿的平均穿越周期尽可能小, 从而达到了待估量在目的域内、外的时间分布更加均匀 的目的. 数值算例说明了所设计的估计策略满足多指标要求.     

一种基于同步树替换文法的统计机器翻译模型

提出一种基于同步树替换文法的机器翻译模型.相对于基于短语的模型,此模型可以对远距离结构性调序和非连续短语翻译进行建模;相对于基于同步上下文无关文法模型,此模型可以对任何层次上的树节点调序进行建模.因此,该模型可以为处理语言结构间的异构对应问题提供有效的解决途径. 在两组风格差异较大的数据集上进行的实验均验证了基于同步树替换文法的模型相对于基于短语模型和基于同步上下文无关文法模型的稳定优势.     

头驱动句法分析中的直接插值平滑算法

在头驱动句法分析模型下,基于经典插值平滑算法,提出了以统计空间中平均事件数为基础的直接插值平滑建模原则,并应用经典的误差理论分析了该原则的合理性.基于该原则并借鉴语言模型中其他插值平滑算法对模型的零点进行假设的方法,在头驱动句法分析模型下,重新构造了4种平滑算法.实验数据显示,新平滑算法在高于经典平滑算法性能的同时,显著降低了自由参数的扰动程度,从实验的角度证明了该平滑建模原则的有效性.     

系留气球压差与球体应力变化关系研究

针对系留气球球体压差变化和球体应力变化之间的关系进行研究.对球体受力情况进行简化,采用微元受力分析的方法进行应力分析,得出球体应力的理论解.采用有限元软件对无附加结构的球体进行应力分析并同球体应力的理论解进行对比,验证了有限元软件计算结果的可靠性.利用有限元方法在不同压差情况下对球体应力进行分析,确定了其高应力区域的范围和数值.需要指出的是采用膜单元比采用通常的薄壳单元进行应力分析更贴近实际情况.上述结果为球体气囊的结构设计、强度设计提供依据.     

典型炼油装置数据校正技术的研究

化工过程测虽数据作为反映装置运行状况的特征信息,是实现计算机过程控制、模拟、优化和生产管理的基本依据.研究过程数据校正技术,对实现装置优化控制与管理具有重要理论意义和现实意义.现有理论研究大都采用传统统计检验和线性化处理方法,在实际应用有较大局限性.本文在对已有数据校正技术分析的基础上,提出将修正的时间序列分析法用于测量数据校正.综合考虑数据的窄间冗余和时间冗余,充分利用过程的历史数据,建立了时间序列概率模型,并针对含随机误差数据和含过失误差数据两种情况,从时序法平均值、阶跃过程模型等方面详细探讨数据校正方法.将新的数据校正方法用于典型常减压蒸馏装置,结果表明,新方法能够侦破出数据中含有的过失误差;校正值与真值的平均偏差非常小,具有足够的精度保证数据的准确性;修正的时间序列分析法用于数据校正能克服传统方法的局限性.     

基于非结构化控制流的进化测试方法

结构性测试中,进化测试是一种高效的自动生成高质量测试用例的技术.然而,当程序中出现非结构化特征时,在面向节点的测试标准下,其效率极其低下甚至不及随机测试生成方法.在考虑循环体内部出现跳转(goto、retum)语句的情况下,提出了一种适应度计算方法.该方法在结合传统进化测试适应度计算的基础上,充分考虑了循环次数对于进化搜索的影响.实验结果表明,本适应度函数可以很好地引导进化搜索,并以较小的代价生成测试用例.     

永磁同步电机空间矢量控制方法设计实现

针对永磁同步电机结构复杂、模型非线性从而导致难以控制的问题,通过推导建立了其基于矢量控制下的简化的数学模型,仅通过控制电机交轴电流就可对其进行控制.在此基础上,对交轴电流进行调节,将其转换为基于两相静止坐标系下的电压矢量,设计了以两相静止坐标系下的参考电压作为输入变量的空间矢量控制方法,借助于数字信号处理器(DSP)的强大功能对系统进行实现,给出了所设计的硬件结构图及软件流程图,并进行了仿真验证,且效果良好,证明了所建模型的正确性和系统的可行性.     

一种基于完全独立集的排课算法

班级、教师、课程、教室、时间是课表的基本要素,通过把排课转化为求图的完全独立集,解决了时间冲突问题和合班课问题;根据教室资源限制,对独立集的个数和大小进行控制,解决了教室完全匹配问题和一门课程的不同教室安排问题.为实现排课软件提供了一个面向实际的算法.     

云数据中心时延优化的数据放置方法

针对云数据中心数据获取效率低和服务器资源浪费问题,为优化云平台的数据访问和资源利用,文中提出了一种时延优化的云数据中心数据放置（LOP）方法。文中首先分析了云平台的性能,建立了云平台的资源利用和数据获取时间模型。然后基于非支配排序算法NSGA-Ⅲ实现了全局最优的数据放置策略,对数据资源进行合理部署,有效利用服务器的资源,提高了数据获取的效率。最后通过CloudSim仿真平台,对提出的数据放置方法进行了仿真和对比实验。实验结果表明,LOP方法能明显提高云服务器的资源利用率,缩短任务的数据获取时间。