关于布朗运动“记忆”效应的一个模型

布朗运动能够概括一大类物理现象,因此一直受到人们的重视。近年来,计算机模拟和实验的结果都表明,布朗运动具有“记忆”效应。本文试图对布朗运动“记忆”效应构造一个模型。在稳定情况下计算结果表明,微粒位移涨落的二次矩仍与时间间隔t成正比,“记忆”效应表现为流体的粘滞性加大。     

软件固化卡的设计与实现

本文叙述了软件固化卡的设计过程,给出硬件电路,详细介绍了支持软件的设计方法,最后讨论了软件固化卡的应用前景。     

新型F1ash单片机智能温控系统设计

采用新型的Flash单片机、信号采集电路与温控电路等构成一个对固体火箭发动机温控系统 ,满足其固体火药的初始温度设计要求。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

形状记忆合金自复位减振装置研制与验证

为改善第二喉道中的可调中心体机构(简称中心体)在工作状态下的流致振动,根据形状记忆合金(shape memory alloy, SMA)偏置双程驱动原理,设计制作一种能够满足中心体有限安装空间要求的SMA自复位减振装置;采用UMAT接口编制的SMA本构关系子程序实现减振装置最大压紧力的数值分析,数值分析与静态调试试验结果误差约为2.58%;搭建地面减振试验平台,测试SMA自复位减振装置分离和闭合状态下的中心体零部件振动响应。减振试验结果显示:SMA自复位减振装置闭合后,中心体振动响应明显降低,在0～100 Hz频带内,均有明显的减振效果,低频至55 Hz范围内,减振率均大于50%。     

涵盖I/O的广义存储一致性模型

作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。     

基于一类T-模的模糊双向联想记忆网络的稳定性分析

首先定义了max-T复合模糊算子,建立了一类基于模糊复合算子的模糊联想记忆网络——模糊双向联想记忆,然后系统地分析了该网络的性质,在Hamming距离意义下证明了该网络的平衡点（吸引子）具有Lyapunov稳定性。     

飞行器分离速度测试系统

介绍一种新型的分离体速度测试系统。用反射条纹光电技术将位移量变换为电信号，高速实时写计算机内存采集数据，测试结果现场打印，该系统具有测试精度高，操作方便，应用面广等特点。     

胚胎电子细胞的部分基因循环存储结构

为了在保证胚胎电子系统可靠性的前提下降低系统的硬件消耗,提出一种新型的基因存储结构——部分基因循环存储,细胞只存储阵列的部分基因,通过细胞内、细胞间的基因循环、非循环移位实现阵列的功能分化和自修复,自修复过程中基因存储内容根据故障细胞数目进行自主更新。该存储结构中基因备份数目可由设计者根据系统可靠性和硬件消耗要求设置,不受阵列中空闲资源数目的限制。理论分析和仿真实验表明,该新型存储结构不仅实现了胚胎电子阵列的功能分化、自修复等功能,而且能够在保证系统可靠性的同时降低硬件消耗,具有较高的工程应用价值。