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