基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于NAT-PT的IPv4/IPv6转换网关的研究

随着Internet和IPv6的发展,出现了IPv4网与IPv6网共存的局面。使用NAT-PT、SIIT技术的转换网关可以实现IPv4网节点与IPv6网节点的直接通信。该技术包括3个功能模块:IPv4到IPv6地址绑定、IPv4与IPv6协议转换和应用层协议转换;转换网关是在Linux平台的Netfilter过滤框架相关钩子点挂载转换网关功能模块实现的。     

无线传感器网络研究

介绍了无线传感器网络的体系结构、特点,分析了无线传感器网络研究的一些关键性问题,探讨了无线传感器网络的应用范围。     

流媒体传输控制的性能评价及其优化

对“消费者”来说任何一个系统的性能都是非常重要的,如果性能没有达到要求,即使提供强大的功能也不一定会得到用户的认可。在评价性能的过程中,如果发现系统中存在阻碍性能发挥的问题,就要对系统进行优化,以期获得较高的运行性能。本文从“消费者”与“生产者”模式的角度进行了IP网络中分布式多媒体传输控制的性能分析,同时提出了在现有网络状态下如何有效地对分布式多媒体网络性能进行合理的评价和优化控制策略。     

神圣秩序展演的凤村年俗

作为文化心理或文化潜意识的民俗信仰,与村民的年节生活有一种深层联系。凤村年俗形成的诸多文化现象,实际上印证着民俗信仰已融入了某种神圣的秩序,以致村落年节生活成为神圣秩序的展演。年节习俗对神灵和祖先的仪式是重复的过程,这种记忆一直延续到现在,一脉相承。     

实验性路由协议仿真测试平台设计

通过对网络设计架构影响网络路由性能的分析,描述了局部网络参数的改变对整体路由环境影响的重要性.设计了一个实验性路由协议仿真测试平台,并模拟了OSPF协议在该平台上运行时的协议行为,进行了模拟故障分析.利用实验性路由平台可以为网络规划设计工作提供经济有效的实验环境,有效地提高工作效率,降低故障发生率.     

古村落旅游资源评价与保护研究--以陕西省韩城市党家村为例

根据古村落旅游是我国特色的文化旅游之一，其资源内涵丰富、吸引力强，产品结构和特色符合当今旅游市场需求的趋势，重点分析了我国古村落旅游景点景区开发和保护现状．分析认为：古村落旅游目前存在的主要问题体现在旅游产品不成熟、旅游规划水平低、旅游资源保护不力、经营管理体制混乱、旅游宣传不足、旅游意识观念落后、人力资源短缺等方面．依据陕西省旅游资源普查所获基本数据，以陕西省韩城市党家村古村落旅游为例，提出了对古村落旅游产品深度开发与加强旅游资源保护的具体建议．     

入侵检测中的报文交换

阐述了入侵检测中报文交换的产生背景与功能要求，探讨并分析了此领域中的相关技术与进展，包括通用入侵检测框架中的通用事件描述语言，以及IETF入侵检测工作组在这方面的工作：入侵检测报文交换格式(IDMEF)、入侵警报协议、入侵检测交换协议(IDXP)．最后就报文交换方面的未来趋势作出预测．     

矿井下CAN总线节点地址的设计

针对矿井监控系统网络存在的传输速率较低问题，提出了无主式CAN总线网络结构。为了扩大CAN的网络覆盖面，采用了节点分支的方法，并对节点分支的系统地址和节点分支内地址作了详细的说明。实践证明，该种方法既增大了网络覆盖面积，又能够满足矿井监控系统实时传输的要求。