基于导频辅助的预编码连续相位调制(CPM)信号精确同步算法

针对连续相位调制(continuous phase modulation,CPM)信号同步问题,提出一种基于导频辅助的位定时与载波同步算法?导频信号由伪随机码构成,采用二进制预编码连续相位调制,在不破坏恒包络特性的基础上同时保留其伪随机特性?利用该导频信号可以实现位定时误差?载波频偏?相偏各参数并行独立估计?算法首先推导出同步头相关函数的闭合表达式;然后利用相关函数的单峰特性,通过搜索第1大和第2大采样值,实现对定时误差?相位误差的精确估计,并利用相位估计值通过差分计算实现对频偏的估计;最后通过计算机仿真,给出了该算法关于定时?相位?频偏估计的抗噪性能和估计范围 ? 结果表明,该算法在加性高斯白噪声信道中具有良好的性能,各同步参数在估计范围内和较低信噪比条件下能够接近修正的克拉美罗(modified Cramer-Rao bound,MCRB)?     

DR-Cloud: Multi-Cloud Based Disaster Recovery Service简

With the rapid popularity of cloud computing paradigm, disaster recovery using cloud resources becomes an attractive approach. This paper presents a practical multi-cloud based disaster recovery service model： DR- Cloud. With DR-Cloud, resources of multiple cloud service providers can be utilized cooperatively by the disaster recovery service provider. A simple and unified interface is exposed to the customers of DR-Cloud to adapt the heterogeneity of cloud service providers involved in the disaster recovery service, and the internal processes between clouds are invisible to the customers. DR-Cloud proposes multiple optimization scheduling strategies to balance the disaster recovery objectives, such as high data reliability, low backup cost, and short recovery time, which are also transparent to the customers. Different data scheduling strategies based on DR-Cloud are suitable for different kinds of data disaster recovery scenarios. Experimental results show that the DR-Cloud model can cooperate with cloud service providers with various parameters effectively, while its data scheduling strategies can achieve their optimization objectives efficiently and are widely applicable.     

一种新型的四阶精度分段三次插值

针对第一边界条件和周期边界条件的插值问题,给出了一种新的导数恢复格式,并用能量估计法证明了导数恢复格式按照离散L2范数具有四阶收敛精度.利用节点值和恢复出的导数值构造了一种新型的四阶精度分段三次插值函数.数值算例验证了理论分析的正确性和插值函数的实用性.     

基于负荷均衡的配电网供电恢复软件设计

建立了负荷均衡数学模型,提出了以配电线路负荷均衡为目标的供电恢复软件的设计方法．该软件从配电自动化、配电网生产管理等自动化系统获取配电网运行数据和参数数据,通过在线计算故障关联区域的负荷均衡,提供供电恢复方案．将该故障恢复软件应用于KH-8000P主站系统,可使计算得到的供电恢复方案在主站系统的人机界面上显示,为调度人员提供技术参考．     

矩阵广义逆硬阈值追踪算法与稀疏恢复问题

本文通过引入支撑集捕获基数及MP广义逆,提出了一种用于稀疏恢复问题的矩阵广义逆硬阈值追踪算法,并在观测误差存在的情况下给出了算法在约束等距条件(RIP)下的收敛性.数值实验表明,算法不仅极大地减少了收敛所需迭代次数,且观测误差存在的情况下稀疏恢复是强健的.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

服役透平叶片GTD111 DS合金再热恢复研究

以服役透平叶片GTD111 DS定向合金材料为研究对象,采用光学显微镜和扫描电镜对简单再热恢复处理前后的叶片材料微观组织进行观察,并对合金材料显微硬度进行测试,研究再热恢复参数对γ'相(主要沉淀强化相)特征的影响规律,评估恢复态叶片材料的组织和性能.结果表明:固溶温度、冷却速度、时效温度和时间是再热恢复处理的关键参数;合适温度下的固溶处理可有效溶解粗大形变γ'相,并重新析出细小均匀的二次γ'相,同时避免初熔和再结晶;两级时效处理可优化双尺寸形态γ'相的尺寸、体积分数和立方度.恢复处理后叶片不同部位的组织和性能分布更加均匀,二次γ'相和三次γ'相的平均颗粒尺寸分别约为440和70nm,其体积分数分别约为35%和3%,硬度值处于409～417 HV范围内,高于叶根部位原始状态的硬度值.     

广西山口红树林保护区昆虫调查

红树林是保护海岸的重要生物资源。近年来,广西山口红树林保护区管理水平持续提升,红树林生态环境得到良好保护,为各种生物生存繁衍提供了场所和食物来源。为反映保护区的生物资源现状,提供区域内生态环境质量的信息,对山口红树林保护区内昆虫资源进行采集和调查。共获得451种昆虫,分属14个目109个科,重要的危害类群与天敌昆虫均有发现,昆虫种类显著多于以往历次调查的结果。表明山口红树林保护区昆虫物种水平具有较高的多样性,反映出本区域生态环境的多样化与稳定性。     

小兴安岭小叶章湿地植物群落的物种丰富度研究

选取中国东北部高寒高纬度具有代表性的小兴安岭乌伊岭国家级湿地自然保护区为研究对象,采用样方调查法、α多样性指数分析法和多重比较分析法,研究不同恢复时间被垦小叶章湿地植物群落的物种组成结构以及α多样性的变化规律;并与天然小叶章湿地相比,综合定量评价湿地的自然恢复效果,以便为中国东小兴安岭北地区开垦湿地生态系统的恢复与重建提供依据。研究结果如下:被垦小叶章湿地的植物群落经过一段时间的自然恢复,是可以得到恢复的;而且植物群落发生了明显的群落演替,被垦小叶章湿地植被自然恢复的时间至少需要10年。不同恢复时间被垦小叶章湿地植物群落之间,及其与天然小叶章湿地植物群落α多样性指数之间的差异性较为复杂。恢复时间为5年的植物群落的α多样性与天然小叶章之间差异性明显;随着恢复时间的增加,差异性降低;恢复时间为12年的植物群落与天然小叶章之间的物种多样性已无明显差异。