李勇
- 作品数：19 被引量：157H指数：7
- 供职机构：南京航空航天大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金中国航空科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 大斜视合成孔径雷达高分辨率子孔径成像算法研究
- 本文阐述了大斜视合成孔径雷达的高分辨率子孔径成像处理过程.文章在利用线性距离多普勒算法生成子孔径图像的前提下,提出了一种校正图像二维几何失真及补偿空变剩余相位误差的方法,同时在高分辨率成像过程中,融合了基于频谱分析的分步...
- 李勇朱岱寅朱兆达
- 关键词：合成孔径雷达
- 文献传递
- 环视SAR双条带成像实现方案
- 2010年
- 研究了一种双条带成像处理方案。该模式是对环视成像模式的扩展,有效地提高了图像场景范围和成像处理效率。分析了双条带SAR成像处理的基本流程,针对雷达运动平台的实际运动情况,提出了一种满足图像分辨率和无缝拼接要求的系统实现方案以及相关系统参数的优化设计准则。借助点目标仿真和某型机载环视SAR外场试飞实测数据对该成像处理方案的有效性进行了充分地验证处理。
- 金雪松李勇
- 关键词：合成孔径雷达成像算法参数设计
- 状态不可观测的信息物理融合系统运行时验证
- 2018年
- 确保信息物理融合系统(Cyber-Physical System,CPS)运行时行为正确性是至关重要的,尤其在航空航天、汽车、核电和医疗等安全攸关领域.本文针对具有随机行为且状态不可观测的CPS,提出一种基于隐马尔科夫模型的运行时安全性验证方法.首先构造状态不可观测的CPS运行时安全性验证框架,该框架通过隐马尔科夫模型表示系统,使用确定性有限自动机规约系统安全属性的否定,两者的乘积自动机作为运行时监控器,从而将CPS运行时安全性验证问题约简到监控器上的概率推断问题.然后,提出一种增量迭代安全性验证算法以及反例生成算法.实验结果表明本文算法和粒子滤波算法相比预测错误率下降了近20%,并且当系统违背安全属性时,本文的方法能给出反例.
- 房丙午黄志球王勇李勇
- 关键词：信息物理融合系统隐马尔科夫模型安全性反例
- 一种形式化组合式建模方法的研究
- 2017年
- 构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建安全可靠的总构件模型。计算树逻辑(CTL)能较为准确地描述状态迁移的时序性质,而擅长形式规格说明的Z语言在数据约束方面具有强大作用。因此,基于CTL和Z语言对体系结构分析设计语言(AADL)进行功能拓展,即可建立更为安全可靠的组合模型。为此,在分析研究AADL的建模元素和建模流程的基础上,提出了计算树逻辑CTL和Z语言对AADL行为附件进行扩充的思路与方法。该方法可有效保证构建模型的合理性和有序性。基于CZ_AADL建模规范和飞行管理系统实例进行了验证实验。实验结果表明,CZ_AADL建模规范增强了AADL建模的灵活性和多样性,也为采用不同建模方式的多模块间的融合提供了可能。
- 李勇李揭阳曹子宁
- 关键词：计算树逻辑Z语言
- 代价敏感分类的软件缺陷预测方法被引量：14
- 2014年
- 软件缺陷预测是提高软件测试效率,保证软件可靠性的重要途径。考虑到软件缺陷预测模型对软件模块错误分类代价的不同,提出了代价敏感分类的软件缺陷预测模型构建方法。针对代码属性度量数据,采用Bagging方式有放回地多次随机抽取训练样本来构建代价敏感分类的决策树基分类器,然后通过投票的方式集成后进行软件模块的缺陷预测,并给出模型构建过程中代价因子最优值的判定选择方法。使用公开的NASA软件缺陷预测数据集进行仿真实验,结果表明该方法在保证缺陷预测率的前提下,误报率明显降低,综合评价指标AUC和F值均优于现有方法。
- 李勇李勇黄志球房丙午
- 关键词：软件缺陷预测决策树
- 机载合成孔径雷达大斜视高分辨率重叠子孔径成像算法研究被引量：6
- 2006年
- 该文提出了一种结合图像二维几何失真校正和空变相位误差补偿的大斜视、高分辨率机载合成孔径雷达重叠子孔径成像处理方法。其运动补偿过程不需要实时调整雷达参数,易于工程实现。整个成像处理过程融合了基于频谱分析的分步变换技术,以线性距离多普勒算法生成子孔径图像为前提,根据转台成像的基本原理,通过固定参考系下地理坐标的变换和定位,实现了不同子孔径图像之间散射点的距离和多普勒对准,并有效地补偿了空变剩余相位误差。点目标仿真和实测数据成像结果证明了该处理方法的有效性。
- 李勇朱岱寅朱兆达
- 关键词：合成孔径雷达
- 基于多源数据的跨项目软件缺陷预测被引量：6
- 2016年
- 跨项目(CP)的软件缺陷预测方法可以解决传统基于目标项目(WP)实现预测时要求有历史积累数据以及缺陷标注代价较高等问题。针对已有CP方法中存在的预测性能较低和可操作性较差等不足,提出了一种基于多源数据的跨项目软件缺陷预测方法。首先获取与目标项目特征相似的多源项目为候选;然后以候选项目的软件模块引导训练数据的选择;最后基于朴素贝叶斯算法实现预测模型。采用真实的软件缺陷数据进行实验,结果表明该方法的性能优于传统的WP方法,可以代替WP方法用于软件工程实践。
- 李勇李勇黄志球王勇
- 关键词：计算机软件朴素贝叶斯算法
- 服务组合安全隐私信息流静态分析方法被引量：2
- 2018年
- 用户为使用服务组合提供的功能,需要提供必要的个人隐私数据.由于组合的业务逻辑对用户是透明的,且用户与成员服务之间缺乏隐私数据使用的相关协议,如何保证组合执行过程中不发生用户隐私信息的非法泄露,成为当前服务计算领域的研究热点之一.针对隐私保护特征,提出一种服务组合安全隐私信息流静态分析方法.首先,从服务信誉度、隐私数据使用目的及保留期限这3个维度提出一种面向服务组合的隐私信息流安全模型;其次,采用支持隐私信息流分析的隐私工作流网(privacy workflow net,简称PWF-net)构建服务组合模型,并通过静态分析算法分析组合执行路径,检测组合的执行是否会发生用户隐私信息的非法泄露;最后,通过实例分析说明了方法的有效性,并对方法性能进行了实验分析.与现有的相关工作相比,针对隐私保护特征提出了隐私信息流安全模型,且分析方法考虑了隐私数据项聚合问题,从而能够更为有效地防止用户隐私信息非法泄露.
- 彭焕峰黄志球刘林源李勇柯昌博
- 关键词：隐私保护信息流安全工作流网
- 基于隐马尔科夫模型的随机系统运行时安全性验证
- 2018年
- 随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性无关的组合状态,约简了验证器的规模。最后,基于验证器,提出增量迭代安全性验证算法,该算法接收到一个新的观测值,立即计算已观测到的整个有穷序列的监控结论,不需要保存当前观测值之前的有穷观测序列。实验仿真结果表明该方法能有效性地在线验证状态不可观测的随机系统安全性。
- 房丙午黄志球李勇王勇
- 关键词：安全性隐马尔科夫模型
- 数据驱动的软件缺陷预测研究综述被引量：16
- 2017年
- 数据驱动的软件缺陷预测是提高软件测试效率、保证软件可靠性的重要途径之一,近几年已成为实证软件工程的研究热点.首先介绍了数据驱动软件缺陷预测的研究背景;然后总结了已有软件缺陷数据属性度量方法的特点,并按照软件开发中缺陷预测的使用场景,以数据来源为主线从基于版本内数据、跨版本数据和跨项目数据实现缺陷预测三个方面对近10年(2005~2015)已有的研究工作进行分类归纳和比较;最后对该领域未来的研究趋势进行了展望.
- 李勇李勇黄志球王勇
- 关键词：软件缺陷预测数据驱动
