检索结果-南通市图书馆

Posit:一种挑战浮点计算标准的新型数据类型的研究

在线全文

学校读者我要写书评

暂无评论

信息工程大学学报 2021年第4期22卷 427-432页

作者：许瑾晨曹浩李典郭绍忠数学工程与先进计算国家重点实验室河南郑州450002

IEEE 754标准的浮点数(以下简称Float)虽然较好地实现了实数的近似表示,但因其设计原理在精确度等方面存在很多不可避免的问题。针对这些问题,John ***教授提出了一种新型数制度系统Posit,旨在替代Float。相对于Float,Posit在精度、动... 详细信息

IEEE 754标准的浮点数(以下简称Float)虽然较好地实现了实数的近似表示,但因其设计原理在精确度等方面存在很多不可避免的问题。针对这些问题,John ***教授提出了一种新型数制度系统Posit,旨在替代Float。相对于Float,Posit在精度、动态范围等方面有很多优势。详细介绍了Posit数制系统,概述了针对Posit开展的验证实验及Posit的适用领域。这些研究既具有开创性又很有挑战性,对Posit的发展与应用具有积极的意义。

关键词： Posit 浮点数数制系统应用领域数值分析硬件

在线全文

学校读者我要写书评

暂无评论

基于敏感度的混合精度优化方法

信息工程大学学报 2022年第6期23卷 718-723页

作者：侯明郭绍忠王攀杰许瑾晨信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

现有高性能计算应用中浮点运算通常使用高精度浮点类型,但使用高精度会带来性能上的损失等额外开销,故可以采取降低程序中部分浮点变量的精度从而在满足精度需求的同时提升程序性能,但对于不同的浮点计算程序来说,用户在无策略的条件下... 详细信息

现有高性能计算应用中浮点运算通常使用高精度浮点类型,但使用高精度会带来性能上的损失等额外开销,故可以采取降低程序中部分浮点变量的精度从而在满足精度需求的同时提升程序性能,但对于不同的浮点计算程序来说,用户在无策略的条件下较难确定哪些浮点变量能够降低精度。针对这一问题,提出一种基于误差敏感度的自动混合精度工具Miplex,相较于以往的混合精度工具,能够将找到有效混合精度方案的时间复杂度从O(N2)约束至O(N),从而快速找到满足误差需求的混合精度分配方案。实验结果表明,相较于现有的混合精度工具,最大获得了80.31%的性能提升;在x86和SW测试平台上相比较原始高精度程序也获得了最大为35.84%和33.12%的加速效果。

关键词：浮点计算混合精度数值分析程序优化

环鄱阳湖城市群景观格局变化与人为干扰的关系研究

在线全文

学校读者我要写书评

暂无评论

环境工程技术学报 2024年第2期14卷 601-611页

作者：彭锦臣叶长盛甘凤东华理工大学地球科学学院

探讨景观格局演变与人为干扰的关系,可为区域景观格局优化及生态可持续发展提供理论基础。以环鄱阳湖城市群为例,分析其2000—2020年土地利用景观格局时空变化特征,并运用景观格局指数、人为干扰度模型、双变量空间自相关方法探究人为... 详细信息

探讨景观格局演变与人为干扰的关系,可为区域景观格局优化及生态可持续发展提供理论基础。以环鄱阳湖城市群为例,分析其2000—2020年土地利用景观格局时空变化特征,并运用景观格局指数、人为干扰度模型、双变量空间自相关方法探究人为干扰度时空变化规律及其与景观格局变化过程的空间耦合关系。结果显示:2000—2020年,环鄱阳湖城市群土地利用类型以耕地、林地为主,建设用地扩张迅速,面积增加18.85万hm^(2);斑块密度、香农多样性指数和分形维数呈上升趋势,平均斑块面积、蔓延度指数和聚合度指数呈下降趋势,景观破碎化程度增加。2000—2020年,环鄱阳湖城市群平均人为干扰度由0.4623增至0.4689,人为干扰较强的区域位于鄱阳湖平原,尤其以南昌市区、南昌县、鹰潭市区人为干扰较突出,且干扰度高值区范围不断扩大;干扰强度由中部向边缘逐渐减弱,低值区分布于鄱阳湖湖域,建设用地和耕地为干扰贡献主要类型;人为干扰度与斑块密度、蔓延度指数、香农多样性指数呈空间正相关,与平均斑块面积、聚合度指数呈空间负相关,表现出明显的空间异质性。

关键词：环鄱阳湖城市群景观格局人为干扰多尺度综合分析空间耦合

在线全文

学校读者我要写书评

暂无评论

基于数据表精简算法的超越函数访存优化方法

信息工程大学学报 2019年第3期20卷 328-334页

作者：孟虹松郭绍忠许谨晨王磊张乾坤数学工程与先进计算国家重点实验室河南郑州450001 南方电网科学研究院有限责任公司广东广州510080 电力行业信息安全等级保护测评中心第五实验室广东广州510080

高性能计算机平台的超越函数由于采用查表与多项式结合算法,性能深受“存储墙”问题的影响,函数绝大部分执行时间消耗集中于访存操作。为有效解决此问题,提出基于数据表精简算法的超越函数访存优化方法。将该方法应用于Mlib基础数学库,... 详细信息

高性能计算机平台的超越函数由于采用查表与多项式结合算法,性能深受“存储墙”问题的影响,函数绝大部分执行时间消耗集中于访存操作。为有效解决此问题,提出基于数据表精简算法的超越函数访存优化方法。将该方法应用于Mlib基础数学库,对库中的超越函数进行测试。测试结果表明,该方法能够有效对超越函数进行访存优化,函数性能平均提升55.06%,验证该访存优化方法的高效性和实用性。

关键词：存储墙问题超越函数访存优化数据表精简转指令

当代数字资本逻辑的批判起点、嬗变趋向与实践超越

在线全文

学校读者我要写书评

暂无评论

当代经济研究 2024年第1期 66-73页

作者：叶龙祥钟锦宸福建师范大学经济学院福州350117 福建师范大学马克思主义学院福州350117

数字资本逻辑批判的起点可以追溯到马克思的资本逻辑批判。随着“数字浪潮”在全球范围内的迅速扩展,对数字资本的批判需要考虑资本的“一般性”与数字的“特殊性”,在这个过程中,不能忽视的是贯穿其中的“数字资本逻辑”。概言之,数字... 详细信息

数字资本逻辑批判的起点可以追溯到马克思的资本逻辑批判。随着“数字浪潮”在全球范围内的迅速扩展,对数字资本的批判需要考虑资本的“一般性”与数字的“特殊性”,在这个过程中,不能忽视的是贯穿其中的“数字资本逻辑”。概言之,数字资本逻辑作为资本逻辑所操控的数字“失控”,实为资本逻辑反映和延展所导致的数字化资本统治、劳动剥削与技术操纵。当代数字资本主义的发展带来了生产方式和劳动形态的新变革,数字资本逻辑并没有被根除,并且愈来愈呈现出数字资本增殖逻辑下的“竞争—垄断”宰制、数字资本扩张逻辑下的“中心—边缘”控制、数字资本物化逻辑下的“多维—单向”压制的嬗变趋向。现阶段,为了扬弃和超越数字资本逻辑,需要在科学反制数字劳动剥削、防止数字资本无序扩张、摆脱数字技术的错位生长、构建数字命运共同体等方面寻求实践路径,从而实现从“资本”向“人本”的真正回归。

关键词：数字资本逻辑批判起点嬗变扬弃

在线全文

学校读者我要写书评

暂无评论

一体化铁路口岸站作业流程优化研究

综合运输 2023年第7期45卷 134-140页

作者：李笑红任珺徐金辰闫祖东北京交通大学交通运输学院北京100044 沈阳市规划设计研究院有限公司交通规划院辽宁沈阳110004 中国铁路呼和浩特局集团有限公司运输部内蒙古自治区呼和浩特010000 太原中铁轨道交通建设运营有限公司山西太原030000

边境铁路口岸站货运作业涉及到铁路、海关、边检、货代等多个部门,其作业效率关系到进出口货物在站内的停留时间。本文提出“铁路口岸站作业一体化”的优化思想,运用随机Petri网建模和Flexsim仿真工具,找到制约作业效率的关键工序和需... 详细信息

边境铁路口岸站货运作业涉及到铁路、海关、边检、货代等多个部门,其作业效率关系到进出口货物在站内的停留时间。本文提出“铁路口岸站作业一体化”的优化思想,运用随机Petri网建模和Flexsim仿真工具,找到制约作业效率的关键工序和需要改进的作业环节,对作业流程进行优化,以提升口岸站通过能力,并选取“列车通过率”、“集装箱通关率”和“列车平均在站停留时间”作为优化效果评价指标。以二连站进口作业流程为例进行优化,提高了二连站列车通过率和集装箱通关率,减少了列车平均在站停留时间,验证了方法的有效性。

关键词：铁路口岸站一体化流程优化随机Petri网 Flexsim仿真

在线全文

学校读者我要写书评

暂无评论

并发错误检测技术研究综述

信息工程大学学报 2017年第5期18卷 618-625页

作者：张高举郭绍忠许瑾晨王磊张辛信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

随着多核/众核设备的普及,多线程程序得到了广泛应用,而多线程程序执行的不确定性,导致严重的并发错误,同时也给并发错误检测带来了困难。如何有效地检测并发错误,提高多线程软件的可靠性成为亟待解决的问题。在前人研究的基础上,首先... 详细信息

随着多核/众核设备的普及,多线程程序得到了广泛应用,而多线程程序执行的不确定性,导致严重的并发错误,同时也给并发错误检测带来了困难。如何有效地检测并发错误,提高多线程软件的可靠性成为亟待解决的问题。在前人研究的基础上,首先对并发错误检测的诸多障碍进行分析,探究影响并发错误检测的根本原因。其次根据对程序运行的影响将并发错误检测结果分为良性错误、不可运行错误和破坏性错误3类,并在此基础上提出了并发错误检测的评价性指标。最后围绕上述指标,对并发错误检测技术的实现方法和研究现状进行了详细分析,并对并发错误检测可能的研究方向进行了展望,为并发错误检测技术的研究提供了基础性支撑。

关键词：多核设备多线程程序并发错误错误检测

在线全文

学校读者我要写书评

暂无评论

数字压力计全自动检测系统设计

计量与测试技术 2024年第9期51卷 77-79页

作者：孙金晨辽宁省计量科学研究

本文旨在设计并实现一种基于数字图像识别技术和自动化控制技术的数字压力计全自动检测系统。该系统集成了高精度压力控制器、计算机控制单元、图像识别模块、检测数据处理模块以及人机交互界面,可实现对数字压力计的全自动检定与校准,... 详细信息

本文旨在设计并实现一种基于数字图像识别技术和自动化控制技术的数字压力计全自动检测系统。该系统集成了高精度压力控制器、计算机控制单元、图像识别模块、检测数据处理模块以及人机交互界面,可实现对数字压力计的全自动检定与校准,提高检测效率,降低人工操作的复杂性和误差。

关键词：数字压力计全自动检测图像识别压力计量

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

激活函数的对比测试与分析

信息工程大学学报 2021年第5期22卷 551-557页

作者：王攀杰郭绍忠侯明郝江伟许瑾晨信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001

随着人工智能的发展、含有激活函数库开源框架的增加,针对激活函数库的对比与分析越来越重要。在Intel x86架构上进行实验,从函数性能、稳定性、精度3个方面测试并分析了PyTorch和TensorFlow两种主流人工智能框架中的常用激活函数。实... 详细信息

随着人工智能的发展、含有激活函数库开源框架的增加,针对激活函数库的对比与分析越来越重要。在Intel x86架构上进行实验,从函数性能、稳定性、精度3个方面测试并分析了PyTorch和TensorFlow两种主流人工智能框架中的常用激活函数。实验结果表明,PyTorch的整体稳定性要高于TensorFlow,且Sigmoid、Hardsigmoid、SeLU、ReLU、ReLU6、Tanh函数的性能皆优于TensorFlow;在精度方面,TensorFlow中除SeLU函数与LeakyReLU函数稍差些,其余函数与PyTorch表现相当。

关键词：激活函数 PyTorch TensorFlow