摘要：基于面向服务的体系结构与服务定制思想,讨论了电子白板构件的设计与实现,介绍了电子白板构件的主要接口和调用机制,并结合“863”课题的研究,将电子白板构件与其它构件进行服务组合,集成了一个简单的计算机会议应用系统。

摘要：以容错CORBA实现的ftbus为测试对象,提出了一个容错CORBA的 Benchmark测试的设计方案,涉及一个金融领域的银行应用场景和一个Benchmark测试框架。与此同时,给出了两个性能度量指标,并对每个指标进行了分析。

摘要：为了从源头上解决环境问题,从概念设计、结构设计、参数设计三个阶段对产品低碳设计理论进行了论述,介绍了产品碳足迹评估方法,提出了狭义碳效益和广义碳效益的概念。在总结目前低碳设计研究进展的基础上,对产品低碳设计的发展愿景和方向进行了讨论。

摘要：选播(anycast)是IPv6新接纳的一种通信模式。根据选播的语义及其应用的特性,该文设计并实现了一个IPv6框架下的选播原型系统,并给出了一个流媒体应用实例。通过各个部分的协调工作以及针对应用特性所做的优化,该系统很好地完成了选播的任务。

摘要：利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的类型定义和对XML数据处理过程的类型检验,为可直接存储和检索XML数据的XML数据库DM4提供了一种有效的类型系统设计方案。

摘要：针对目前SoC设计中存在的软硬件协同验证的时间瓶颈问题,提出了一种使用系统建模语言SystemC对SoC进行总线周期精确行为级建模的方法,采用该方法构建SoC芯片总线周期精确行为级模型进行前期验证。该模型基于32位RISC构建,并可配置其它硬件模块。实验结果表明:模型完全仿真实际硬件电路,所有的接口信号在系统时钟的任一时刻被监测和分析,很大程度地提高了仿真速度,并且可以在前期作系统的软硬件协同仿真和验证,有效地缩短了目前SoC芯片设计中在RTL级作软硬件协同仿真验证时的时间开销。

摘要：针对目前安全产品各自为政、管理复杂、安全事件与安全信息无法共享,存在着大量的安全信息资源利用率低、难以自动流转等诸多问题,提出和设计了自驱动的安全管理策略模型,围绕该模型,介绍了定义、规范和实现技术。

摘要：在系统芯片设计中,直接采用现有的跨时钟域信号处理方法不仅设计复杂度高而且验证难度大。为了解决这个问题,将跨时钟域设计与功能设计完全分离,在每个通信接口部件中采用独立的、专用的跨时钟域处理模块统一解决跨时钟域信号的传输问题,并通过封装点对点通信接口和合并处理同一方向的跨时钟域信号,将需要处理的跨时钟域信号的数量减少为方向相反的2组。实验结果表明,该方法能够有效降低跨时钟域设计的验证难度和系统芯片的设计复杂度,并且不会明显增加功能部件的传输延迟和面积开销。

摘要：对防火墙集群负载均衡算法进行了分析探讨,根据网络流量模型以及影响负载均衡的因素,提出了一种防火墙集群的动态自适应负载均衡算法,并在实际应用中取得了极佳的性能。

摘要：采用企业信息门户技术来实现企业不同应用系统的集成,是企业信息化建设的一个最佳方案。该文介绍了企业信息门户的主要技术,针对“数字黄河”建设工程中面临的问题,提出了水利信息门户的概念,并用来设计和实现一个原型系统。