摘要：将体系结构的建模方法应用于测试设计,测试设计和软件设计自上至下同步进行.利用基于体系结构的建模方法将软件设计规范和测试设计规范紧密结合,形成统一的模型描述框架,从而构建层次化的测试设计模型,同时给出了测试用例之间关系的精确定义.结论是:基于体系结构的建模方法能够大大提高软件开发过程中各工作产品的可测试性和测试用例的可维护性,能够有效地支持测试设计的重用.

摘要：在对基于主动网络的RSVP体系结构进行分析的基础上,设计了RSVP主动网络执行环境(RANEE),定义了RANEE与节点操作系统(NodeOS)的接口、RANEE的结构及各部分的功能。

摘要：文章介绍一个面向普通ＰＣ互连构成的多处理机系统的并行程序开发环境ＰａｒａＤＫ．ＰａｒａＤＫ由并行程序设计语言ＰａｒａＣ、并行操作系统ＰａｒａＯＳ和一个并行程序调试工具组成．ＰａｒａＣ是标准Ｃ＋＋扩展了支持并行的宏与库函数而成．ＰａｒａＯＳ在ＭＳＤＯＳ基础上增加了并行处理所需功能并支持多线程．对ＰａｒａＯＳ的多线程机制和线程间同步与通信的方式作了较详细的讨论，并简要介绍了并行调试工具的功能．

摘要：为了提高对分布式协同攻击的检测能力 ,提出了一种具有广泛适用性的分布式协同入侵检测模型 ,该模型以多代理为构造基础 ,通过协调代理协同下层检测代理 ,实现对复杂攻击的协同检测 .采用统一建模语言 (UML) ,对模型的主要功能、静态组织结构、代理内部的推理行为和代理间的交互行为进行了分析和设计 .UML为协同入侵检测系统的分析和设计提供了有效的手段 。

摘要：设计了支持RSVP协议动态部署的RSVP主动网络部署包(RANDP)及其封装格式,提出了两种RANDP包的部署策略,即点到点的部署策略EEDS和基于传输路径的RANDP部署策略TPBDS。对两种RANDP包部署策略的带宽消耗做了定量分析。分析表明,一般情况下,在RSVP协议部署过程中,采用TPBDS策略比采用EEDS策略要节省带宽。

摘要：论述了一种集散控制系统（ＤＣＳ）网络通信卡的实现原理及其性能．对该网络通信卡使用的三端口共享存储器技术、双重化传输机制进行了详细讨论，并对该网卡所支持的ＤＣＳ网络系统的性能进行了分析和评价．

摘要：目前的软件开发方法采用非结构化和非形式化方式建立构件模型,构件之间的关系是隐含的,并且缺乏严格的语义,不能有效地支持自顶向下的构件重用.利用范畴论定义构件之间的关系,使得构件之间的关系以及关系组合具有严格的语义.态射合成被用来跟踪不同抽象层次的构件之间的关系,利用体系结构设计模式精确地定义构件的组合关系和应满足的条件.范畴论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于模型的理解、跟踪和重用.形式化的构件建模方法适用于以重用为目标的软件开发.

摘要：针对查询驱动的移动Sink无线传感器网络,基于IEEE 802.15.4标准,提出了一个联合簇树组网和移动路由的跨层协议设计方案。以能耗、网络连通度、负载均衡和子树深度等指标为评价因子,在多目标优化模型下定义了一个拓扑综合评价函数,构建稳定的最优簇树网络结构;改进了IEEE 802.15.4 MAC中基于信标帧调度的分布式睡眠同步算法,维护较低占空比下的网络同步与拓扑修正;利用拓扑形成过程中依"最早信标帧"、"最好链路"、"最小层次"3种准则确立的父子关系,建立移动Sink与N-Hop范围内节点的双向路由路径。最终将上述MAC层的拓扑控制方案与网络层的查询路由方法完整实现于TinyOS协议栈中。实验结果表明,评价函数能够有效地反映组网质量,N-Hop后验式路由结合睡眠同步机制,在"最好链路"拓扑下表现出较高的能量效率。

摘要：提出了一种新的机制来解决在传输路径中加入非RSVP节点的问题:当周期性的PATH消息到达一个没有部署RSVP协议的主动节点时,将触发一个RANDP请求包,该RANDP请求包将会到达一个已经部署RSVP协议的主动节点。该节点将会对RANDO请求包作出响应,发出一个RANDP部署包,从而在新的非RSVP节点加载RSVP协议。提出了有关部分的设计,定义了RANDP请求包和部署包的格式,并对新机制的带宽消耗进行了分析。

摘要：软件模式作为一种有效的重用手段正日益得到开发组织和学术界的广泛关注．目前对软件模式的研究侧重于利用非结构化的方法构建和描述模式，开发者很难对模式进行维护和重用．本文提出了一个支持软件重用的面向模式的软件开发过程，它将基于体系结构的建模方法与软件过程有机地结合在一起．面向模式的软件开发过程包括四个阶段：业务分析、需求分析、构件设计和构件实施．模式用于描述各个阶段的丁作产品，同时也是开发经验的表示．不同模式之间的可跟踪性是随着开发过程自动产生的，软件构件具有可跟踪性，其可重用性得到提高．