ADA前途如何?——TRI-Ada''''96大会印象记

一、一般情况 TRI-Ada是由美国政府、学术界、产业界三方联合召开的、一年一度的学术大会。TRI-Ada’96于1996年12月3日-7日在美国东部费城召开。这次大会的主题是:“有纪律的Ada软件开发”(DisciplinedSoftware Development in Ada)。大会程序委员会主席A.Gargaro说:选定这个主题是因为整个世界都在关心着可靠而安全的程序设计。当年推动设计Ada语言的这个目标已经被其它语言所接受,商业界和工业界象政府一样,面临着软件的复杂性、可维护性和可靠性的类似问题。出席这次大会的有来自世界各国(大部分是美国)的Ada同行约600人。安排有大会特邀报告、技术报告和分会场报告。大会的三个特邀报告是:     

Ada分别编译及其实现

为了辨明并解决Ada语言分别编译所要解决的问题,我们实现了一个Ada分别编译模型,根据该模型,本文分析了Ada分别编译所需支撑设施,提出了一种实际可行的实现方案。     

一种改进的参考文献搜索模型及相关性技术研究

基于Web的参考文献检索越来越受到欢迎，但是现有的参考文献相关性计算方法不能准确地给出参考文献的相关性，从而影响了用户文献检索的质量。首先给出了一个参考文献结构模型，在该模型中提出了虚节点的概念，从而大大拓展了文献检索的范围；其次在参考文献结构模型的基础上，通过充分挖掘参考文献之间的引用关系来计算参考文献在参考文献信息库中的重要性。通用组合位置／频率法与参考文献引用相关性技术的结合应用大大提高了文献检索的精度和质量。     

持久性程序设计语言及其现状

1.引言许多计算机系统如MIS系统、CAD/CAM系统、CASE系统、OA系统、地理信息系统、医疗保健系统都遵循一个共同的模式,就是围绕持久性的数据进行计算(处理),这类应用称为持久应用(persistent application)。在这类系统中,被处理数据分为瞬态数据和持久性数据。传统程序设计语言一般只提供了定义和操纵瞬态数据的设施,却不支持对持久性的抽象。传统的数据库系统可以定义和操纵持久数据,但却存在着计算不完备、数据建模能力差等问题。因此,在开发持久应用时,人们往往不得不同时使用数据库系统和传统程序设计语言:用数据库系统对持久性数据进行定义和存储,用传统语言进行其它辅助处理。但混合使用传统语言和数据库系统并不     

三边支承一边自由矩形板自由振动分析

板自由振动振形必须具有正交性，采用主振方向排序法建立三边支承一边自由矩形板振形函数表达式可以满足振动微分方程和全部边界条件，又具有振形的正交性。该振形曲线中的振动波形数在主振方向上是唯一的，在另一方向上是不唯一的，振形曲线形状符合板边界是条件所能限定的变形形态，通过证明振形正交性的存在，分析振形函数表达式的结构形式，推导不同边界条件矩形板的频率方程，计算板的自振频率及相应振形，并与前人的结果进行了比较，从理论上说明了该方法的正确性。     

基于模式迁移策略的并行遗传算法

通过分析影响并行遗传算法性能的诸多因素，以降低通信代价为问题的突破口，提出一种基于模式定量的迁移策略SMS．SMS迁移策略借鉴网络信息传输机制，通过模式识别压缩提取出子种群中的优质遗传信息，再将一遗传信息在另一子种群中按比例传播，文中首先依据模式定理对模式迁移策略的算法有效性进行了探讨，然后从理论角度给出了采用模式迁移策略后通信量降低的形式化度量，最后分析了由此带来的算法可扩展性的提高。     

Web测试综述

1 引言 Web以其广泛性、交互性和易用性等特点迅速风靡世界,网页数量正以指数级飞速增长。能够吸引尽可能多的用户并对其长时间关注是网站追求的主要目标,也是衡量一个网站是否成功的主要指标,这就对网页功能的正确性、有效性和完善性提出了较高的要求,从而Web测试就成为Web应用开发过程中的一个重要环节。通过Web测试尽可能多地发现浏览器端和服务器端程序中的错误并及时加以修正,以保证Web应用的质量。由于Web具有分布、异构、并发和平台     

一种基于消解的变量极小不可满足子公式的提取方法

变量极小不可满足(VMU)问题是极小不可满足(MU)问题的一个扩充和延伸.着重研究VMU子公式的提取算法.首先从理论上比较MU和VMU的基本性质,并分析了目前流行的MU子公式提取算法.研究Davis-Putman-消解的基本性质,给出一个判定变量极小不可满足公式的充分必要条件,进而提出一个基于消解的VMU子公式提取算法.此算法可以使用ZBDDs压缩存储消解式,并实现单步多重消解.     

一个基于Ada的面向对象建模语言

给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软件建模的各个阶段.AML沿用了Ada95中的程序包概念,并将程序包作为它的核心成份,同时,沿用了Ada95的任务单元和保护单元等设施,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想,将实体不同侧面的特征分开描述;AML利用一种新的并发模型和限制设施,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题;AML有较强的可扩充性,能应用于各种应用领域.总之,AML是一个既面向用户,面向开发者,又面向系统的通用建模语言,有效地克服了现有一些建模语言在表达能力和应用范围等方面存在的诸多不足.