咨询与建议

限定检索结果

文献类型

  • 91 篇 期刊文献
  • 2 篇 会议

馆藏范围

  • 93 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 92 篇 工学
    • 74 篇 计算机科学与技术...
    • 43 篇 软件工程
    • 9 篇 仪器科学与技术
    • 7 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 机械工程
    • 4 篇 电气工程
    • 4 篇 网络空间安全
    • 1 篇 纺织科学与工程
    • 1 篇 兵器科学与技术
    • 1 篇 公安技术
  • 8 篇 管理学
    • 8 篇 管理科学与工程(可...
  • 4 篇 理学
    • 3 篇 系统科学
    • 1 篇 数学
  • 1 篇 军事学
    • 1 篇 军队指挥学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 11 篇 形式化验证
  • 10 篇 定理证明
  • 5 篇 高速串行总线
  • 5 篇 概率模型检测
  • 4 篇 超级电容
  • 4 篇 动态重构
  • 4 篇 um-bus
  • 4 篇 嵌入式系统
  • 3 篇 马尔科夫决策过程
  • 3 篇 形式化方法
  • 3 篇 prism
  • 3 篇 hol4
  • 3 篇 故障检测
  • 3 篇 spacewire标准
  • 3 篇 mosfet
  • 3 篇 高阶逻辑
  • 3 篇 高速总线
  • 3 篇 卷积神经网络
  • 2 篇 分数阶微积分
  • 2 篇 测试系统

机构

  • 83 篇 首都师范大学
  • 14 篇 北京化工大学
  • 12 篇 高可靠嵌入式系统...
  • 10 篇 北京成像理论与技...
  • 8 篇 北京数学与信息交...
  • 8 篇 北京航空航天大学
  • 8 篇 高可靠嵌入式系统...
  • 7 篇 电子系统可靠性技...
  • 6 篇 成像技术北京市高...
  • 5 篇 中国科学院研究生...
  • 4 篇 北京交通大学
  • 4 篇 计算机体系结构国...
  • 4 篇 北京市高可靠嵌入...
  • 3 篇 轻型工业机器人与...
  • 3 篇 北京数学与信息交...
  • 2 篇 电子系统可靠性与...
  • 2 篇 高可靠嵌入式系统...
  • 2 篇 高可靠嵌入式系统...
  • 2 篇 高可靠嵌入式系统...
  • 2 篇 中国科学院计算技...

作者

  • 38 篇 关永
  • 35 篇 guan yong
  • 27 篇 张伟功
  • 26 篇 李晓娟
  • 18 篇 施智平
  • 15 篇 li xiao-juan
  • 15 篇 zhang wei-gong
  • 15 篇 王瑞
  • 14 篇 张杰
  • 14 篇 尚媛园
  • 13 篇 wang rui
  • 12 篇 zhang jie
  • 12 篇 shi zhi-ping
  • 11 篇 wang jing
  • 11 篇 王国辉
  • 11 篇 吴立锋
  • 11 篇 王晶
  • 11 篇 zhang weigong
  • 9 篇 周继芹
  • 8 篇 pan wei

语言

  • 93 篇 中文
检索条件"机构=首都师范大学北京市高可靠嵌入式系统技术工程研究中心"
93 条 记 录,以下是1-10 订阅
排序:
电容劣化对DC-DC电源寿命影响仿真系统
收藏 引用
计算机工程与应用 2011年 第31期47卷 234-237页
作者: 周士红 吴立锋 关永 杜银瑜 潘巍 首都师范大学高可靠嵌入式系统技术北京市工程研究中心 北京100048
在DC-DC电源中,滤波网络中铝电解电容的劣化是影响电源寿命的主要因素,因此可以通过监测电容的劣化来评估DC-DC的健康状况。基于前期对电容的主要劣化模及其对DC-DC影响的研究工作建立了电容劣化对DC-DC寿命影响仿真系统。该系统以Lab... 详细信息
来源: 评论
基于SOPC技术的高速图像采集控制系统的设计与研究
收藏 引用
传感技术学报 2011年 第6期24卷 864-869页
作者: 尚媛园 杨新华 徐达维 赵晓旭 牛慧卓 首都师范大学信息工程学院 北京100048 高可靠嵌入式系统技术北京市工程研究中心 北京100048
针对高速图像采集控制系统中带宽不足的问题,应用SOPC(System on a Programmable Chip)技术在Avalon总线中嵌入自定义外设完成图像采集、图像数据压缩和图像存储,大大提高了系统的成像速度。首先,通过在图像采集端对数据进行流水线压缩... 详细信息
来源: 评论
基于UM-BUS总线的可重构缓存机制的研究与设计
收藏 引用
计算机工程与设计 2014年 第4期35卷 1433-1438,1446页
作者: 杨小林 张伟功 首都师范大学北京市高可靠嵌入式系统技术工程研究中心 北京100048
为提高动态可重构高速串行总线UM-BUS的带宽利用率,通过分析UM-BUS总线数据访问和传送的特点,提出了一种有效可行的两级缓存管理算法,并采用该算法设计了一种静态可重构的数据高速缓存机制。该缓存机制采用了驱动级缓存以及可重构缓存... 详细信息
来源: 评论
基于Spark的大数据访存行为跨层分析工具
收藏 引用
计算机研究与发展 2020年 第6期57卷 1179-1190页
作者: 许丹亚 王晶 王利 张伟功 首都师范大学信息工程学院 北京100048 高可靠嵌入式技术北京市工程研究中心(首都师范大学) 北京100048 北京成像理论与技术高精尖创新中心(首都师范大学) 北京100048
大数据时代的到来为信息处理带来了新的挑战,内存计算方的Spark显著提高了数据处理的性能.Spark的性能优化和分析可以在应用层、系统层和硬件层开展,然而现有工作都只局限在某一层,使得Spark语义与底层动作脱离,如操作系统参数对Spar... 详细信息
来源: 评论
新型总线中并行CRC算法的设计与实现
收藏 引用
计算机工程与设计 2013年 第1期34卷 131-135页
作者: 杜瑞 张伟功 邓哲 朱晓燕 首都师范大学北京市高可靠嵌入式系统技术工程研究中心 北京100048
为了对动态可重构高速串行总线UM-BUS进行差错控制,提出了一种用于新型总线数据校验的四通道并行CRC算法。根据UM-BUS的多通道并发通信方和通道动态组织特点,采用四体FIFO进行数据缓冲存储,并设计了满足总线特点的四通道并行CRC编解... 详细信息
来源: 评论
基于数据对象规模的Rank级内存分配方法
收藏 引用
计算机研究与发展 2014年 第3期51卷 672-680页
作者: 钟祺 王晶 管雪涛 黄涛 王克义 北京大学微处理器研究开发中心 北京100871 首都师范大学高可靠嵌入式系统技术北京市工程技术研究中心 北京100048
利用主存的多bank/rank/channel结构挖掘访存并行性和局部性,是提高系统性能的重要手段.相关研究工作通过sub-rank技术增加可并行工作的存储资源,或在并行程序之间对bank划分,以隔离访存冲突.但上述方法没有考虑在bank/rank资源共存的... 详细信息
来源: 评论
动态可重构总线数据传输管理方法设计与实现
收藏 引用
计算机工程 2013年 第1期39卷 264-269页
作者: 邓哲 张伟功 朱晓燕 杜瑞 首都师范大学北京市高可靠嵌入式系统技术工程研究中心 北京100048
为实现总线多通道数据并发高速传输与容错,解决故障状态下的总线数据动态重构问题,设计一种动态可重构总线数据传输管理方法。采用四体先入先出队列(FIFO)进行数据缓冲存储,利用通道故障状态表,通过4×32矩阵开关数据,传输管理阵列... 详细信息
来源: 评论
D2SE-CNN:改进的SAR图像相干斑抑制算法
收藏 引用
兵器装备工程学报 2022年 第11期43卷 103-111页
作者: 张一铭 赵生福 郑鑫 王艺博 丁辉 首都师范大学信息工程学院 北京100048 高可靠嵌入式系统技术北京市工程研究中心 北京100048
合成孔径雷达(SAR)的相干成像时,由于存在相干斑噪声,导致图像细节模糊,影响SAR图像的解译等后续应用。结合注意力机制,提出一种改进的下采样卷积神经网络D2SE-CNN。该方法在ID-CNN模型的基础上,去除估计噪声的残差连接;引入下采样,使... 详细信息
来源: 评论
面向数据流的ROS2数据分发服务形建模与分析
收藏 引用
软件学报 2021年 第6期32卷 1818-1829页
作者: 芦倩 李晓娟 关永 王瑞 施智平 首都师范大学信息工程学院 北京100048 高可靠嵌入式系统技术北京市工程研究中心(首都师范大学) 北京100048 北京成像理论与技术高精尖创新中心(首都师范大学) 北京100048 轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 北京100048
机器人操作系统(robot operating system,简称ROS)是一种开源的元操作系统,能够在异种计算簇上提供基于消息机制的结构化通信层.为改善ROS1中存在的数据分发实时性、可靠性问题,ROS2提出了面向数据流的数据分发服务机制.采用概率模型检... 详细信息
来源: 评论
平面并联机构的形化建模与验证
收藏 引用
小型微型计算机系统 2020年 第5期41卷 925-931页
作者: 陈琦 王国辉 张倩颖 施智平 陈善言 关永 高可靠嵌入式系统技术北京市工程研究中心 首都师范大学信息工程学院北京100048
平面并联机构运动学分析是机构学研究热点之一,平面并联机构运动学模型的构建和求解的错误会给整个系统带来灾难性损失.传统运动学分析方法难以保证模型的完备性和求解的正确性.而基于高阶逻辑的定理证明方法可以弥补传统分析方法的不足... 详细信息
来源: 评论