咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
面向多读/写头磁畴壁存储器的优化研究
收藏 引用
软件学报 2020年 第9期31卷 2723-2740页
作者: 许瑞 谷守珍 沙行勉 诸葛晴凤 石亮 高思远 华东师范大学计算机科学与技术学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062
当前,大数据及人工智能技术向嵌入式系统发展,对嵌入式系统的存储访问能力提出了更高的要求.磁畴壁存储器凭借其高读写速度、高密度以及低功耗等优点,可以用于嵌入式系统,以满足数据密集型应用对访问速度、容量及能耗的需求.但是磁畴壁... 详细信息
来源: 评论
轨道交通联锁领域特定语言的形式化
收藏 引用
软件学报 2020年 第6期31卷 1638-1653页
作者: 赵梦瑶 陈小红 孙海英 刘静 陈良育 周庭梁 上海市高可信计算重点实验室(华东师范大学) 上海200062 卡斯柯信号有限公司 上海200071
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题... 详细信息
来源: 评论
基于SHML的CPS行为建模及仿真
收藏 引用
软件学报 2020年 第6期31卷 1587-1599页
作者: 杜德慧 管春琳 王耀 郭童 华东师范大学软件工程学院 上海200062 上海市高可信重点实验室(华东师范大学) 上海200062 教育部可信软件国际合作联合实验室(华东师范大学) 上海200062
信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高... 详细信息
来源: 评论
多神经网络协作的军事领域命名实体识别
收藏 引用
清华大学学报(自然科学版) 2020年 第8期60卷 648-655页
作者: 尹学振 赵慧 赵俊保 姚婉薇 黄泽林 华东师范大学软件工程学院 上海200062 华东师范大学上海市高可信计算重点实验室 上海200062 北京遥感信息研究所 北京100085
互联网公开数据蕴含着大量高价值的军事情报,成为获取开源军事情报的重要数据源之一。军事领域命名实体识别是进行军事领域信息提取、问答系统、知识图谱等工作的基础性关键任务。相比较于其他领域的命名实体,军事领域命名实体边界模糊... 详细信息
来源: 评论
循环迭代程序的一种可信计算算法
收藏 引用
软件学报 2020年 第12期31卷 3685-3699页
作者: 赵世忠 陈冬火 刘静 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 苏州大学计算机科学与技术学院 江苏苏州215006
循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种... 详细信息
来源: 评论
嵌入式实时操作系统内核混合代码的自动化验证框架
收藏 引用
软件学报 2020年 第5期31卷 1353-1373页
作者: 郭建 丁继政 朱晓冉 华东师范大学软件工程学院 上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... 详细信息
来源: 评论
点集拓扑学之杨忠道定理的一个机械化证明
收藏 引用
中国科学:数学 2021年 第1期51卷 257-288页
作者: 曾振柄 王建林 杨争峰 小林英恒 上海大学数学系 上海200444 河南大学计算机与信息工程学院 开封475004 华东师范大学上海市高可信计算重点实验室 上海200062 Department of Mathematics College of Science and TechnologyNihon UniversityTokyo 101-8308Japan
本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.
来源: 评论
藏药方解数字化研究初探
藏药方解数字化研究初探
收藏 引用
第二十届中国科学家论坛
作者: 平措绕吉 郭新辉 海梅荣 吴敏 蔡景伟 旦增益西 云南农业大学 华东师范大学上海市高可信计算重点实验室
目的:探讨藏药方解的数字化规律。藏药方解,即对藏药方剂配伍规律的解析,是藏医药的核心理论和临床实践的重要依据。方法:应用集合论、群论、矩阵代数等数学方法和Python可视化软件,对藏药方解理论中的五源体系、药物的味性效进行了建模... 详细信息
来源: 评论
颜色密度直方图检索方法
收藏 引用
小型微型计算机系统 2021年 第10期42卷 2085-2088页
作者: 王小玲 毛宏燕 上海立信会计金融学院信息管理学院 上海201620 华东师范大学上海高可信计算重点实验室 上海200062
颜色是基于内容的图像检索的重要特征.传统颜色直方图由于只考虑色彩总量而无法区别色彩空间分布差异.本文提出了一种新的颜色密度直方图(Color Density Histogram CDH).通过计算主要颜色的密度,反映颜色的空间分布离散程度.密度大,颜... 详细信息
来源: 评论
基于程序转化的SCADE模型检测
收藏 引用
计算机科学 2021年 第12期48卷 125-130页
作者: 冉丹 陈哲 孙毅 杨志斌 南京航空航天大学计算机科学与技术学院 南京211106 华东师范大学上海市高可信计算重点实验室 上海200062 南京大学计算机软件新技术国家重点实验室 南京210093
SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语... 详细信息
来源: 评论