咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 3 篇 时空一致性
  • 3 篇 物联网
  • 2 篇 hoare逻辑
  • 2 篇 概率测度
  • 2 篇 hoare三元组
  • 2 篇 软硬件协同设计
  • 2 篇 嵌入式系统
  • 2 篇 软硬件划分
  • 2 篇 正确度
  • 1 篇 列车运行模型
  • 1 篇 频率控制算法
  • 1 篇 抗随机数后门攻击
  • 1 篇 智能交通系统
  • 1 篇 词汇链
  • 1 篇 拥塞控制
  • 1 篇 验证
  • 1 篇 transformer
  • 1 篇 uml
  • 1 篇 地理围栏
  • 1 篇 无线移动局域网

机构

  • 27 篇 华东师范大学
  • 4 篇 软硬件协同设计技...
  • 4 篇 上海电子信息职业...
  • 3 篇 上海市高可信计算...
  • 2 篇 杭州职业技术学院
  • 2 篇 教育部软硬件协同...
  • 2 篇 上海嵌入式系统研...
  • 1 篇 上海师范大学
  • 1 篇 中国科学院上海高...
  • 1 篇 攀枝花学院
  • 1 篇 计算机软件新技术...
  • 1 篇 复旦大学
  • 1 篇 上海宇航系统工程...
  • 1 篇 上海理工大学
  • 1 篇 南京大学
  • 1 篇 国家可信嵌入式软...
  • 1 篇 安徽师范大学
  • 1 篇 department of el...
  • 1 篇 黄山学院
  • 1 篇 上海交通大学

作者

  • 16 篇 陈仪香
  • 4 篇 吴新星
  • 4 篇 胡国胜
  • 3 篇 张敏
  • 3 篇 章玥
  • 2 篇 赵文明
  • 2 篇 陈铭松
  • 2 篇 何康力
  • 2 篇 李慧勇
  • 2 篇 张蕊
  • 2 篇 张磊
  • 1 篇 裴颂文
  • 1 篇 孟欣宇
  • 1 篇 叶文滔
  • 1 篇 汤璇
  • 1 篇 李岩
  • 1 篇 张明瑞
  • 1 篇 张波
  • 1 篇 魏宪
  • 1 篇 朱晓冉

语言

  • 27 篇 中文
检索条件"机构=华东师范大学软件学院教育部软硬件协同设计与应用工程研究中心"
27 条 记 录,以下是1-10 订阅
排序:
非交互密钥协商综述
收藏 引用
计算机学报 2024年 第3期47卷 558-574页
作者: 张明瑞 张蕊 张磊 华东师范大学软件工程学院上海市高可信计算重点实验室 上海200062 软硬件协同设计技术与应用教育部工程研究中心 上海200062
非交互密钥协商作为一种重要的密码学原语是一种极具潜力的安全信道建立范式,持续受到学术界和工业界的密切关注.本文综述了非交互密钥协商协议的发展概况以及待解决的问题.有别于以往的综述,我们在对传统的非交互密钥协商协议进行全面... 详细信息
来源: 评论
基于义原级语句稀释法的文本对抗攻击能力强化方法
收藏 引用
软件学报 2023年 第7期34卷 3313-3328页
作者: 叶文滔 张敏 陈仪香 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室 上海200062 教育部软硬件协同设计技术与应用工程研究中心 上海200062
随着近年来机器学习方法在自然语言处理领域的应用越发广泛,自然语言处理任务的安全性也引起了研究者们重视.现有研究发现,向样本施加细微扰动可能令机器学习模型得到错误结果,这种方法称之为对抗攻击.文本对抗攻击能够有效发现自然语... 详细信息
来源: 评论
多尺度测地线距离的点云划分方法
收藏 引用
测绘科学 2024年 第3期49卷 58-66页
作者: 陈万志 王牧宇 夏羽 汤璇 魏宪 辽宁工程技术大学软件学院 辽宁葫芦岛125105 上海宇航系统工程研究所 上海201108 华东师范大学软硬件协同设计技术与应用教育部工程研究中心 上海200241
针对三维点云目标通常具有复杂的多尺度非欧几里得空间结构,且无序排列、动态性强、难以高精度预测标签,当前的自注意力模块依赖点乘和矩阵转换运算,难以充分捕捉点云对象的多尺度非欧几里得结构等问题,提出了一种新的多尺度自注意力模... 详细信息
来源: 评论
自适应动态选择尺度的ViT后训练量化模型研究
收藏 引用
小型微型计算机系统 2025年
作者: 裴颂文 彭宇昂 刘方鑫 陈铭松 张波 上海理工大学光电信息与计算机工程学院 上海交通大学计算机科学与工程系 华东师范大学软硬件协同设计与应用教育部工程研究中心 上海师范大学信息与机电工程学院
后训练量化方法无需重新训练神经网络,且对数据集的依赖性小,是一种轻量且实用的模型压缩技术。然而,现有的量化范式未能有效地拟合post-Softmax激活的分布特性,并且在重新参数化post-LayerNorm激活后,精度不可避免地出现下降。因... 详细信息
来源: 评论
面向安全属性的软件组件可信依赖关系度量模型
收藏 引用
空间控制技术与应用 2021年 第2期47卷 49-54页
作者: 邹萌 张敏 陈仪香 华东师范大学软件工程学院 教育部软硬件协同设计技术与应用工程研究中心上海200062
随着软件应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件... 详细信息
来源: 评论
抗随机数后门攻击的密码算法
收藏 引用
软件学报 2021年 第9期32卷 2887-2900页
作者: 康步荣 张磊 张蕊 孟欣宇 陈桐 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062 华东师范大学软件工程学院 上海200062 密码科学技术国家重点实验室 北京100878
迄今为止,大多数密码原语的安全性都依赖于高质量的不可预测的随机数.密码学中,通常用伪随机数生成器(pseudorandom number generator,简称PRNG)生成随机数.因此,密码算法中所用的PRNG的安全性将直接影响着密码算法的安全性.然而,近年来... 详细信息
来源: 评论
面向源代码可信证据的航天软件可信度量评估方法
收藏 引用
空间控制技术与应用 2021年 第2期47卷 32-41页
作者: 刘晗 陶红伟 陈仪香 华东师范大学软件工程学院 教育部软硬件协同设计技术与应用工程研究中心上海200062 郑州轻工业大学计算机与通信工程学院 郑州450002
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性,建立... 详细信息
来源: 评论
嵌入式实时操作系统内核混合代码的自动化验证框架
收藏 引用
软件学报 2020年 第5期31卷 1353-1373页
作者: 郭建 丁继政 朱晓冉 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... 详细信息
来源: 评论
SDN数据平面软件一致性测试用例生成方法
收藏 引用
软件学报 2020年 第9期31卷 2709-2722页
作者: 张雯雯 许天予 章玥 郑孝遥 上海市高可信计算重点实验室(华东师范大学) 上海200062 华东师范大学教育部软硬件协同设计技术与应用工程研究中心 上海200062 上海移动通信有限公司 上海200070 安徽师范大学计算机与信息学院 安徽芜湖241002
SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备... 详细信息
来源: 评论
异构分布式嵌入式系统的优化设计方法
收藏 引用
微纳电子与智能制造 2020年 第1期2卷 45-55页
作者: 许巾一 陈仪香 李凯旋 华东师范大学软件工程学院 教育部软硬件协同设计技术与应用工程研究中心上海200062
微电子技术和通信技术的发展推动了传统嵌入式系统向异构分布式嵌入式系统的转变。在异构分布式嵌入式系统中任务的合理分配是提高性能的关键。提出一种异构分布式嵌入式系统的优化设计方法,该方法能在满足通信代价、能耗、硬件资源以... 详细信息
来源: 评论