咨询与建议

限定检索结果

文献类型

  • 42 篇 期刊文献
  • 4 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 44 篇 工学
    • 36 篇 计算机科学与技术...
    • 16 篇 软件工程
    • 6 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 3 篇 网络空间安全
    • 2 篇 机械工程
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
    • 1 篇 环境科学与工程(可...
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
  • 3 篇 理学
    • 2 篇 系统科学
    • 1 篇 物理学
  • 3 篇 艺术学
    • 3 篇 设计学(可授艺术学...
  • 1 篇 医学
    • 1 篇 公共卫生与预防医...

主题

  • 4 篇 时空一致性
  • 4 篇 物联网
  • 3 篇 nest仿真器
  • 3 篇 嵌入式系统
  • 3 篇 车联网
  • 2 篇 工作负载映射
  • 2 篇 脉冲神经网络
  • 2 篇 智能卡
  • 2 篇 hoare逻辑
  • 2 篇 pynq集群
  • 2 篇 概率测度
  • 2 篇 hoare三元组
  • 2 篇 软硬件协同设计
  • 2 篇 软硬件划分
  • 2 篇 定理证明
  • 2 篇 正确度
  • 2 篇 实时系统
  • 1 篇 列车运行模型
  • 1 篇 分布式移动计算
  • 1 篇 稀疏交换

机构

  • 42 篇 华东师范大学
  • 6 篇 软硬件协同设计技...
  • 4 篇 上海电子信息职业...
  • 3 篇 上海市高可信计算...
  • 3 篇 教育部软硬件协同...
  • 3 篇 上海电力大学
  • 3 篇 江南大学
  • 2 篇 杭州职业技术学院
  • 2 篇 上海理工大学
  • 2 篇 江苏省模式识别与...
  • 2 篇 信息网络安全公安...
  • 2 篇 中国科学院计算技...
  • 2 篇 上海嵌入式系统研...
  • 1 篇 中国科学院上海高...
  • 1 篇 软硬件协同设计技...
  • 1 篇 攀枝花学院
  • 1 篇 计算机软件新技术...
  • 1 篇 复旦大学
  • 1 篇 上海宇航系统工程...
  • 1 篇 南京大学

作者

  • 20 篇 陈仪香
  • 9 篇 chen yixiang
  • 7 篇 章玥
  • 6 篇 zhang yue
  • 6 篇 chen yi-xiang
  • 5 篇 李慧勇
  • 4 篇 吴新星
  • 4 篇 郭建
  • 4 篇 guo jian
  • 4 篇 胡国胜
  • 3 篇 wu xin-xing
  • 3 篇 张敏
  • 3 篇 朱晓冉
  • 3 篇 zhang min
  • 3 篇 hu guo-sheng
  • 3 篇 chai zhilei
  • 3 篇 li yan
  • 3 篇 li huiyong
  • 3 篇 zhu xiao-ran
  • 3 篇 chen wenjie

语言

  • 46 篇 中文
检索条件"机构=华东师范大学软硬件协同设计技术与应用教育部工程研究中心"
46 条 记 录,以下是1-10 订阅
排序:
面向车联网的时空事件处理语言STEP
收藏 引用
计算机科学与探索 2016年 第7期10卷 959-974页
作者: 李慧勇 陈仪香 华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062
车联网是物联网技术应用于智能交通领域所形成的重要研究领域。复杂事件处理技术是车联网系统数据流处理的重要方法。有别于经典的物联网系统,车联网中数据流包含大量的时间和空间信息。在复杂事件处理技术中,如何有效地表达和处理车联... 详细信息
来源: 评论
基于STeC-Stateflow转换系统的实时系统仿真与验证方法
收藏 引用
计算机应用研究 2014年 第2期31卷 448-453页
作者: 纪政 李慧勇 陈仪香 华东师范大学软件学院教育部软硬件协同设计技术与应用工程研究中心 上海200062
物联网以及信息物理融合系统对形式化建模提出了新的挑战,引入了实时系统规范语言STeC,为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统,提出一种基于STeC至Stateflow转换的仿真及验证方法,该... 详细信息
来源: 评论
抗随机数后门攻击的密码算法
收藏 引用
软件学报 2021年 第9期32卷 2887-2900页
作者: 康步荣 张磊 张蕊 孟欣宇 陈桐 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062 华东师范大学软件工程学院 上海200062 密码科学技术国家重点实验室 北京100878
迄今为止,大多数密码原语的安全性都依赖于高质量的不可预测的随机数.密码学中,通常用伪随机数生成器(pseudorandom number generator,简称PRNG)生成随机数.因此,密码算法中所用的PRNG的安全性将直接影响着密码算法的安全性.然而,近年来... 详细信息
来源: 评论
嵌入式实时操作系统内核混合代码的自动化验证框架
收藏 引用
软件学报 2020年 第5期31卷 1353-1373页
作者: 郭建 丁继政 朱晓冉 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... 详细信息
来源: 评论
非交互密钥协商综述
收藏 引用
计算机学报 2024年 第3期47卷 558-574页
作者: 张明瑞 张蕊 张磊 华东师范大学软件工程学院上海市高可信计算重点实验室 上海200062 软硬件协同设计技术与应用教育部工程研究中心 上海200062
非交互密钥协商作为一种重要的密码学原语是一种极具潜力的安全信道建立范式,持续受到学术界和工业界的密切关注.本文综述了非交互密钥协商协议的发展概况以及待解决的问题.有别于以往的综述,我们在对传统的非交互密钥协商协议进行全面... 详细信息
来源: 评论
基于适应度有序准入策略的网络凝聚调控
收藏 引用
复杂系统与复杂性科学 2024年 第4期21卷 6-12页
作者: 马忠渝 程言欣 陈李燊 廖启嘉 钱江海 上海电力大学数理学院 上海200090 华东师范大学软硬件协同设计技术与应用教育部工程研究中心 上海200062
为了从理论上寻找有效的反垄断策略,设计了一套基于适应度重排的节点准入规则,并采用复杂网络理论研究了该规则对拓扑凝聚的影响。通过蒙特卡罗模拟和有限尺度效应分析,求得一类典型适应度分布下的临界重排指数,建立了凝聚的相图。该相... 详细信息
来源: 评论
车联网数据流的多维服务质量改进异构计算最早完成时间调度算法
收藏 引用
计算机应用 2015年 第11期35卷 3139-3145页
作者: 李慧勇 陈仪香 华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062
针对车联网中数据流分布式处理的调度问题,提出了多维服务质量(QoS)改进异构计算最早完成时间(HEFT)调度算法。首先,分别建立了车联网中数据流的分布式处理任务的带权有向无环图模型和车联网分布式计算资源的七维QoS属性带权无向拓扑结... 详细信息
来源: 评论
基于随机投影与加权稀疏表示残差的光照鲁棒人脸识别方法
收藏 引用
计算机工程与科学 2018年 第11期40卷 2015-2022页
作者: 李燕 章玥 华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062
针对人脸识别中的光照变化问题,利用随机投影对传统稀疏表示分类器进行改进,提出一种基于随机投影与加权稀疏表示残差的光照鲁棒人脸识别方法。通过对人脸图像进行光照规范化处理,尽量消除人脸图像上的恶劣光照,取得经光照校正的人脸样... 详细信息
来源: 评论
实时系统规范语言STeC的Maude重写系统
收藏 引用
计算机工程 2013年 第10期39卷 57-62,67页
作者: 栾天骄 陈仪香 王江涛 华东师范大学软硬件协同设计技术与应用教育部工程研究中心 上海200062
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此,引入实时系统的规范语言STeC,用于刻画具有时空一致性要求的实时系统。对于STeC语言的自动逻辑推理问题,通过拓展Maude中的关系等式和重写规则,将... 详细信息
来源: 评论
基于义原级语句稀释法的文本对抗攻击能力强化方法
收藏 引用
软件学报 2023年 第7期34卷 3313-3328页
作者: 叶文滔 张敏 陈仪香 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室 上海200062 教育部软硬件协同设计技术与应用工程研究中心 上海200062
随着近年来机器学习方法在自然语言处理领域的应用越发广泛,自然语言处理任务的安全性也引起了研究者们重视.现有研究发现,向样本施加细微扰动可能令机器学习模型得到错误结果,这种方法称之为对抗攻击.文本对抗攻击能够有效发现自然语... 详细信息
来源: 评论