经小川
- 作品数：35 被引量：100H指数：5
- 供职机构：中国航天更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划武器装备预研基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术自然科学总论更多>>
- 一种航天嵌入式C语言软件运行时错误的静态分析方法
- 本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性...
- 王崑声詹海潭经小川张刚李宁
- 文献传递
- 基于FPGA的多通道高可靠高速单向传输系统设计被引量：3
- 2017年
- 在对已有单向传输系统研究的基础上,针对当前单向传输系统的单通道失效、传输速率不高、不存在与用户的交互等弊端并根据用户对可靠高速准实时甚至实时传输的需求,提出了一种基于现场可编程门阵列的多通道高可靠高速单向传输系统并予以实现。该系统从安全性、可靠性、高速性进行设计,通过引入多通道冗余传输、万兆光纤等技术克服了当前单向传输系统存在的单通道失效、传输速度低等问题,从用户角度增加了一些人机交互设计并为后期扩展开发预留了空间。通过测试,该系统能在120 MB/s的速率下稳定运行,单通道失效情况下系统可照常运行。
- 杜兴林经小川梁光成李雪巍
- 关键词：现场可编程门阵列多通道高可靠
- 一种软件运行时故障定位方法
- 本发明提供了一种软件运行时故障定位方法，该方法包括静态准备阶段、动态运行阶段和故障定位阶段；其中：在静态准备阶段，即在软件系统运行之前，根据软件系统的高层需求描述，确定性质规约，然后根据该性质规约在软件系统中插装代码、部...
- 薛惠锋闫陈静张伟葛慧经小川高金梁傅艳张博吕宏宇
- 文献传递
- 军工高安全软件数值型运行时错误分析方法
- 2016年
- 提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.
- 黄明詹海潭张伟经小川李宁王潇茵
- 网络协同攻击及其检测方法研究被引量：14
- 2004年
- 协同攻击是由许多的分散行为所构成,这些分散行为具有一定的时间和空间跨度,因此造成了常规监测的困难。分析了网络协同攻击的行为特点及其构成的要素,将协同攻击行为划分为基于时间的行为和基于空间的行为。结合适当的攻击表达方法,提出一种应用于网络协同攻击的检测方法,详细的介绍了该方法的特点和应用方式。
- 经小川胡昌振谭惠民
- 关键词：入侵检测
- 航天嵌入式软件运行时错误静态分析方法被引量：6
- 2013年
- 提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
- 王崑声詹海潭经小川李宁张刚
- 关键词：上下文敏感
- 基于FP-Growth算法及补偿性入侵证据的攻击意图识别被引量：1
- 2010年
- 针对现有方法的入侵证据单一,系统资源消耗大及最终结果不准确等问题,提出了一种新的攻击意图识别方法.将IDS的告警事件与其他安全工具如扫描器等的数据相融合,构成补偿性入侵证据,并在此基础上使用贝叶斯网络构建攻击场景;使用FP-Growth算法从攻击场景中挖掘出频繁攻击模式;最终将产生的频繁攻击模式关联以重构攻击路径,从而推断最可能的攻击意图.实验结果表明,该方法可准确识别攻击意图并有效节省系统资源.
- 白昊王崑声胡昌振张刚经小川
- 关键词：攻击意图FP-GROWTH算法
- 基于分层检测的协同攻击检测技术研究被引量：2
- 2005年
- 协同攻击的复杂性使传统检测方法难以对其进行有效的检测。在对协同攻击行为的层次性和关联性的分析基础上,将协同攻击行为划分为基于时间的行为和基于空间的行为,结合适当的攻击表达方法,提出一种应用于网络协同攻击的检测方法,并详细介绍了该方法的特点和应用方式。
- 经小川刘克强胡昌振
- 关键词：攻击检测技术
- 水生态文明建设质量的时空演化评估被引量：3
- 2023年
- 基于习近平总书记提出的新时期治水思路设计水生态文明建设质量研究框架和评估指标体系,采用“纵横向”拉开档次法和探索性空间数据分析法评估了水生态文明建设质量的时序变迁规律和空间演化趋势。结果表明:2004—2020年水生态文明建设质量变迁先后经历了缓震荡期和快增长期,总体上呈相对稳定的上升趋势,兼具“梯度演化”和“中游驱动”的变化特征;水生态文明建设质量具有空间正相关性,存在城市群极化现象,且以长三角地区最为显著;“十四五”期间是中、西部地区发挥后发优势的重要战略机遇期,发挥长三角、京津冀等领先优势城市群的辐射带动效应尤为重要。
- 宋晓娜经小川张峰
- 技术成熟度在装备发展评估中的应用模式及作用
- 技术成熟度是一种能够体现技术发展规律的、量化的技术管理工具。本文通过对技术成熟度在国外的应用情况进行分析，结合我国装备研制阶段的特点，提出技术成熟度在我国装备发展评估中的几种应用模式及其能够发挥的重要作用。
- 王婷婷谢平经小川党丽芳
- 关键词：技术成熟度
