公共文化服务平台

黄志球: 作品数：411 被引量：1,052H指数：15; 供职机构：南京航空航天大学更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>; 相关领域：自动化与计算机技术文化科学航空宇航科学技术理学更多>>

合作作者

一种状态事件故障树的时间特性分析方法被引量：10: 2015年; 状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.; 徐丙凤黄志球胡军魏欧李伟湋; 关键词：形式化方法

一种基于树形神经网络的代码推荐方法: 本发明公开了一种基于树形神经网络的代码推荐方法，包括：对由代码块构成的数据集进行预处理，并构建训练集；对训练集中每个样本的待推荐代码行上文代码部分进行处理，将其解析成抽象语法树，提取根节点到待推荐代码行的路径信息，并调整...; 陶传奇林锴黄志球; 文献传递

一种基于SIP事务层扩展的安全模型: 目前会话初始协议(SIP)自身并没有提供针对一系列安全威胁的解决方案,主要还是依赖网络层(IPSec)或传输层(TLS)的安全机制,但这两种外部机制的应用特点和使用范围均有所不同,也各自存在着自身的缺点。本文提出通过扩展...; 华骏黄志球周华; 关键词：会话初始协议有限状态机公钥基础设施; 文献传递

基于元学习的黑盒对抗测试用例生成方法及系统: 本发明公开了基于元学习的黑盒对抗测试用例生成方法及系统，利用基于元学习的mask方法获取图像真实类别影响区域，并以掩码保存；通过元学习在代理模型上训练针对每一类的通用噪音；对待攻击的图像添加通用噪音得到初始化图像，使用黑...; 张智轶张庄昱周玉倩黄志球

一种基于强化学习的航天器自主交会对接制导策略生成方法: 本发明公开了一种基于强化学习的航天器自主交会对接制导策略生成方法，包括：将航天器交会对接过程建模为马尔科夫决策过程模型；采用动态规划算法对马尔科夫决策过程模型进行求解，得到所有状态采取不同动作的得分，生成决策表；将决策表...; 杨志斌幸林泉肖应民周勇黄志球薛垒

一种具有高准确度的代码片段推荐方法: 本发明提供的具有高准确度的代码片段推荐方法，包括：将项目进行切割、划分，生成类文件、代码片段、代码片段方法体和代码片段注释；将代码片段方法体和代码片段注释生成代码片段方法体向量和代码片段注释向量；对每个类文件进行编译和反...; 黄志球艾磊李伟湋周宇尹小花张静; 文献传递

基于序列到序列模型的代码片段推荐被引量：4: 2020年; 在软件开发过程中,开发者经常会以复用代码的方式,提高软件开发效率。已有的研究通常采用传统的信息检索技术来实现代码推荐。这些方法存在自然语言查询的高层级的意图与代码的低层级的实现细节不匹配的问题。提出了一种基于序列到序列模型的代码片段推荐方法DeepCR。该方法结合程序静态分析技术与序列到序列模型,训练自然语言查询生成模型,为代码片段生成查询,通过计算生成的查询和开发者输入的自然语言查询的相似度得分来实现代码片段推荐。所构建的代码库的数据来源于Stack Overflow问答网站,确保了数据的真实性。通过计算代码片段推荐结果的平均倒数排名(MRR)和Hit@K来验证方法的有效性。实验结果表明,DeepCR优于现有研究工作,能够有效提高代码片段推荐效果。; 闫鑫周宇黄志球; 关键词：程序静态分析

一种基于垂直分割的差分隐私异构多属性数据发布方法: 本发明公开了一种基于垂直分割的差分隐私异构多属性数据发布方法，数据拥有者Pi根据局部数据集Di的数据敏感性和隐私属性暴露概率计算隐私预算εi；数据拥有者P...; 黄志球张小玉; 文献传递

支持软件可信评估的框架及其应用研究: 软件在日常生活中的广泛应用使得如何保障软件的可信性成为当前的研究热点,而对软件进行可信评估是软件可信研究中的一个重要方面。目前已有的研究工作中存在适用的软件形态受限、评估的可信属性不全面、未提供具体的应用实现等不足。针对...; 洪宏黄志球沈国华钱巨刘春勇; 文献传递

C程序中的内存泄漏机制分析与检测方法设计被引量：4: 2020年; C语言作为安全关键软件的主要实现语言,其存在的内存泄漏缺陷具有很高的隐蔽性和危害性,如何保证内存泄漏检测的准确性和高效性是一大挑战。静态分析具有直接分析源码、能够较早发现软件错误,从而降低修复代价的优势。基于静态分析技术,提出了一种基于路径敏感的值流分析的内存泄漏检测方法,首先进行指针分析生成精确指向信息;然后基于指向信息构建值流约束,执行可达性分析以识别程序中的泄漏路径;最后借助指针与内存地址的有效生命周期进行验证。在典型基准C程序上的实验结果分析表明,本文方法与现有技术相比在效率和精度上都具有一定优势。; 张静黄志球沈国华喻垚慎艾磊; 关键词：内存泄漏