咨询与建议

限定检索结果

文献类型

  • 144 篇 期刊文献
  • 31 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 140 篇 工学
    • 119 篇 计算机科学与技术...
    • 84 篇 软件工程
    • 13 篇 控制科学与工程
    • 7 篇 机械工程
    • 7 篇 网络空间安全
    • 4 篇 仪器科学与技术
    • 4 篇 电气工程
    • 4 篇 建筑学
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 材料科学与工程(可...
  • 25 篇 理学
    • 23 篇 数学
    • 4 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 24 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 8 篇 艺术学
    • 8 篇 设计学(可授艺术学...
    • 1 篇 美术学
  • 7 篇 哲学
    • 7 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 中医学
    • 1 篇 中西医结合
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 7 篇 半代数系统
  • 6 篇 形式化验证
  • 5 篇 原型系统
  • 4 篇 隐私保护
  • 4 篇 机器证明
  • 4 篇 云计算
  • 4 篇 互模拟
  • 4 篇 脉宽调制
  • 4 篇 逆变器
  • 4 篇 深度学习
  • 4 篇 特定谐波消除
  • 3 篇 模糊逻辑
  • 3 篇 可能世界模型
  • 3 篇 数据管理
  • 3 篇 数据挖掘
  • 3 篇 分布式系统
  • 3 篇 可信计算
  • 3 篇 数据建模
  • 3 篇 误差分析
  • 3 篇 嵌入式系统

机构

  • 142 篇 华东师范大学
  • 46 篇 上海市高可信计算...
  • 19 篇 复旦大学
  • 8 篇 北京大学
  • 7 篇 上海高可信计算重...
  • 6 篇 高可信软件技术教...
  • 6 篇 中国矿业大学
  • 5 篇 桂林电子科技大学
  • 5 篇 上海市高可信重点...
  • 5 篇 陕西师范大学
  • 4 篇 中国科学院自动化...
  • 4 篇 教育部可信软件国...
  • 4 篇 安徽工程大学
  • 4 篇 上海电力学院
  • 4 篇 温州大学
  • 3 篇 同济大学
  • 3 篇 南京大学
  • 3 篇 长海医院
  • 3 篇 第二军医大学
  • 3 篇 中国科学院成都计...

作者

  • 35 篇 周傲英
  • 23 篇 王晓玲
  • 19 篇 金澈清
  • 15 篇 陈仪香
  • 13 篇 张敏
  • 13 篇 陈小红
  • 11 篇 郁文生
  • 10 篇 曾振柄
  • 8 篇 刘静
  • 7 篇 宫学庆
  • 7 篇 赵世忠
  • 6 篇 金芝
  • 6 篇 陈铭松
  • 6 篇 邓玉欣
  • 6 篇 陈良育
  • 6 篇 高明
  • 6 篇 杨克虎
  • 6 篇 张蓉
  • 5 篇 王国俊
  • 5 篇 章玥

语言

  • 175 篇 中文
检索条件"机构=华东师范大学软件学院上海高可信计算重点实验室"
175 条 记 录,以下是1-10 订阅
排序:
关于安全案例论证构建的综述
收藏 引用
软件学报 2024年 第9期35卷 4013-4037页
作者: 陈泽众 邓玉欣 上海市高可信计算重点实验室(华东师范大学) 上海200062
安全案例提供清晰、全面和可靠的论据,说明系统在特定环境下的操作满足可接受的安全性.在受监管的安全攸关领域,如汽车、航空和核能等领域,认证机构通常要求系统经过严格的安全评估程序,以确保其符合一个或多个安全标准.在系统开发中应... 详细信息
来源: 评论
嵌入式系统的需求描述综述
收藏 引用
软件学报 2025年 第1期36卷 27-46页
作者: 陈小红 刘少彬 金芝 上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院 北京100871
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 详细信息
来源: 评论
复杂嵌入式系统需求一致性的组合验证方法
收藏 引用
软件学报 2025年 第4期36卷 1413-1434页
作者: 杨晓 王小齐 陈小红 金芝 上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院 北京100871
形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌... 详细信息
来源: 评论
人工智能系统可信性度量评估研究综述
收藏 引用
软件学报 2023年 第8期34卷 3774-3792页
作者: 刘晗 李凯旋 陈仪香 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062
近年来,人工智能技术突飞猛进,人工智能系统已经渗透到人们生活中,成为人们生活中不可或缺的一部分.然而,人工智能系统需要数据训练模型,数据扰动会对其结果造成影响.并且随着人工智能系统业务多样化,规模复杂化,人工智能系统的可信性... 详细信息
来源: 评论
基于投影的嵌入式系统需求分析方法
收藏 引用
软件学报 2024年 第12期35卷 5397-5418页
作者: 王小齐 陈小红 金芝 顾斌 綦艳霞 上海高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院 北京100871 北京控制工程研究所 北京100190
嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发... 详细信息
来源: 评论
深度学习模型中的公平性研究
收藏 引用
软件学报 2023年 第9期34卷 4037-4055页
作者: 王昱颖 张敏 杨晶然 徐晟恺 陈仪香 华东师范大学软件工程学院 上海200062 上海市高可信重点实验室(华东师范大学) 上海200062
近几年深度神经网络正被广泛应用于现实决策系统,决策系统中的不公平现象会加剧社会不平等,造成社会危害.因此研究者们开始对深度学习系统的公平性展开大量研究,但大部分研究都从群体公平的角度切入,且这些缓解群体偏见的方法无法保证... 详细信息
来源: 评论
基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策
收藏 引用
软件学报 2023年 第8期34卷 3836-3852页
作者: 陈洁娜 张铭茁 杜德慧 李博 聂基辉 任婧瑶 华东师范大学软件工程学院 上海200062 上海市高可信重点实验室(华东师范大学) 上海200062 教育部可信软件国际合作联合实验室(华东师范大学) 上海200062
为汽车自动驾驶提供安全高效的自动驾驶行为决策,是汽车自动驾驶领域面临的挑战性问题之一.目前,随着自动驾驶行业的蓬勃发展,工业界与学术界提出了诸多自动驾驶行为决策方法,但由于汽车自动驾驶行为决策受环境不确定因素的影响,决策本... 详细信息
来源: 评论
片段级别的双编码器方面情感三元组抽取模型
收藏 引用
计算机科学与探索 2023年 第12期17卷 3010-3019页
作者: 张韵琪 李松达 兰于权 李东旭 赵慧 华东师范大学软件工程学院 上海200062 华东师范大学上海市高可信计算重点实验室 上海200062
方面情感三元组抽取(ASTE)是方面级情感分析的子任务之一,旨在识别出句子中所有的方面词及其对应的观点词和情感极性。目前,ASTE任务通过流水线模型或端到端模型完成,前者无法解决三元组方面词重叠问题,且忽视了观点词和情感极性之间的... 详细信息
来源: 评论
ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法
收藏 引用
计算机研究与发展 2024年 第2期61卷 338-350页
作者: 靳东明 金芝 陈小红 王春晖 北京大学计算机学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 上海高可信计算重点实验室(华东师范大学) 上海200050 内蒙古师范大学计算机科学与技术学院 内蒙古010011
需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建... 详细信息
来源: 评论
非交互密钥协商综述
收藏 引用
计算机学报 2024年 第3期47卷 558-574页
作者: 张明瑞 张蕊 张磊 华东师范大学软件工程学院上海市高可信计算重点实验室 上海200062 软硬件协同设计技术与应用教育部工程研究中心 上海200062
非交互密钥协商作为一种重要的密码学原语是一种极具潜力的安全信道建立范式,持续受到学术界和工业界的密切关注.本文综述了非交互密钥协商协议的发展概况以及待解决的问题.有别于以往的综述,我们在对传统的非交互密钥协商协议进行全面... 详细信息
来源: 评论