VAX／Ada调试器的设计与实现

本文首先叙述了开发高级符号调试器的意义和目的,介绍了高级符号调试技术及VAX DEBUG的工作原理,然后就Ada源程序调试器(简称ASDB)的开发问题作了一般讨论,最后介绍了第一版ASDB的实现情况。     

从软件工程看Ada程序设计语言

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法，可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化，为了适应编程语言的这种进步，程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则，介绍了程序切片的一些类型，以度如何利用源程序和图形进行程序切片，并且进行了举例说明。     

一种C++程序切片系统的设计与实现

程序切片是一种程序分析技术，它主要应用在程序的调试和逆向工程。文中介绍了笔者设计并实现的一个C＋＋程序切片系统。其中包括系统的总体框架，系统中使用的数据结构以及切片生成算法。本系统已经成功应用到了X型导弹指挥软件的故障诊断中。     

一种C++程序切片系统的设计与实现

程序切片是一种程序分析技术,它主要应用在程序的调试和逆向工程。文中介绍了笔者设计并实现的一个C 程序切片系统。其中包括系统的总体框架,系统中使用的数据结构以及切片生成算法。本系统已经成功应用到了X型导弹指挥软件的故障诊断中。     

UML状态图切片系统的设计与实现

UMI．状态图切片系统是一个基于C＋＋程序UML状态图的切片生成系统。系统生成的LrML状态图切片可应用于C＋＋程序的测试、回归测试、排错、维护等方面。文章主要介绍UML状态图切片系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法,可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化,为了适应编程语言的这种进步,程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则,介绍了程序切片的一些类型,以及如何利用源程序和图形进行程序切片,并且进行了举例说明。     

一种分析和理解程序的方法--程序切片

程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解。程序中某个兴趣点的程序切片不仅与该点定义和使用变量有关,而且与影响该变量的值的语名和谓词以及受该变量的值影响的语名的谓词有关。文中详细阐述了程序切片技术的研究与进展情况,并对目前存在各种程序切片方法和工具进行了比较;简单介绍了文中提出的面向对象的分层切片方法及其算法的思想;最后分析了程序切片技术目前     

Ada语言回顾与展望

本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。     

程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。     

汇编源程序框架抽取系统设计与实现

抽取汇编源程序的流程和框架结构在反汇编、代码测试、逆向工程等技术领域中都有重要应用。目前,针对汇编源程序进行框架抽取的工具很少。本文介绍了为用户研发的汇编源程序框架抽取系统的总体结构和工作流程,然后详细论述了系统实现的关键技术,最后讨论了它的特点。     

一个CD—on—demand系统的设计和实现

本文设计和实现了一个CD－on-demand系统,可支持具有CD音质的mp3音频流的实时传送与播放。并提出了一个自适应的可变传送速率的流控方法。     

统计数据库管理系统的设计与实现

统计与科学数据库与常规商用数据库有很大差异，利用常规的商用数据库管理系统建立统计与科学数据库是不合适的．本文以我们开发的统计数据库管理系统（ＳＳＤＢＭＳ）为基础，讨论ＳＳＤＢＭＳ的数据模型数据压缩、安全保密、统计查询等一系列技术．     

海洋信息管理系统的设计与实现

为了解决海洋数据的多源异构问题,使用户对大量复杂的海洋数据进行有效管理,设计并实现一套海洋信息管理系统。首先介绍系统的体系结构,然后对各模块进行详细的阐述,并对海洋数据进行了详细的分析。针对海洋数据存在数据不一致、数据空缺和数据冗余等问题,使用基于累积变化量的时间序列异常检测方法,有效检测出海洋数据中的异常点,再对异常点进行修正,保证了海洋数据的质量,从而建立一套完善的海洋信息管理系统,使得海洋相关部门的业务流程更加科学化和规范化。     

PASCAL题库系统的设计与实现

本文介绍了ＰＡＳＣＡＬ题库系统的主要功能、数据结构及其关键性的实现技术，并在有关概率模型智能搜索理论的基础上提出一种新的随机化启发搜索算法，成功地解决了多目标随机化自动组卷的困难。     

计算机辅助室内设计系统的设计与实现

本文介绍了在微机上开发的室内装饰设计系统的总体设计方案，并对系统中关键技术的具体实现作了较为详细的阐述，本文提出的室内内装饰设计方法，有机地将表面与空间布局设计结合起来，使整个设计更为简洁而有效，同时对图形学中某些算法加以改进，使其能在微机上实现。     

实时大数据挖掘系统的设计与实现

针对海量视频人脸数据的场景限制和1[DK]∶N结果过多的困境,结合其他非视距信息采集手段,设计并实现一个大规模实时数据碰撞系统,解决了专门机关实际工作中依靠单一手段研判的诸多缺陷。进行分布式大数据系统的架构设计和组件选取,设计人脸结构化数据和车牌、手机采集信息的实时碰撞比对算法。多地实际运行的结果表明,该系统实时可靠,效果显著,满足一线专门机关案情及时研判和精准挖掘的需求。