摘要：基于面向对象建模语言AML ,开发了一种在软件模型中实现动态导航的方法。这种方法通过将软件模型不同侧面的视图映射到一种集成支撑表示中 ,提供动态导航算法 。

摘要：1 引言建模语言的发展是随着计算机发展而发展的.在计算机发展的初期,程序设计被认为是一种技巧,那时所开发软件产品的部件不具有可重用性,难以维护及改进.这很不利于复杂的大型软件系统的开发.

摘要：通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高。针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术。给出了基于有色Petri网模型的GUI对象建模方法。定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法。介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现。实验表明:该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量。

摘要：该文描述了一个新的面向对象建模集成环境AML-Tools。AML是一个基于Ada95的建模语言,它吸取了Ada95的基本原理和思想,利用支持面向对象建模的设施对其进行扩充和改造,使之适用于软件建模的各个阶段;引进了程序包、任务等程序单元的概念并使之成为AML的核心成份;吸取了多视点模型的思想,将描述同一实体不同侧面特征的信息分别封装在相应的程序单元声明、程序单元体和程序单元描述中;利用新的并发模型、同步设施和限制设施,有效地解决了系统并发性、不确定性等非功能特性的描述问题。

摘要：节点定位作为无线传感器网络应用支撑技术之一,一直备受学术界和工业界的关注.现有的大多数定位算法针对平面应用而设计,无法满足三维空间应用.针对目前三维空间定位算法的不足,本文提出了一种基于球面坐标的动态定位机制,将定位问题抽象为多元线性方程组求解问题,最终利用克莱姆法则解决多解、无解问题.仿真结果表明,当在100*100*100m3的仿真场景内部署100个传感器节点,通信半径为10m、锚节点密度为10%时,相对定位误差为50.7%.在算法中引入了最小二乘法理论来估算节点位置以及结果过滤策略以减小定位误差,试验结果表明,改进后的算法性能提高了32.2%.

摘要：作为常用导航手段的惯性导航、GPS系统等单一的导航设备,已不能满足现代电子战条件下的作战使用需求。因此,目前世界各国广泛采用多设备组合、冗余设计、多功能的组合导航系统。本文设计了基于联邦Kalman滤波的组合导航技术,进行了相应的数据仿真实验,并使用北斗星定位系统上的实际运行数据进行了算法验证,从而验证了在北斗双星定位系统上使用基于联邦Kalman滤波组合导航技术的有效性和可行性,为未来进一步在中国独立自主研究的北斗双星定位系统上进行实际的工程应用和商业应用奠定了良好的基础。

摘要：ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．

摘要：Web服务是一组采用面向服务的体系架构的基于标准的Web协议的软件构件,而Agent是一种在某个环境中自主行动以实现其设计目标的智能化软件实体。Web服务与多Agent系统(MAS,Multi-AgentSystem)在架构、范例和技术方法等方面具有很大的相似性。Web服务的可信性是未来计算机软件发展关键的问题,实现Web服务在分布式环境下的协同式测试具有一定的挑战性。本文在探讨Web服务与Agent技术的共性的基础上,分析并总结了Agent技术在Web服务中的应用。针对Web服务测试的开放性、协同性、动态性和不确定性等特点,结合Agent系统的自主性、反应性、适应性和社会性,本文提出了一种基于MAS的Web服务测试框架(MAST,Multi-Agent-basedServiceTesting),并对其关键技术进行了探讨。

摘要：本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。

摘要：1引言编译系统是任何计算机系统中不可缺少的重要部分.编译系统的研制因其技术复杂、难度较高而需要投入较多的人力、物力和花费较长的研制周期.过去编译器均是针对某一特定语言和目标机而编写的.随着计算机的飞速发展,过去那种编写编译器的方法已很难满足需要.在八十年代初,针对各种程序设计语言的后端具有较大共性的特点,国外相继开发了支持多种语言的编译系统,并很快成为各计算机公司编译系统采用的通用方法.