胡慧俐
- 作品数：19 被引量：53H指数：4
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术文化科学政治法律医药卫生更多>>
- 一种面向参数化系统的自动验证方法
- 本发明公开了一种面向参数化系统的自动验证方法，目的是解决参数化系统验证成本高、准确性低、速度慢的问题。技术方案是先针对参数化系统的特点构建参数化系统自动化验证框架；然后从外界读入单个进程模型、进程个数、待验证性质和自定义...
- 屈婉霞张龙郭阳李思昆汪审权胡慧俐李暾刘畅
- 文献传递
- 基于加同态加密机制的互联网路由异常检测
- 对路由系统进行监测和异常检测是增强骨干网络安全的重要途径。为了发现隐藏的路由攻击或者提高检测算法准确性,往往需要对多个 ISP 的路由表进行联合检测。但是由于路由表蕴涵 ISP 的商业互联信息和丰富的路由策略,具有很强的...
- 姚谛胡慧俐朱培栋
- 关键词：安全多方计算
- 文献传递
- 基于加同态加密机制的互联网路由异常检测
- 对路由系统进行监测和异常检测是增强骨干网络安全的重要途径。为了发现隐藏的路由攻击或者提高检测算法准确性,往往需要对多个ISP的路由表进行联合检测。但是由于路由表蕴涵ISP的商业互联信息和丰富的路由策略,具有很强的私密性,...
- 姚谛胡慧俐朱培栋
- 关键词：安全多方计算路由攻击异常检测加密机制
- 文献传递
- 审稿人资源共享的实现办法被引量：17
- 2002年
- 从国内外科技期刊的审稿情况出发 ,讨论审稿人资源共享的必要性和可能性 。
- 胡慧俐常春喜敬昱
- 关键词：科技期刊计算机网络
- 虚拟桌面环境双向认证网盘设计与实现被引量：2
- 2016年
- 针对在主流网络硬盘中简单的用户名密码易在网络层被截获,用户无法甄别网络硬盘服务器的合法性以及用户必须手动断开网络硬盘连接等不足,设计并实现了虚拟桌面环境双向认证网盘系统.系统采取指纹识别型USB Key作为双向身份认证介质,实现对用户终端和服务器之间双方身份的严格认证,并由守护进程对USB端口进行轮询.待双方均成功认证后,虚拟桌面客户端读取USB Key中的身份信息并通过无缝传递实现对网盘的自动挂载.研究结果表明本设计能够解决虚拟桌面环境下的数据集中管理所面临的一系列安全问题.
- 邓劲生韩丹胡慧俐
- 关键词：虚拟桌面守护进程网络硬盘指纹识别
- 基于图象分割的空间自适应冗余小波降噪方法被引量：6
- 2004年
- 提出了一种基于图象分割的空间自适应冗余小波图象降噪方法。标准的正交小波降噪方法通过对图象的小波系数进行阈值操作来达到降噪的目的。但是标准正交小波降噪方法由于缺少平移不变性和采用全局的阈值使降噪效果受到影响。为此引入冗余小波变换和空间自适应阈值的思想,文章中讨论了这种降噪技术的理论基础和技术细节。实验结果显示这种方法在性能上要大大优于标准正交小波降噪方法。
- 甘亚莉涂丹胡慧俐
- 关键词：冗余小波变换平移不变图象分割空间自适应
- 稿件管理系统设计开发经验谈被引量：4
- 2003年
- 胡慧俐
- 关键词：稿件管理系统
- 一种基于FPGA原型验证系统的性能优化方法
- 基于FPGA的原型验证系统已在IC验证领域得到广泛应用。结合FPGA原型验证系统仿真,探讨了静态时序的影响因素,并提出FPAG资源利用率对原型验证系统的划分算法存在影响进而影响静态时序。分析资源利用率对K-L算法在划分时...
- 孟宾欧国东柏颖胡慧俐
- 文献传递
- 科技期刊编辑培养被引量：3
- 2016年
- 从科技期刊的特征出发,研究分析了科技期刊编辑应具备的素质能力,提出了培养科技期刊编辑的机制和途径,为破解科技期刊编辑人才老化、匮乏问题,给出了几点建议。
- 胡慧俐汪审权屈婉霞蔡兆国
- 关键词：科技期刊
- 拓扑结构与节点属性综合分析的社区发现算法被引量：3
- 2018年
- 社交网络的社区发现对于理解网络功能、识别网络连接层次性及预测社交网络用户的复杂群体行为有着极其重要的基础性作用。鉴于现有社区发现算法通常只基于拓扑结构或节点属性单种因素提出,提出一种综合两方面因素的社区发现算法。该算法首先基于Spearman相关系数对初始数据进行去相关性处理,避免后续分析的相关性误差;然后引入后验概率理论进行稳定性赋权,综合拓扑与属性两影响因素;最后根据模糊传递闭包原理,从关系变换的角度进行社区发现。与经典社区发现算法相比,该算法不仅提高了社区发现的准确性,且在一定程度上解决了社区结构中网络动态性影响及社区层次性问题。
- 张振宇朱培栋王可胡慧俐
- 关键词：后验概率
