孔祥营
- 作品数:24 被引量:39H指数:3
- 供职机构:中国船舶重工集团公司更多>>
- 发文基金:中国人民解放军总装备部预研基金国防基础科研计划更多>>
- 相关领域:自动化与计算机技术军事经济管理交通运输工程更多>>
- 舰载信息化装备安全可信计算环境构建技术被引量:1
- 2015年
- 以"保障装备使命任务安全"为目标,基于武器装备的信息物理融合系统特性,深入分析了网络空间战条件下舰载信息化装备面临的主要安全威胁及其安全可信的内涵,借鉴可信计算思想,采用可信终端、可信区域、可信边界组成的纵深主动防御体系模型,实现了装备的硬件可信、应用可信、存储可信、网络通信及接入可信,为舰艇作战任务的执行构建了一个安全可信计算环境。
- 陆光宇孔祥营刘云飞凌云锋
- 关键词:可信计算信息物理融合系统纵深防御
- 舰艇信息系统基础设施发展回顾及展望被引量:1
- 2022年
- 在分析三代舰艇信息系统基础设施发展过程的基础上,总结了其演进规律,从需求牵引、技术推动等角度分析展望了舰艇信息系统基础设施发展趋势,指出标准化仍是信息系统基础设施发展的内在动力,平台化将成为重点,进一步分析了现有设备可能存在的问题,给出了解决思路。
- 薛亮孔祥营
- 关键词:服务化
- 基于AndroMDA的实时系统代码生成技术研究
- 2010年
- 针对实时系统软件的代码生成技术,基于开源软件AndroMDA,分析并建立了实时系统平台的PSM元模型,研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则,最后给出了模型转换的实现算法。应用效果分析表明,该方法与LACATRE和手工编码相比,开发软件的效率和质量都有较大的提高。
- 苑春春孔祥营凌云锋
- 关键词:MDAANDROMDAPIMPSM实时系统
- 一种工业机器人分布式协同调试方法及系统
- 本发明公开了一种工业机器人分布式协同调试方法及系统,方法包括:协同开发节点与工业机器人节点互联;协同开发节点上运行调试代理,解析符号表信息,并向代理服务器发送调试命令、调试任务,获取反馈信息;代理服务器运行的协同调试代理...
- 孙志宏孔祥营张大方胡先浪倪佳炜
- 文献传递
- 软件定义显控台关键技术研究被引量:4
- 2021年
- 针对舰艇作战系统发展趋势,在分析GD公司公共显示系统的基础上,提出了基于虚拟化技术的软件定义显控台设计方法,讨论了相关关键技术及解决途径,给出了原型系统和应用设计原则。软件定义显控台支持台位共用、功能可定义,可有效满足作战系统重组和减战位、减台位等发展需求。
- 孔祥营李相莲
- 关键词:显控台虚拟化
- 基于QEMU虚拟机架构的嵌入式可信计算环境的构建
- 针对嵌入式技术及产品在广泛应用的同时,其安全越来越重要,在研究可信计算技术和可信密码模块的基础上,充分考虑嵌入式系统的特点及设计约束,在不增加额外硬件的基础上,用软件方式模拟可信密码模块的功能,提出了基于QEMU虚拟机架...
- 张立丽孔祥营
- 关键词:可信计算环境嵌入式系统
- 文献传递
- 基于关键任务的复杂软件系统自重构概念模型研究
- 2018年
- 针对复杂软件系统难以应对实时环境变化的问题,将软件自重构技术引入复杂软件系统领域,提出复杂软件系统自重构概念模型,使得软件系统能够采取适当策略自重构以应对内外部环境发生变化。同时为了确保关键任务的"不中断"运行,提出了基于软件冗余备份启动的方法。
- 王阳张振华孔祥营
- 关键词:软件自适应复杂软件系统自重构
- 一种基于Avalon总线PCI从设备IP核设计被引量:2
- 2016年
- 在工程实践中,如何实现上位机与Qsys系统之间的无缝链接,一直是设计中的重点。针对以上问题,本文提出了基于Avalon总线的PCI从设备IP核的设计方法,以嵌入式IP软核的形式取代原有专用接口芯片。设计按照自顶而下设计流程,首先给出了PCI从设备的RTL级模块划分,并详细设计了其mealy型状态机,然后将Avalon总线与PCI总线实现片内互联,最终开发了一个具有自主知识产权的IP软核。该IP核符合PCI 2.2标准,可进行资源自动配置,实现数据正确读写,还实现了PCI总线与Nios II处理器之间的数据传输,验证了该设计的正确性和可行性。
- 姚洁孔祥营王桂强
- 关键词:PCI总线AVALON总线IP核
- 嵌入式软件内存泄露检测方法
- 针对嵌入式软件内存泄漏的危害及实际工程需求,提出了一些基于Vxworks 的简单实 用的内存泄漏检测方法,使用该方法可以有效地检测并定位出堆内存泄漏发生情况,最后给出 了如何在嵌入式软件设计时避免内存泄漏的建议。
- 孔祥营李亮
- 关键词:内存泄漏软件测试嵌入式软件
- 文献传递网络资源链接
- 分布式实时系统中负载平衡任务分配算法被引量:2
- 1997年
- 提出了一种以系统负载平衡为目标的分布式实时系统任务分配算法。该算法首先通过对任务分组,减小系统负载,再按照一种新的目标函数,启发搜索任务分配树,来获得系统负载平衡条件下系统负载最小的任务分配方案,有效地减小了启发式搜索算法的计算复杂度。
- 孔祥营彭思鹏
- 关键词:实时系统分布式系统操作系统