- 基于多协议扩展边界网关协议BGP4+的形式化建模研究
- 2006年
- 协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模。
- 江魁黄云森龚巧华
- 关键词：BGP4+形式化建模有限状态机SDL
- WORD制表中的若干特殊编排技术
- 1998年
- 将ＷＯＲＤ的插入、绘图等功能运用到表格制作中，成功地解决了制表中常常遇到的许多疑难问题，从而大大扩展了ＷＯＲＤ的制表功能。
- 龚巧华
- 关键词：WORD字处理软件
- 计算机网络课程的实验教学探索被引量：27
- 2006年
- 计算机网络课程越来越受到各高校的重视，但计算机网络实验教学的发展却相对滞后。对计算机网络课程实验教学中涉及的教学内容、教学模式和实施手段等各个方面内容进行了探讨．
- 龚巧华
- 关键词：计算机网络实验教学
- 多教学任务的计算机实验室管理新模式探讨被引量：7
- 2006年
- 近年来，由于计算机及网络技术的迅速发展，计算机的应用需求越来越广泛，我们实验室存在着严重的四多现象：
- 龚巧华
- 关键词：实验室管理计算机教学任务网络技术
- 基于虚拟机的计算机网络实验平台被引量：18
- 2006年
- 本文分析了基于虚拟机构建计算机网络实验平台的关键实现方法,并对该平台的实际应用情况进行介绍。构建的平台能实现各种操作系统和网络设备的虚拟,在该平台上能够完成各种计算机网络相关实验。
- 龚巧华江魁
- 关键词：虚拟机操作系统现代教育技术
