计算机软件与理论

作品数：66被引量：131H指数：6
导出分析报告
相关领域：自动化与计算机技术文化科学更多>>
相关作者：牛少彰李大伟安俊秀吕尤郎丰饶更多>>
相关机构：北京邮电大学成都信息工程大学华北计算技术研究所南京航空航天大学更多>>
相关期刊：《科技通报》《科技广场》《沈阳航空航天大学学报》《新一代信息技术》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
机载软件层次化需求的形式化建模与分析
《南京航空航天大学学报(自然科学版)》2025年第1期195-204,共10页王康星 胡军 王立松 丁鼎 董亚炯 戴嘉磊 
国家自然科学基金(U2241216)。
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica...
关键词：计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统 
河南农业大学计算机科学与技术学科简介
《河南农业大学学报》2024年第6期F0002-F0002,共1页
计算机科学与技术学科始建于1981年,1995年招收计算机应用专科生,2001年招收本科生,2008年招收农业信息化硕士研究生,2017年获批计算机科学与技术一级硕土学位授权点,同年获评河南省一级学科重点学科,2021年入选国家一流本科专业建设点...
关键词：计算机应用技术 计算机软件与理论 计算机科学与技术 网络与信息安全 硕士研究生 农业信息化 河南农业大学 本科专业建设 
广东开放大学(广东理工职业学院)学人简介
《广东开放大学学报》2024年第5期F0002-F0002,共1页
汪卫星(1974-),男,安徽望江人,广东开放大学(广东理工职业学院)教授。2003年6月毕业于重庆大学计算机软件与理论专业,获研究生学历及工学硕士学位。现为广东开放大学(广东理工职业学院)人工智能学院教授、计算机科学与技术学科带头人、...
关键词：广东开放大学 学术委员会委员 工学硕士学位 人工智能 计算机软件与理论 广东理工 计算机科学与技术学科 研究生学历 
自动飞行模式转换逻辑的形式化建模与验证被引量：1
《南京航空航天大学学报》2023年第5期768-779,共12页李俊安 胡军 王立松 黄志球 蔡鑫 
国家自然科学基金(U2241216)。
自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模...
关键词：计算机软件与理论 飞行制导控制系统 基于模型的安全性分析 模型检测 安全关键系统 
拦截与清除恶意捆绑软件系统的研究与开发
《现代计算机》2023年第16期81-86,98,共7页刘毓彬 叶传奇 张少博 朱溪洋 秦梦雯 刘晓雨 
河南科技大学2022年度大学生研究训练计划(SRTP)项目(2022257)。
如今的互联网行业欣欣向荣,但也滋生出如垃圾信息轰炸、钓鱼网站盗取信息等问题。为解决最为突出的恶意捆绑软件下载的问题,设计了针对捆绑软件的拦截与清除系统,系统使用特征值匹配、云查杀、文本分析等技术实现了对新软件的下载前过...
关键词：计算机软件与理论 捆绑软件 特征值匹配 系统安全 文本分析 
基于机器学习的动静结合的二进制漏洞检测
《新一代信息技术》2021年第20期1-10,共10页蔡昊君 牛少彰 
国家自然科学基金资助项目(项目编号:U1536121,61370195)。
针对二进制程序漏洞检测误报率高、路径覆盖率低等问题,本文提出了一个基于机器学习的动静结合的二进制漏洞检测方法,借助动态二进制插桩工具Pin获取程序的静态特征和动态特征,通过程序切片和训练好的词向量模型转换成模型的输入向量,...
关键词：计算机软件与理论 二进制代码 PIN 切片 机器学习 动静结合 
滇西科技师范学院学报学者介绍
《滇西科技师范学院学报》2021年第3期F0002-F0002,F0003,共2页
穆俊,男,1979年月生,汉族,云南永德人,中共党员。2010年毕业于云南大学计算机软件与理论专业,获工学硕士学位。2015年晋升为副教授,2020年晋升为教授。入选滇科技师范学院高层次人才;获百度嵌入式人工智能认证,高级程序员;担任工信部信...
关键词：计算机软件与理论 人工智能 信息技术 工学硕士学位 高层次人才 中共党员 培训师 紧缺人才培养 
基于深度学习的红外和可见光图像融合
《新一代信息技术》2021年第15期9-15,共7页李宏伟 
国家自然科学基金(项目编号:61806069)。
近年来,深度学习已经成为一种非常流行的研究工具,在许多图像处理领域得到了应用。本文提出了一种有效的图像融合方法。首先,将红外图像运用中值滤波去除噪声,然后将源图像分解为基础部分和细节部分。然后进行融合。对于细节部分,使用...
关键词：计算机软件与理论 红外与可见光图像 深度学习 图像融合 
基于Android安全容器的网络数据采集系统被引量：1
《新一代信息技术》2021年第14期1-7,共7页朱晓宇 牛少彰 
国家自然科学基金资助项目(项目编号:U1536121,61370195)。
针对Android平台上应用程序的网络数据采集不完整以及自动化程度较低等问题,本文提出了一种基于Android安全容器的网络数据采集系统。根据Android软件栈的层次顺序,对客户端与服务器端之间的网络数据通信的过程进行分析,找到可供网络数...
关键词：计算机软件与理论 ANDROID 安全容器 网络通信 数据采集 
池州学院二级学院 大数据与人工智能学院简介
《池州学院学报》2021年第3期F0003-F0003,共1页
大数据与人工智能学院始于1977年创办的数学系,2019年根据学校学科专业调整,由原数学与计算机学院和大数据学院合并组建而成。学院现有数学与应用数学、统计学、经济统计学、计算机科学与技术、网络工程、数据科学与大数据技术、智能科...
关键词：计算机软件与理论 智能科学与技术 人工智能 网络工程 大数据 数据技术 数学与应用数学 产教融合 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部