一种基于高阶统计信息的信噪比估计改进算法

针对多进制正交幅度调制(Multiple quadrature amplitude modulation,MQAM)信号在低信噪比条件下估计精度不高的问题,提出了一种基于综合利用高阶统计信息的信噪比估计改进算法。根据所选高阶统计量最高阶数的不同,建立了3种信噪比与多种高阶统计量运算式之间的线性关系,利用全回归线性分析方法将3种线性关系转化为3种全回归模型,并求解模型系数。该算法充分利用了多种高阶统计量的有用信息,提高了信噪比估计精度。MQAM的仿真结果表明:在低信噪比条件下,该算法减小了信噪比估计误差,其估计性能明显优于传统的其他算法,且3种模型估计性能依次增加,可依据不同的信噪比要求对3种模型进行选取。     

基于光纤温度传感器的分布式温度测量系统设计

为实现航空武器装备维护保障中环境温度监测的精细化管理,设计了一种基于光纤温度传感器(FOTS,fiber optic temperature sensor)的分布式温度测量系统.首先利用光纤温度传感器的特点,对分布式温度测量系统进行了总体设计;其次研究开发了其硬件与软件,实现了系统的层次化设计,然后结合C/S网络通信模式实现了系统的网络化管理;最后对分布式温度测量系统进行了功能和性能测试.经系统测试验证表明,该系统可以实现航空武器装备维护保障中环境温度的精细化管理,具有高可靠性、易于扩展、远程访问,测量精度高,且系统的温度测量误差小,并将温度误差控制在1％以内.     

路由协议测试的窗口黑盒模型和多通道的测试方法

路由协议测试中的效率和覆盖率亟待提高,原有通信协议测试理论将被测实现作为黑盒,使得大量可增强控制观察能力的手段无法利用,因此在路由协议测试中以窗口黑盒模型描述被测实现,在测试结构上实现了多通道测试方法,提高了测试效率和测试覆盖率,通过与被测模块交互的其它模块,增强了测试的控制观察能力,测试便的执行时间相比原有方式下降50％;消除或减小了以往不能测试的范围和内容,相应测试例个数增加3倍以上;为目前急需的大规模的路由器测试工作奠定了基础。     

应用于路由协议测试的增强参考实现

参考实现是协议测试系统中接收测试执行的命令和数据，通过服务提供者与被测模块进行通信的功能模块．本文讨论了协议集成测试系统(PITS)中参考实现的扩充和增强技术．通过引入测试数据产生、动态计算等子模块增强其处理能力，通过引入多个通道以增强控制、观察能力，为适应高速网络的测试，将参考实现划分为接收子层和提交子层，与帧扩展等技术相配合，增强了参考实现的功能，解决了系统在路由协议测试中遇到的问题，提高了PITS的灵活性和效率，并保证了PITS的兼容性．增强的参考实现在路由协议的测试中发挥了良好的作用．     

浅谈船舶设计与设计阶段

本文主要以海船为对象阐述船舶设计的一些基本内容。此外，结合现代船舶设计的特点，介绍了船舶计算机辅助设计的有关知识。现代船舶设计中已广泛应用电子计算机，它对于提高设计质量和工作效率起着巨大的作用。     

一种复合焊接接头超声波检测对比试块

一种用于桥梁不锈钢复合焊接接头超声检测的对比试块,可以校正从复合层面检测时探头角度的改变引起的水平距离和深度距离的变化,以及确定检测灵敏度。这对于大型桥梁钢结构的检测有着非常实用的帮助。     

因需而型,应需为变——豫西南地区村镇住宅优化设计研究

研究豫西南农村的住宅设计模式,借助计算机数字化分析,探讨投入低、舒适度高的村镇住宅设计思路,并提出该因需而型,应需为变的优化设计策略。     

一种数据结构制导的线程划分方法与执行模型

在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在这种背景下,许多推测多线程方法被提了出来,这些方法通过允许可能冲突的代码段并行执行来把握更多的并行机会,同时,通过从冲突中恢复来保证结果的正确性.然而,传统推测多线程方法所使用的“沿控制流将串行程序划分为多个线程”的做法并不适合不同数据结构上的操作在控制流中相互交错的情况,因为如果沿控制流将程序线性地划分为多个线程,则同一个数据结构上的操作将被分到不同的线程中,从而非常容易发生冲突.为了有效地对这些程序进行并行化,提出了一种基于数据结构的线程划分方法与执行模型.在这种方法中,程序中的对象被划分成多个组,同一组中对象上的操作被分派到同一个线程中去执行,从而降低了在同一个数据结构上发生冲突的可能性.     

一种利用适合性测试支持方法重定向的演算

一些面向上下文的编程语言使用结构化的块结构(block-structured construct)将方法调用重定向到层中方法.但该结构无法支持层的动态添加与激活,这增加了程序可执行文件的大小.为了解决该问题,提出一种新方法:使用适合性测试支持方法的重定向,并定义一个运行时的适合性测试演算(runtime fitness testing calculus on top offeatherweight Java calculus)形式化描述该方法.该演算以FJ 演算(featherweight Java calculus)为核心,通过融入新的语言结构——层,基于上下文的方法查找与对象转化描述基于适合性测试的方法重定向,分析它对程序类型安全的影响,制定相应约束,并证明在满足该约束的条件下能够保持程序的类型安全,从而证明所提方法的有效性.以该演算为指导,描述如何通过扩展Java 的编译器与虚拟机,实现将层、基于上下文的方法查找与对象转化融入到Java 语言,并通过实验测试实现,证明所提方法的可行性.该演算及其实现可用于指导如何扩展类似Java(Java-like)的语言以支持程序基于上下文动态调整其行为,并同时保证程序的类型安全.     

纳滤应用于苦咸水淡化处理的可行性分析

我国西北五省区苦咸水分布范围广,水化学类型多为SO4.Cl-Na和SO4.Cl-Na.Mg型,水中硫酸盐、氯化物、氟化物、总硬度、矿化度普遍超标,危害人体健康及供水系统安全。通过反渗透(RO)应用工程实例说明,RO已成为苦咸水处理的有效途径;针对苦咸水水质特点及水污染特征,分析了纳滤(NF)系统的产水水质、运行成本、应用发展等,认为纳滤系统可应用于苦咸水淡化、微污染水净化中。