云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(91218302)

国家自然科学基金(91218302): 作品数：13被引量：51H指数：4; 导出分析报告; 相关作者：郝慧珍顾庆武延军陈贤李娜更多>>; 相关机构：中国科学院大学中国科学院软件研究所清华大学南京工程学院更多>>; 相关期刊：《计算机应用研究》《信息安全研究》《中国科学：信息科学》《计算机学报》更多>>; 相关主题：操作系统ROS机器人基于语义模糊聚类更多>>; 相关领域：自动化与计算机技术天文地球理学更多>>

一种基于卷积神经网络的砂岩显微图像特征表示方法被引量：10: 《软件学报》2020年第11期3621-3639,共19页李娜顾庆姜枫郝慧珍于华倪超; 国家自然科学基金(61373012,61321491,91218302);国家重点研发计划(2018YFB1003800);软件新技术与产业化协同创新中心。; 砂岩显微图像分类是地质学研究中一项基本工作,在油气储集层评估等方面有重要意义.在实现自动分类时,由于砂岩显微图像具有复杂多变的显微结构,人工定义特征对砂岩显微图像的表示能力有限.此外,由于样本采集和标注成本高昂,带标记的砂...; 关键词：特征表示砂岩显微图像卷积神经网络图像扩增卷积自编码

基于语义特征提取的砂岩薄片图像颗粒分割方法被引量：11: 《中国科学：信息科学》2020年第1期109-127,共19页姜枫顾庆郝慧珍李娜胡修棉; 国家自然科学基金(批准号:61373012,61321491,91218302);国家重点研发计划项目(批准号:2018YFB1003800)资助。; 砂岩薄片鉴定是矿物学和采矿工程中的一个重要步骤,其基础是将砂岩薄片图像包含的矿物颗粒分割到独立区域.不同于一般图像分割问题,砂岩薄片图像中包含大量矿物颗粒,且相邻颗粒之间边界模糊,通用的图像分割方法难以适用.本文利用多角度...; 关键词：砂岩薄片图像图像分割神经网络模糊聚类特征提取

基于扩展标记变迁模型的时钟同步协议正确性验证被引量：1: 《国防科技大学学报》2019年第3期42-49,共8页曲国远徐晓飞刘威廷王沁煜贺飞; 航空科学基金资助项目(2015ZC15001);国家部委基金资助项目(3030603);国家自然科学基金资助项目(61672310,61272001,91218302); 时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步...; 关键词：形式化方法协议验证模型检测

SMT-based query tracking for differentially private data analytics systems: 《Frontiers of Computer Science》2018年第6期1192-1207,共16页Chen LUO Fei HE; supported in part by the National Program on Key Basic Research Project (973Program)(2010CB328003); the National Natural Science Foundation of China (Grant Nos.61672310, 61272001,60903030,91218302); the National Key Technologies R&D Program of China (SQ2012BAJY4052).

基于ROS的云机器人服务框架被引量：13: 《计算机系统应用》2016年第10期73-80,共8页陈贤武延军; 中国科学院先导专项(XDA06010600);国家自然科学基金重大项目(91218302); 随着机器人技术的发展和硬件的普及,机器人的市场应用前景越来越广泛.但是,目前的机器人仍存在着许多局限,具体表现为可移植性弱,本地计算成本高,服务应用较少等.云机器人的提出,将机器人的计算能力从本地迁移到云端,不但提高了机器人...; 关键词：机器人云机器人机器人操作系统云机器人服务框架

流式数据查询系统: 《计算机系统应用》2016年第9期44-51,共8页王栋张潇武延军; 国家自然科学基金面上项目(61432001);国家自然科学基金重大项目(91218302); 近年来,随着互联网和物联网的快速发展,海量的数据在很多应用中都会出现,而这其中有很大一部分数据是以流数据的形式存在的.流数据的特点是快速、大量、无序,并且要求快速的响应.研究表明,传统的关系型数据库并不适用于这种流式数据的...; 关键词：流数据连续查询滑动窗口负载平衡

一种软件特征模型扩展和演化分析方法被引量：4: 《软件学报》2016年第5期1212-1229,共18页胡洁王青; 国家自然科学基金(91318301,91218302,61432001);国家科技重大专项(2012ZX01039-004)~~; 特征模型是面向特征的软件开发过程的重要概念和制品,该模型以特征为单位,刻画了领域产品的共性和可变性.在日趋频繁的软件演化过程中,保持特征模型的一致演化,对于支持高效的复用开发和按需配置至关重要.目前,大多数的研究是在需求层...; 关键词：软件演化模型演化软件定制共性可变性特征模型

基于索引的分布式代码克隆检测被引量：3: 《信息安全研究》2016年第3期201-210,共10页林婵李俊杰饶飞罗平; NSFC重大项目(91218302); 随着软件产业的发展,代码克隆现象越来越常见,随之带来的安全漏洞、可维护性、产权等问题也引起人们重视.代码克隆按照复制程度分为4类:完全复制、修改名称、更换顺序和自实现.现有的代码克隆检测工具只能在单机情况下对2个项目进行针...; 关键词：索引分布式克隆代码开源项目检测

轨道车辆多功能车辆总线通信控制器及其配套产品化测试、实时监控装置的设计实现: 《计算机应用研究》2014年第10期3011-3016,共6页颜乃鹏李宗辉胡丁相徐翘楚万海樊海宁邓仰东; 国家自然科学基金资助项目(91218302); 介绍一种具有完全自主知识产权的多功能车辆总线通信控制器的设计实现,以及相应配套监控、监测设备的研发和测试。采用可编程硬件与ARM嵌入式处理器进行软硬件协同处理,并在整个设计过程中引入了面向可靠性设计方法,使用国内外最新软硬...; 关键词：多功能车辆总线多功能车辆总线通信控制器四类设备控制器 FPGA ARM 面向可靠性的设计模块化

Correlations between characteristics of maximum influence and degree distributions in software networks被引量：5: 《Science China(Information Sciences)》2014年第7期21-32,共12页GU Qing XIONG ShiJie CHEN DaoXu; supported by National Basic Research Program of China (Grant No.2009CB320705);National Natural Science Foundation of China (Grant Nos.61373012,91218302,60873027,61021062,61076094);National High-Tech Research & Development Program of China (Grant No.2006AA01Z177); Software systems can be represented as complex networks and their artificial nature can be investigated with approaches developed in network analysis.Influence maximization has been successfully applied on software ne...; 关键词：software network scale free influence maximization power law complex network

国家自然科学基金(91218302)