中国博士后科学基金(20110491411)

作品数：18被引量：47H指数：4
导出分析报告
相关作者：黄志球范大娟徐丙凤胡军阚双龙更多>>
相关机构：南京航空航天大学南京大学南京工程学院池州职业技术学院更多>>
相关期刊：《计算机与数字工程》《计算机应用研究》《小型微型计算机系统》《航空学报》更多>>
相关主题：SYSML形式化方法活动图嵌入式系统故障树分析更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
稀疏度未知压缩信号快速重构方案
《控制工程》2018年第4期663-667,共5页邹汪平 方元康 邹海 
国家自然科学基金(61100034,61170043);中国博士后科学基金资助项目(20110491411);江苏省博士后科研资助计划项目(1101092C);安徽省高校省级科学研究项目(KJ2011B108);安徽省2016年高校优秀青年人才支持计划重点项目(gxyq ZD2016531);安徽省高等学校省级质量工程项目(2016zy089,2015gxk113)
为了有效解决稀疏度未知的压缩信号快速重构问题，提出了一种适应范围较广、效率突出的信号重构方案。在该方案中，压缩信号的上下界按照等距性质获得，并将最接近其中值的整数作为信号稀疏度的估计值：通过减少迭代时观测向量在支撑集...
关键词：稀疏度 快速重构 估计值 评估体系 
基于图谱理论几何空间结构变换的大数据核聚类算法被引量：2
《计算机应用研究》2016年第8期2331-2334,共4页邹汪平 方元康 吴伟 
国家自然科学基金资助项目(61100034;61170043);中国博士后科学基金资助项目(20110491411);江苏省博士后科研计划资助项目(1101092C);安徽省高校省级科学研究项目(KJ2011B108);安徽省高等学校省级质量工程项目(2015gxk113;2014jyxm524;2013jxtd065);安徽省2016年高校优秀青年人才支持计划重点项目(gxyq ZD2016531)
现有核聚类算法需要学习完整的核矩阵,计算效率较低,仅适用于小规模数据,对此提出了基于图谱理论的核函数分类算法。首先,基于图谱理论建立无标记数据的相似度图;然后,计算其拉普拉斯矩阵,并选取拉普拉斯矩阵的部分特征向量来学习;最后...
关键词：核函数 核聚类 几何空间变换 核矩阵 大规模数据 拉普拉斯矩阵 最近邻相似度 
面向服务组合的用户隐私需求规约与验证方法被引量：4
《软件学报》2016年第8期1948-1963,共16页彭焕峰 黄志球 范大娟 章永龙 
国家自然科学基金(61272083);国家高技术研究发展计划(863)(2015AA015303);中国博士后科学基金(201104914 11);江苏省博士后科研计划(1101092C)~~
用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函...
关键词：信誉度 服务组合 隐私保护 隐私开放工作流网 隐私数据项依赖图 
面向DO-333的襟缝翼控制单元安全性分析被引量：6
《计算机科学》2016年第5期150-156,161,共8页陈光颖 黄志球 陈哲 阚双龙 
国家自然科学基金(61100034;61170043);中国博士后科学基金(20110491411);江苏省普通高校研究生科研创新计划资助项目;中央高校基本科研业务费专项资金(CXZZ11_0218)资助
DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼...
关键词：适航认证 形式化方法 模型检验 机载软件 SPIN 
基于八边形抽象域的襟缝翼控制系统安全性分析被引量：2
《小型微型计算机系统》2016年第5期902-907,共6页陆陈 黄志球 阚双龙 曹德建 黄传林 
国家自然科学基金项目(61100034;61170043)资助;中国博士后科学基金项目(20110491411)资助;江苏省研究生培养创新工程项目(KYLX_0315)资助;江苏省普通高校研究生科研创新计划项目资助;中央高校基本科研业务费专项资金项目(CXZZ11_0218)资助
嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变量的数值分析提供了一种通用框架,八边形抽象域是抽象解释的一种关系型数值抽象域,可以表示两个变量间的...
关键词：抽象解释 八边形抽象域 数值分析 航空控制软件 
将故障信息扩展到功能模型的安全性分析方法研究
《小型微型计算机系统》2016年第1期24-32,共9页曹德建 黄志球 陆陈 陈光颖 仵志鹏 
国家自然科学基金项目(61100034;61170043)资助;中国博士后科学基金项目(20110491411)资助;江苏省普通高校研究生科研创新计划项目资助;中央高校基本科研业务费专项资金项目(CXZZ11_0218)资助
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出...
关键词：嵌入式系统 安全性分析 状态图 故障树分析 故障扩展状态图 
基于故障扩展SysML活动图的软件安全性分析方法研究被引量：5
《小型微型计算机系统》2015年第9期2067-2074,共8页曹德建 黄志球 阚双龙 黄传林 
国家自然科学基金项目(61100034;61170043)资助;中国博士后科学基金项目(20110491411)资助;江苏省普通高校研究生科研创新计划项目;中央高校基本科研业务费专项项目(CXZZ11_0218)资助
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出...
关键词：嵌入式系统 安全性分析 SysML活动图 故障树分析 故障扩展Sys ML活动图 
一种面向服务组合的隐私保护方法被引量：3
《小型微型计算机系统》2015年第8期1671-1676,共6页彭焕峰 黄志球 范大娟 
国家自然科学基金项目(61272083)资助;中国博士后科学基金项目(20110491411)资助;江苏省博士后科研资助计划项目基金项目(1101092C)资助
用户在使用Web服务组合时,其隐私信息通过服务组合暴露给成员服务,由于用户与成员服务之间缺乏隐私信息使用的相关协议,因此如何保证Web服务组合执行过程中按照用户需求暴露隐私信息成为当前的研究热点.针对现有研究的不足,提出一种基...
关键词：信誉度 服务组合 隐私保护 开放工作流网 
一种基于故障扩展SysML活动图的安全性验证框架研究被引量：4
《计算机科学》2015年第7期222-228,共7页仵志鹏 黄志球 王珊珊 曹德建 
国家自然科学基金(61100034;61170043);中国博士后科学基金(20110491411);江苏省普通高校研究生科研创新计划资助项目;中央高校基本科研业务费专项资金(CXZZ11_0218)资助
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和Sy...
关键词：安全性验证 故障树语义 SysML活动图 PROMELA 
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究被引量：5
《小型微型计算机系统》2015年第3期408-417,共10页黄传林 黄志球 胡军 徐丙凤 曲长亮 
国家自然科学基金项目(61100034;61170043)资助;中国博士后科学基金项目(20110491411)资助;江苏省普通高校研究生科研创新计划资助项目;中央高校基本科研业务费专项资金(CXZZ11_0218)资助
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型...
关键词：嵌入式系统安全性分析 SysML活动图 MARTE 模型转换 形式化方法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部