简介：为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。

简介：针对工业控制实时性要求，提出了一种内存数据库设计方法，并对数据库的结构进行了设计。为了提高内存利用率，给出了基于页的内存组织与管理方法。采用基于T树的索引生成技术提高数据查询速度，同时针对并发控制要求，利用Windows同步机制设计了一个锁对象。试验结果表明，性能上，该内存数据库比SQLite内存数据库提高了2．4倍，比MicrosoftSQLSever提高了500多倍。

简介：<正>据香港中通社报道,台湾"国研院"纳米(台称"奈米")组件实验室日前开发出全球最小的9纳米功能性电阻式内存(R-RAM)数组晶胞;这个新内存在几乎不需耗电的情况下,1平方厘米面积内可储存1个图书馆的文字数据,将让信息

简介：介绍了一种适用于DDR内存驱动的LDO芯片。采用跨导线性环结构增大摆率,具有快速的瞬态响应。控制环路上下通道不匹配,采用单边米勒补偿方式,形成环路主极点和零点,再引入电阻R3形成补偿零点,环路整体表示为单极点系统,具有很好的稳定性。该LDO的典型输入电压为1.2V,输出电压为0.6V,负载电容为10μF,具有1.5A的电流抽取和灌出能力,同时集成了2.6A的电流限功能,满足了DDR内存的应用需求。采用0.35μmBCD工艺进行仿真验证,仿真结果表明该设计具有很好的瞬态调整能力和稳定性。