基于功能点的软件度量在项目管理中的应用

软件规模度量是项目管理者在整个项目周期进行项目跟踪和评估的基础。介绍了一种通用的FSM抽象数据模型,并通过对各种度量方法的分析及对典型工程的应用分析,认为借助功能点分析方法建立一个有效的度量体系,将有效改善项目管理的各个环节。功能点是被证实的可信的软件规模度量方法,它在软件定价、变更管理、项目估算等方面可以起到积极的作用。

面向大数据流式计算的任务管理技术综述

流式计算是大数据的一种重要计算模式,大数据流式计算已成为研究热点。任务管理是大数据流式计算的核心功能之一,负责对流式计算的任务进行资源调度及全生命周期管理。目前对于大数据流式计算的技术调研工作主要集中于流式计算应用需求、体系结构及整体技术,缺乏对大数据流式计算任务管理技术的精细化调研分析。首先给出流式计算任务管理的抽象功能模型,其次基于该模型对任务管理的关键技术进行了分类和综述,最后对既有主流的大数据流式计算系统对上述关键技术的应用、集成和优化进行了调研分析。

基于对象关系数据库的时空数据模型研究

一体化时空数据建模是新一代GIS理论与技术研究的重要基础。基于对象关系数据库探讨时空数据库的数据建模方法,提出综合考虑矢量和栅格数据一体化的时空数据模型。首先基于基本类型派生定义矢量和栅格抽象数据类型,在此基础上定义时空数据类型为一系列空间类型的时间片序列。该抽象数据类型的定义包括其数据对象和相关操作,将其嵌入对象关系数据库中,扩展其时空数据的存储和查询能力。利用该数据模型,可以统一考虑矢量和栅格数据,建立基于对象关系的时空数据库,并支持矢量—栅格一体化时空数据访问和操作,进而对新一代GIS技术的研究与实现起到重要支撑作用。

时空对象关系模型研究

时空数据模型是时空数据库的研究重点之一 .以往提出的时空数据模型存在着不同的缺点 .本文以抽象数据类型为基础 ,提出了一个基于对象关系模型的时空对象关系模型 STORM,给出了 STORM的形式化定义 。

继电保护及故障信息系统通信模型研究

对于继电保护及故障信息系统的通信结构至今还没有系统化的解决方法,此外目前的继电保护及故障信息系统存在接入装置或采用的通信协议互不兼容、系统升级和维护成本高、开放性较差等问题。为此,文章提出了继电保护及故障信息系统的通信模型,提出了继电保护及故障信息系统的分层通信结构,规定了每层接口完成的功能。为支持主站的应用,提出了公共数据模型的概念,并将其分为一次系统公共信息模型和二次系统公共信息模型。对于站内数据通信,以IEC61850为基础,提出了信息服务模型的概念并定义了其基本功能。

面向顺序存储结构的数据流分析

C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.

航天器数据管理系统软件的自动化测试系统设计

针对目前航天器数据管理系统软件人工测试存在的测试效率低、测试有效性差的问题,提出一种数据管理系统软件的自动化测试系统设计,在虚拟的数据管理系统设备上运行数据管理系统软件,应用自动化测试系统完成对数据管理系统软件的测试。引进虚拟测试(VTEST)平台软件、电子信息设计系统(EDS)及测试接入控制(TAC)系统3种工具,创建一种分层架构的测试系统,各层之间通过标准接口进行数据交互,以利于系统维护和被测对象的接入。由于自动化测试系统的测试实施过程不需要人工干预,避免了人工操作过慢、误操作、重复操作等问题,因此测试时间相比人工测试可缩短40%,而且能避免人工误判导致的测试不充分问题,能提高测试的有效性,从而提高数据管理系统乃至整器的可靠性。

基于抽象解释的服务间消息的数据约减

面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。

海洋时空过程数据模型及其原型系统构建研究

从地球信息科学角度,分析了海洋现象的过程特性,并给出过程对象的BNF范式组织结构。把具有过程特性的海洋现象分级抽象为海洋过程对象、阶段对象、序列对象和状态对象,讨论了海洋过程对象的语义分级抽象与顺序、包含关系及过程对象内的演变机制,分析了通过过程对象隐式记录演变机制、过程对象存储表提供其程序接口,实现连续渐变表达机制在模型中的实现策略,发展了基于过程对象、过程对象关系表的模型的过程化组织结构。在Geodatabase9.2基础上,扩展过程对象的存储机制,构建海洋时空过程数据模型的原型系统(海洋时空过程数据库系统MarineSTPDMGDB和海洋系统功能平台MDMProtoTypeSystem),并给出其框架结构及关键技术实现流程。原型系统的构建及功能分析结果证明了模型的科学性与适用性,为"数字海洋"战略的实施提供了理论基础。

通用MIS软件系统结构模型的探索

利用程序抽象技术，以信息隐藏为基本手段，通过建立抽象数据层，探索出一条提高ＭＩＳ软件质量的技术方法。实现了动态数据库结构、动态数据输入、动态查询及动态报表结构，从根本上解决了ＭＩＳ软件不能通用的弊端。

基于面向对象方法的通用报表系统生成工具的开发模式

本文提出了一种实用的通用报表系统开发摸式，讨论了开发摸式中的面向对象方法的＊本思想及其应用。基于这种摸式，研制了通用报表系统生成工具，并应用生成工具生成了开发现模小、可维护性好的统计分析报表处理系统。

支持抽象数据类型属性的索引机制

本文讨论了关系数据库中的抽象数据类型属性值对传统DBMS索引机制的影响,并提出了一种基于用户定义新操作的扩充传统索引机制的原理、方法和处理策略。扩充的索引机制可以有效地支持对ADT属性的快速存取。

计算机软件技术基础多媒体辅助教学软件研究与开发

通过对计算机软件技术基础多媒体辅助教学软件结构进行分析 ,提出了抽象模型 ,给出了基于推理的学习过程控制算法 ,讨论并实现了数据库管理及数据库表结构多媒体字段 ,最后分析了软件运行现状。

图书馆图片检索系统的几点关键技术研究

基于内容的图像检索方法是目前图书馆查询大量图片资料的关键技术。本文对低层视觉特征提取、高维索引、相似性度量准则与相关反馈技术进行较深入的研究,提出了一种颜色特征提取和特征向量的索引方法,讨论了系统架构以及系统的编程实现,数据模型的操作和系统的性能测试。实验证明,本方法在一定程度上提高了检索的准确率和效率。

面向对象数据库(OODB)的对象定义及对象操作的实现

论述了面向对象数据库（ＯＯＤＢ）产生的背景、有关概念和原理。

网管融合建模的思考

随着网管集约化诉求的日益强烈,电信运营商建立综合化网管系统的思路也日渐明确。基于网管系统的特点,结合笔者长期在综合资源建设方面的经验,阐述了在全专业统一管理的情况下,综合化网管进行数据融合的建模思路,通过抽象大类建模+元数据的方式,实现全网模型统一,解决核心模型的稳定性差和不易于扩展的难题。

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。

数据并行高层描述语言中的数据抽象

数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方面 :一是引入了变量的定义域、子域和依赖域概念 ,给出了它们的形式化描述 ,二是引入了变量的数学属性 ,并和域分离 ,便于数据并行自动识别 ,重构高效的并行程序 ,使

语义数据模型及其建模的探讨

本文首先介绍ＴＡＸＩＳ语言的主要特性，然后阐述ＴＡＸＩＳ建模的方法及ＴＡＸＩＳ系统的特点。

面向对象工程数据库中对象方法管理的研究

主要讨论如何利用工程数库技术实现对象方法复杂数据结构的存储与管理。着重讨论了方法数据的抽象描述以及方法数据模型的建立并就数据库索引文件结构以及方法在应用程序中的引用技术提出了切实可行的方法。,