关永
【姓名】 关永
【职称】 教授;
【研究领域】 自动化技术;计算机软件及计算机应用;电力工业;
【研究方向】 智能信息处理与嵌入式系统设计
【发表文献关键词】 分布式数据库系统,供应链管理系统,数据库复制,数据冲突,查询优化,嵌入式系统,监测数据,智能,通信方式,苛刻,监测系统,供应链系统,嵌入式实验系统,ARM,设计型,创新型,μCLinux,实验内容,数...
【工作单位】 首都师范大学
【曾工作单位】 首都师范大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/207 99 120 14 1751 41364
中国期刊全文数据库    共找到153篇
[1]刘嘉乐;何冬梅;刘洪标;潘广宇;关永;王瑞;刘波;.高可靠嵌入式软件的运行时验证方法[J]计算机科学.2026,(05)
[2]刘永梅;王国辉;关永;张景芝;施智平;董璐;.斯托克斯定理的形式化及其初步应用[J]计算机工程与科学.2025,(06)
[3]张善强;张景芝;施智平;王国辉;关永;.单球驱动平衡机器人运动学和动力学形式化验证[J]软件学报.2025,(08)
[4]张林雁;李希萌;施智平;关永;曹钦翔;张倩颖;.微内核操作系统互斥量模块功能正确性的形式化验证[J]软件学报.2024,(09)
[5]昝懿轩;李晓娟;关永;宋家东;王瑞;.基于EDCA的无线网络服务质量研究综述[J]计算机应用与软件.2022,(12)
[6]杨帆;张倩颖;施智平;关永;.可信执行环境软件侧信道攻击研究综述[J]软件学报.2023,(01)
[7]刘永梅;王国辉;关永;张景芝;施智平;董璐;.格林定理的形式化及其初步应用[J]计算机工程与科学.2023,(07)
[8]李希萌;王国辉;张倩颖;施智平;关永;.基于函数式语义的循环和递归程序结构通用证明技术[J]软件学报.2023,(08)
[9]付俊仪;张倩颖;王国辉;李希萌;施智平;关永;.TrustZone中断隔离机制的形式化验证[J]小型微型计算机系统.2023,(09)
[10]任凭;张杰;关永;.终止证明方法在形式化建模中的应用[J]计算机系统应用.2022,(01)
更多
承担国家科研项目    共找到1个
[1]关永;.嵌入式系统苛刻环境抗辐射干扰高速总线机制与算法的研究[A].首都师范大学;.项目经费 33万元.2008-03-20.资助文献数 2 篇
更多