咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
基于SHML的CPS行为建模及仿真
收藏 引用
软件学报 2020年 第6期31卷 1587-1599页
作者: 杜德慧 管春琳 王耀 郭童 华东师范大学软件工程学院 上海200062 上海市高可信重点实验室(华东师范大学) 上海200062 教育部可信软件国际合作联合实验室(华东师范大学) 上海200062
信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高... 详细信息
来源: 评论
基于SMT的时钟约束语言CCSL的形式化分析方法与工具
收藏 引用
软件学报 2018年 第6期29卷 1595-1606页
作者: 应云辉 张民 华东师范大学计算机科学与软件工程学院 上海200062 高可信软件国家重点实验室(华东师范大学) 上海200062
时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE(modeling and analysis of real-time and embedded systems)中用于对时间建模的一个子语言.给定一组由CCSL定... 详细信息
来源: 评论
一种基于学习的高维数据c-近似最近邻查询算法
收藏 引用
软件学报 2012年 第8期23卷 2018-2031页
作者: 袁培森 沙朝锋 王晓玲 周傲英 上海市智能信息处理重点实验室(复旦大学) 上海200433 上海市高可信计算重点实验室(华东师范大学) 上海200062
针对高维数据近似最近邻查询,在过滤-验证框架下提出了一种基于学习的数据相关的c-近似最近邻查询算法.证明了数据经过随机投影之后,满足语义哈希技术所需的熵最大化准则.把经过随机投影的二进制数据作为数据的类标号,训练一组分类器用... 详细信息
来源: 评论
支持网络切片和绿色通信的软件定义虚拟化接入网
收藏 引用
计算机研究与发展 2021年 第6期58卷 1291-1306页
作者: 王廷 刘刚 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 上海诺基亚贝尔股份有限公司贝尔实验室 上海201206
接入网络中存在大量不同的接入技术和海量的接入设备,导致运营复杂度和成本急剧增加,这迫使运营商亟待寻找一种有效的解决方案来提升收支比,以此实现可持续的商业模式.为了应对这些挑战,提出了一种基于软件定义网络(software defined ne... 详细信息
来源: 评论
基于环境的多形态时间需求建模方法
收藏 引用
计算机学报 2013年 第1期36卷 88-103页
作者: 陈小红 刘静 华东师范大学上海市高可信计算重点实验室 上海200062 北京大学高可信软件技术教育部重点实验室 北京100871 浙江师范大学计算机软件与理论省级重中之重学科 浙江金华321004
时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该... 详细信息
来源: 评论
多神经网络协作的军事领域命名实体识别
收藏 引用
清华大学学报(自然科学版) 2020年 第8期60卷 648-655页
作者: 尹学振 赵慧 赵俊保 姚婉薇 黄泽林 华东师范大学软件工程学院 上海200062 华东师范大学上海市高可信计算重点实验室 上海200062 北京遥感信息研究所 北京100085
互联网公开数据蕴含着大量高价值的军事情报,成为获取开源军事情报的重要数据源之一。军事领域命名实体识别是进行军事领域信息提取、问答系统、知识图谱等工作的基础性关键任务。相比较于其他领域的命名实体,军事领域命名实体边界模糊... 详细信息
来源: 评论
片段级别的双编码器方面情感三元组抽取模型
收藏 引用
计算机科学与探索 2023年 第12期17卷 3010-3019页
作者: 张韵琪 李松达 兰于权 李东旭 赵慧 华东师范大学软件工程学院 上海200062 华东师范大学上海市高可信计算重点实验室 上海200062
方面情感三元组抽取(ASTE)是方面级情感分析的子任务之一,旨在识别出句子中所有的方面词及其对应的观点词和情感极性。目前,ASTE任务通过流水线模型或端到端模型完成,前者无法解决三元组方面词重叠问题,且忽视了观点词和情感极性之间的... 详细信息
来源: 评论
逆向序敏感查询在互联网广告投放中的应用
收藏 引用
华东师范大学学报(自然科学版) 2013年 第3期 26-36,53页
作者: 张召 申凯文 宫学庆 华东师范大学软件学院上海市高可信计算重点实验室 上海200062
产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的... 详细信息
来源: 评论
基于Hamming范数的XML流相关性估测算法
收藏 引用
软件学报 2010年 第4期21卷 672-679页
作者: 孙贺 朱洪 复旦大学上海市智能信息处理重点实验室 上海200433 华东师范大学上海市高可信计算重点实验室 上海200062
在数据库理论中,如何在较小的空间条件下快速地比较不同的XML(extensible markup language)流的差异性是一个基本问题.在这一问题的研究中,人们提出了树编辑距离等测度来描述XML文本的差异性.提出了一种基于Hamming范数的l0测度——即XM... 详细信息
来源: 评论
互模拟准局部验证算法的扩展与实现
收藏 引用
软件学报 2018年 第6期29卷 1517-1526页
作者: 郑晓琳 邓玉欣 付辰 雷国庆 上海市高可信计算重点实验室(华东师范大学) 上海200062 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190
互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发... 详细信息
来源: 评论