Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

中国民航学院法学本科教育的研究与思考——法学本科教育目的的探讨

在法学本科教育开创伊始,对其一系列问题急需进行全面的、系统的研讨,从而推动中国民航学院法学本科教育的发展和繁荣。对法学本科教育的教育目的进行了研究。     

现代飞机交流电源过电压保护问题探讨

本文在分析现代飞机电源系统所使用的几种过电压保护装置工作原理的基础上,着重对其反延时特性和动作电压进行计算,并就决定和影响过电压保护性能指标的电路参数的调整进行了计算和论述。     

频率计“时间间隔”参数自动校准的方法研究

主要介绍了利用新研制的通用仪器综合校准系统 ,在实现频率计类仪器“时间间隔”参数自动校准时 ,对相关仪器连接、校准方法以及软件设计等问题 ,提出了一种间接测量单线时间间隔的方法。     

直流电阻仪器自动检测系统

介绍了直流电阻仪器自动检测系统的组成、测量原理和检定方法以及系统实现的功能和特点 ,并进行了测量不确定度评定     

六端口微波测量技术

六端口技术是从70年代初发展起来的一项新的微波自动测量技术。经过十多年来各国科技工作者的研究、实践,无论在理论上,还是在系统构成、误差分析等方面均趋于成熟。该技术目前已广泛应用于微波计量、安全防护和工业在线检测诸部门。由六端口网络组成的自动网络分析仪,可望成为技术性能高的自动测试系统。本文分四个部分,系统地介绍了六端口技术的发展及其在微波测量中的应用;几种常用六端口结的组成及其设计准则;六端口自动网络分析仪的校准及其测量方法,以及如何评定六端口网络分析仪不确定度等问题,供从事微波计量测试及有关人员参考。     

符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试

RS（Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码，由于它具有很强的随机错误和突发错误的纠错能力，被CCSDS，NASA，ESA等空间组织接受，广泛应用于深空探测中．本文采用改进的Berlekamp算法，用FPGA实现了符合CCSDS标准的RS(255，223)码译码器；介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台；给出了测试结果，并且对理论上RS(255，223)译码器的误码性能与实际测试的误码率结果进行了比较和分析．验证结果证明该译码器能工作在400Mbps以上的码率，使用FPGA资源180000门，译码效果与理论上译码效果一致．     

空间激光通信系统中的信道纠错编码技术

由于空间激光通信系统的信道状态和链路捕获跟踪的不确定性,多种形式的信道纠错编码技术正被广泛发展研究。结合空间激光通信链路中误码性能的主要影响因素,分别选择合适的编码方案进行分析。通过仿真实验可知,对于在大气结构参数为1.5×10~(-14) m~(-2/3)、风速为20 m/s的空地激光链路的环境下,在系统数据速率为2 Gbit/s、要求误码率为10~(-6)时,LDPC码结合交织码相对未编码系统有3 dB的等效编码增益,LT码相对未编码系统有3.8 dB的等效编码增益。提供了一种能快速生成、扩展和校验的编码和交织实现方法,以抵抗大气湍流的快速变化对系统性能产生的影响。