Bent函数偶侣与Bent互补函数偶族的构造方法

在提出一类新的类Bent函数——Bent互补函数偶族的概念基础上，进一步研究了Bent互补函数偶族的构造方法，通过提出Bent函数偶侣的概念，运用具有这种特殊关系的两个Bent互补函数偶族，采用递归的方法，可以用低维Bent互补函数偶族递归构造出高维Bent互补函数偶族，丰富了Bent互补函数偶族的构造方法，扩大了Bent互补函数偶族的可选取范围。     

Automatic Structural Synthesis for Planar Kinematic Chains Containing Higher Pairs

ＡｕｔｏｍａｔｉｃＳｔｒｕｃｔｕｒａｌＳｙｎｔｈｅｓｉｓｆｏｒＰｌａｎａｒＫｉｎｅｍａｔｉｃＣｈａｉｎｓＣｏｎｔａｉｎｉｎｇＨｉｇｈｅｒＰａｉｒｓＺｈａｎｇＰｅｉｙｕ（张培玉），ＪｉｎＤｅｗｅｎ（金德闻），ＬｉＧｕｉｘｉａｎ（李瑰贤）＋，ＨｕａｎｇＣ...     

非相干作用下暗孤子对的解析解

从描述非相干暗孤子对传输特性的耦合非线性薛定谔方程出发,给出其Lax对,运用Backlund变换导出了两非相干暗孤子解的表达式,然后作图讨论了两孤子能量的变化特性.研究结果表明传输过程中两孤子的能量在时间和空间上都出现周期性的振动.     

群组中实现的量子零知识证明

零知识证明是指证明者使验证者确信证明者拥有某一个秘密值,而证明者没有向验证者泄漏关于该秘密值的任何有用信息.其优点是在证明了自己身份的同时,还确保了有用信息不泄露,有效防止了他人冒充.经典的零知识证明均是基于计算复杂性的.用量子安全通信的传输方式,设计了一套在群组中实现的量子零知识证明方案.     

基于MC/DC的测试用例优先级算法研究

回归测试过程往往需要执行大量的测试用例。为减少回归测试工作量,可以使用测试用例优先级技术。介绍了MC/DC测试用例优先级算法,通过对MC/DC测试用例集中的测试用例进行优先级排序,使高优先级测试用例比低优先级测试用例在回归测试过程中优先执行,可以更早地发现软件错误和满足代码测试充分性要求,减少回归测试的工作量。     

通过粒子重排序实现量子安全直接通讯

量子安全直接通讯是对秘密信息的直接通讯,而不需要先制造一个分享的密钥.这种方案可以用于一些紧急的情况.利用粒子重排序的方法来实现量子安全直接通讯.此方案无需进行幺正操作,比ping-pong协议更为简便.而且该方案被证明在理想信道中是安全的.     

关于拟 Frobenius 余环

定义并研究了拟 Frobenius 余环,证明了下面几个等价条件:C 是拟 Frobeniua 余环;AC有限生成投射模,并且 l:A→˙C 是 Frobenius 扩张;CA 有限生成投射模,并且l:A→C˙是 Frobenius 扩张;忘却函子Ur:Mε→MA是拟 Frobenius 函子;(G1,U1)与(Gr,Ur) 都是拟左 Frobenius 函子偶;忘却函子Ul:εM→AM 是拟 Frobenius 函子.     

籼稻93-11和粳稻日本晴DNA插入缺失差异片段揭示的水稻籼-粳分化

碱基的插入/缺失(InDel)引起DNA序列变化并形成了DNA片段长度多态,可以用作遗传标记.为了评价基于籼稻93-11和粳稻日本晴全基因组序列比对获得的差异片段而设计的InDel引物在鉴定籼稻和粳稻两种生态型以及研究稻属不同物种之间亲缘关系的意义,采用45对InDel引物,对来自亚洲10个国家的49份籼稻、43份粳稻品种和24份野生稻进行了检验.结果表明,其中41对InDel引物鉴定籼稻或粳稻品种的准确率高于80%.主成分分析散点图显示:籼稻与粳稻存在明显的遗传分化;含AA基因组的野生稻物种与籼稻品种存在较近的亲缘关系;非AA基因组的野生稻物种不存在明显的籼-粳分化.并且证明了基于籼稻93-11和粳稻日本晴全基因组序列比对获得的InDel差异片段设计的引物可以用于栽培稻籼稻和粳稻品种的鉴定以及籼-粳分化问题的研究,及探索稻属不同物种间的亲缘关系.     

Altman型映象的公共不动点

在完备度量空间中,利用映象对相容和次相容的条件证明了Altman型4个映象的公共不动点定理,改进和推广了已有的相关结果．     

序列偶设计研究综述

序列偶作为一种最佳离散信号在扩频通信、雷达、声纳、导航、电子对抗、遥测遥控、信息加密等众多领域有广泛的应用前景.构造序列偶的研究也能促使组合设计新概念和新理论的产生.本文对序列偶的性质、构造方法、应用的数学工具以及现阶段取得的研究成果进行了综述,并指出了序列偶研究领域未来的发展方向.