一种基于神经网络的垃圾收集调度方法

自动化内存垃圾收集机制越来越成为现代编程语言的必备特性.但是目前的垃圾收集算法仍然存在收集不及时,消耗CPU资源过大的问题.通过对基于RBF的神经网络进行训练,智能的决定垃圾收集机制的调用时机.该方法分为预先训练和动态训练,以提高预测的准确率.具体描述了其实现并通过实际的测试和分析证明该方法取得了较好的效果.     

基于VS2008的分组验证功能实现

在ASP.NET 3.5网站开发时,经常会使用表单获取用户的一些信息,为了防止垃圾信息,甚至空信息条目被收集,需要开发人员以编程方式根据实际需求进行验证。探讨基于VS2008的窗体验证,使用属性Validation-Group实现同一个页面的分组验证功能。     

FLSP:一个高效的系统级垃圾收集算法

垃圾收集是Java操作系统的核心功能,它直接影响到整个系统效率。现代Java操作系统中使用的垃圾收集算法普遍还是沿用应用程序级的垃圾收集算法。应用程序级垃圾收集算法的优化主要面向于普通的Java虚拟机。而Ja-va操作系统与Java虚拟机相比有更高的操作权限和更灵活的资源管理策略,如何利用这些特点和权限来提高垃圾收集算法的效率是以前的垃圾收集算法所没有考虑的。本文分析了操作系统下内存管理和垃圾收集的特点,在JUnicorn操作系统上,利用操作系统平台提供的便利,设计并实现了一个高效的系统级垃圾收集算法FLSP。测试数据表明,在操作系统级别,这种垃圾收集算法能够提高13%的系统性能,并且使垃圾收集的停顿时间缩短50%。     

Java教学中垃圾收集机制问题的探讨

本文对Java教学中垃圾收集机制问题进行了探讨.对比C 的内存泄露问题引入Java垃圾收集机制,并说明了几种主要的垃圾收集算法,通过一个示例程序的分析,使学生能较好地理解垃圾收集机制.     

并发垃圾收集器及其调度方法的研究

垃圾收集技术被广泛地应用于现代高级编程语言环境中,它在解决内存泄露等问题的同时也影响了应用程序的响应时间.为了减小甚至消除由于垃圾收集所造成的应用程序停顿,设计并实现了能与应用程序并发运行的垃圾收集器Tick.在研究过程中,使用Snapshot-at-the-Beginning算法解决了"一致性丢失"的问题;并动态地对垃圾收集线程进行调度,从而更加有效地利用系统资源.测试结果表明,Tick能有效地消除应用程序因垃圾收集所造成的停顿并减少应用程序的执行时间.     

渐进式回收循环垃圾以降低系统内存需求

为了降低实时垃圾搜集器(GC)系统的内存需求,提出一种将局部标记清除算法和引用计数算法相结合的混杂GC策略.通过对非循环垃圾采用引用计数算法渐进式回收,对循环垃圾采用局部标记清除算法渐进式回收,从而可在一个GC循环中及时回收部分循环垃圾以供系统重用;将混杂GC作为单独任务参与并发调度,以保证实时任务的时限要求.理论分析和仿真实验表明,与现有算法相比,该策略可以进一步降低嵌入式实时系统的内存需求.     

出具证明编译器中线性整数命题证明的自动生成

近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明.     

CUDA平台下LISP2算法垃圾收集并行研究

为了提高垃圾收集效率,降低垃圾收集耗费时间,提出一种基于LISP2算法的并行节点复制垃圾收集算法,给出了在CUDA环境下该算法的实现。实验结果显示,该算法在CUDA环境下能有效提高垃圾收集效率。     

一个模型框架的完全设计——垃圾收集器的设计与实现

面对日益复杂的企业应用,建立功能完善且扩展性强的框架可以有效地加速系统开发,降低开饭成本,而在这个框架中处于自动资源回收管理地位的垃圾收集器更是已被人们证明可以有效降低编程错误的重要基础设施。作为一种动态存储管理技术,它自动地销毁一些不再被系统引用的对象,并且按照特定的垃圾收集算法来实现对废弃资源的回收和销毁。本文作者就从一个具体的例子入手,向大家介绍了有关垃圾收集器设计的方方面面。     

多维概念格及其构造算法

传统概念格所蕴含的信息量是非常有限的,基于对多维数据序列的理解,重新描述和扩充了概念内涵,提出一种新的多维概念格,给出其渐进式构造算法。虽然新格的建立增大了格结构的复杂性,但能最大地保证数据的完备性,实现数据收集的全面性。通过实验验证了该算法是有效的。