期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
定点算术数据通路的等价性检验方法
1
作者 李东海 马光胜 胡靖 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第1期27-32,共6页
以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式... 以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Grbner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势. 展开更多
关键词 vanishing多项式 Grbner基 定点数据通路 等价性检验 形式验证
下载PDF
一种基于多点数据采集的水产养殖监控系统 被引量:4
2
作者 王乐达 徐立鸿 +1 位作者 黄培 蔚瑞华 《渔业现代化》 北大核心 2012年第4期16-21,共6页
为了实现对水产养殖池塘内水质参数的多点采集及实时监控,本文利用数字化数据采集技术、嵌入式系统技术以及无线传感器网络技术等,开发了一种水产养殖监控系统。此系统不仅可以利用基站采集到定点的水质参数,还能够利用机器鱼搭载无线... 为了实现对水产养殖池塘内水质参数的多点采集及实时监控,本文利用数字化数据采集技术、嵌入式系统技术以及无线传感器网络技术等,开发了一种水产养殖监控系统。此系统不仅可以利用基站采集到定点的水质参数,还能够利用机器鱼搭载无线传感器的方式采集到池塘内不定点的水质参数,实现了多点数据采集,并通过基站上的人机交互模块以及中心机房的上位机与用户进行交互。结果表明,该系统运行稳定,采集的数据符合所需的精度要求,监控范围大大提高,能够满足水产养殖监控的需要。 展开更多
关键词 多点数据采集 全方位监控 水产养殖 定点数据 定点数据
下载PDF
深度卷积神经网络的数据表示方法分析与实践 被引量:5
3
作者 王佩琪 高原 +2 位作者 刘振宇 王海霞 汪东升 《计算机研究与发展》 EI CSCD 北大核心 2017年第6期1348-1356,共9页
深度卷积神经网络在多个领域展现了不凡的性能,并被广泛应用.随着网络深度的增加和网络结构不断复杂化,计算资源和存储资源的需求也在不断攀升.专用硬件可以很好地解决对计算和存储的双重需求,在低功耗同时满足较高的计算性能,从而应用... 深度卷积神经网络在多个领域展现了不凡的性能,并被广泛应用.随着网络深度的增加和网络结构不断复杂化,计算资源和存储资源的需求也在不断攀升.专用硬件可以很好地解决对计算和存储的双重需求,在低功耗同时满足较高的计算性能,从而应用在一些无法使用通用CPU和GPU的场景中.在专用硬件设计过程中仍存在着很多亟待解决的问题,例如选择何种数据表示方法、如何平衡数据表示精度与硬件实现代价等.为解决上述问题,针对定点数和浮点数建立误差分析模型,从理论角度分析如何选择表示精度及选择结果对网络准确率的影响,并通过实验探究不同数据表示方法对硬件实现代价的影响.通过理论分析和实验验证可知,在一般情况下,满足同等精度要求时浮点表示方法在硬件实现开销上占有一定优势.除此之外,还根据浮点表示特征对神经网络中卷积操作进行了硬件实现,与定点数相比在功耗和面积上分别降低92.9%和77.2%. 展开更多
关键词 深度卷积神经网络 数据表示方式 浮点数据表示 定点数据表示 卷积操作优化
下载PDF
基于移动互联水产养殖智能监控系统的研制 被引量:1
4
作者 刘玉洁 唐升 《电子设计工程》 2018年第11期67-71,76,共6页
针对目前水产养殖监控系统大多只采用定点数据监测水质但会引入采集不全面的问题,文中基于数字化数据采集、嵌入式开发、Zig Bee等移动互联传输技术,引入了不定点数据采集模块和微信公众号,设计并开发了一套多点数据采集水产养殖监控系... 针对目前水产养殖监控系统大多只采用定点数据监测水质但会引入采集不全面的问题,文中基于数字化数据采集、嵌入式开发、Zig Bee等移动互联传输技术,引入了不定点数据采集模块和微信公众号,设计并开发了一套多点数据采集水产养殖监控系统。该系统在使用可移动机器鱼采集不定点数据后,将其与定点数据相融合,最终实现多点数据采集,提高了养殖水域的监测范围;同时,引入了微信公众号终端监控方式,使监控者能通过人机交互界面、中心机房上位机以及微信端实时且全面的获取水质参数信息,共同保证养殖工作的顺利进行。该系统经过测试,运行良好,也已投入使用,能够为相关水产养殖监控系统的设计与开发提供技术参考。 展开更多
关键词 水产养殖 移动互联 多点数据采集 定点数据 定点数据
下载PDF
降低实现神经网络的FPGA硬件资源消耗的方法研究 被引量:1
5
作者 陈瑶 王永强 +2 位作者 王远飞 邵然 赵思成 《科学技术创新》 2023年第13期78-82,共5页
为了满足训练神经网络的计算要求,将浮点数据替换为定点数据,使用更少的比特数,从而提高性能密度。虽然使用定点数据会降低精度,但只要性能比精度更关键,就可以使用定点数据。定点数据类型用于神经网络,可以降低使用FPGA实现神经网络的... 为了满足训练神经网络的计算要求,将浮点数据替换为定点数据,使用更少的比特数,从而提高性能密度。虽然使用定点数据会降低精度,但只要性能比精度更关键,就可以使用定点数据。定点数据类型用于神经网络,可以降低使用FPGA实现神经网络的硬件资源消耗。 展开更多
关键词 人工神经元网络 硬件 FPGA 定点数据
下载PDF
面向嵌入式的卷积神经网络硬件加速器设计 被引量:4
6
作者 唐蕊 焦继业 徐华昊 《计算机工程与应用》 CSCD 北大核心 2021年第4期252-257,共6页
近年来,随着神经网络模型越来越复杂,针对卷积神经网络推理计算所需内存空间过大,限制其在嵌入式设备上部署的问题,提出一种动态多精度定点数据量化硬件结构,使用定点数代替训练后推理过程中的浮点数执行卷积运算。结果表明,采用16位动... 近年来,随着神经网络模型越来越复杂,针对卷积神经网络推理计算所需内存空间过大,限制其在嵌入式设备上部署的问题,提出一种动态多精度定点数据量化硬件结构,使用定点数代替训练后推理过程中的浮点数执行卷积运算。结果表明,采用16位动态定点量化和并行卷积运算硬件架构,与静态量化策略相比,数据准确率高达97.96%,硬件单元的面积仅为13740门,且内存占用量和带宽需求减半。相比Cortex M4使用浮点数据做卷积运算,该硬件加速单元性能提升了90%以上。 展开更多
关键词 卷积神经网络 嵌入式设备 动态多精度定点数据量化 并行卷积运算硬件架构
下载PDF
城市干线道路交通拥挤态势的监测 被引量:2
7
作者 弓晋丽 彭贤武 《交通运输系统工程与信息》 EI CSCD 北大核心 2013年第5期30-36,55,共8页
以城市干线道路交通拥挤态势监测为目的,设计基于定点检测数据的异常监测系统.获取交通流基础数据(流量、速度、占有率)后,使用模糊C-均值聚类算法将定量数据转化为交通定性状态(拥挤或畅通).以此为基础,系统使用时间序列分形分析法确... 以城市干线道路交通拥挤态势监测为目的,设计基于定点检测数据的异常监测系统.获取交通流基础数据(流量、速度、占有率)后,使用模糊C-均值聚类算法将定量数据转化为交通定性状态(拥挤或畅通).以此为基础,系统使用时间序列分形分析法确定交通拥挤态势指数;以序列模式相似性度量法和凝聚分层聚类法进行常规运行模式的辨识;并使用基于距离的异常模式变点识别法实时监测交通拥挤态势是否偏离常规运行模式,以此确定系统是否存在异常.以上海南北高架东侧11天的定点检测数据为例进行实证分析,监测得到了9月30日异常模式集中分布在中午12:10-13:20、13:40-14:30和下午17:10-17:15时间段内. 展开更多
关键词 交通工程 拥挤态势 时间序列 异常监测 定点检测数据
下载PDF
城市干线道路交通“拥挤态势指数”的确定 被引量:1
8
作者 弓晋丽 彭贤武 《交通运输系统工程与信息》 EI CSCD 北大核心 2014年第3期64-69,共6页
为对道路交通拥挤随着时间发展演化情况作出准确客观的描述,本文研究了城市干线道路交通'拥挤态势指数'的确定方法.以定点检测数据为基础,从定性和定量两个角度分别定义了5个拥挤指标,并按时间顺序将它们排列成交通拥挤态势描述... 为对道路交通拥挤随着时间发展演化情况作出准确客观的描述,本文研究了城市干线道路交通'拥挤态势指数'的确定方法.以定点检测数据为基础,从定性和定量两个角度分别定义了5个拥挤指标,并按时间顺序将它们排列成交通拥挤态势描述'时间序列'.在对上述时间序列使用多元统计'降维'后,使用R/S分析法计算各序列的Hurst指数.据此验证多个指标间的时间序列趋势一致性,找到既能从定性角度又能从定量角度进行综合评价的指标作为'拥挤态势指数'.最后,以上海南北高架东侧上11天的定点检测数据为例进行实证分析,确定了因子1作为'拥挤态势指数'. 展开更多
关键词 交通工程 拥挤态势 R S分析 定点检测数据
下载PDF
一种面向定点轨迹数据的行程识别方法 被引量:1
9
作者 张宽 赵卓峰 郭炜强 《北京邮电大学学报》 EI CAS CSCD 北大核心 2020年第4期39-47,共9页
为了对长周期定点轨迹数据进行行程识别,提出了一种基于动态阈值的定点轨迹数据行程识别方法.首先,采用聚类方法确定与阈值相关的时空多粒度参数;其次,根据参数对历史记录进行统计,计算参数对应的阈值;利用时空相关参数获取对应阈值,对... 为了对长周期定点轨迹数据进行行程识别,提出了一种基于动态阈值的定点轨迹数据行程识别方法.首先,采用聚类方法确定与阈值相关的时空多粒度参数;其次,根据参数对历史记录进行统计,计算参数对应的阈值;利用时空相关参数获取对应阈值,对轨迹进行分段,进而实现行程识别.基于真实的城市交通卡口数据的实验结果表明,使用时空相关的动态阈值方法对定点轨迹数据进行行程识别在准确率和覆盖率上都要优于传统基于固定和单一阈值的方法. 展开更多
关键词 定点轨迹数据 行程识别 轨迹分段
原文传递
内蒙古中部地区形变主要干扰的时频响应特征分析 被引量:11
10
作者 张小艳 熊峰 +3 位作者 王旭东 赵星 刘永梅 刘芳 《中国地震》 北大核心 2019年第4期718-725,共8页
选取内蒙古中部地区定点形变观测中受降雨、大风、气压干扰以及地震波影响的典型数据,采用S变换,对该地区形变观测中4种主要干扰信号的时频响应特征进行分析与讨论。结果表明,降雨干扰信号主要集中在低频区域,其频率先增大后减小;大风... 选取内蒙古中部地区定点形变观测中受降雨、大风、气压干扰以及地震波影响的典型数据,采用S变换,对该地区形变观测中4种主要干扰信号的时频响应特征进行分析与讨论。结果表明,降雨干扰信号主要集中在低频区域,其频率先增大后减小;大风干扰表现为高频干扰,时频域能量强度与观测曲线受风扰影响变化幅度成正比;气压干扰信号的优势频率分布在低频段内;地震波影响中VP垂直摆和JCZ地震计记录的地震波较为相似,但VP垂直摆记录的频段要小于JCZ地震计,VP垂直摆主要记录的是低频地震波。同时,4种干扰信号的时频域频率、能量强度随时间变化趋势与数据观测时域变化趋势相一致。 展开更多
关键词 内蒙古中部地区 定点形变数据 S变换 干扰分析 时频特征
下载PDF
Measurement of Isoplethic Vapor-Liquid Equilibrium Data by Using Inclined Ebulliometer
11
作者 吴卫生 李浩然 韩世钧 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 1999年第2期166-172,共7页
Isoplethic VLE data for the systems benzene-hexane at 9 different compositions in the temperature range from 298 K to 331K, chloroform-benzene at 11 different compositions in the temperature range from 308 K to 350 K ... Isoplethic VLE data for the systems benzene-hexane at 9 different compositions in the temperature range from 298 K to 331K, chloroform-benzene at 11 different compositions in the temperature range from 308 K to 350 K and chloroform-hexane at 9 different compositions in the temperature range from 311 K to 337 K were determined by using an inclined ebulliometer with a pump-like stirrer. Isothermal and isobaric VLE were calculated from the isoplethic results with a extended UNIQUAC equation and these data agree well with the literature data. 展开更多
关键词 vapor-liquid equilibrium EBULLIOMETER quasi-static method
下载PDF
An Improved Fixed-point Algorithm for Independent Component Analysis of Functional MRI Data
12
作者 WENG Xiao-guang WANG Hui-nan QIAN Zhi-yu 《Chinese Journal of Biomedical Engineering(English Edition)》 2009年第2期78-83,共6页
The fixed-point algorithm and infomax algorithm are two of the most popular algorithms in independent component analysis(ICA).However,it is hard to take both stability and speed into consideration in processing functi... The fixed-point algorithm and infomax algorithm are two of the most popular algorithms in independent component analysis(ICA).However,it is hard to take both stability and speed into consideration in processing functional magnetic resonance imaging(fMRI)data.In this paper,an optimization model for ICA is presented and an improved fixed-point algorithm based on the model is proposed.In the new algorithms a small step size is added to increase the stability.In order to accelerate the convergence,an improvement on Newton method is made,which makes cubic convergence for the new algorithm.Applying the algorithm and two other algorithms to invivo fMRI data,the results show that the new algorithm separates independent components stably,which has faster convergence speed and less computation than the other two algorithms.The algorithm has obvious advantage in processing fMRI signal with huge data. 展开更多
关键词 independent component analysis(ICA) functional magnetic reasonance imaging(fMRI) Newton iteration
下载PDF
Extraction of line-of-sight ionospheric observables from GPS data using precise point positioning 被引量:23
13
作者 ZHANG BaoCheng OU JiKun +1 位作者 YUAN YunBin LI ZiShen 《Science China Earth Sciences》 SCIE EI CAS 2012年第11期1919-1928,共10页
Here we propose a method for extracting line-of-sight ionospheric observables from GPS data using precise point positioning(PPP).The PPP-derived ionospheric observables(PIOs) have identical form with their counterpart... Here we propose a method for extracting line-of-sight ionospheric observables from GPS data using precise point positioning(PPP).The PPP-derived ionospheric observables(PIOs) have identical form with their counterparts obtained from leveling the geometry-free GPS carrier-phase to code(leveling ionospheric observables,LIOs),and are affected by the satellite and receiver inter-frequency biases(IFBs).Based on the co-location experiments,the effects of extracting error arising from the observational noise and multipath on the PIOs and the LIOs are comparatively assessed,and the considerably reduced effects ranging from 70% to 75% on the PIOs with respect to the LIOs can be verified in our case.In addition,based on 26 consecutive days' GPS observations from two international GNSS service(IGS) sites(COCO,DAEJ) during disturbed ionosphere period,the extracted PIOs and LIOs are respectively used as the input of single-layer ionospheric model to retrieve daily satellite IFBs station-by-station.The minor extracting errors underlying the PIOs in contrast to the LIOs can also be proven by reducing day-to-day scatter and improving between-receiver consistency in the retrieved satellite IFBs values. 展开更多
关键词 line-of-sight ionospheric observables total electron content(TEC) precise point positioning(PPP) inter-frequency bias(IFB) extracting error
原文传递
On tempered and square integrable representations of classical p-adic groups 被引量:1
14
作者 TADI Marko 《Science China Mathematics》 SCIE 2013年第11期2273-2313,共41页
This paper has two aims. The first is to give a description of irreducible tempered representations of classical p-adic groups which follows naturMly the classification of irreducible square integrable representations... This paper has two aims. The first is to give a description of irreducible tempered representations of classical p-adic groups which follows naturMly the classification of irreducible square integrable representations modulo cuspidal data obtained by Mceglin and the author of this article (2002). The second aim of the paper is to give a description of an invariant (partially defined function) of irreducible square integrable representation of a classical p-adic group (defined by Mceglin using embeddings) in terms of subquotients of Jacquet modules. As an application, we describe behavior of partially defined function in one construction of square integrable representations of a bigger group from such representations of a smaller group (which is related to deformation of Jordan blocks of representations). 展开更多
关键词 non-archimedean local fields classical groups square integrable representations tempered repre-sentations
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部