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

软件学报 2020年第12期31卷 3685-3699页

作者：赵世忠陈冬火刘静华东师范大学软件工程学院上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 苏州大学计算机科学与技术学院江苏苏州215006

循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种... 详细信息

循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种可信计算算法.利用该算法,可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前,通过C++语言该算法已被编程实现于ISReal中.

关键词：循环迭代误差可控计算可信计算可靠计算错数

来源：评论

学校读者我要写书评

暂无评论

有理数域上一类多项式可约性的一个判别法

引用

系统科学与数学 2021年第12期41卷 3351-3362页

作者：赵世忠符红光秦小林刘静刘云浩华东师范大学软件工程学院上海市高可信计算重点实验室上海200062 电子科技大学计算机科学与工程学院成都611731 中国科学院成都计算机应用研究所成都610041

任给一个m次的整系数多项式∑_(i=0)^(m)aix^(i),其中首项系数am=1,以及对应的下列不动点迭代算法{u1=u^(~)1,u2=u^(~)2,…u_(m-1)=u^(~)_(m-1),u_(n)=-(a_(m-1)+a_(m-2)/u_(n-1)+a_(m-3)/u_(n-1)u_(n-2)+…+a0/u_(n-1)u_(n-2)…u_(n-(m-1)))(n≥m).1)不难看出,若迭代具有一个有理数极限值,则该值为多项式的一个零点,从而多项式在有理数域上可约.2)该迭代具有"勿需选择初始点"的特征:若多项式有m个绝对值互不相同的有理数零点,那么任意取m-1个非零有理初始点(u)i(1≤i≤m-1),迭代均趋近于其中一个零点,因此,多项式可约.3)假设{ζ_(i)||ζ_(1)|≥|ζ_(2)|≥...≥|ζ_(m)|,ζ_(i)∈C,1≤i≤m}是上述多项式互不相同的零点,则存在m个复数{β_(i)|β_(i)∈C,1≤i≤m},使得u_(n)可以表示成u_(n)=β_(1)ζ_(1)^(n+1)+β_(2)ζ_(2)^(n+2)+…+β_(m)ζ_(m)^(n+1)/β_(1)ζ_(1)^(n)+β_(2)ζ_(2)^(n)+…+β_(m)ζ_(m)^(n)在β向量的m个元素中,设βl是首个非0元素,βk为其后首个非0元素,即{β_(i)|β_(i)∈C,1≤i≤m}={(0,0,…,0,)全为0βl(≠0),(0,0,…,0,)全为0β_(k)(≠0),...,β_(m)}.这时,若|ζ_(l)|>|ζk|,则迭代收敛于ζ_(l).因此,若ζ_(l)∈Q,则多项式可约.

关键词：可约不可约多项式迭代零点根初始值

来源：评论

学校读者我要写书评

暂无评论

基于Augur的交易者身份管理方案研究

引用

密码学报 2020年第1期7卷 102-114页

作者：吴楠王良民宋香梅江苏大学计算机科学与通信工程学院镇江212013 华东师范大学上海市高可信计算重点实验室上海200062

随着物联网应用的快速发展,其安全问题也引起越来越多的关注.由于物联网设备众多,且信任机制缺失,物联网设备安全问题日益突出.区块链技术成为可能的解决途径.利用区块链技术的安全机制,物联网可以建立一套可信的加密系统,从而维护数据... 详细信息

随着物联网应用的快速发展,其安全问题也引起越来越多的关注.由于物联网设备众多,且信任机制缺失,物联网设备安全问题日益突出.区块链技术成为可能的解决途径.利用区块链技术的安全机制,物联网可以建立一套可信的加密系统,从而维护数据的安全.为探索如何利用区块链技术解决物联网设备安全问题,一个可行的解决方案是探索区块链应用的身份管理方案.本文通过对区块链应用Augur的身份管理技术进行研究,探索区块链应用的身份管理方案以及潜在风险,并针对Augur的身份管理方案潜在风险和设计缺陷攻击提出了一个基于信誉评估的安全解决方案.该方案选取了6个信誉指标和3种信誉计算方法,为交易者选择有效市场及其他Augur交易活动提供信誉依据.最后本文利用3个指标检验3种方法针对不同用户类型的评估准确度,为评估方法的选择提供了依据.

关键词：区块链 Augur 身份管理信誉评价

来源：评论

学校读者我要写书评

暂无评论

基于多样化特征卷积神经网络的情感分析

引用

计算机工程 2019年第4期45卷 169-174,180页

作者：蔡林森彭超陈思远郭兰英华东师范大学计算机科学与软件工程学院上海市高可信计算重点实验室上海200062

深度网络模型在微博情感倾向性分析过程中难以有效利用情感特征信息,为此,提出一种基于多样化特征信息的卷积神经网络(MF-CNN)模型。结合词语多样化的抽象特征和2种网络输入矩阵计算方法,利用句中的情感信息,以优化情感分类效果。在COAE... 详细信息

深度网络模型在微博情感倾向性分析过程中难以有效利用情感特征信息,为此,提出一种基于多样化特征信息的卷积神经网络(MF-CNN)模型。结合词语多样化的抽象特征和2种网络输入矩阵计算方法,利用句中的情感信息,以优化情感分类效果。在COAE2014和微博语料数据集上进行文本情感分析,结果表明,MF-CNN模型的情感分类效果优于传统的分类器和深度卷积神经网络模型。

关键词：情感分析深度学习情感特征卷积神经网络自然语言处理

来源：评论

学校读者我要写书评

暂无评论

基于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模型检测工具

来源：评论

学校读者我要写书评

暂无评论

IM^2:一种改进的MIN/MAX窗口函数优化技术

引用

华东师范大学学报（自然科学版） 2018年第1期 103-116页

作者：宋光旋赵大鹏王晓玲华东师范大学计算机科学与软件工程学院上海市高可信计算重点实验室上海200062

窗口函数作为一种分析型的OLAP函数加入SQL(Structured Query Language)标准已有十多年,而且随着分析型应用需求的增长窗口函数有着越来越广泛的应用前景.窗口函数的语法非常简单,却可以表达诸如rank、moving average、cumulative sum... 详细信息

窗口函数作为一种分析型的OLAP函数加入SQL(Structured Query Language)标准已有十多年,而且随着分析型应用需求的增长窗口函数有着越来越广泛的应用前景.窗口函数的语法非常简单,却可以表达诸如rank、moving average、cumulative sum等复杂的查询.尽管目前主流的商业数据库几乎都支持窗口函数,但是现有的执行策略效率低下,不能满足大批量数据的处理需求.本文主要针对窗口函数中MIN和MAX聚集函数,提出了一种改进的IM^2优化策略,可以有效地提升窗口函数的执行效率.本文不仅从时空复杂性理论分析层面进行了证明,而且与已有算法进行了对比实验,证明了本文方法的高效性;另外在目前主流的开源数据库PostgreSQL中实现本文算法,与SQL Server对比有着显著的优化效果.

关键词： window函数 MIN/MAX 执行优化 PostgreSQL

来源：评论

学校读者我要写书评

暂无评论

基于分布式数据库Cedar的高效工单管理系统设计与实现

引用

华东师范大学学报（自然科学版） 2018年第3期 88-96页

作者：潘宇晨李宇明张春熙张蓉洪道诚华东师范大学计算机科学与软件工程学院上海200062 华东师范大学上海高可信计算重点实验室上海200062

随着互联网发展,企业随之转型,积极开展基于互联网的业务.传统业务系统架构基于集中式数据管理系统如MySQL之上,在封闭使用状态向开放使用状态转换的过程中,逐渐在可用性上暴露出弊端,故而不能很好地支持业务拓展规模化、分布式处理的要... 详细信息

随着互联网发展,企业随之转型,积极开展基于互联网的业务.传统业务系统架构基于集中式数据管理系统如MySQL之上,在封闭使用状态向开放使用状态转换的过程中,逐渐在可用性上暴露出弊端,故而不能很好地支持业务拓展规模化、分布式处理的要求.网络业务的开展对工单系统提出了在支持大数据、高并发、高冲突、高可用下保证处理高效性的新需求.在深入分析当前业务特征的基础上,利用分布式数据库Cedar,基于Netty通信框架,以海尔的工单业务为实例,设计并实现了支持工单存储、派单以及工程师抢单业务的高效、可扩展工单管理系统,详述了系统的可靠性和可扩展实现.经实验表明,该工单系统在保证高吞吐和低延迟的同时具有良好的可扩展性和可用性.

关键词： Cedar 分布式计算工单管理 share-nothing架构

来源：评论

学校读者我要写书评

暂无评论

布尔网络到离散时间马尔科夫模型的转换及性质研究——以大鼠干细胞基因调控网络为例

引用

华东师范大学学报（自然科学版） 2018年第1期 59-75,90页

作者：吕悦张敏秦旭东严佳华东师范大学上海市高可信计算重点实验室上海200062 华东师范大学计算机科学与软件工程学院上海200062

提出了一种基于概率模型检测技术的新方法用于解决生物工程中基因调控网络探查吸引子这一关键问题.以大鼠干细胞基因调控网络的吸引子找寻这样一个具体问题为例,将布尔网络表示的基因调控网络的更新函数通过对应的真值表,转换为离散时... 详细信息

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

关键词：布尔网络离散时间马尔科夫链基因调控网络

来源：评论

学校读者我要写书评

暂无评论

分布式数据流上的高性能分发策略

引用

软件学报 2017年第3期28卷 563-578页

作者：房俊华王晓桐张蓉周傲英华东师范大学计算机科学与软件工程学院上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062

随着大数据应用的普及,高效可扩展的数据流操作在实时分析处理中扮演着越来越重要的角色.分布式并行处理架构是应对大流量、低延时数据流处理任务的一种有效解决方案.然而在Key-based分组并行处理中,由于数据的倾斜分布及数据流本身的... 详细信息

随着大数据应用的普及,高效可扩展的数据流操作在实时分析处理中扮演着越来越重要的角色.分布式并行处理架构是应对大流量、低延时数据流处理任务的一种有效解决方案.然而在Key-based分组并行处理中,由于数据的倾斜分布及数据流本身的实时、动态和数据规模不可预知等特性,使得数据流分布并行处理系统存在持续且动态负载不均衡现象,这会造成系统时效性降低、硬件资源浪费等问题.现有的研究工作处理均衡负载有两种方案:(1)基于key粒度的迁移,使得并行处理节点负载达到均衡;(2)基于元组粒度级别的拆分,采用随机分发使系统均衡.前者将系统调整至给定的均衡容忍范围内,类似于一维装箱的NP问题;后者对key的拆分势必带来新的为维护Key-based操作的正确性而增加的额外代价,如内存及网络通信成本.综合两种方法,提出对key按需拆分、尽量合并的方法,通过轻量级均衡调整算法以及保证Key-based操作特性的拆分方法,使系统既能达到后者的均衡,又能减少细粒度均衡所带来的额外代价.

关键词：分布式数据流负载倾斜基于Key操作均衡调整负载迁移

来源：评论

学校读者我要写书评

暂无评论

支持非等值连接的分布式数据流处理系统

引用

华东师范大学学报（自然科学版） 2017年第5期 11-19页

作者：陈明珠王晓桐房俊华张蓉华东师范大学计算机科学与软件工程学院上海高可信计算重点实验室上海200062

实时处理的分布式数据流系统在当今大数据时代扮演着越来越重要的角色.其中,连接查询是大数据分析处理中最为重要且开销较大的操作之一.然而,由于现实应用产生的数据普遍存在倾斜分布现象,加之数据流本身的无界性与不可预知性,给在分布... 详细信息

实时处理的分布式数据流系统在当今大数据时代扮演着越来越重要的角色.其中,连接查询是大数据分析处理中最为重要且开销较大的操作之一.然而,由于现实应用产生的数据普遍存在倾斜分布现象,加之数据流本身的无界性与不可预知性,给在分布式数据流系统上进行连接查询处理提出了严峻的挑战.目前工业界较为主流的数据流系统处理连接查询的通用性较低,没有提供专门针对连接操作的接口;学术界推出的数据流连接查询原型系统虽然提供了接口,但大多面向等值连接,或仅能支持部分theta连接,且存在资源开销大、负载均衡性能低等问题.本文对比分析三种典型数据流系统,将基于Join-Matrix的连接处理技术与Storm系统相结合,设计并实现了通用的、可支持任意连接查询的数据流处理系统.实验展示了本文设计的系统具有更加良好的吞吐量与资源优化表现.

关键词：数据流处理系统连接处理分布式计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：