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

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

基于IP网络的自动拓扑搜索算法

目前局域网规模不断扩大、结构日趋复杂,网络速度及网络管理成为网络系统正常运行的主要指标及关键,其中网络拓扑自动发现是网管系统的基本要求和重要功能.要求网络拓扑发现速度快并可反映使用权级而决定服务内容、服务器、路由器和交换机的布局状况,提供可视化管理界面,如系统配置、节点状态和流量监控、异常告警等,对网络系统正常运行、防范网络攻击具有重要意义.本文提出一种基于移动Agent的网络拓扑发现改进算法(广度优先搜索算法),降低了拓扑生成的复杂度,从而提高了系统速度.     

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

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

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

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

无线传感器网络研究

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

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

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

IPv4／IPv6技术及相关编程应用浅析

目前世界已经进入网络高速发展的时代，电脑、数字电视、电话、PDA甚至微波炉和电冰箱都可以上网。作为现今通行的互联网络标准的TCP／IP协议被广泛应用，有TCP／IP协议的地方就有IP存在。     

高校网络控制IP防盗策略研究

计算机网络的飞速发展和广泛应用已经使得IP地址资源相对匮乏，IP地址被盗用也已成为影响网络运行的重要问题．文章针对高校网络中存在的安全问题，给出了IP地址盗用的常用模式和防范策略；针对不同的盗用方式分别给出了IP防盗的方法，彻底解决了IP地址盗用的问题，减轻了网管工作人员的工作负担，提高网络管理的科学性和安全性．     

中药国际化的知识产权战略浅析

中药作为一种天然药品,中药强调人与自然合一,符合现代人追求绿色消费的潮流,因此中药被世界上越来越多的国家和消费者接受,中药的国际化程度也越来越高。中国已经加入WTO,WTO的一项重要内容就是有关知识产权的保护,中药也不能例外。本文通过分析中国中药产业国际化程度及其知识产权保护的现状,提出相关的知识产权战略,以进一步保护中药产业的发展和促进中药的国际化。     

基于Simulink与以太网的过程控制系统的快速实现

提供了一种简便的方法,把建模、仿真和实现集成在NetCon系统中,提高了过程控制系统的开发效率.首先在Simulink中建立仿真模型,然后使用NetCon系统模板快速生成可执行代码,通过以太网或因特网下载到控制器硬件中,最后使用监控软件通过网络实时在线监控模型的运行状况,如观察结果、修改模型参数等.在此方法的基础上,建立增量式PID控制器模型,增加自动手动无扰切换功能,完成了液位过程控制系统的实例.结果表明,该方法的有效性和快速性,可以应用在类似的过程控制系统中.