一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

40Gb/s系统技术解决方案探讨

40Gh／8系统的应用面临光信号的色散、衰减、交换、编码等方面技术的挑战。利用固定补偿模块或源色散补偿技术可以实现光的精确色散及补偿。赖曼式放大器对40Gh／s系统的光传输提供了有力的技术支持，利用赖曼放大器以及全光交换机或光电光交换机则可以实现光信号的有效放大和高性能交换，而带外FEC技术和相应的编码技术可以进一步提高系统的容错能力及传输速率。     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

一个简单有效的磁记录纠错系统

介绍一种简单有效的纠错编码方法 ,用于资源卫星高密度数字磁记录器 ,使误码率由 10 -6降低到 10 -11,同时介绍它的基本工作原理、实现方案及试验结果。     

磁粉检验标准环形试块的机理分析

为了分析控制磁粉检验系统综合性能的标准环形试块的机理，首先建立一个计算漏磁场的简化数学模型，然后解标量磁位的=维拉普拉斯方程，求出被磁化的环形试块上圆孔产生的漏磁场，计算环形试块表面的磁粉受力，分析其特点并得出相应的结论。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

用广度优先搜索求割点和块的算法研究

本文在作者以前研究的基础上,进一步提出子树径和独立子树径的概念,深刻分析了在广度优先搜索下简单连通无向图的结构特征,并给出判断割点和块的准则,为设计用广度优先搜索寻找割点和块的有效算法提供了理论依据。     

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

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

虚构解方法程序验证

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

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

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