UML序列图的Z形式规范

用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.

UML顺序图的形式化描述

1引言 统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的[4,5].由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性[1,2].

基于事件序的UML序列图语义规范

UML缺乏准确的语义 ,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对 UML序列图 ,给出了形式定义、基于事件序的语义规范及其消息间关系 ;并定义了基本序列图 ,证明其具有全序的消息关系的性质 ,为序列图的语义分析与验证提供了基础。

基于TMS320C6205的实时数据采集与处理系统

介绍了一个超高速实时数据采集处理系统的设计与实现 ,系统采用 AD1 0 2 6 5和 TMS32 0 C6 2 0 5芯片 ,具有超高数据采集率、大容量存储空间、灵活外围接口和强大的信号处理能力等优点 ,可满足雷达、通信和图像处理应用中对高数据流通率和高速处理能力的要求。文中最后给出了该系统在高速实时雷达信号处理和终端显示中的应用实例。

基于上下文约束的UML序列图语义分析方法

统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的语义约束 ,通过上下文约束与系统状态间的一致性检查对序列图进行语义分析。最后通过一个实例说明了该方法的有效性和实用性。

浅析IP-UTRAN的演进

第三代移动通信网的发展趋势将是基于全IP的 ,本文重点分析了IP -UTRAN的演进趋势 ,并对其中涉及的IP版本选择、空中接口和传输网络层等相关问题进行了讨论。

基于HTTP协议的高速代理服务器

本文在简要介绍HTTP协议及代理服务器原理的基础上,给出了如何用VC++实现HTTP协议解析及高速代理服务器。

用Radius扩展IKE实现的集中认证和计费功能

IKE是一个可以根据实际需要进行扩展的协议，它并没有指定某一种具体的身份认证技术。该文探讨了在IKE中加入自定义的Radius_CHAP认证，同时用Radius实现IKE所没有的计费功能。

如何用SPI构造SSL

SSL安全协议、WindowsSocket服务提供者SPI以及遵守Winsock服务提供者接口规范的SSL安全机制的实现方法。

一种非透明PCI-PCI桥的应用

介绍一种采用非透明PCI—PCI桥(Dec21554)的PCI插卡。重点介绍非透明PCI-PCI桥和透明PCI-PCI桥的异同点,非透明PCI-PCI桥的使用方法及其地址翻译原理等。

通用语音处理平台中非透明PCI-PCI桥的性能分析

非透明PCI-PCI桥的性能是影响通用语音处理平台的关键因素之一。文中分析了影响PCI-PCI桥性能的各种因素,并提出了如何提高系统性能的方法。

IP电话及其话音质量分析

介绍了IP电话的工作原理，着重分析了影响IP电话话音的主要因素，并提出了相应的解决方法。

基于PCI总线的网卡的硬件设计

基于ＰＣＩ总线的网卡是一种广泛应用的网络设备。文章从系统结构、布局、调试等方面介绍了一款网卡的硬件设计。该网卡基于ＰＣＩ总线，采用了Ｉｎｔｅｌ公司最新推出的Ｉｎｔｅｌ ８２５５９以太网网卡芯片。

TD-SCDMA系统的频谱效率分析

建立了TD-SCDMA系统中的上行干扰和容量分析的系统模型,在此基础上对上行干扰和容量进行了理论分析,给出了干扰和容量分析的理论模型。并针对12.2k的语音业务,通过仿真对上行容量和频谱效率进行了评估。

DVB-C机顶盒中的软件设计

机顶盒是当前消费类电子产品的一个热点。文章介绍了DVB C机顶盒的软件设计 ,包括码流的解复用和解码。