咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
嵌入式实时操作系统内核混合代码的自动化验证框架
收藏 引用
软件学报 2020年 第5期31卷 1353-1373页
作者: 郭建 丁继政 朱晓冉 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... 详细信息
来源: 评论
基于环境建模的物联网系统TAP规则生成方法
收藏 引用
软件学报 2021年 第4期32卷 934-952页
作者: 边寒 陈小红 金芝 张民 上海市高可信计算重点实验室(华东师范大学) 上海200062 北京大学信息科学技术学院计算机科学与技术系 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
用户需求是物联网智能服务的根本驱动力,如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程(TAP)规则进行编程,但它们描述的是设备调度程序,并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法,支持服务目标的分解,... 详细信息
来源: 评论
ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法
收藏 引用
计算机研究与发展 2024年 第2期61卷 338-350页
作者: 靳东明 金芝 陈小红 王春晖 北京大学计算机学院 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871 上海高可信计算重点实验室(华东师范大学) 上海200050 内蒙古师范大学计算机科学与技术学院 内蒙古010011
需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建... 详细信息
来源: 评论
基于Prony-like方法的第一类贝塞尔函数逼近
收藏 引用
华东师范大学学报(自然科学版) 2019年 第6期 42-60页
作者: 纪宇 何一璇 吴国群 吴敏 华东师范大学上海市高可信计算重点实验室
贝塞尔函数的数值逼近既有重要的理论意义,又在数学、物理学、工程等各个领域有着广泛的应用.研究整数阶第一类贝塞尔函数的数值逼近,基于Prony方法,采用不同三角函数(正弦、余弦)形式的Prony-like方法进行逼近.通过在符号计算软件Mapl... 详细信息
来源: 评论
基于多样化特征卷积神经网络的情感分析
收藏 引用
计算机工程 2019年 第4期45卷 169-174,180页
作者: 蔡林森 彭超 陈思远 郭兰英 华东师范大学计算机科学与软件工程学院上海市高可信计算重点实验室 上海200062
深度网络模型在微博情感倾向性分析过程中难以有效利用情感特征信息,为此,提出一种基于多样化特征信息的卷积神经网络(MF-CNN)模型。结合词语多样化的抽象特征和2种网络输入矩阵计算方法,利用句中的情感信息,以优化情感分类效果。在COAE... 详细信息
来源: 评论
支持非等值连接的分布式数据流处理系统
收藏 引用
华东师范大学学报(自然科学版) 2017年 第5期 11-19页
作者: 陈明珠 王晓桐 房俊华 张蓉 华东师范大学计算机科学与软件工程学院上海高可信计算重点实验室 上海200062
实时处理的分布式数据流系统在当今大数据时代扮演着越来越重要的角色.其中,连接查询是大数据分析处理中最为重要且开销较大的操作之一.然而,由于现实应用产生的数据普遍存在倾斜分布现象,加之数据流本身的无界性与不可预知性,给在分布... 详细信息
来源: 评论
基于二次乘法特征的射影线性码
收藏 引用
电子学报 2023年 第1期51卷 32-41页
作者: 陈辅灵 衡子灵 王鑫然 李成举 长安大学理学院 陕西西安710064 东南大学移动通信国家重点实验室 江苏南京210096 华东师范大学高可信计算重点实验室 上海200062
基于有限域上的二次乘法特征构造了两类线性码,精确计算出了它们的参数和重量分布.结果表明,第一类线性码是射影三重码,且对偶码关于球填充界几乎最优;第二类线性码是射影二重码,且对偶码关于球填充界几乎最优.此外,本文还得到了一些自... 详细信息
来源: 评论
基于分布式数据库Cedar的高效工单管理系统设计与实现
收藏 引用
华东师范大学学报(自然科学版) 2018年 第3期 88-96页
作者: 潘宇晨 李宇明 张春熙 张蓉 洪道诚 华东师范大学计算机科学与软件工程学院 上海200062 华东师范大学上海高可信计算重点实验室 上海200062
随着互联网发展,企业随之转型,积极开展基于互联网的业务.传统业务系统架构基于集中式数据管理系统如MySQL之上,在封闭使用状态向开放使用状态转换的过程中,逐渐在可用性上暴露出弊端,故而不能很好地支持业务拓展规模化、分布式处理的要... 详细信息
来源: 评论
命令式模糊程序语言的语义
收藏 引用
计算机学报 2013年 第4期36卷 862-869页
作者: 吴恒洋 杭州电子科技大学信息工程学院 杭州310018 华东师范大学上海市高可信计算重点实验室 上海200062
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研... 详细信息
来源: 评论
完全相容稳定模糊谓词转换器
收藏 引用
模糊系统与数学 2009年 第6期23卷 113-125页
作者: 马艳芳 陈仪香 华东师范大学软件学院计算理论研究所 上海200062 上海市高可信计算重点实验室 上海200062
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完... 详细信息
来源: 评论