对计算机辅助软件工程的若干看法

本文从国家经济信息化角度出发,讨论了计算机辅助软件工程(CASE)的实质、发展过程、技术分类及其现状与未来研究方向。

p-HPF并行编译系统核外计算的实现及优化策略

文中阐述了ｐ－ＨＰＦ编译系统中对核外计算的支持以及采取的优化策略．通过对编程模型的扩充和并行Ｉ／Ｏ模型的构造，ｐ－ＨＰＦ编译系统已能对核外数组进行有效的处理．通过采用数据筛选、行列优先、预取、文件与数组的一一映射等优化策略，使并行程序执行核外计算的效率得到了大幅度地提高．文中叙述了核外计算模型及其优化的设计思想与实现。

Peer To Peer计算技术的应用领域与典型问题讨论

With the rapid development of computer networks there are more and more resources involoved in it,such as CPU cycles, PC's disk space and network bandwidth. Many people beheve that peer to peer computing can harness these disruptive powers. In this paper we describe the applied fields,research issues and typical problems in peer to peer computing.

p-HPF支持多范例并行计算的并行编译技术

多范例并行是大规模并行应用系统的本质特征 ,实现 p- HPF对多范例并行计算的编译支持不仅可以弥补数据并行范例本身的一些缺点 ,而且可以提高并行应用系统的效率 .文中在论述 cluster环境下 Global,L ocal,Serial三种典型并行计算模型的基础上 ,给出了实现 p- HPF对三种模型的典型代表 F77,F77+MPI,Sca L A PACK调用的并行编译技术 ,包括参数重分布技术、存储转换技术、全局与局部信息交换技术以及局部数组参数的上下界处理技术等 .

IncGraph:支持实时计算的大规模增量图处理系统

随着社交网络的流行,越来越多的相关应用要求能够实时地在大规模社会网络图上进行分析和计算。而目前的图处理系统,如Google的Pregel,是全局、批量处理的图处理系统,并不能实现对图的实时计算。因此,提出了一种新的图增量处理模型,当一个节点发生变化时,只需要以传播的方式更新局部范围内受影响节点。它本质上将传统的批量全局计算模型,转化成一系列的增量的、局部的图计算,保证对图变化的实时处理,并通过避免没有更新节点的重复计算来降低开销。基于这种新的图计算模型,设计了一个低开销、实时的图处理系统——IncGraph,它通过图切分技术将计算局部化,保证了计算的低开销,同时利用主动计算触发和反向链式更新技术,保证了计算的实时性和可靠性。利用真实的社交网络数据证明了IncGraph的低开销、实时性和扩展性。IncGraph的提出会为社交网络应用提供更为灵活的计算框架。

面向对象软件回归测试技术研究

回归测试的目标之一是在程序修改后 ,只对进行修改的部分重新测试 ,从而达到与完全测试相同的测试覆盖 .利用数据流或部分数据流技术 ,对结构化程序进行回归测试的技术已相继提出 .随着面向对象方法的逐渐成熟 ,对面向对象软件测试技术的研究有了迫切的需求 .通过分析对象系统的特性 ,定义了对象之间的依赖关系 ,通过这个依赖关系 ,导出测试对象的方法序列 ,并应用程序切片技术 ,标识那些受到程序修改影响的测试用例 ,只有这些测试用例才需要在回归测试中重新执行 .最后给出了一完整的对象系统的回归测试解决方案 .

基于GIS的“119”消防指挥调度系统的设计与实现

在总结多个城市“119”指挥调度系统分析、设计和实现经验的基础上，通过对消防领域的用户类型、系统结构和任务流程等进行深入的分析，提出了基于GIS 的城市消防应急指挥系统的通用模型，并对快速火警识别、车辆跟踪等几个关键问题的实现进行了阐述。

层次化WebGIS构件系统的设计与实现

给出了一个实用的WebGIS对象构件系统模型Geo Union .它由 4个层次组成 :存储层、服务层、构件层和应用层 ,其中服务层又可分为客户端和服务器两个层面 .详细论述了Geo Union各层的结构、对象组成以及相互之间的关系 ,并对Geo Union中所采取的关键技术———空间数据模型、ORDB、空间索引以及空间缓存等进行了总结和分析 ,同时还给出了Geo Union的Web应用模式 .最后 ,对WebGIS进一步的工作 ,如互操作问题、安全问题。

信息安全评估标准、技术及其进展

介绍了信息安全评估标准的发展过程以及TCSEC、CC等具有较大影响的安全评估标准，对安全评估方法及实施模型进行了阐述，最后介绍了国外关于信息安全评估技术与方法的近期研究情况。

扩充CDL支持基于构件的系统组装与演化

基于构件的软件开发方法适应了软件构造性和演化性的特征 ,也对软件配置管理提出了新要求 .在基于构件的软件配置管理模型基础上 ,提出了在构件描述语言 CDL上扩充系统演化信息的方法 ,使构件组装系统与配置管理系统形成有机的整体 ,为基于构件的软件开发方法提供了良好的技术支持 .不仅可以有效地支持基于构件的系统构造定义 。

确定性退火技术

根据统计物理的退火过程，深入地研究了确定性退火技术．首次对确定性退火技术的物理背景作了详细的描述．该技术利用传统优化方法，通过选定一特殊初始点求解自由能函数的极小值来模拟系统的平衡态，并在理论上成功地证明了当自由能函数满足一定条件时，自由能函数的全局最优解是温度的一连续映射，从而为确定性退火技术提供了可靠的理论依据．

基于XML的本体表示和检索技术的研究

基于XML和本体在抽象层次上都可以用带标签的有向图来表示,文章提出了用XML来描述本体,并在此基础上实现对本体中概念的检索。

一种HPF编译系统的研究与实现

ＨＰＦ（ｈｉｇｈｐｅｒｆｏｒｍａｎｃｅＦｏｒｔｒａｎ）是一种典型的数据并行语言，ＨＰＦ编译系统的实现是并行计算研究领域的一个难点．文章介绍了一个ＨＰＦ编译系统的研究与实现情况，在对该系统的主要组成进行了简要介绍之后，着重讨论了系统实现中的若干关键技术，并列出了部分ＨＰＦ源程序及其编译器生成的相应代码。

利用确定性退火技术的旅行商问题求解算法

将确定性退火技术及聚类方法应用于旅行商问题，给出了求解旅行商问题的一种启发式算法．该方法将旅行商问题的离散模型转化为连续模型去求解，通过求解一系列随温度变化的物理系统的自由能函数的局部极小来获得旅行商问题的解，并给出了一个简单的显式迭代公式．算例表明，该算法性能良好．

分布式GIS的多Agent系统建模与实现

将Agent技术引入到分布式GIS领域 ,提出了一个面向分布式GIS的多Agent系统模型 ,为分布式GIS的研究和开发提供了一种新的方法 首先设计了系统的体系结构 ,将分布式GIS系统中的Agent分成三类 :Facilitator,GIS功能Agent和接口Agent,并给出了GISAgent的结构和特征以及Agent之间的通信机制 ;然后采用DCOM技术和多线程技术 ,实现了一个空间多Agent系统的原型 ,并对其中的关键技术 (同步技术、Agent的调度、Agent的强制终止等 )

本体内代数系统之研究

信息检索中的语义问题一直是研究的热点。本体作为能描述语义能力的建模方法,在信息系统领域得到广泛的关注和应用。文献犤1犦犤2犦研究了在不同本体之间构建代数系统来解决分布式系统之间的语义异构。文章研究单个本体内的代数系统,给出了该代数的定义和相关概念,并结合实例指出该代数系统有利于提高信息检索的质量。

一种新的基于离散对数多重签名方案及其分布式计算

该文提出了一种新的基于离散对数多重签名方案 ,该方案改进了基于 Meta- El Gamal方案的多重签名方案和基于 Schnorr方案的多重签名方案中的密钥生成部分 ,成功地避免了原方案中存在的多个签名者如果在生成自己的密钥时相互合作就能达到日后否认消息签名的攻击 .文中最后给出了新方案的一种分布式计算设计 .

一种P2P环境下分布式文件存储系统的缓存策略

在分布式文件存储系统中,缓存技术被广泛用于提高系统性能。论文针对P2P环境下分布式文件存储系统的特点,提出了一种兼顾用户访问效率和复本一致性的灵活的缓存策略,不同于目前已经存在的P2P存储系统,论文使用“阀值”来将文件区分为热点文件和非热点文件,并且只针对热点文件来做缓存,根据缓存空间的使用效率和不同的文件类型来设置不同的阀值使得缓存策略灵活而有效,论文对该策略进行了理论上的分析,然后通过Trace-Driven模拟的方法验证了该策略的可行性。

基于支撑向量置换核函数的一种领域知识与模型融合的技术

提出了一种修正支撑向量核函数的理论与方法 .与传统的方法相比 ,置换核函数的引入为领域知识与学习模型的融合提供了理论基础与方法论 .该文借助于置换的概念 ,对关于事物模式组成的不变性常识进行了形式化 ,求取了可以定量表述事物模式扰动的置换变换矩阵 ;在分类不变性的约束下 ,运用置换变换矩阵对核函数进行修正 ,获得了改进的学习模型 .文本分类的实验表明 ,学习算法将文本领域内的知识有效地融合到了学习模型中 ,获得了更高的分辨率与泛化能力 .

基于ER模型的数据库受限汉语查询界面RChiQL的文法分析系统研究

RChiQL是一个基于受限汉语的关系数据库查询语言界面的计算模型 ,其中文法分析占有重要地位。本文引入了一种新的文法GWERSC(GrammarwithERSemanticCharacter istics ,ER语义特征文法 ) ,设计了分析算法 ,其内嵌的ER语义特征有利于排除语法分析的歧义并可简化语义分析。