宋东海
- 作品数：9 被引量：9H指数：2
- 供职机构：中国人民解放军92493部队更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 高斯-牛顿法在模拟特征分析测试参数优化中的应用
- 2014年
- 普通的模拟特征分析测试方法直接根据采集的VI曲线进行故障判定,无法自动调整测试参数,测试人员需要手动调整测试参数,这样严重影响测试工作效率。以容性器件为例,根据模拟特征分析原理建立故障前后信号差异的目标函数,依据被测器件参数利用改进的高斯-牛顿迭代法对测试信号进行自动灵敏度调整,计算机仿真结果表明,该方法有效,且优化参数对电流信号差异的提升尤为明显。
- 宋东海陈二虎
- 关键词：参数优化
- 云数据中心安全综合防护研究被引量：2
- 2022年
- 云数据中心通过网络连接的方式将大量计算、存储等资源进行统一管理和调度,从而提供更加灵活高效的服务。云数据中心提供的服务功能正常发挥依赖于安全机制的保障,分析了云数据中心的潜在安全风险,设计了总体安全架构,并从技术、管理角度开展了综合防护体系设计。
- 宋东海李忠鹏
- 关键词：安全架构
- 美军信息安全领域作战能力发展研究
- 2023年
- 信息安全作战是美军典型的作战样式,按照现阶段信息安全作战能力、正在建设中的信息安全作战能力、未来信息安全作战能力等三个阶段,梳理了美军信息安全领域作战能力的发展现状,预测了其发展趋势。
- 宋东海王慎肖玉杰
- 关键词：信息安全作战能力
- 基于HOG-LBP特征的自适应实时手掌检测算法被引量：4
- 2013年
- 论文提出了一种将HOG特征和LBP特征相融合的新方法,用来识别无限制的彩色图像中的手掌。融合后的特征能更好地描述手掌的边沿特征和子结构,并且保持了对光照和复杂背景的不敏感性。由于手掌的宏观结构特征含有最多的可用于判别的信息量,所以可以将HOG特征和LBP特征相融合来处理手掌检测。最后,将HOG和LBP融合后的特征用线性SVM分类进行分类。实验结果表明,在该文建立的手掌数据库上,性能得到了明显的提升。
- 宋东海陈二虎边敏
- 关键词：HOGLBP支持向量机
- 一种基于调用链的Java程序数据竞争静态检测算法被引量：1
- 2013年
- 多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结合起来,提出了一种类层次的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。
- 宋东海陈二虎
- 关键词：数据竞争程序切片
- 一种基于类的Java多线程程序数据竞争静态检测算法
- 程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义.本文将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进...
- 宋东海贲可荣张志祥
- 基于Soot的Java程序竞争静态检测工具设计
- 2014年
- 设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确。
- 宋东海佟晶
- 关键词：数据竞争
- 一种基于类的Java多线程程序数据竞争静态检测算法被引量：3
- 2014年
- 多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。
- 宋东海贲可荣张志祥
- 关键词：多线程程序数据竞争程序切片
