国家自然科学基金(11103005) 作品数:7 被引量:12 H指数:2 相关作者: 戴伟 陈永艳 王锋 邓辉 束洪春 更多>> 相关机构: 昆明理工大学 中国科学院云南天文台 中国科学院国家天文台 更多>> 发文基金: 国家自然科学基金 云南省应用基础研究基金 更多>> 相关领域: 自动化与计算机技术 更多>>
CSRH-Ⅰ观测数据接收子系统的设计与实现 被引量:3 2015年 中国新一代厘米-分米波射电日像仪(Chinese Spectral Radio Heliograph,CSRH)项目已经完成了硬件建设。为了实现从数字接收机中读取观测数据,并将最新的可用数据状态通知其他子系统如监控系统和实时展现系统等,迫切需要一个稳定可靠的数据接收子系统。针对CSRH-I的特点及要求,在分析数字接收机原始数据格式的基础上,设计并实现了CSRH-I观测数据接收子系统。系统基于Linux环境,采用Boost软件包作为底层开发库,实现了基于TCP协议的网络套接服务器,能够异步接收、过滤数字接收机发送来的数据,经过相应的分析处理后最终以文件方式存储数据,进而采用UDP报文方式通知其它子系统观测数据的更新状态。本系统充分考虑了通信过程中可能的异常情况并采取了相应的对策。测试表明,CSRH-I观测数据接收子系统工作稳定可靠,容错能力强,可以满足CSRH-I的应用需求。 马荣庭 刘飞 邓辉 王锋 季凯帆关键词:数据接收 BOOST 分层渗透深度下隐马尔科夫风险评估模型 被引量:1 2014年 网络的脆弱渗透图中的节点之间存在安全依赖关系,计算三重依赖关系可以得到节点之间的依赖关系,利用节点之间的依赖关系构造转换矩阵,最后利用HMM模型给出不同渗透深度的情况下的弱点风险结果。实验表明,该方法能更准确更全面地表示出弱点的实际安全风险。 陈永艳 戴伟关键词:风险评估 隐马尔科夫模型 基于链路状态质量的连续证据序列的信任模型研究 2015年 基于证据理论的信任模型是IP分布式网络中最常用的信任模型.在实际应用中需要解决两个问题:一是如何在缺少可靠的网络上层证据或者无法获取网络上层证据情况下计算信任值;二是在使用底层证据作为信任计算基础时必须考虑底层证据有连续稳定的特点.本文通过定义链路状态质量评价函数和对证据的信任态度函数,改进关于连续行为的链路状态证据特征的可信值计算方法,提出了在IP网络中使用连续链路层证据评价机制来考查节点的信任关系的模型.最后模拟无线IP网络环境中进行测试,结果验证表明:基于链路状态质量评价的连续证据序列的可信值计算,在上层信任证据缺乏的情况下可作为上层证据评估的很好的补充和纠错,使得信任计算结果更为合理和可信. 陈永艳 束洪春 戴伟 殷继斌 张晓莉 彭玮关键词:信任模型 面向对象语言中的漏洞发现方法 2013年 大多数行业定制软件漏洞检测困难,而传统的静态漏洞检测方法不但报告很多错误的和虚假的信息,同时针对面向对象的函数(方法)检测并未提及.针对函数调用前后存在的漏洞问题,首先用XML文法来表示出面向对象情况下,对象存在继承关系时,从祖先类搜索开始,建立函数调用前后安全契约规则,利用基于上下文无关的自顶向下与自底向上相结合的语法解析树的方法,解析函数的调用是否违反了安全契约规则并报告漏洞的内容.实验表明,与同类型安全分析工具比较,具有避免函数重复分析、规则的可扩展性良好、准确率高等优点. 陈永艳 束洪春 戴伟 曹靖国关键词:面向对象 基于MPI的高性能UVFITS数据合成研究与应用 被引量:6 2016年 中国明安图超宽频谱射电日像仪(Mingantu Ultrawide Spectral Radioheliograph,MUSER)进入实际观测后,每3 ms产生一帧100 k B左右的数据,每天的原始观测数据约3.5 TB。由于射电日像仪的原始数据采用自定义格式,为了后续数据分析和共享的需要,有必要根据数据存储需求把这些原始数据转换成天文常用的文件格式。在前期工作中已经实现了原始数据格式到UVFITS文件的转换,在此基础上研究了基于MPI的集群并行环境下UVFITS合成系统的性能优化。通过实验验证,在改进后的并行环境下,UVFITS合成系统的性能达到了需求的2.5倍,可以有效处理当前及未来一定时间内射电日像仪的海量观测数据。同时,改进后的系统具有良好的横向扩展能力,能够为相关项目的数据处理提供借鉴和参考。 陈泰燃 王威 王锋 邓辉 刘应波 梅盈关键词:海量数据 MPI 并行计算 基于压缩-字对齐位图的天文海量数据实时索引 被引量:1 2016年 澄江一米新真空大型天文望远镜(NVST)当前每天最大能产生2 TB,约十多万条的观测数据。由于这些数据量巨大并具有非结构化特性,使用离线构建索引会带来巨大时间开销,传统的关系型数据库难以满足快速索引和检索需求。针对这些问题,结合数据采集流程,提出了使用基于压缩的字对齐位图索引算法来在线实时构建索引。这种方式不仅克服了离线构建索引方式时,文件访问、FITS头读取和解析FITS头等操作带来的大量额外时间消耗问题,而且有助于解决海量太阳观测数据的高效检索难题。通过实验证明了在线实时构建索引方式能够极大地降低时间开销,也表明了该方式在天文海量数据索引和检索应用中的有效性和可行性。 刘应波 王锋 季凯帆 邓辉 戴伟 梁波关键词:海量数据 大型望远镜 基于语法解析树的函数漏洞发现方法 被引量:1 2013年 大多数行业定制软件的漏洞检测较困难,而传统的静态漏洞检测方法会产生很多错误的和虚假的信息。针对函数调用前后存在的漏洞问题,提出了基于上下文无关的自顶向下与自底向上相结合的语法解析树的方法,它能够在对函数内部定义不了解或者部分了解的情况下,解析函数调用前后安全契约规则:前置规则和后置规则。同时通过扩展规则表示的XML文法来表示面向对象下,规则中的属性存在继承关系下的契约规则。实验表明,与同类型安全分析工具比较,该方法具有避免函数重复分析、规则可扩展性良好、尤其在自定义对象类和特定环境下自定义参数准确率高等优点。 陈永艳 束洪春 戴伟