基于Insure＋＋的软件内存使用测试

本文简要介绍了一种针对C/C＋＋程序代码进行自动检测的工具Insue＋＋,包括其运行环境、两种基本的工作模式,以几段简单的程序代码为例,演示了Insue＋＋能够检测出的典型内存使用错误,并对其出具的问题报告进行分析。     

C＋＋程序设计内存泄漏浅析

C＋＋语言的动态内存分配机制为程序设计的灵活性提供了方便,但如果使用不当,极易引起内存的泄漏,而且难以觉察。内存泄漏会使系统可利用内存越来越少,运行速度下降。对于需要长期不间断运行的服务器程序,即使存在少量的内存泄漏,系统也将会面临崩溃的危险。文章阐述了C＋＋程序设计中常见的内存泄漏情况,分析了原因并提出了预防措施。     

C/C＋＋中常见内存泄漏与对策及预防措施浅析

本文综述了C/C＋＋中内存泄漏的发生方式、常见内存泄漏及其对策,简介了检测内存泄漏的工具,提出了预防内存泄漏发生的措施。     

基于C＋＋存储机制的应用研究

通过对C＋＋存储架构以及内存使用分配机制的分析,进一步探讨C＋＋内存空间的管理机制,提出利用最佳编程方式及优化内存策略来改善内存效率、提高系统性能,并以实例说明C＋＋存储管理机制在程序设计中的具体应用.     

C语言中常见内存错误及对策浅析

C语言动态内存机制为灵活地进行程序设计提供了方便,但同时也增加了各种内存错误发生的机会。本文给出了C中一些常见内存错误,并提出了解决对策。     

C^＋＋中类与内存分配

在Ｃ＾＋＋教学过程中，发现不少学生用Ｃ语言程时可以正确使用内存，但在用Ｃ＾＋＋编程时内存使用方面的问题。这种现象说明，我们还需要专门估引入类与对象的概念以后，特别是当类吸指指针数据成员时，如何正确地进行内在分配与释放。     

C＋＋常见编程错误教学系统的开发与应用

在C＋＋学习及蝙程过程中，会遇到很多问题，特别是对于一些初学者而言，这些问题阻碍了学习的深入。该文的目的是开发一个C＋＋常见壕程错误教学系统，采用可扩展的方式列举C＋＋编程常见错误，提示内嵌煽译器提供的错误信息，引导学生调试，修改错误，并分析和提高对程序错误来源的认识。     

C++中auto_ptr指针原理与应用

C＋＋中引入了比较完善的异常处理机制来处理各种各样的异常问题,极大地提高了C＋＋程序的健壮性和容错能力。但有时在动态分配对象内存出现异常时C＋＋异常处理器有时并不能正确地清理已分配的资源,产生了“内存泄露”。解决这个问题较好的方法是使用auto_ptr类模板。本文主要从它的设计原理出发,由浅入深地阐述auto_ptr指针的技术原理和使用方法。     

C#与C＋＋相互调用实现方法研究

本文根据C#与C＋＋语言特点，从两个方面研究了二者相互调用的实现方法，重点阐述了将C#封装为COM的方法，以及在C＋＋中调用C#样动态库的方法，为二者相互调用提供了参考。     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.     

Windows环境下编程的内存管理

Ｗｉｎｄｏｗｓ多任务系统应用程序设计中，内存管理是一项关键技术．论述了为降低应用程序占用内存量和占有时间及应注意应用程序设计中内存组织形式的选择，以减少或限制不必要的内存对象．并使用可移动对象，合理管理内存以防止ＧＰ故障的产生．     

远志皂苷和茯苓多糖对学习记忆的改善作用及其机制研究

目的观察PSP(远志皂苷和茯苓多糖Polygalaceae saponins and Pachymaran)对多种化学药物所致学习记忆障碍模型小鼠学习记忆能力的改善作用,探讨其可能的作用机制.方法本研究通过跳台实验和避暗实验观察PSP高、中、低剂量组对记忆获得、巩固和再现模型小鼠学习记忆能力的影响;测定记忆获得障碍模型小鼠脑组织乙酰胆碱酯酶活性(ACHE);测定记忆巩固障碍模型小鼠脑组织超氧化物歧化酶(SOD)活性和丙二醛(MDA)活性.结果 PSP能使记忆获得障碍模型小鼠5 min内学习及记忆的错误次数减少并延长潜伏期;PSP能使记忆获得、巩固障碍模型小鼠5 min内错误次数减少并延长潜伏期;PSP能使记忆再现障碍模型小鼠5 min内错误次数减少并延长潜伏期;PSP能有效降低记忆获得障碍模型小鼠脑组织中乙酰胆碱酯酶(ACHE)活性;PSP能有效提高记忆巩固障碍模型小鼠脑组织中超氧化物歧化酶(SOD)活性并降低丙二醛(MDA)活性.结论 PSP能改善模型小鼠学习记忆能力的作用机制可能是通过抑制脑内乙酰胆碱酯酶合成、减少乙酰胆碱水解、提高脑组织内ACHE活性而发挥改善学习记忆的作用;PSP能有效提高SOD活性并减低MDA活性,从而减少氧自由基对小鼠损伤而发挥改善学习记忆的作用.     

RSMC:A Safety Model Checker for Concurrency and Memory Safety of Rust

Rust is a system-level programming language that provides thread and memory safety guarantee through a suite of static compiler checking rules and prevents segmentation errors. However, since compiler checking is too strict to confine Rust's programmability, the developers prefer to use the keyword "unsafe" to bypass compiler checking, through which the caller could interact with OS directly. Unfortunately, the code block with "unsafe" would easily lead to some serious bugs such as memory safety violation, race condition and so on. In this paper, to verify memory and concurrency safety of Rust programs, we present RSMC(Safety Model Checker for Rust), a tool based on Smack to detect concurrency bugs and memory safety errors in Rust programs, in which we combine concurrency primitives model checking and memory boundary model checking. RSMC, with an assertion generator, can automatically insert assertions and requires no programmer annotations to verify Rust programs. We evaluate RSMC on two categories of Rust programs, and the result shows that RSMC can effectively find concurrency bugs and memory safety errors in vulnerable Rust programs, which include unsafe code.     

外语教学策略研究

教师在语法、词汇教学,听力、阅读教学,口语、写作教学3个方面的教学设计与实施过程中,可以分别采取以下外语教学策略:完整步骤化教学策略,训练有效记忆策略,整理归类、区别对待策略,比较概括策略;建立、扩展图式策略,训练学生听、读技巧,授人以渔策略,丰富语言输入策略;教学过程交际化策略,练习方式活动化策略,巧妙处理语言错误策略,提高学生外语学习效率。     

高速BCH编码译码器的设计

针对闪存(flash)因制造工艺的不断提高而导致其内部数据区随机错误不断增加的现象,设计并实现一种高速BCH编码译码器,通过BCH编码技术对flash中的随机错误进行纠错,以达到错误检测与纠错的目的.实验结果显示优化设计的BCH(4 224,4096)编码译码器可以工作在25 MHz的工作频率下,其单页数据(512 Byte)的纠错能力从普遍的3 bit提高到15 bit,从而提高了flash数据存储与读取的可靠性.     

分级式IC版图设计规则检查

针对层次式设计的集成电路版图,提出一种分级式的版图设计规则检查算法,通过提取和使用平时图形抽象,结合浮出重叠区覆盖下的子单元图形的方法,确定了各单元在任意布局下的设计规则检查运算２图形集,可以处理各种重叠情况。分级式ＤＲＣ分别对每个单元的ＤＲＣ图形集作一次检查,与打散式相比,大大减少了处理重复单元多的大规模,超大规模集成电路版图的工作量,从而缩短了检查时间,降低了内存需求,且更便于设计修改错误。     

CRC Look-up Table Optimization for Single-Bit Error Correction

Many communication systems use the cyclic redundancy code （CRC） technique for protecting key data fields from transmission errors by enabling both single-bit error correction and multi-bit error detection. The look-up table design is very important for the error-correction implementation. This paper presents a CRC look-up table optimization method for single-bit error correction. The optimization method minimizes the address length of the pre-designed look-up table while satisfying certain restrictions. The circuit implementation is also presented to show the feasibility of the method in the application specific integrated circuit design. An application of the optimization method in the generic framing procedure protocol is implemented using field programmable gatearrays. The result shows that the memory address length has been minimized, while keeping a very simple circuit implementation.     

建立小鼠学习记忆损伤模型的方法学研究

目的 通过避暗和Morris水迷宫实验研究建立小鼠学习记忆损伤模型的有效方法。方法 分别在小鼠避暗电击训练之前20 min腹腔注射东莨菪碱1 mg/kg体质量,电击训练结束之后立即皮下注射亚硝酸钠90 mg/kg和下次电击测试之前15 min给小鼠灌服35%乙醇0.1 mL/10 g,建立记忆获得、记忆巩固和记忆再现障碍模型,测定各组小鼠在电击训练后6 h、24 h、30 h、48 h后的避暗潜伏期、错误次数和探头次数等多项指标,评价三种记忆障碍模型方法各指标的敏感性和最适测试时间。小鼠分别腹腔注射东莨菪碱1 mg/kg和灌服35%乙醇0.1 mL/10 g造成学习记忆损伤,通过Morris水迷宫定位航行试验和空间探索试验用于测试实验动物对空间位置感和方向感(空间定位)的学习记忆能力,建立空间学习记忆障碍小鼠模型的评价方法。结果 避暗实验显示：和空白组比较,东莨菪碱造成记忆获得障碍模型小鼠在电击训练之后6 h、24 h避暗潜伏期明显缩短,错误次数也明显增多(P0.05)。结论 避暗实验中使用东莨菪碱、亚硝酸钠构建小鼠记忆获得障碍和记忆巩固模型时应在造模后24 h和30 h检测相应指标;乙醇造成的记忆再现障碍模型,应在电击训练24 h后,在下次测试之前15 min给小鼠灌服乙醇后检测,指标以避暗潜伏期、错误次数和探头次数为宜。Morris水迷宫实验提示东莨菪碱能够损害小鼠空间学习记忆,可以作为构建小鼠空间学习记忆障碍模型的药物,乙醇并不能建立小鼠的空间记忆障碍模型。