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

软件学报 2020年第6期31卷 1587-1599页

作者：杜德慧管春琳王耀郭童华东师范大学软件工程学院上海200062 上海市高可信重点实验室(华东师范大学) 上海200062 教育部可信软件国际合作联合实验室(华东师范大学) 上海200062

信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高... 详细信息

信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高质量的CPS系统至关重要.但是目前缺乏面向CPS的领域建模方法及建模CPS的领域建模语言,也迫切需要支持仿真CPS领域模型的仿真工具.针对以上问题,提出一种面向CPS领域的随机混成建模语言(stochastic hybrid modeling language,简称SHML)以支持建模CPS系统的行为.首先,根据CPS的领域特征定义了SHML的元模型作为其抽象语法,并定义了SHML的具体语法和操作语义;其次,基于GEMOC框架实现了SHML的可视化建模工具.此外,集成GEMOC的序列化执行引擎和Scilab的连续行为仿真引擎,实现仿真CPS的混成行为.提出了一种面向CPS领域的建模及仿真方法,设计并实现了一个集成的面向CPS行为的建模与仿真平台,为CPS的建模及仿真提供了一种有效的方法及工具支撑.

关键词：信息物理融合系统领域建模语言元建模仿真 GEMOC

来源：评论

学校读者我要写书评

暂无评论

基于SMT的时钟约束语言CCSL的形式化分析方法与工具

引用

软件学报 2018年第6期29卷 1595-1606页

作者：应云辉张民华东师范大学计算机科学与软件工程学院上海200062 高可信软件国家重点实验室(华东师范大学) 上海200062

时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE(modeling and analysis of real-time and embedded systems)中用于对时间建模的一个子语言.给定一组由CCSL定... 详细信息

时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE(modeling and analysis of real-time and embedded systems)中用于对时间建模的一个子语言.给定一组由CCSL定义的时钟约束条件,需要判断是否存在某种调度策略满足约束、是否所有满足这些约束的行为都不会导致系统死锁等分析.目前已经有一定的针对CCSL的形式化分析研究工作,如基于状态迁移系统与时间自动机的方法等.但这些方法要么只针对某种特定的分析,要么只适用于部分CCSL约束,要么分析效率较低.提出了基于SMT的统一且高效的CCSL形式化分析方法.统一性体现在其可用于有效性证明、迹分析、死锁检测、LTL模型检测等方面的验证与分析.基于该方法开发了原型工具,同时支持上述4种验证功能.工具集成了当前最高效的SMT求解器Z3和CVC4.得益于SMT求解器的高效性,实验中大部分的验证可以在短时间内完成.

关键词： CCSL SMT 有效性证明迹分析死锁检测 LTL模型检测工具

来源：评论

学校读者我要写书评

暂无评论

一种基于学习的高维数据c-近似最近邻查询算法

引用

软件学报 2012年第8期23卷 2018-2031页

作者：袁培森沙朝锋王晓玲周傲英上海市智能信息处理重点实验室(复旦大学) 上海200433 上海市高可信计算重点实验室(华东师范大学) 上海200062

针对高维数据近似最近邻查询,在过滤-验证框架下提出了一种基于学习的数据相关的c-近似最近邻查询算法.证明了数据经过随机投影之后,满足语义哈希技术所需的熵最大化准则.把经过随机投影的二进制数据作为数据的类标号,训练一组分类器用... 详细信息

针对高维数据近似最近邻查询,在过滤-验证框架下提出了一种基于学习的数据相关的c-近似最近邻查询算法.证明了数据经过随机投影之后,满足语义哈希技术所需的熵最大化准则.把经过随机投影的二进制数据作为数据的类标号,训练一组分类器用来预测查询的类标号.在此基础上计算查询与数据集中数据对象的海明距离.最后,在过滤后的候选数据集上计算查询的最近邻.与现有方法相比,该方法对空间需求更小,编码长度更短,效率更高.模拟数据集和真实数据集上的实验结果表明,该方法不仅能够提高查询效率,而且方便调控在查询质量和查询处理时间方面的平衡问题.

关键词：随机投影 c-近似最近邻查询支持向量机分类器高维数据熵最大化准则位置敏感哈希

来源：评论

学校读者我要写书评

暂无评论

支持网络切片和绿色通信的软件定义虚拟化接入网

引用

计算机研究与发展 2021年第6期58卷 1291-1306页

作者：王廷刘刚华东师范大学软件工程学院上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 上海诺基亚贝尔股份有限公司贝尔实验室上海201206

接入网络中存在大量不同的接入技术和海量的接入设备,导致运营复杂度和成本急剧增加,这迫使运营商亟待寻找一种有效的解决方案来提升收支比,以此实现可持续的商业模式.为了应对这些挑战,提出了一种基于软件定义网络(software defined ne... 详细信息

接入网络中存在大量不同的接入技术和海量的接入设备,导致运营复杂度和成本急剧增加,这迫使运营商亟待寻找一种有效的解决方案来提升收支比,以此实现可持续的商业模式.为了应对这些挑战,提出了一种基于软件定义网络(software defined networking,SDN)的新型接入网体系架构SDVAN,其可以提供具有高成本效益的网络管控机制,同时具备高扩展性并支持定制化.SDVAN将所有物理设备的控制平面抽象化集中化,并通过软件定义的方式实现对接入网的灵活定制.SDVAN节点的可编程性为不同的接入技术提供了弹性支持.此外,SDVAN还提供了一种高效的资源建模机制和网络抽象方法,实现了网络服务的自动化编排,并可基于信任级别来体现网络的可视性和可控性.最后,SDVAN实现了支持多租户和多版本网络设备的网络切片功能.实验结果证明了SDVAN方案在网络节能、资源利用率、成本等方面的有效性和实用性.

关键词：接入网绿色通信网络切片网络虚拟化软件定义网络

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

清华大学学报（自然科学版） 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) 模糊边界多神经网络

来源：评论

学校读者我要写书评

暂无评论

片段级别的双编码器方面情感三元组抽取模型

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

逆向序敏感查询在互联网广告投放中的应用

引用

华东师范大学学报（自然科学版） 2013年第3期 26-36,53页

作者：张召申凯文宫学庆华东师范大学软件学院上海市高可信计算重点实验室上海200062

产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的... 详细信息

产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的例子来对这几种查询方法进行形象化的展示.最后,对这几种查询进行了总结和展望.

关键词：广告投放序敏感查询逆向序查询

来源：评论

学校读者我要写书评

暂无评论

基于Hamming范数的XML流相关性估测算法

引用

软件学报 2010年第4期21卷 672-679页

作者：孙贺朱洪复旦大学上海市智能信息处理重点实验室上海200433 华东师范大学上海市高可信计算重点实验室上海200062

在数据库理论中,如何在较小的空间条件下快速地比较不同的XML(extensible markup language)流的差异性是一个基本问题.在这一问题的研究中,人们提出了树编辑距离等测度来描述XML文本的差异性.提出了一种基于Hamming范数的l0测度——即XM... 详细信息

在数据库理论中,如何在较小的空间条件下快速地比较不同的XML(extensible markup language)流的差异性是一个基本问题.在这一问题的研究中,人们提出了树编辑距离等测度来描述XML文本的差异性.提出了一种基于Hamming范数的l0测度——即XML树的不同子树的个数,并以此来刻画XML文本的相关性.在数据流模型下,给出了基于空间有界伪随机数发生器、稳态分布于哈希函数的l0测度的概率算法.理论上的时空复杂性分析、正确性证明与实验模拟结果表明,这一概率算法对问题的输入提供了一个理想的近似.

关键词：算法设计数据流 Hamming范数稳态分布 XML(extensible markup language)

来源：评论

学校读者我要写书评

暂无评论

互模拟准局部验证算法的扩展与实现

引用

软件学报 2018年第6期29卷 1517-1526页

作者：郑晓琳邓玉欣付辰雷国庆上海市高可信计算重点实验室(华东师范大学) 上海200062 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发... 详细信息

互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发现在大多数情况下,前者的性能比后者更好.同时,修改了算法使其能够验证模拟关系.最后,用Java实现对标记迁移系统进行转换,使算法同时可以验证弱互模拟关系.

关键词：互模拟标记迁移系统扩展

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：