基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

观察裂纹路径及组织演变的SEM样品制备方法研究

本试验利用SEM和电阻炉研究一种SEM样品的制备方法,用于观察裂纹路径,并分析断裂后的显微组织变化。结果表明:通过浸镀焊锡,能够在不同断裂方式形成的裂纹轨迹上形成一条明显的"纯锡带",呈现出裂纹路径。同时该方法能够观察分析拉伸、冲击、断裂韧性及疲劳断裂等过程中产生的二次裂纹路径及断裂表层下的组织演变。     

DS-SS/EBPSK调制的码分多址研究

为了实现直序扩频扩展的二元相移键控(DS-SS/EBPSK)调制的多址通信,研究了一种DS-SS/EBPSK调制的码分多址实现方法.首先对DS-SS/EBPSK调制信号进行分析,公式化表述了DS-SS/EBPSK的调制过程,得到了可用于解扩和码分多址的等效扩频序列;在此基础上,设计了相关接收机对DS-SS/EBPSK调制信号进行检测,利用不同用户扩频序列互相关很小的特点实现多址传输;最后以m序列为例,仿真了期望用户的误码性能与用户数量和m序列周期长度的关系.仿真结果验证了此种码分多址实现方式的可行性,同时也表明多用户的于扰程度取决于扩频序列之间的互相关性.     

CO-OFDM系统中基于卡尔曼滤波对相位噪声补偿算法的研究

基于卡尔曼滤波提出了两种相干光正交频分复用(CO-OFDM)系统的相位噪声补偿算法,这两种算法在发射端的时域均插入导频,并在接收端对导频进行卡尔曼滤波,最后利用插值算法补全全部子载波的相位噪声.仿真结果表明,基于最小均方误差(MMSE)准则的判决反馈算法在相位噪声比率为10-1时,系统误码率约为10-4,并且出现了错误平层,而基于卡尔曼滤波所提出的两种相位噪声算法在大相位噪声的情况下仍然具有较好性能且能有效地降低错误平层,因而所提出的相位噪声补偿算法能改善CO-OFDM系统的性能.     

户外转播系统扩展技术研究

户外转播时,由于场地大、机位需求多等原因常需增加讯道。本文对扩展时视频、音频、通话等层面的接口、信号、协议等技术问题进行了研究。其中视频系统扩展主要涉及到切换指示和源名跟随的问题。通话系统的扩展需要处理好针脚的对应和接口类型的匹配。描述了光级联系统在系统扩展实现中的作用,结合我台的实际户外转播工作介绍了这些技术的应用。     

扩展目标GMPHD滤波器的航迹维持算法

概率假设密度(PHD)滤波器提供了各目标在每个时刻的状态信息,但未形成航迹。该文提出了扩展目标高斯混合PHD(GMPHD)滤波器的航迹维持算法。首先对后验概率强度的每个高斯分量添加标签;其次在后验概率强度随着时间进行演化时,标签也随之演化;并通过航迹管理方案为扩展目标提供航迹。为提高GMPHD滤波器性能,提出了自适应的量测集划分法。最后通过仿真验证了提出算法的有效性。     

近太赫兹频段功率源技术发展与应用

太赫兹辐射源是太赫兹技术应用的基础。简要介绍了太赫兹辐射源的类型和发展现状,重点论述了近太赫兹频 段功率器件,主要包括折叠波导行波管、扩展互作用速调管、回旋管、返波器件等。分析了不同应用场景对太赫兹功率 器件的需求,论证相关器件在雷达、预警探测、航天测控等国防装备领域系统的应用。     

平面结构4H-SiC BJT击穿特性及终端技术研究

4H-SiC双极晶体管（BJT）主要应用于大功率器件,器件的阻断特性是最重要的性质之一,因此提高器件的耐高压能力非常重要。国内外的高校和研究机构在SiC器件击穿特性的研究方面进行了大量研究。但是目前绝大多数研究都是基于垂直型4H-SiC BJT,而对于平面型4H-SiC BJT击穿特性的研究相对较少。本论文对采取结终端扩展(JTE)和浮空场限环(FFLRs)两种基本结终端结构的平面型器件的击穿特性和击穿机理进行了比较和分析,并在此基础上进行了器件结构优化设计。     

基于单个CCCCTA接地回转器的系统综合

为综合基于CCCCTA的接地回转器,根据CCCCTA的零-镜模型和接地回转器的节点导纳矩阵,利用节点导纳矩阵扩展法,我们实现了4个相互等效的接地回转器。导出的回转器具有两个特点,一个是通过调节CCCCTA的偏置电流,可以电控调节回转器的参数; 另一个特点是电路仅使用单个CCCCTA。作为一个例子,通过使用导出的回转器之一,我们实现了一个极点频率为1.274MHz、品质因素为4的带通滤波器。计算机仿真证明所导出的电路正确有效。     

思特奇为未来BOSS系统建设提供完美样本

近日,伴随着安徽移动云化BOSS系统项目的最后一个地市集群——合肥集群的成功割接上线,至此,由思特奇承建的安徽移动BOSS云化项目实现全面上线并投入生产运行。安徽移动云化BOSS系统建设以高稳定性、高系统弹性和高系统可维护性作为目标,搭建了新一代的云化BOSS系统。实现了业务系统功能池化、服务标准化和应用的服务化,达成了数据、应用和服务可水平弹性扩展的目标。同时将模块中的数据访问方式标准化,使数据从应用中分离出来集中存储,做到应用的无状态和数据高一致性。基于分布式内存库,封装业务能