曾华朴
- 作品数：5 被引量：0H指数：0
- 供职机构：集美大学计算机工程学院更多>>
- 发文基金：福建省自然科学基金福建省教育厅资助项目更多>>
- 相关领域：自动化与计算机技术电子电信石油与天然气工程更多>>
- 基于模型检测的SSL协议形式化验证
- 2014年
- 针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.
- 王巍曾华朴黄艳洋
- 关键词：SPINSSL协议PROMELALTL
- 线性回归和BP神经网络在噪声监测中的应用
- 2021年
- 噪声监测系统能够自动测量噪声分贝值,并实时处理系统监测到的各种声音环境信息,但是在噪声监测系统的实际应用中,噪声的分贝值受到温度、湿度和大气压力等多个因素影响,与实际值存在误差.为了提高噪声的测量精度,必须使用相关技术进行校正,系统采用了线性回归和BP神经网络技术,研究了预测模型的因素和系数,分析了模型中因素的相关性,获得了噪声监测的自动校正模型.从线性回归和BP神经网络自动校正数据的测试效果看,优化了测量数据的容错性并改进了数据校正的精度,使预测模型的判定系数R2的值有了较大提升.
- 曾华朴尤志宁黄兴旺浦云明
- 关键词：噪声监测神经网络自动校正
- 基于边选择的时延及时延抖动受限组播路由算法
- ＜正＞ 1 引言随着通信网络综合业务的发展,实时多媒体通信带来了组播的需求。组播是一点到多点的通信,目标是找到一种算法或策略,在给定的网络和组播需求的情况下,找到一种链路连接方式,使网络资源能够得到有效利用。通过寻找连接...
- 曾华朴朱文兴
- 文献传递
- 时延及时延抖动受限组播路由遗传算法
- 在多媒体通信的实际应用中,组播技术日益重要。对交互式实时组播业务来说,不仅要考虑组播树的花费,而且要考虑时延约束以及时延抖动约束。该类型的组播问题是一个NP完全问题。本文提出了求解时延及时延抖动受限组播路由问题的一个遗传...
- 曾华朴
- 关键词：组播路由遗传算法时延受限时延抖动
- 文献传递
- 基于边选择的时延抖动受限组播路由算法
- 2008年
- 组播技术在多媒体通信的实际应用中十分重要,对各种交互式实时组播业务如视频会议等来说,不仅要考虑时延约束,而且要考虑时延抖动约束。对基于边选择的时延抖动受限的启发式算法进行了研究,仿真结果表明算法复杂度较低,性能也较好。
- 曾华朴撒力
- 关键词：组播路由时延抖动
