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

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

符号执行和测试数据辅助生成的实验系统

本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。     

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

一种面向矢量视频处理器的并行存储结构

视频编解码算法不仅复杂度非常高,对数据存储需要密集的矢量化访问.针对这一问题提出了一种线性斜移结构的二维存储方案,支持任意行或任意列的单指令存取,与SIMD(Simple Instruction Multiple Data)结构的矢量处理器相结合,能够成倍的加速视频计算的执行效率.给出了该方案的地址计算逻辑和存储结构,精简的地址计算逻辑和数据重排逻辑构成了视频处理器的矢量地址产生单元,解决了数据重排的高延迟和高复杂度问题.结合H.264视频编码标准对这一结构的性能进行了分析和对比,对该编码标准中的运动估计,分像素插值和去块效应滤波这3个计算复杂度最高的模块在该结构下的执行效率进行了分析和对比.      

蜂窝结构异面变形动态塑性坍塌力学

在蜂窝结构静态塑性坍塌应力理论计算模型的基础上,建立了蜂窝结构在冲击载荷作用下的动态塑性坍塌应力的理论计算模型.考虑应变率对蜂窝结构动态力学性能的影响,使用Cowper-Symonds模型建立了静态塑性坍塌应力与动态塑性坍塌应力之间的关系;基于薄板弯曲理论,由平均冲击速度得到了应变率的计算公式,进而得出动态塑性坍塌应力关于冲击速度与静态塑性坍塌应力的函数关系.使用LS-DYNA动力学软件模拟了铝合金蜂窝结构在冲击载荷作用下的异面变形,数值计算结果与理论模型计算结果一致.     

月球探测器可视化仿真系统的开发

基于软件平台OpenGL和Visual C++,开发了基于轨道动力学规律的月球探测器在轨运行实时视景仿真系统,用以动态仿真探测器、地球、月球和太阳的时空关系,实时地计算和显示探测器空间位置的变化,并利用三维可视化技术完成逼真的三维图形图像信息的显示.讨论了仿真系统软件结构,主要模块的设计,开发过程中所遇到的主要问题及其解决方法.实际应用表明,该可视化仿真系统可帮助用户更加直观地了解探月飞行任务的进行情况.      

航天嵌入式软件静态分析技术

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一，数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质，是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上，介绍了适合于航天嵌入式软件错误检测的静态分析技术，包括抽象解释、符号执行、数据竞争检测等.然后，介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后，对未来发展方向做了简单展望.     

数控机床动态轨迹误差的MATLAB仿真计算方法研究

对数控铣床加工过程中的动态轨迹误差进行了研究,介绍其产生原因和基于MATLAB的仿真计算方法,并给出了2坐标和4坐标典型运动轨迹在不同进给速度下的动态轨迹误差的仿真建模和计算实例.仿真结果表明,高速铣削加工中的动态轨迹误差所引起的工件轮廓误差是不可忽略的误差因素.     

列车风致脉动力下声屏障的动力学性能

基于通用有限元分析软件ANSYS,根据京津城际快速列车客运专线桥梁上声屏障结构的设计方案建立有限元模型,对声屏障结构的固有频率进行了研究并提出声屏障结构的简化计算模型.综合考虑高速列车运行过程中声屏障结构的动力学环境,计算在风压、列车运行过程中产生的空气脉动力等共同作用下的声屏障结构的动态响应,阐述了声屏障结构各组件的振动规律,并提出声屏障结构设计需要考虑的问题.     

基于加密和即时解密的软件保护

通过加密来保护软件,是防止盗版者通过逆向工程理解程序的一种有效方式.传统加密保护方式,运行时解密开销大,又由于采用一次性解密方式,易受到攻击而直接从存储器中获得解密后的程序映像.提出了即时解密技术,摒弃了传统的一步解密的方式,在运行时通过即时解码器以函数为单位一步步揭开隐藏在软件中的秘密.仅对一次运行中必须的部分解密,使得攻击者难以获得完整的解密后程序,难以篡改并绕过未解密部分中的软件保护功能,增强了抗攻击性.在运行效果上,由于解密分散进行,就解决了启动延时长的问题.用基于一次一密加密技术,与对称密钥加密算法相比,进一步减少了运行时开销,使得该技术在目前处理器上可以流畅运行.该方法增强了基于加密的软件保护的实用性,增大了破解的难度.      

多媒体流处理器中缓冲器的体系结构设计

传统微处理器体系结构不能很好地匹配媒体处理应用的特点.针对处理器与存储器之间日益增长的性能间隙问题,分析了传统微处理器对媒体处理应用的通讯瓶颈;通过分析Cache存储器的特点,得出了传统的Cache结构并不适合现代媒体处理应用的结论,讨论了目前针对处理器通讯瓶颈的一些解决办法;提出了一种以大容量流寄存器堆替代Cache作为中间缓冲器,并能适合于媒体处理应用的金字塔存储层次体系结构设计.该体系结构具有三级并行数据带宽存储层次,即片外SDRAM、全局寄存器堆和局部寄存器堆.三级并行存储层次所能提供的带宽依次提高一个数量级,带宽之比为1∶16∶256,从而可以有效地支持卫星遥感图像预处理对数据带宽的需求.      

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

电压与钙耦合神经元模型的符号动力学

应用符号动力学研究了跨膜电压与细胞内钙浓度相耦合的R15神经元模型.通过峰峰间期序列(ISIs, Interspike Interval Series)的首归映射构造出描述周期和混沌放电模式的符号序列,并讨论了与切分岔密切联系的阵发混沌与嵌含在混沌区中的周期窗口的产生机理.由符号序列的排序规则,确定具有不同拓扑结构的放电节律与连续变化的参数值的对应关系,从而对实验或模型测得的任意放电模式进行参数识别.研究结果表明符号方法是研究神经放电活动动力学行为的一种有力工具.尤为重要的是,这样一种粗粒化的方法能够推广到神经电生理实验中,从复杂的实验数据中提炼更多有价值的信息.      

一种基于联想记忆系统实现图像压缩的新方法

针对传统神经网络用于图像压缩时存在的训练时间长、泛化能力弱等问题,提出一种基于联想记忆型神经网络的图像压缩新方法.利用牛顿前向插值多项式构建联想记忆系统,对图像数据进行建模.首先将图像数据分为多个数据块,然后利用数据块对联想记忆系统进行训练,训练结束后得到该数据块的特征数据,特征数据的数量小于原始数据块,且数值大多在零附近.最后对所有数据块的特征数据重新排序,进行熵编码,从而实现图像数据的压缩.实验结果表明该方法是可行的和有效的,相比传统神经网络,联想记忆系统无需预先训练,不依赖训练集数据和初始值,可以实时编码.      

实闭域计算的一个实用有效方法

在计算实践中,处理大型多项式时,由于复杂性原因,实闭域一阶理论判定方法实际上无效.因此寻找求解多项式方程与不等式组的有效方法(未必是判定方法)是符号计算中的重要问题.为解决这一问题,将Budan-Fourier 定理与Ritt-Wu 方法结合提出确定多项式方程实根和证明不等式的简单有效方法.尽管该方法不完备,但是在计算实践中发现这一方法对许多例子在计算上很有效.