【摘 要】
：
本文定义了离散KP(dKP)系列的多次规范变换算子Tn+k,其中涉及两种基本类型的规范变换算子.进一步,我们建立了算子Tn+k的行列式表示,并利用该表示从一个初始的dKP系列的τ△函数出发,得到了经过多次规范变换后的dKP系列的τ函数τ△(n+k).在这一过程中,我们引入了广义的离散Wronskian行列式,并且证明了离散差分算子的一些有用的性质.
论文部分内容阅读
本文定义了离散KP(dKP)系列的多次规范变换算子Tn+k,其中涉及两种基本类型的规范变换算子.进一步,我们建立了算子Tn+k的行列式表示,并利用该表示从一个初始的dKP系列的τ△函数出发,得到了经过多次规范变换后的dKP系列的τ函数τ△(n+k).在这一过程中,我们引入了广义的离散Wronskian行列式,并且证明了离散差分算子的一些有用的性质.
其他文献
在分析现有属性证明问题的基础上,基于在线可信第三方属性证明模型提出了一种基于TCM安全芯片的属性证明协议.协议中证明方利用颁发的属性证书、TCM芯片产生的配置承诺及其签名,使用零知识证明协议向远程验证方证明配置状态符合平台所声明的安全属性.该协议具有签名长度短、计算量小等特点,并且在Random Oracle模型下证明了该协议的安全性.基于TCM的属性证明协议有助于TCM安全芯片的应用扩展和标准完
可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机
在高速骨干网环境中,由于受到计算和存储资源的限制,准确、及时地识别大流量对象对于检测大规模网络安全事件具有重要意义.文中使用相对流量大小定义大流,即对于一个给定的阈值φ(0<φ<1),将所有与链路实际传输总流量的比值超过φ的流定义为大流.在该定义下,大流量对象的识别问题等价于带权值数据流中的频繁项挖掘问题.由于骨干网链路速度快,对单个数据包的处理必须在纳秒级完成,因此对算法的实时性要求更高.在带权
基于图像最优小波包分解,提出了一类具有较高检测正确率的信息隐写通用型检测方法.首先基于Shannon熵计算信息代价函数,对图像进行最优小波包分解,并从分解得到的子带系数以及图像像素中提取直方图特征函数多阶绝对矩作为特征,然后对提取的特征进行预处理并设计BP神经网络分类器进行分类.针对不同的背景和应用环境,文中给出了3种不同的检测算法.针对LSB、PMK、LTSB、Jsteg、F5及JPHide等典
针对现有很多(半)脆弱音频水印算法采用二值图像作水印所存在的安全缺陷问题,以及基于内容或特征的第二代数字水印技术所存在的适用范围有限,部分特征点易被水印操作和信号处理所淹没的问题,提出了一种新的基于质心的混合域半脆弱音频水印算法,推导给出了客观评价水印不可听性的信噪比理论下限,并理论分析了水印嵌入容量和篡改检测能力.该算法对每个音频帧计算质心并实施密码学中的Hash运算生成水印,将水印加密后在DW
经过十年的发展,不管是白领还是学生,无论是个人需求、企业需求,还是军队政府应用,U盘已成为普及率最广、便携性最好、用户满意度最高的必备移动存储产品。
随着信息化的不断发展,网络不断延伸、应用不断升级,各级政府、行业、各型企业的各项工作逐步依赖计算机和信息系统,办公信息化应用对网络的依赖越来越明显。与此同
微软新操作系统Windows7一面世,就当之无愧成了话题之王。围绕着Windows7诸如人性化设置、新功能体验、设计缺陷等一系列的话题讨论尚未降温,有关Win
随着计算技术与网络技术的飞速发展,人们提出在互联网之上构建和谐、可信、透明的虚拟计算环境.通过覆盖网动态组织互联网资源是在虚拟计算环境中实现资源有效共享的重要途径.基于DHT的覆盖网技术具有可扩展、延迟低、可靠性高等优点,然而,虚拟计算环境中现有的DHT覆盖网无法满足互联网应用的"可信"需求.针对该问题,文中提出一种虚拟计算环境中的嵌入式DHT技术TrustedSKY,支持上层应用在覆盖网中选择可
我们将证明T2上通有的测地流在通有的周期势能的扰动下无界轨道的存在性.和前期已有的工作不同,这里所得到的轨道不需要充分大的初始值.