协议一致性测试数据包的构造与解析

数据包的构造与解析是协议一致性测试中的关键技术。在对协议一致性测试原理、特点和流程进行分析的基础上,定义协议一致性测试中的相关概念,建立协议一致性测试中的相关规则,提出一种数据包的构造、发送、捕获和解析的方法,设计数据包构造、发送、捕获和解析算法并对其进行分析。数据包构造算法可依据协议标准规定的消息格式,为每个数据包字段依次赋值;数据包发送算法是通过网络适配器,根据待发送数据包的名称、类型和发送序列,实施数据包的发送;数据包捕获与解析算法是通过网络适配器捕获原始数据包,设置并编译过滤规则,对捕获到的数据包按照协议标准说明进行解析,与预期构造的数据包进行比对。由于设置了过滤规则,有针对性地捕获数据包,因而,提高了数据包的捕获准确率。     

输入验证漏洞检测中的疑点标记和传播方法研究

研究基于静态污点分析技术可用于输入验证漏洞检测的疑点分析方法以及疑点标记和疑点传播路径问题,定义疑点源、疑点传播路径概念和疑点属性的4个状态,制定疑点属性状态间的转换规则,设计疑点源标记与疑点传播路径获取算法.实验结果表明,该方法能够较准确地标记程序中的疑点源并获取其在程序中的传播路径.     

全息宇宙预加热的准正态模式和全息重正化（英文）

在宇宙预加热的全息理论描述中,暴胀子与物质场之间存在强耦合环境中的能量交换,这一过程可以由渐近反德西特(AdS)时空中的弗里德曼-罗伯逊-沃克(FRW)边界上的超流体和超导体的正态分量来模拟.研究了全息预加热理论图像的两个动力学性质.首先,详细研究了围绕亚稳态毛状黑洞的准正态模式(QNM)的动力学演化.这种分析可以定量地描述在强耦合情况下连续产生的物质场的预加热过程.其次,对AdS-FRW背景的全息重正化过程进行了详细分析,这使得我们能够读取可以作宇宙学应用的物理算符期望值.     

全息预加热宇宙学模型（英文）

提出了一个存在强耦合的宇宙预加热过程的全息理论描述.在这一描述下,极早期宇宙中的暴胀子与物质场之间的能量交换可以通过一个全息超导模型来模拟实现.其中,预加热过程的物质场会经历近乎于指数放大,而这正好可以用边界扩展的整体时空中的亚稳态"黑洞"的准正态模式来刻画.我们的结果揭示了,物质场可以在强耦合环境中连续产生,这与弱耦合情况是截然不同的.此外,在强耦合下的物质场放大对暴胀子真空期望值的依赖性增强.基于我们所提出的理论机制,暴胀结束后尚处于极高温度下的极早期宇宙很可能是可以被探知的.