检索结果-内蒙古大学图书馆

计算机科学与探索 2023年第12期17卷 3010-3019页

作者：张韵琪李松达兰于权李东旭赵慧华东师范大学软件工程学院上海200062 华东师范大学上海市高可信计算重点实验室上海200062

方面情感三元组抽取(ASTE)是方面级情感分析的子任务之一,旨在识别出句子中所有的方面词及其对应的观点词和情感极性。目前,ASTE任务通过流水线模型或端到端模型完成,前者无法解决三元组方面词重叠问题,且忽视了观点词和情感极性之间的... 详细信息

方面情感三元组抽取(ASTE)是方面级情感分析的子任务之一,旨在识别出句子中所有的方面词及其对应的观点词和情感极性。目前,ASTE任务通过流水线模型或端到端模型完成,前者无法解决三元组方面词重叠问题,且忽视了观点词和情感极性之间的依赖关系;后者将ASTE任务分解为方面词和观点词抽取子任务以及情感极性分类子任务,通过共享编码器进行多任务学习,未区分两个子任务的特征差异,导致特征混淆问题。针对上述问题,提出了片段级别的双编码器方面情感三元组抽取模型(SD-ASTE)。该模型是流水线模型,分为两个模块。第一个模块基于片段抽取方面词和观点词,在片段特征表示中融入片段首尾和长度信息,关注方面词和观点词的边界信息;第二个模块判断方面词-观点词片段对表达的情感极性,采用基于悬浮标记的片段对特征表示方式,侧重于学习三元组各元素之间的依赖关系。模型利用两个独立编码器,分别为两模块提取不同的特征信息。多个数据集上的对比实验结果表明,该模型相较于目前最优的流水线模型和端到端模型具有更优的效果。通过有效性实验,验证了片段特征表示和片段对特征表示以及两个独立编码器的有效性。

关键词：情感分析方面情感三元组抽取(ASTE) 流水线模型片段独立编码器

来源：评论

学校读者我要写书评

暂无评论

多神经网络协作的军事领域命名实体识别

引用

清华大学学报（自然科学版） 2020年第8期60卷 648-655页

作者：尹学振赵慧赵俊保姚婉薇黄泽林华东师范大学软件工程学院上海200062 华东师范大学上海市高可信计算重点实验室上海200062 北京遥感信息研究所北京100085

互联网公开数据蕴含着大量高价值的军事情报,成为获取开源军事情报的重要数据源之一。军事领域命名实体识别是进行军事领域信息提取、问答系统、知识图谱等工作的基础性关键任务。相比较于其他领域的命名实体,军事领域命名实体边界模糊... 详细信息

互联网公开数据蕴含着大量高价值的军事情报,成为获取开源军事情报的重要数据源之一。军事领域命名实体识别是进行军事领域信息提取、问答系统、知识图谱等工作的基础性关键任务。相比较于其他领域的命名实体,军事领域命名实体边界模糊,界定困难;互联网媒体中军事术语表达不规范,随意性的简化表达现象较普遍;现阶段面向军事领域的公开语料鲜见。该文提出一种考虑实体模糊边界的标注策略,结合领域专家知识,构建了基于微博数据的军事语料集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%。

关键词：军事命名实体识别双向偏码器(BERT) 模糊边界多神经网络

来源：评论

学校读者我要写书评

暂无评论

对称型的降幂分拆方法与代数不等式的一个判定系统

引用

系统科学与数学 2013年第2期33卷 179-196页

作者：陈胜利陈良育华东师范大学上海高可信计算重点实验室上海200062

不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价... 详细信息

不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价转化为具有特殊形式的一类多项式不等式,然后对多项式的系数作非负性判定.当转化后的多项式非平凡即系数不是全为非负时,则可以应用经改进的柱形分解程序BOTTEMA和QEPCAD对其作整体判定,或利用多项式完全判别系统,将其转化为一组n-2变元不等式的判定问题再进行判定.最后将此方法编制为Maple通用程序SymProve3,能够快速判定大量次数高至数百、项数数千的多元代数不等式,形成了一个以降低幂次数为主要证题特征的代数不等式判定系统.将其应用于《567 Nice and Hard Inequalities》中列出的209个多元初等不等式的证明,仅用33秒.

关键词：不等式证明分拆降幂多项式完全判别系统

来源：评论

学校读者我要写书评

暂无评论

一阶子句搜索方法

引用

计算机应用 2009年第11期29卷 3064-3067页

作者：郭远华曾振柄华东师范大学上海市高可信计算重点实验室上海200062

子句集的可满足性判定是自动证明领域的热点之一。提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型。结合部分实例化方法将子句搜索... 详细信息

子句集的可满足性判定是自动证明领域的热点之一。提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型。结合部分实例化方法将子句搜索方法提升至一阶。一阶子句搜索方法可以判定子句集的M可满足性,具备终止性、正确性和完备性,是一种判定子句集可满足性的有效方法。

关键词：一阶逻辑自动证明可满足性子句搜索方法部分实例化方法

来源：评论

学校读者我要写书评

暂无评论

云数据安全保护方法综述

引用

计算机研究与发展 2021年第10期58卷 2079-2098页

作者：沈剑周天祺曹珍富南京信息工程大学计算机与软件学院南京210044 上海市高可信计算重点实验室(华东师范大学) 上海200062

计算机网络的快速发展与大数据的普及推动了云计算技术的进一步发展.云环境是网络与信息时代下数据交互的重要平台,为个人、企业和国家的数据高效交互提供了极大的便利,但同时也为云数据安全和隐私保护提出了新的挑战.首先给出了现有云... 详细信息

计算机网络的快速发展与大数据的普及推动了云计算技术的进一步发展.云环境是网络与信息时代下数据交互的重要平台,为个人、企业和国家的数据高效交互提供了极大的便利,但同时也为云数据安全和隐私保护提出了新的挑战.首先给出了现有云计算模型,调研和分析云数据安全保护中存在的威胁.在此基础上,从云数据安全的访问控制、密钥协商、安全审计和安全共享4个方面出发,对国内外云数据安全保护方案的最新研究成果进行系统分析.其次,针对现有云数据安全保护方案存在访问控制过程中用户隐私易被泄露、密钥生成过程中开销难以控制、审计过程中动态操作效率低下、错误恢复较难实现、数据共享过程中恶意用户难以追踪等问题,进行系统研究,提出解决思路.最后,探讨云数据安全保护当前面临的挑战和未来研究方向,以期推动更加完善的云数据保护体系的建立.

关键词：云数据安全访问控制密钥协商安全数据审计安全数据共享

来源：评论

学校读者我要写书评

暂无评论

基于程序重写与区间运算的浮点异常检测

引用

计算机工程与设计 2016年第6期37卷 1520-1525页

作者：袁浩华东师范大学上海市高可信计算重点实验室

研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测... 详细信息

研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测和函数在某范围内的异常检测。研发相应的异常检测工具,自动重写待测程序,嵌入相应的异常检测方法。测试所得程序,实验结果表明,提出的两种异常检测方法可以有效检测浮点异常。

关键词：浮点异常符号执行抽象语法树区间算术程序重写

来源：评论

学校读者我要写书评

暂无评论

空间生命支持系统中VCCR子系统的安全性验证

引用

计算机科学 2014年第6期41卷 193-198页

作者：李倩郁文生华东师范大学上海高可信计算重点实验室上海200062

基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证... 详细信息

基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性。

关键词：混成系统生命支持系统 VCCR系统形式化验证 KeYmaera工具

来源：评论

学校读者我要写书评

暂无评论

基于Prony-like方法的第一类贝塞尔函数逼近

引用

华东师范大学学报（自然科学版） 2019年第6期 42-60页

作者：纪宇何一璇吴国群吴敏华东师范大学上海市高可信计算重点实验室

贝塞尔函数的数值逼近既有重要的理论意义,又在数学、物理学、工程等各个领域有着广泛的应用.研究整数阶第一类贝塞尔函数的数值逼近,基于Prony方法,采用不同三角函数(正弦、余弦)形式的Prony-like方法进行逼近.通过在符号计算软件Mapl... 详细信息

贝塞尔函数的数值逼近既有重要的理论意义,又在数学、物理学、工程等各个领域有着广泛的应用.研究整数阶第一类贝塞尔函数的数值逼近,基于Prony方法,采用不同三角函数(正弦、余弦)形式的Prony-like方法进行逼近.通过在符号计算软件Maple中对函数进行数值实验,分析不同整数阶的第一类贝塞尔函数在不同自变量区间上的数值逼近,将Prony-like方法的实验结果与基于傅里叶级数展开的方法进行对比,发现Prony-like方法的逼近效果远优于基于傅里叶级数的方法.

关键词：贝塞尔函数 Prony-like方法三角函数基于傅里叶级数展开数值逼近

来源：评论

学校读者我要写书评

暂无评论

基于环境的多形态时间需求建模方法

引用

计算机学报 2013年第1期36卷 88-103页

作者：陈小红刘静华东师范大学上海市高可信计算重点实验室上海200062 北京大学高可信软件技术教育部重点实验室北京100871 浙江师范大学计算机软件与理论省级重中之重学科浙江金华321004

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该... 详细信息

时间需求作为嵌入式系统的关键要素,其重要性越来越突出.但是目前的时间需求存在着多样的环境时间描述与单一的软件时间描述融合问题.文中在基于环境的功能性需求的基础上,提出基于环境的多形态时间需求建模方法,试图在需求层次上为该问题提供解决方案.文中构建了支持这个方法的多形态时间需求模型,在环境因素的基础上增加了多形态时间描述,并提出该需求模型制导的需求建模过程,帮助需求分析员在功能性需求的基础上建模时间需求.文中还给出了从多样的环境时间描述得到软件时间需求规约的步骤,指导需求分析人员抽取时间需求规约.

关键词：时间需求多形态时间基于环境建模嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

并发进程的互模拟语义理论

引用

中国科技成果 2025年第5期26卷 58-58页

作者：邓玉欣华东师范大学上海市高可信计算重点实验室中国计算机学会形式化方法专业委员会

计算机软件已经成为国计民生的基础设施.如何保障计算系统的可信性是软件领域面临的重要挑战,以多核、并发、分布、异构和智能交互等为主要特征的系统已成为当今计算系统发展的主流.并发现象以其固有的复杂性增加了软件可信性保障的困难... 详细信息

计算机软件已经成为国计民生的基础设施.如何保障计算系统的可信性是软件领域面临的重要挑战,以多核、并发、分布、异构和智能交互等为主要特征的系统已成为当今计算系统发展的主流.并发现象以其固有的复杂性增加了软件可信性保障的困难.由图灵奖得主C.A.R Hoare和***等人提出的进程演算,因其概念简洁、可用的数学工具丰富,得到了广泛的研究,并成功应用于并发系统的规范、分析、设计和验证.概率进程演算在传统进程演算中加入概率选择操作,以描述和分析不确定环境下的概率行为,例如在强化学习、智能决策、无人驾驶等应用中的常见行为.关于概率选择与不确定选择之间的交互是形式化验证研究中的难题.利用互模拟关系对并发进程的行为等价性和相似性进行验证是一个需要重点研究的验证技术.

关键词：互模拟形式化验证行为相似性并发进程

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：