公共文化服务平台

华东师范大学软件学院上海市高可信计算重点实验室: 作品数：117 被引量：1,017H指数：13; 相关作者：刘静陈胜利关冬亮吴敏何向南更多>>; 相关机构：复旦大学计算机科学技术学院复旦大学计算机科学技术学院上海市智能信息处理重点实验室安徽工程大学计算机与信息学院更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>; 相关领域：自动化与计算机技术理学文化科学医药卫生更多>>

合作机构

Levenshtein算法优化及在题库判重中的应用被引量：1: 2018年; 为了解决Levenshtein距离算法在长文本和大规模匹配效率的不足,本文针对Levenshtein距离算法提出一种提前终止的优化策略.首先根据Levenshtein距离矩阵中元素内在的联系,归纳总结出一个递推关系式.再依据此递推关系式,提出一种提前终止策略,可提前判断两个文本是否满足预先设定的相似度阈值.经过多个学科题库判重实验的佐证,本文的提前终止策略能显著减少计算时间.; 张衡陈良育; 关键词：文本相似度

关于线性系统同时镇定问题的若干注记: 本文借助复分析理论，对线性系统同时镇定研究中重要的三个对象同时镇定问题和具体的巧克力问题进行了分析。对于三个对象同时镇定问题，指出了Blondel等人证明中所存在的缺陷；对巧克力问题的参数界限进行了讨论，由Bergwei...; 关强何冠男李望郁文生; 关键词：复分析

联邦学习安全与隐私保护研究综述被引量：22: 2020年; 数据孤岛以及模型训练和应用过程中的隐私泄露是当下阻碍人工智能技术发展的主要难题。联邦学习作为一种高效的隐私保护手段应运而生。联邦学习是一种分布式的机器学习方法,以在不直接获取数据源的基础上,通过参与方的本地训练与参数传递,训练出一个无损的学习模型。但联邦学习中也存在较多的安全隐患。本文着重分析了联邦学习中的投毒攻击、对抗攻击以及隐私泄露三种主要的安全威胁,针对性地总结了最新的防御措施,并提出了相应的解决思路。; 周俊方国英吴楠; 关键词：隐私泄露

基于模糊逻辑的几类Kripke结构之间的关系被引量：3: 2013年; 根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。; 潘海玉张敏陈仪香; 关键词：KRIPKE结构形式化验证模糊逻辑计算树逻辑

多中心临床数据的快速检索系统: 临床数据共享平台是我国医疗信息化发展的重要方向,在当今医疗数据呈几何级增长的环境下,多中心海量的临床数据如何管理、共享、并有效地查询和检索是一项重要的课题。该系统使用HL7 CDA XML作为描述电子病历的标准,采用关系...; 王晔王崇王晓玲周傲英; 关键词：查询工具

一个组合几何最优化未解决问题的半机械化解法: 本文证明了一个关于凸n边形面积的不等式猜测在n=8时的正确性,并对n=9的情况做了讨论.首先将这个最优化问题转化为多项式不等式方程组的实解的存在性问题;其次通过分析最优图形给出了一些化简不等式方程组和减少系统自由变元的方...; 单美静曾振柄; 关键词：全局最优化问题非线性规划多项式方程组; 文献传递

布尔网络到离散时间马尔科夫模型的转换及性质研究——以大鼠干细胞基因调控网络为例: 2018年; 提出了一种基于概率模型检测技术的新方法用于解决生物工程中基因调控网络探查吸引子这一关键问题.以大鼠干细胞基因调控网络的吸引子找寻这样一个具体问题为例,将布尔网络表示的基因调控网络的更新函数通过对应的真值表,转换为离散时间马尔科夫链,写入模型检测工具PRISM中;之后通过验证模型的系统性质的技术去验证每个基因在很长一段时间之后的激活概率,以此找到基因调控网络中的吸引子.同时,通过添加基因扰动的方式,改变每个基因的激活/抑制概率,可以找到每个基因对其他基因的促进/抑制关系.实验表明,大鼠干细胞基因中有7个基因在一段时间后状态不变,剩余基因的变化共同构成了一个吸引环.整个检测流程简洁易用,可以直接找出吸引子.进一步地,实验准确地找出了大鼠干细胞中Gatal基因的抑制/促进对象,此实验结果对解决大鼠的白血球减少症有着治疗方面的意义.; 吕悦张敏秦旭东严佳; 关键词：基因调控网络

多神经网络协作的军事领域命名实体识别被引量：36: 2020年; 互联网公开数据蕴含着大量高价值的军事情报,成为获取开源军事情报的重要数据源之一。军事领域命名实体识别是进行军事领域信息提取、问答系统、知识图谱等工作的基础性关键任务。相比较于其他领域的命名实体,军事领域命名实体边界模糊,界定困难;互联网媒体中军事术语表达不规范,随意性的简化表达现象较普遍;现阶段面向军事领域的公开语料鲜见。该文提出一种考虑实体模糊边界的标注策略,结合领域专家知识,构建了基于微博数据的军事语料集MilitaryCorpus;提出一种多神经网络协作的军事领域命名实体识别模型,该模型通过基于Transformer的双向编码器(bidirectional encoder representations from transformers, BERT)的字向量表达层获得字级别的特征,通过双向长短时记忆神经网络(bi-directional long short-term memory, BiLSTM)层抽取上下文特征形成特征矩阵,最后由条件随机场层(conditional random field, CRF)生成最优标签序列。实验结果表明:相较于基于CRF的实体识别模型,应用该文提出的BERT-BiLSTM-CRF模型召回率提高28.48%,F值提高18.65%;相较于基于BiLSTM-CRF的实体识别模型,该文模型召回率提高13.91%,F值提高8.69%;相较于基于CNN (convolutional neural networks)-BiLSTM-CRF的实体识别模型,该文模型召回率提高7.08%,F值提高5.15%。; 尹学振赵慧赵俊保姚婉薇黄泽林; 关键词：多神经网络

基于AADL的无线传感器网络的建模与分析被引量：3: 2012年; 利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细的分析。介绍AADL语言以及它在嵌入式系统中建模的优势,展示了无线传感器网络的特征和关键技术。结合AADL,针对温度传感器案例,对温度传感器的结构及功能进行了详细描述,充分体现了此传感器节点的工作原理与内部结构,有助于提高其结构上的可改进性和扩展性,以进一步应用到传感器网络中。; 钱磊郁文生朱明华; 关键词：无线传感器网络温度传感器嵌入式系统

点集拓扑学之杨忠道定理的一个机械化证明被引量：1: 2021年; 本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.; 曾振柄王建林杨争峰小林英恒; 关键词：闭集导集杨忠道定理机器证明

华东师范大学软件学院上海市高可信计算重点实验室

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

华东师范大学软件学院上海市高可信计算重点实验室

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈