张卓
- 作品数：12 被引量：52H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于云的网络安全态势预测规则挖掘算法研究被引量：2
- 2010年
- 现有网络安全态势预测算法对初始训练数据依赖性强,预测结果客观性差。提出了基于云的网络安全态势预测思想和基于云的网络安全态势预测规则挖掘算法。采用基于云模型的属性论域区间软划分方法解决了定性与定量转换中的区间硬性划分导致的边界元素内在联系丢失的问题。通过实验验证了算法的可行性和有效性。基于云的网络安全态势预测思想,不需要对预测算法进行数据训练,提高了网络安全态势预测的客观性。
- 郝树勇宣蕾张卓
- 关键词：网络安全云模型
- 可视化技术研究与比较被引量：43
- 2010年
- 可视化技术经过二十多年发展,诞生出很多新概念,容易使初学者产生混淆,不利于研究定位。分析了科学计算可视化、数据可视化、信息可视化和知识可视化的概念、技术、应用领域和发展趋势,并给出实例说明,最后从不同角度对这几种主流可视化技术进行了综合对比,总结他们之间的异同,为了解和深入研究可视化技术提供了参考。
- 张卓宣蕾郝树勇
- 关键词：科学计算可视化数据可视化信息可视化知识可视化
- 基于程序谱技术的FPGA代码缺陷定位方法及系统
- 本发明公开了基于程序谱技术的FPGA代码缺陷定位方法及系统，涉及硬件测试技术领域，其技术方案要点是：构建对目标程序进行缺陷定位测试的包含所有测试用例的测试集；以测试集中的测试用例对动态执行的目标程序进行依次测试，得到测试...
- 徐建军毛晓光吴江张卓杨德亨何枷瑜李盼盼
- 一种火控修正用弹道解算系统
- 本发明公开了一种火控修正用弹道解算系统，具体包括机壳、激光测距单元、实时环境感知单元、信息处理与主控单元、导航按钮单元、电池组件、显示屏和通讯单元；通过实时环境感知单元和激光测距单元同时采集环境数据，基于狙击手与解算系统...
- 申程张卓张连超朱文亮鄢平范大鹏
- 文献传递
- 增强上下文的错误定位技术被引量：4
- 2019年
- 错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句之间传播依赖关系;然后,基于可疑值度量来区分上下文片段中不同语句的可疑度;最后,Context-FL以标记可疑值的上下文作为定位结果.实验结果表明,Context-FL优于8种典型错误定位方法.
- 张卓谭庆平毛晓光雷晏常曦薛建新
- 关键词：上下文动态切片
- 动态定量的网络安全风险评估系统模型
- 依据我国《信息安全风险评估规范》，提出了一种以网络动态检测的安全威胁和脆弱性为基础的、动态定量的安全风险评估DN-SRA引擎；给出了一个基于DNSRA引擎的大规模、动态定量的网络安全评估系统模型。
- 宣蕾郝树勇张卓
- 基于深度学习的缺陷定位技术研究
- 随着信息技术的飞速发展,软件作为基础设施,在各个领域的应用中起着至关重要的作用,协调控制了各项工作的正常运行。然而,不断增长的软件规模以及复杂度同时也带来了软件缺陷数量和复杂度的不断增长。为应对日益严重的软件缺陷问题,学...
- 张卓
- 关键词：多层感知机TF-IDF动态切片
- 多级网络安全态势地图研究
- 网络安全态势可视化将大量抽象的网络安全数据用图形图像的方式展现出来,减少了数据分析的工作量,方便了网络管理人员对网络总体安全状况的把握。目前,这个领域已有的研究成果或多或少存在视图混乱、表现形式单一、无法地理定位等问题。...
- 张卓
- 关键词：网络安全态势可视化地理信息系统
- 文献传递
- 基于词频-逆文件频率的错误定位方法被引量：1
- 2020年
- 错误定位方法大多通过分析语句覆盖信息来标识出导致程序失效的可疑语句.其中,语句覆盖信息通常以语句执行或语句未执行的二进制状态信息来表示.然而,该二进制状态信息仅表明该语句是否被执行的信息,无法体现该语句在具体执行中的重要程度,可能会降低错误定位的有效性.为了解决这个问题,提出了基于词频-逆文件频率的错误定位方法.该方法采用词频-逆文件频率技术识别出单个测试用例中语句的影响程度高低,从而构建出具有语句重要程度识别度的信息模型,并基于该模型来计算语句的可疑值.实验结果表明,该方法大幅提升了错误定位的效能.
- 张卓雷晏毛晓光常曦薛建新熊庆宇
- 关键词：词频
- 面向收敛的并发程序执行轨迹静态简化方法被引量：1
- 2017年
- 轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错.
- 常曦薛建新张卓毛晓光
- 关键词：并发程序
