经小川
- 作品数：35 被引量：112H指数：6
- 供职机构：中国航天更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划武器装备预研基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术环境科学与工程更多>>
- 一种航天嵌入式C语言软件运行时错误的静态分析方法
- 本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性...
- 王崑声詹海潭经小川张刚李宁
- 文献传递
- 基于FPGA的多通道高可靠高速单向传输系统设计被引量：4
- 2017年
- 在对已有单向传输系统研究的基础上,针对当前单向传输系统的单通道失效、传输速率不高、不存在与用户的交互等弊端并根据用户对可靠高速准实时甚至实时传输的需求,提出了一种基于现场可编程门阵列的多通道高可靠高速单向传输系统并予以实现。该系统从安全性、可靠性、高速性进行设计,通过引入多通道冗余传输、万兆光纤等技术克服了当前单向传输系统存在的单通道失效、传输速度低等问题,从用户角度增加了一些人机交互设计并为后期扩展开发预留了空间。通过测试,该系统能在120 MB/s的速率下稳定运行,单通道失效情况下系统可照常运行。
- 杜兴林经小川梁光成李雪巍
- 关键词：现场可编程门阵列多通道高可靠
- 基于FP-Growth算法及补偿性入侵证据的攻击意图识别被引量：1
- 2010年
- 针对现有方法的入侵证据单一,系统资源消耗大及最终结果不准确等问题,提出了一种新的攻击意图识别方法.将IDS的告警事件与其他安全工具如扫描器等的数据相融合,构成补偿性入侵证据,并在此基础上使用贝叶斯网络构建攻击场景;使用FP-Growth算法从攻击场景中挖掘出频繁攻击模式;最终将产生的频繁攻击模式关联以重构攻击路径,从而推断最可能的攻击意图.实验结果表明,该方法可准确识别攻击意图并有效节省系统资源.
- 白昊王崑声胡昌振张刚经小川
- 关键词：攻击意图FP-GROWTH算法
- 基于分层检测的协同攻击检测技术研究被引量：2
- 2005年
- 协同攻击的复杂性使传统检测方法难以对其进行有效的检测。在对协同攻击行为的层次性和关联性的分析基础上,将协同攻击行为划分为基于时间的行为和基于空间的行为,结合适当的攻击表达方法,提出一种应用于网络协同攻击的检测方法,并详细介绍了该方法的特点和应用方式。
- 经小川刘克强胡昌振
- 关键词：攻击检测技术
- 水生态文明建设质量的时空演化评估被引量：5
- 2023年
- 基于习近平总书记提出的新时期治水思路设计水生态文明建设质量研究框架和评估指标体系,采用“纵横向”拉开档次法和探索性空间数据分析法评估了水生态文明建设质量的时序变迁规律和空间演化趋势。结果表明:2004—2020年水生态文明建设质量变迁先后经历了缓震荡期和快增长期,总体上呈相对稳定的上升趋势,兼具“梯度演化”和“中游驱动”的变化特征;水生态文明建设质量具有空间正相关性,存在城市群极化现象,且以长三角地区最为显著;“十四五”期间是中、西部地区发挥后发优势的重要战略机遇期,发挥长三角、京津冀等领先优势城市群的辐射带动效应尤为重要。
- 宋晓娜经小川张峰
- 技术成熟度在装备发展评估中的应用模式及作用
- 技术成熟度是一种能够体现技术发展规律的、量化的技术管理工具。本文通过对技术成熟度在国外的应用情况进行分析，结合我国装备研制阶段的特点，提出技术成熟度在我国装备发展评估中的几种应用模式及其能够发挥的重要作用。
- 王婷婷谢平经小川党丽芳
- 关键词：技术成熟度
- 基于CIL的C语言类型系统构建研究
- 2014年
- 针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。
- 方昭潭苏亭李博经小川张伟
- 关键词：测试用例自动生成
- 应对外部威胁的信息系统安全专用产品及其应用——
- 2010年
- 目前信息系统安全已经成为公安工作面临的重要课题,信息系统安全专用产品,尤其是应对外部安全威胁的产品在公安业务中得到了越来越多的应用。为了配合公安工作,本期杂志特推出＂应对外部威胁的信息系统安全专用产品及其应用＂专题。
- 经小川
- 关键词：公安业务公安工作工作面
- 本体模型内概念映射翻译之研究被引量：2
- 2006年
- 在多应用主体的系统中,由于各应用主体工作领域和知识表达、处理方式的不同在协作过程中易造成语义歧义等问题。本体论为应用主体间的知识级协作提供了一条可靠的途径。探讨了与本体相关的应用主体和本体推理机的结构组成以及协作过程中的术语翻译转换流程。通过对本体领域相关性、概念术语相关性等重要概念的定义描述,给出了本体推理机在不同领域本体之间进行概念术语的翻译转换方法。
- 经小川张刚危胜军高秀峰
- 关键词：本体概念映射
- 基于多智能体协同强化学习的多目标追踪方法被引量：10
- 2020年
- 针对现有多目标追踪方法通常存在学习速度慢、追踪效率低及协同追踪策略设计困难等问题,提出一种改进的多目标追踪方法。基于追踪智能体和目标智能体数量及其环境信息建立任务分配模型,运用匈牙利算法根据距离效益矩阵对其进行求解得到多个追踪智能体的任务分配情况,并以缩短目标智能体的追踪路径为优化目标进行任务分工,同时利用多智能体协同强化学习算法使多个智能体在相同环境中不断重复执行探索-积累-学习-决策过程,最终根据经验数据更新策略完成多目标追踪任务。仿真结果表明,与DDPG和MADDPG方法相比,该方法能在避免碰撞和躲避障碍物的情况下,使多个智能体通过相互协作形成针对多个运动目标的最短追踪路线。
- 王毅然经小川贾福凯孙宇健佟轶
- 关键词：多智能体多目标追踪实时性
