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

计算机研究与发展 2013年第S1期50卷 394-398页

作者：康强强江舟金澈清周傲英华东师范大学软件学院上海市高可信计算重点实验室上海200062

随着数据库管理技术的发展,市面上出现了多种数据库管理系统产品.如何有效地评测数据库系统变得非常关键.TPC-H即是一个易用、面向决策支持系统的评测系统,它总共包含了22个SQL查询语句.实现了一个支持TPC-H的评测系统,该评测系统也支持... 详细信息

随着数据库管理技术的发展,市面上出现了多种数据库管理系统产品.如何有效地评测数据库系统变得非常关键.TPC-H即是一个易用、面向决策支持系统的评测系统,它总共包含了22个SQL查询语句.实现了一个支持TPC-H的评测系统,该评测系统也支持以CPU利用率和内存占用率做为性能指标.此外,当用户使用全部22个查询进行测评时,在海量数据情况下,可能导致执行时间非常缓慢,甚至会得不到查询结果,本原型系统支持用户自主选择SQL语句进行查询.

关键词：评测系统 CPU利用率内存占用率海量数据查询

来源：评论

学校读者我要写书评

暂无评论

Java应用系统的复杂网络分析(英文)

引用

华东师范大学学报（自然科学版） 2017年第1期 38-51,70页

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

大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程... 详细信息

大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程序包与类的依赖关系,忽略了很多有用的数据类型,比如函数成员变量和函数临时变量.本文将这两类数据类型纳入了研究范畴,拓展了类依赖关系.不仅如此,本文也将研究粒度细化至函数层面,构建了函数依赖图.针对这两类依赖关系,本文提出了将系统转化为加权有向网络图的理论方法.全面的实验结果显示,本文所选取的10类Java应用系统,无论是出度还是入度绝大多数都符合幂律分布,由此证明了所提出的理论方法,验证了有向加权网络是否具有无标度特性在分析Java应用系统网络结构时是有效的.

关键词：复杂网络 Java应用系统幂律分布类依赖图函数依赖图

来源：评论

学校读者我要写书评

暂无评论

循环迭代程序的一种可信计算算法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

算术表达式的一种可信计算算法及其软件ISReal

引用

中国科学：信息科学 2016年第6期46卷 698-713页

作者：赵世忠华东师范大学上海市高可信计算重点实验室上海200062

算术表达式的精确计算是确保各类复杂计算正确性的基础.然而,对于大多数主流软件来说,计算过程中"不正确的舍入误差"与机器误差,导致计算结果不稳定.针对这种计算不稳定问题,本文提出中间运算的精度自适应技术,进而给出算术... 详细信息

算术表达式的精确计算是确保各类复杂计算正确性的基础.然而,对于大多数主流软件来说,计算过程中"不正确的舍入误差"与机器误差,导致计算结果不稳定.针对这种计算不稳定问题,本文提出中间运算的精度自适应技术,进而给出算术表达式的一种可信计算算法,并用C++实现软件ISReal.利用该算法(软件),不论计算模型是"良态的"还是"病态的",均可计算出其任意精度的值,即计算结果始终与理论结果相一致.

关键词：误差可控计算精确计算算术表达式可信计算计算误差

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于投影的嵌入式系统需求分析方法

引用

软件学报 2024年第12期35卷 5397-5418页

作者：王小齐陈小红金芝顾斌綦艳霞上海高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871 北京控制工程研究所北京100190

嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发... 详细信息

嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发,针对嵌入式软件系统的特征,提出一种基于投影的从系统需求到软件需求的分析方法,帮助需求工程师对需求进行有效解耦.首先总结嵌入式软件系统的系统需求与软件需求描述,基于交互环境特性定义嵌入式软件系统的需求解耦策略,并设计从系统需求到软件需求的规约过程.在航天器太阳搜索系统进行实际案例研究,并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,展示所提方法的有效性.

关键词：嵌入式系统需求分析需求解耦问题投影软件需求

来源：评论

学校读者我要写书评

暂无评论

基于三Ⅰ算法的模糊系统的响应能力

引用

控制理论与应用 2011年第1期28卷 24-30页

作者：潘海玉裴道武陈仪香华东师范大学上海市高可信计算重点实验室上海200062 浙江理工大学理学院浙江杭州310018

探讨模糊系统的函数逼近能力是模糊系统理论研究的一个重要的课题.本文首次讨论了在两种推理规则情形下由三Ⅰ支持度算法和模糊熵三Ⅰ算法设计的模糊系统的响应能力.针对三Ⅰ支持度算法,分别就正则蕴涵算子和11个具体的模糊蕴涵算子,考... 详细信息

探讨模糊系统的函数逼近能力是模糊系统理论研究的一个重要的课题.本文首次讨论了在两种推理规则情形下由三Ⅰ支持度算法和模糊熵三Ⅰ算法设计的模糊系统的响应能力.针对三Ⅰ支持度算法,分别就正则蕴涵算子和11个具体的模糊蕴涵算子,考察了相应模糊系统的响应能力,讨论了基于模糊熵三Ⅰ算法和三Ⅰ算法设计的模糊系统的响应函数之间的关系.此外,在多规则情形下,研究了推理过程中推理与聚合的先后次序对控制性能的影响.

关键词：模糊推理模糊系统三I算法蕴涵算子族响应函数

来源：评论

学校读者我要写书评

暂无评论

有理参数曲线的近似恰当化

引用

计算机辅助设计与图形学学报 2009年第7期21卷 924-929页

作者：申立勇袁春明华东师范大学软件学院上海高可信计算重点实验室上海200062 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190

有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的有理表示形式.为此,讨论了这类有误差的有理参数曲线,定义了近似非恰当参数形式和近似非恰当指数,并通过... 详细信息

有理参数曲线的恰当性是曲线的基本性质,虽然其在有理系数情况下已经有完备的结果,但在工程和CAGD应用中常常得到带误差浮点系数的有理表示形式.为此,讨论了这类有误差的有理参数曲线,定义了近似非恰当参数形式和近似非恰当指数,并通过半代数系统计算近似非恰当指数;在给出近似非恰当指数的同时,得到近似最大公因子.最后基于最小二乘法给出近似参数有理变换表示,计算出曲线恰当的近似有理参数表示.

关键词：有理参数曲线恰当参数化近似非恰当指数近似最大公因子半代数系统

来源：评论

学校读者我要写书评

暂无评论

时空轨迹数据驱动的自动驾驶场景元建模方法

引用

软件学报 2021年第4期32卷 973-987页

作者：张梦寒杜德慧张铭茁张雷王耀周文韬华东师范大学软件工程学院上海200062 上海市高可信重点实验室(华东师范大学) 上海200062 教育部可信软件国际合作联合实验室(华东师范大学) 上海200062 同济大学上海自主智能无人系统科学中心上海201210

时空轨迹数据驱动的汽车自动驾驶场景建模,是当前汽车自动驾驶领域中驾驶场景建模、仿真所面临的关键问题,对于提高系统的安全性具有重要的研究意义.近年来,随着时空轨迹数据建模及应用研究的快速发展,时空轨迹数据应用于特定领域建模... 详细信息

时空轨迹数据驱动的汽车自动驾驶场景建模,是当前汽车自动驾驶领域中驾驶场景建模、仿真所面临的关键问题,对于提高系统的安全性具有重要的研究意义.近年来,随着时空轨迹数据建模及应用研究的快速发展,时空轨迹数据应用于特定领域建模的研究引起人们的广泛关注.但是,由于时空轨迹数据所反映的现实世界的多元性和复杂性以及时空轨迹数据的海量、异构、动态等特点,基于时空轨迹数据驱动的安全攸关场景建模的研究仍面临着挑战,包括:统一的时空轨迹数据元模型、基于时空轨迹数据的元建模方法、基于数据分析技术的时空轨迹数据处理、数据质量评价等.针对汽车自动驾驶领域的场景建模需求,提出一种基于MOF元建模体系构建时空轨迹数据的元建模方法,根据时空轨迹数据的特征及自动驾驶的领域知识,构建了面向汽车自动驾驶的时空轨迹数据元模型;基于此,提出基于时空轨迹数据元建模技术体系的自动驾驶安全场景建模方法,并使用场景建模语言ADSML实例化安全场景,构建安全场景库,旨在为此类系统的安全关键场景建模提供一种可行的方案.结合变道超车场景的案例,展示了时空轨迹数据驱动的自动驾驶安全场景元建模方法的可用性,为场景模型的构建、仿真、分析奠定了基础.

关键词：时空轨迹数据时空轨迹数据元模型领域建模 MOF元建模汽车自动驾驶的场景建模

来源：评论

学校读者我要写书评

暂无评论

基于GPGPU的大整数矩阵行列式快速准确计算方法

引用

计算机工程 2018年第3期44卷 47-54页

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

传统计算数值矩阵行列式的方法多数基于串行计算,存在初等变换频繁、计算缓慢等问题。为此,提出基于通用计算图形处理器(GPGPU)的计算方法,以快速准确解决大整数矩阵行列式计算问题。在众核环境下利用GPGPU和模方法并行求解整数矩阵行列... 详细信息

传统计算数值矩阵行列式的方法多数基于串行计算,存在初等变换频繁、计算缓慢等问题。为此,提出基于通用计算图形处理器(GPGPU)的计算方法,以快速准确解决大整数矩阵行列式计算问题。在众核环境下利用GPGPU和模方法并行求解整数矩阵行列式,以加速计算过程并避免浮点运算误差,同时运用中国剩余定理得到准确计算结果。实验结果表明,与常用Maple、NTL等计算软件相比,该方法计算速度快,消耗内存少,可解决计算过程中内存膨胀的问题,对于高阶整数矩阵行列式优势较为明显。

关键词：通用计算图形处理器行列式高性能计算并行算法模方法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：