张冠华
- 作品数：10 被引量：5H指数：2
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：上海市科学技术发展基金国家自然科学基金国防科技重点实验室基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于粗糙集分类的网络入侵检测被引量：2
- 2004年
- 提出使用粗糙集分类(RSC)算法进行智能化的网络入侵检测.该方法可以在生成检测规则之前完成特征排序,且不需要多次重复迭代计算,提高了入侵检测系统的效率;同时,生成的检测规则是"if-then"格式的产生式,易于解释.仿真实验表明,RSC对Probe和DoS攻击具有比支持向量机(SVM)略好的高检测率,但是训练时间比SVM更长,采用混杂遗传算法求解粗糙集约简可进一步减少RSC的训练时间.
- 张连华张冠华张洁白英彩
- 关键词：计算机网络入侵检测粗糙集分类遗传算法
- 一种改进的路由器包转发模型的性能测试及分析
- 2004年
- 该文首先介绍了一个用于解决活锁现象的改进的路由器包转发模型,然后研究了报文的转发过程,对其进行了详细的测试,并对测试结果进行了分析,得到了影响性能瓶颈的因素,提出了改进的方案。
- 张冠华周亚敏张连华白英彩
- 关键词：路由器转发
- 基于任务复制的进化调度算法
- 2004年
- 并行程序任务调度是NP完全问题.已有的进化调度算法不能很好利用任务复制这一重要手段.为此,利用染色体直接编码和间接编码的优点,并结合任务图的知识,使进化调度算法的搜索能力得到增强,同时染色体的解码过程也得到简化.通过与同类算法的性能比较,表明了本算法在调度问题中的有效性.
- 姚文胜薛广涛张冠华尤晋元
- 关键词：任务调度遗传算法
- 网络嵌入式系统形式化描述与验证的研究
- 随着信息技术的突飞猛进，嵌入式系统尤其是网络嵌入式系统得到了广泛的应用，并且随着功能的增强，其复杂度也在呈指数增长。形式化方法具有严密的数学基础，能够准确的对系统进行建模和描述，并能够在设计初期发现潜在的错误和问题，进而...
- 张冠华
- 关键词：进程代数描述语言
- 文献传递网络资源链接
- 基于进程代数EACSR-VP的通信模型的实现被引量：1
- 2005年
- 介绍了进程代数EACSR-VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论。
- 张冠华张连华白英彩
- 关键词：进程代数形式化方法并发系统通信通信模型
- 一种标记转移系统的构造与执行方法被引量：2
- 2006年
- 本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度。
- 张冠华张连华白英彩
- 关键词：进程代数动态树
- 一种基于进程代数的路由器性能评价算法
- 2005年
- 性能评价是路由器设计中的一个重要环节,目前有多种方法,提出了一种基于进程代教的形式化方法,它能在系统进 行正确性验证的同时得到系统的性能参数．首先定义了描述路由器模型的进程代数方法,然后介绍了建立路由器模型的方法, 并给出了一个简单的例子,最后给出了计算路由器两个性能指标吞吐率和延时的算法．
- 张冠华张连华白英彩
- 关键词：形式化方法进程代数性能分析
- 可扩展路由器BQ5000的设计与实现
- 2003年
- 路由器的发展需要可扩展路由器。文章描述了BQ5000可扩展路由器的设计和实现过程。BQ5000采用SBER可扩展路由器软件体系结构,在保证性能的同时实现了功能服务的可扩展性。此外,该文还把BQ5000和其它可扩展路由器进行了对比说明。
- 陈凯梁阿磊张冠华张骏白英彩
- 关键词：可扩展路由器可扩展性适应性
- 反应式嵌入式系统形式化性能模型的研究被引量：1
- 2005年
- 基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分析和比较,从而使最终的系统实现满足特定性能指标要求.
- 张冠华张连华白英彩
- 关键词：嵌入式系统进程代数形式化方法
- 一种路由器形式化测试模型的研究被引量：2
- 2005年
- 研究了基于进程代数的并行复合测试技术,其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析,而避免了状态空间爆炸问题。基于一个具体的多输入队列路由器的例子,介绍了路由器形式化测试模型的建立以及测试和分析。
- 张冠华张连华陈凯白英彩
- 关键词：进程代数路由器
