基于信息摘要技术的动态网页COOKIE欺骗的防范方法研究

动态网页生成技术是基于B／S体系结构应用的基础技术手段之一。在B／S体系结构下，常用于保存会话信息的手段是COOKIE技术。由于Cookie允许客户端读写访问。所以存在会话信息被客户端篡改的可能，从而使服务器受到客户端的欺骗。这一欺骗在一定程度上危害基于B／S体系结构系统的信息安全。本文从网络安全理论着手，探讨了利用信息摘要技术，通过散列函数摘取出固定长度的信息摘要进行加密、解密和比较验证，实现防止动态网页中会话信息被客户端篡改之目的。     

空中受油管的绕流特性研究

空中加油是提高飞机航程、活动半径的重要方法。通过对四种固定受油管的数值模拟，从流动特性的改进方面说明了合适的截面及倾角会降低受油管绕流的压力脉动，进而使噪声降低。     

FDP数据库维护

Telephonics系统FDP(飞行数据处理器)采用客户／服务器数据库和开放式结构环境的处理技术，提供有效的平台，提供一系列的空中交通管理和系统维护功能。其主要功能有：实现飞行计划的自动生成，飞行计划与航迹自动相关，进程单的自动打印，自动收发起飞或落地报和管制权限的自动移交等一系列空中交通自动化管理。     

NASA航天飞机遥测数据的维特比译码器

用于处理航天飞机遥测数据的数据通信系统已在新墨西哥白沙靶场这里的遥测主控站JIG-56中建成。因为航天飞机数据进行了卷积编码,因此该数据系统需要Viterbi译码器。但是航天飞机采用的是非标准码,过去勾空间飞行器提供译码器保障的工厂已不再生产这些译码器。由于没有其他公司为航天飞机数据译码设计Viterbi译码器,为此研制了这种所需的译码器。本文叙述了这种译码器的性能要求及其设计。     

P2P随机图的一种遍历改进算法

论文通过对随机有向图(n,k)广度优先遍历算法的改进,提出了一种改进型的拓扑遍历算法,从而加快P2P网络中拓扑生成的速度。同时验证了在拓扑生成中如何通过选择根跳距最大限度地加快遍历的速度,使拓扑图的时间较短,避免造成生成拓扑的图的强连通性。     

基于专家系统的飞控计划自动生成中的冲突消解

本文针对载人航天飞行试验飞控计划自动生成中存在的冲突问题，提出通过建立对基于专家系统的飞控计划中事件执行主体设置不同优先级的冲突消解策略，以及该冲突消解策略的形式化生成、表示、执行，最终成功解决载人航天飞控计划的冲突问题。在载人航天系统的模拟试验中，证明该方法能高效动态生成飞控计划。     

Banach空间中算子余弦函数的一个特征

本文主要研究Ｂａｎａｃｈ空间中算子余弦函数与二阶无阻尼方程的Ｃａｕｃｈｙ问题之间的某些关系,借助于此类Ｃａｕｃｈｙ问题的解的存在性与唯一性,给出算子余弦函数无穷小生成元的不同于Ｈｉｌｅ－Ｙｏｓｉｄａ型特征的另一个特征。     

灰色系统理论中二维数据序列均值生成的讨论

灰色系统理论中非等时序序列或含有空穴的序列,通常可以用均值生成方法来填补,生成等时序序列。本文研究发现,用非紧邻均值生成方法生成的内点与实际存在有明显的误差,为此讨论了均值生成和有偏生成算法。利用数据序列点的局部凹凸特性来表示数据序列点的特征,提出了采用数据序列点连线的状态选取生成系数的方法。通过对一维数据序列传统均值生成方法的比较,给出了二维数据序列的定义,讨论了在二维数据序列下的均值生成方法,提出了有偏生成算法中生成系数分解的选取方法。