基于黎曼流形的MIMO雷达目标检测方法

针对样本数少时不能用样本协方差代替统计协方差的问题,提出了一种基于黎曼流形的单基地MIMO ( Multiple-Input Multiple-Output) 雷达目标检测新方法。该方法利用拓普利兹-厄米特正定( THPD: Toeplitz- Hermitian Positive Definite) 矩阵会在信号空间形成黎曼流形的特点,通过burg 递推法分别生成单快拍下接收信 号和噪声的THPD 协方差矩阵,并计算噪声THPD 协方差矩阵的黎曼均值,将其与接收信号THPD 协方差矩阵 之间的黎曼距离作为检测统计量。该方法可增加黎曼流形上接收信号与噪声间的差异性。仿真结果表明, 与传统的基于欧几里得距离的检测方法相比,显著提高了低信噪比和单快拍下的目标检测性能。     

基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。     

盐生杜氏藻核糖体蛋白L38部分cDNA的克隆及分析

从盐生杜氏藻(Dunaliella salina)中，克隆到L38蛋白的部分cDNA序列及完整的CDS，由生物信息学分析发现与L38家族其它成员高度同源，证明该家族在进化上的高度保守性，为研究真核生物核糖体蛋白的重要补充．     

利用天然油体纯化原核表达蛋白的方法研究

以脂肪酶为例,探索一种利用天然油体纯化原核表达蛋白的新方法.将已经构建的脂肪酶和油体蛋白基因的融合表达载体(pET32a-Jco2-Xa-LipA),在大肠杆菌BL21(DE3)中表达.提取植物天然油体在超声条件下与原核表达蛋白重构,由于油体蛋白的强疏水性和脂肪酶亲水性特性可以使得油体标记的脂肪酶固定在油体的表面.通过Factor Xa消化油体蛋白和脂肪酶之间的链接Linker后,通过离心分离,可快速实现脂肪酶的纯化.     

标准模型下可证安全的动态短群签名方案

目前的群签名方案在性能及安全性方面均不同程度存在问题,因此基于BSZ群签名模型提出了一种在标准模型下可证安全性的动态短群签名方案.利用子群判定假设、l-SDH假设以及Groth-Sahai证明系统构建了该方案,并在标准模型下给出了验证的安全性证明,证明提出的群签名方案具有匿名性、可追踪性和不可诬陷性.最后,分别在安全性及性能两个方面与其他群签名方案进行了比较,结果表明提出的群签名方案要优于其他方案.     

一种基于同多钼酸盐支撑化合物{[Zn（phen）2]2(γ-Mo8O26)}的合成及其结构表征

本文采用非水热法合成了一个基于同多钼酸盐支撑的化合物{[Zn(phen)2]2(γ-Mo8O26)}(phen=1,10-phenanthroline),并采用红外光谱、热重分析以及单晶X射线衍射等方法对此化合物进行了表征。结果表明,目标化合物{[Zn(phen)2]2(γ-Mo8O26)}中包含一个[γ-Mo8O26]4-阴离子基团与两个[Zn(phen)2]2+配位单元;该化合物通过C-H...O氢键把phen和[γ-Mo8O26]4-阴离子紧紧连接起来,形成了一个三维的超分子结构。     

两个经济模型中的数学推导问题

某些西方经济学文献在运用数学建模进行论证分析时,由于没有理清一些数学变量关系在经济上的含义,从而造成逻辑混乱或数学工具的错用,并由于其一定的隐蔽性,可能对读者造成相当程度的误导.首先分析国内颇具影响的文献[1]中两个数学模型中的推导问题,一个是关于要素供给模型的构建和推导,另一个是关于一般均衡条件的推导.然后指出文献[2]中一个严重的数学错误,在分析其错误根源的基础上,一并给出了相应的解释和修正.     

元胞机制下机坪机会网络缓存控制策略

针对机坪感知机会网络中节点缓存空间的限制导致的数据拥塞问题,提出元胞演化规则下机坪机会网络缓存控制策略(ACER).建立基于节点拥塞度的路由通信模型,对节点拥塞度进行判断,在拥塞度较低节点中进行基于概率的数据路由通信,对于拥塞度较高的节点使用元胞自动机的消息丢弃策略,有效地缓解了因数据拥塞产生的网络投递率低等问题,使节点负载均衡地进行数据传输.基于机会网络环境(ONE)仿真平台,采用天津滨海国际机场地图来进行试验,进行不同节点数量下、不同缓存空间下的算法性能分析.结果表明,在机坪网络仿真环境中,不同节点数量以及不同缓存空间下,相对DY、DL缓存管理策略,ACER投递率最高提高97%,网络开销最多可降低70%,并且传输时延具有一定程度的改善.