快擦写存储器结构及机理

讨论了快擦写存储器典型位元结构及其存储信息原理，详细论述了目前广泛使用的或非和与非两种结构的快擦写存储矩阵的结构组成和工作原理。     

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

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

计算机房防静电方法研究

本文在分析讨论计算机房静电危害的基础上,对计算机房地面泄漏电阻、人体峰值电位和人体静电电荷的衰减进行了现场测试,指出机房中存在的静电隐患,并提出了具体的防静电措施。     

煤气泄漏报警原理用于潜艇消氢系统的自动控制设计

作者设计了一种煤气泄漏报警装置,并把它的工作原理移植到潜艇消氢系统的设计中,将原来用于手工检测、分散消氢的消氢过程改造成自动检测、集中消氢的自动控制过程,达到了减轻艇员劳动强度,大大提高测氢与消氢的及时性与准确性的目的。实艇的初步试验表明,系统设计是成功的,存在的某些问题需要依靠潜艇修理时才能解决。     

软件固化卡的设计与实现

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

核反应堆内中子泄漏数学模型研究

导出了点堆中子动力学方程中的中子泄漏表达式 ,使点堆中子动力学方程的精度提高 ,应用领域可从反应堆冷启动一直到瞬发超临界     

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

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

某两栖装甲装备液压系统非介入式原位检测方法

为解决传统的介入式测量方法拆装困难、影响系统的动态特性、无法适应武器装备现场快速抢修需要的问题,根据液压系统的特点,针对表征系统状态的主要参量——流量、泄漏量和污染度,提出了非介入式原位检测方法,实现了对装甲装备实时检测的目的,有助于故障的快速定位和排除。并以某两柄装甲装备为例,说明了非介入式原位检测技术的可行性和实用性。     

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

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

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

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