框架投影时序逻辑程序设计语言中的指针

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法．原地逆置单链表的实例说明该方法是切实可行的．     

基于有限状态机的指针解引用静态检测方法

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。     

C语言中指针用法浅析

指针是C语言教学中的重点和难点,也是C语言的精华.正确灵活地应用指针,能动态分配内存,可以有效表示复杂的数据结构,能够有效方便地使用数组.针对C语言中指针的概念、指针的应用及指针的常见问题,阐述了利用指针编程的优势以及使用指针时可能出现的问题.     

一种反射内存网航电软件测试环境实时通讯协议

为解决航电软件仿真测试环境中的通用异步和周期实时通讯问题,设计了一种反射内存网实时通讯协议(MSTP).基于反射内存网SCRAMNet设计协议,介绍了协议内存布局,描述并实现周期和异步数据的发送和接收过程,对协议进行测试以表明设计可行性.最后,给出了较为完善的系统开销计算模型.     

动态共享内存缓冲池技术

针对传统的共享内存区管理方式存在的内存资源浪费、使用效率低等问题,提出了一种可滑动的动态共享内存缓冲池技术来实现线程间的大批量数据通讯,即为所有线程申请一整块空间作为存放数据的缓冲池,建立一定数量的单向指针链表,每个指针链表代表一个数据缓冲区,管理内存时,可按需要动态地增减每个指针链表的节点数,使每个数据缓冲区占用的内存按需滑动,理论分析与测试结果表明,该技术提高了整个内存缓冲区的利用率和数据传递的效率。     

.NET解决VB6中"循环引用"问题的分析与比较

计算机中的内存资源是非常宝贵的,在多任务环境中,有效、充分利用内存是系统稳定运行的关键,面向对象的程序设计中,对象占用内存资源使用与回收是程序设计中较难解决的问题,通过对VB6环境中“循环引用”问题的分析,比较了NET及VB6环境下的两种“垃圾处理”机制以及存在问题、优缺点。阐述了NET对VB6中“循环引用”问题的解决方法。     

基于VC++与BP神经网络对Google Earth识别系统的设计与实现

在Visual Studio. NET集成开发环境下使用VC 的MFC类库进行算法设计实现与编程.通过获取Google Earth的窗口类指针与CDC设备环境并用,将Google Earth显示的文字按RGB格式存储到内存中.利用BP神经网络进行数字识别,识别后再与自定义的图形样本进行对比,达到高精度的结果.     

一种Web事务识别的新模型及其频繁路径挖掘

针对已有Web事务识别模型的缺点,提出一种识别Web事务的新模型———IPRC模型.该模型根据主索引页上的引用以及文档目录结构将网页分类,并以此作为识别Web事务的依据.在此基础上提出了一种挖掘频繁访问模式的算法WDHP,该算法继承了DHP算法使用hash树过滤候选集以及裁剪数据库的基本方法,并以访问路径树的方式将数据库存储于内存,在内存中完成后继的挖掘,不仅减少了扫描数据库的次数,而且大大降低了算法的时间复杂性.实验表明WDHP算法不仅优于DHP算法,而且也优于典型的基于内存的WAP算法.     

Android应用中优化Bitmap使用避免内存溢出

针对Android系统使用Bitmap时的内存限制和内存溢出的情况,给出了相应的解决方法,用这些方法可以有效地管理Android应用内存,避免应用运行时出现内存溢出.     

基于内存总线的高性能I/O接口设计

提出了将内存总线扩展为面向系统外部设备互连的局部总线的设计概念.为计算机系统增加了一个高性能的I/O接口总线,提高了主机与外部设备间数据传输的性能,增强了计算机作为事务处理主体的能力.通过对内存总线和内存控制器关键技术的分析,给出了基于SDRAM内存总线的内存目标接口(MTI)设计,在功能和逻辑上实现了内存总线和局部总线间的桥接,为基于内存总线的应用设计提供了一种功能完备的接口部件.     

Visual Fortran调用Win32 API函数

如何正确调用Windows操作系统所提供的Win32 API函数来扩展Visual Fortran在窗口管理、内存管理、绘图、多线程等方面的功能,是当前数值计算WineIOWS应用程序开发经常面临的问题.对此进行较为系统的探讨,包括Visual Fortran所提供的Win32 API接口模块是如何组织的.当中的接口是如何封装的,如何按接口定义设置一致的字符串、指针和结构体Fortran实参等.并用典型示例加以说明.给Vis-ual Fortran平台上的Win32 API函数调用提供了操作指南.     

跨时钟域间数据高速传输的设计与实现

为了解决数字集成电路中跨时钟域间数据高速传输的问题,基于可编程逻辑器件提出一种利用格雷码判断先进先出存储器空满状态的思想及方法,并给出关键部分的硬件描述语言程序。相对于传统设计而言,跨时钟域传输的格雷码指针无需再次转化成二进制指针,而是同步到对方时钟域直接进行比较,这样既能减少逻辑资源的消耗,也能同时提高系统性能。     

基于在程序设计中混合使用VC/VB编程的研究

利用VC对底层操作的灵活性与VB对用户界面编写的简便快捷性，将两者有机地结合进行编程.通过两个具有同样功能的例子，对动态链接库技术和ActiveX控件技术进行了较为详细的叙述，演示了这两种方法的使用和内存指针的传递，强调了VB与VC通过上述方法可以进行方便的交互，从而发挥它们各自的优势.     

基于Client／Server体系结构图象数据库设计的一些问题讨论

对图象数据库设计过程中非结构化的图象数据的管理、操作、显示等方法进行了讨论，提出了一种图象数据由指针式松散耦合型管理到打包式集中管理自动转化的新方法。并对Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构设计中涉及到的应用程序、事务管理和应用程序同时连接、共享网络上多个不同的数据库的方法和处理过程进行了论述。     

面向C2VHDL编译器的基本块级指针分析算法

针对现有的C2VHDL编译器中指针编译技术所存在的缺陷,通过对传统指针分析算法进行研究,在基于低级虚似机(LLVM)面向CPU-FPGA应用的可重构编译器ASCRA架构上,设计并实现了一种以基本块为分析粒度的基于控制流图的流敏感上下文敏感指针分析算法。在可重构编译器ASCRA生成硬件VHDL程序时提供指针访存控制辅助信息。实验结果表明:在保证C2VHDL结果正确的前提下,该算法在简化了分析过程的同时,能够达到与流敏感指针分析相同的精度。与指针还原技术相比,该算法能够支持更多的指针数据类型。采用该算法的编译器ASCRA生成的硬件程序在硬件资源占用情况和运行速度两方面与指针还原技术相比都能够达到相同的硬件效果。     

基于Agent的位置管理模型研究

移动客户机位置管理是移动数据库中的一项关键技术,其设计的优劣直接影响整个系统的执行效率.本文从缩短通信的传输距离从而减少网络开销的角度入手,把Agent技术和前向指针方法相结合,提出了一种位置管理模型,本模型充分利用了这两项技术的优势,并通过性能分析与评价表明可提高系统的执行效率.     

LEO卫星网络多HLR位置管理策略研究

本文从低轨卫星网络系统的稳定性出发,提出了在关口信令转接点(GSTP)设置多个HLR的位置管理策略,既为系统提供数据库备份,提高系统的稳定性;又让HLR参与远程寻呼过程,减小远程寻呼开销,同时引入了一步前向指针策略来减小远程位置更新开销。通过理论分析和仿真表明,本管理策略在提高系统稳定性的同时减小了位置管理的开销。     

一种访问类中数据成员的新方法

介绍了在C 中不通过类的接口而对其数据成员进行访问的新方法.该方法根据C 对象模型的特点,通过一个指向待访问的数据成员的指针和一个指向全局(或静态)变量的指针,分别获得待访问的auto类型数据成员指针和静态数据成员指针,从而实现了对类的数据成员的访问.该方法同时表明了类提供的保护和封装对数据成员的安全是不可靠的.     

C语言中指针的应用

指针的使用是C语言程序设计中一个重要的特色.从指针的定义和指针的类型等方面对C语言指针的概念进行了简单的分析,并总结了C语言中指针的基本用法.