期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study
1
作者 Koki Hamaya Satoshi Yamane 《Journal of Software Engineering and Applications》 2017年第2期159-167,共9页
GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic executi... GPU (Graphics Processing Unit) is used in various areas. Therefore, the demand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic execution. Bank conflict is one of the bugs happening in GPU and it leads the performance of programs lower. Bank conflict happens when some processing units in GPU access the same shared memory. Symbolic execution is the method to analysis programs with symbolic values. By using it, we can detect bank conflict on GPU programs which use many threads. We implement a prototype of the detector for bank conflict and evaluate it with some GPU programs. The result states that we can detect bank conflict on the programs with no loop regardless of the number of threads. 展开更多
关键词 GRAPHICS Processing Units GPU bank CONFLICT symbolIC EXECUTION Model CHECKING
下载PDF
基于ENC数据生产纸质海图的方法与实现 被引量:3
2
作者 顾锦华 王斌 +2 位作者 王莹 张哲 纪宏宇 《海洋测绘》 2009年第2期56-58,共3页
针对当前海图生产的现状,提出了利用ENC数据生产符合标准纸质海图的技术路线及具体步骤,设计与编写了印刷用符号库和S-57特征物标到CDC体系符号对照表,最后对该研究成果进行了总结并提出了下一步研究的重点。
关键词 ENC数据 S-57 纸质海图 符号库 符号对照
下载PDF
基于MapInfo的土地利用现状图符号库的设计与实现 被引量:3
3
作者 曹敏 沈泉飞 金丹 《国土资源科技管理》 2006年第3期93-96,共4页
MapInfo系统自带的符号库不能满足我国各种比例尺土地利用现状图的需要,通过分析MapInfo符号的建库原理和方法,同时结合土地利用现状图符号的特点,采用实验的方法解决符号制作的尺寸规律问题,设计、开发了满足国标要求的土地利用现状图... MapInfo系统自带的符号库不能满足我国各种比例尺土地利用现状图的需要,通过分析MapInfo符号的建库原理和方法,同时结合土地利用现状图符号的特点,采用实验的方法解决符号制作的尺寸规律问题,设计、开发了满足国标要求的土地利用现状图符号库,并用实例对符号库的应用做了分析与探讨。 展开更多
关键词 土地利用现状图 符号库 TRUETYPE字体 字体编辑器
下载PDF
一种高精度的符号定时同步方法 被引量:12
4
作者 易鸿锋 谷春燕 +1 位作者 易克初 金力军 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2005年第6期915-919,共5页
利用同步搜索和跟踪环路并结合基于多相滤波器的重新抽样法实现高精度同步,提出一种高精度符号定时同步方法.其中多相滤波器组中的滤波器是通过一个低通滤波器取不同群延迟值导出的.该方法是一种基于信号采样时钟速率的全数字化处理过程... 利用同步搜索和跟踪环路并结合基于多相滤波器的重新抽样法实现高精度同步,提出一种高精度符号定时同步方法.其中多相滤波器组中的滤波器是通过一个低通滤波器取不同群延迟值导出的.该方法是一种基于信号采样时钟速率的全数字化处理过程,其同步精度可达到信号采样间隔的1%以上,且便于FPGA或DSP实现. 展开更多
关键词 符号定时同步 多相滤波器组 样点内插
下载PDF
民族符号在国内银行标志设计中的隐喻表达研究 被引量:3
5
作者 张思琦 《设计》 2016年第11期38-39,共2页
随着我国经济的不断发展,银行成为人们日常生活中经常光顾的场所。许多带有民族传统文化烙印的标志设计更成为行业典范。本文从国内银行标志设计入手,分析民族符号的隐喻性应用,总结出现今国内银行标志设计的困境,并提出解决方法,使民... 随着我国经济的不断发展,银行成为人们日常生活中经常光顾的场所。许多带有民族传统文化烙印的标志设计更成为行业典范。本文从国内银行标志设计入手,分析民族符号的隐喻性应用,总结出现今国内银行标志设计的困境,并提出解决方法,使民族符号在银行标志设计的表现形式更加丰富,再现民族文化的瑰丽之美。 展开更多
关键词 民族符号 银行 标志设计
下载PDF
基于多频带能量算子的符号率盲估计 被引量:2
6
作者 胡建伟 杨绍全 汤建龙 《系统工程与电子技术》 EI CSCD 北大核心 2005年第9期1539-1541,1544,共4页
针对MPSK通信信号的符号率估计问题进行了研究。首先利用小波多频带滤波器组对MPSK信号进行预处理,然后对其中的最大频带输出值应用能量算子来提取MPSK信号的能量跳变信息,从而估计出信号的符号率。该方法计算简单,抗噪声性能好,具有很... 针对MPSK通信信号的符号率估计问题进行了研究。首先利用小波多频带滤波器组对MPSK信号进行预处理,然后对其中的最大频带输出值应用能量算子来提取MPSK信号的能量跳变信息,从而估计出信号的符号率。该方法计算简单,抗噪声性能好,具有很高的估计精度。计算机仿真结果证实了所提方法的有效性和正确性。 展开更多
关键词 符号率估计 能量算子 多频带滤波器组
下载PDF
地形图符号库的设计
7
作者 郭庆胜 刘纪平 《武汉大学学报(信息科学版)》 EI CSCD 1993年第S1期75-77,共3页
地形图中符号可分为点状符号、面状符号和线状符号,不同比例尺的地形图,其符号的构造规律是一致的,只是符号的结构与尺寸不同。本文在于探索这些符号的构造规律,并进行有机组织。
关键词 地形图 符号库 机助制图
下载PDF
滤波器组多载波系统的高精度符号定时估计 被引量:3
8
作者 吴华 曾凡鑫 +2 位作者 张振宇 仲元红 朱斌 《高技术通讯》 CAS CSCD 北大核心 2011年第4期369-373,共5页
针对滤波器组多载波(FBMC)系统的传统定时同步算法精度较低的问题,研究了其发送信号统计特性,从理论上量化分析了受数据符号重叠影响部分和非重叠部分的同步训练数据的特性,在此基础上提出了一种适用的高精度符号定时估计算法。该... 针对滤波器组多载波(FBMC)系统的传统定时同步算法精度较低的问题,研究了其发送信号统计特性,从理论上量化分析了受数据符号重叠影响部分和非重叠部分的同步训练数据的特性,在此基础上提出了一种适用的高精度符号定时估计算法。该算法通过传输一串长度大于滤波器重叠因子的连续相同的训练符号,使得时域合成信号具有多重延迟冗余特性。仿真结果表明,该算法定时精度优于传统方法。 展开更多
关键词 无线通信 滤波器组多载波(FBMC) 高精度 符号定时估计
下载PDF
《岸》的叙事风格和象征意蕴
9
作者 李琳 《解放军外国语学院学报》 北大核心 2001年第5期95-97,共3页
尤·邦达列夫的长篇小说《岸》以战争、爱情、主人公的精神探索 3条线索表现人与社会、人与历史环境的关系 ,运用时序颠倒、今昔交错以及借人物内心活动反映现实的叙事方法 ,较为有效地扩展了小说文本的内在时空和阅读张力。作者以... 尤·邦达列夫的长篇小说《岸》以战争、爱情、主人公的精神探索 3条线索表现人与社会、人与历史环境的关系 ,运用时序颠倒、今昔交错以及借人物内心活动反映现实的叙事方法 ,较为有效地扩展了小说文本的内在时空和阅读张力。作者以其独特的艺术视角、匠心独运的艺术构思和一个具有深邃内蕴、极富生命感而又令人遐思的哲理命题使这部精美的作品产生了极大的审美效应。《岸》是作者对人生。 展开更多
关键词 叙事方法 象征意蕴
下载PDF
多重极小能量小波紧框架的刻画
10
作者 韩可众 《科技通报》 北大核心 2014年第2期1-4,共4页
引入多个加细函数生成的极小能量多重小波框架的概念,运用矩阵理论和傅里叶变换,给出生成极小能量多重小波紧框架的加细函数向量所满足的条件.对原加细函数向量和多重极小能量小波紧框架做正交变换,得到新的加细函数向量和与之对应的多... 引入多个加细函数生成的极小能量多重小波框架的概念,运用矩阵理论和傅里叶变换,给出生成极小能量多重小波紧框架的加细函数向量所满足的条件.对原加细函数向量和多重极小能量小波紧框架做正交变换,得到新的加细函数向量和与之对应的多重极小能量小波紧框架。 展开更多
关键词 加细函数向量 多小波紧框架 正交变换 傅立叶变换 矩阵符号 滤波器
下载PDF
基于SVG的地图符号库设计 被引量:3
11
作者 高金锋 陈笑蓉 +1 位作者 陈笑媛 陈笑筑 《贵州大学学报(自然科学版)》 2009年第1期74-76,共3页
地图符号的设计与实现是计算机地图制图领域研究的基本问题,而地图符号的共享则是WebGis研究的重要内容。把地图符号设计的基本方法与开放标准的二维矢量标记语言SVG相结合,设计了基于SVG的地图符号,提高地图符号的规范化、标准化、共... 地图符号的设计与实现是计算机地图制图领域研究的基本问题,而地图符号的共享则是WebGis研究的重要内容。把地图符号设计的基本方法与开放标准的二维矢量标记语言SVG相结合,设计了基于SVG的地图符号,提高地图符号的规范化、标准化、共享性。通过基于SVG的地理信息发布,结果证实能够满足我国地形图图式规范的符号表达要求。 展开更多
关键词 点符号 线符号 面符号 地图符号库 SVG
下载PDF
基于AutoCAD地籍图符号库设计方法的初步研究 被引量:1
12
作者 陶波 陈建龙 李洪江 《东北测绘》 2000年第2期28-29,共2页
论述利用AutoCAD中内嵌的AutoLISP语言及AutoCAD定义型、阴影的方法,提供地籍图符号库的设计方法。
关键词 AUTOCAD 地籍图 符号库 设计方法 点状符号 线状符号
下载PDF
基于训练序列的FBMC系统符号定时同步改进算法 被引量:3
13
作者 米璐 舒勤 《计算机应用研究》 CSCD 北大核心 2012年第6期2109-2111,共3页
为了提高传统滤波器组多载波(FBMC)系统符号定时同步算法的精确度,提出了一种新的基于训练序列的符号定时估计算法。该算法考虑了噪声因素对定时性能的影响,通过对训练符号重复延迟特性的分析,运用最小二乘法实现了较高精度的同步定时... 为了提高传统滤波器组多载波(FBMC)系统符号定时同步算法的精确度,提出了一种新的基于训练序列的符号定时估计算法。该算法考虑了噪声因素对定时性能的影响,通过对训练符号重复延迟特性的分析,运用最小二乘法实现了较高精度的同步定时估计。理论分析和仿真结果表明,该算法的性能优于现有算法。 展开更多
关键词 滤波器组多载波 训练序列 符号定时同步 最小二乘法
下载PDF
基于深度学习的多载波系统信道估计与检测 被引量:8
14
作者 汪周飞 袁伟娜 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2020年第4期732-738,共7页
为了提升滤波器组多载波(FBMC)系统的通信质量,针对符号检测与信道估计问题,研究系统框架和虚部干扰问题,提出基于深度学习的FBMC系统信道估计与检测方法.搭建完整的FBMC-偏移正交幅度调制(OQAM)系统与深度学习模型结合的仿真系统,设计... 为了提升滤波器组多载波(FBMC)系统的通信质量,针对符号检测与信道估计问题,研究系统框架和虚部干扰问题,提出基于深度学习的FBMC系统信道估计与检测方法.搭建完整的FBMC-偏移正交幅度调制(OQAM)系统与深度学习模型结合的仿真系统,设计接收数据的特征与标签处理;采用ResNet-DNN神经网络对信道符号检测模块建模,改进原模型网络结构和优化模型参数,和传统的分类器相比,提高了符号检测的准确性;采用CNN+NN模型对信道估计、均衡、符号检测模块进行建模和集成,理论分析和仿真结果表明,新方法的抗噪声能力、鲁棒性和误比特率(BER)性能均优于正交频分复用(OFDM)系统和基于导频估计的FBMC系统性能. 展开更多
关键词 信道估计 滤波器组多载波(FBMC) 深度学习 神经网络 符号检测
下载PDF
基于MicroStation的地图要素符号化研究 被引量:1
15
作者 樊静 郑文青 《科技情报开发与经济》 2012年第11期93-95,共3页
地图符号是地图的语言,是空间信息的载体和传输工具。论述了地图点状符号、线状符号和面状符号的符号库建库方法,通过对MicroStation的二次开发,实现了测量数据的快速符号化成图,大大提高了成图质量和作业效率。
关键词 地图要素 符号库 符号化 MicroStaion
下载PDF
用Windows的“画图”工具绘制电路图和印刷版图
16
作者 梁志星 粱静 《石家庄师范专科学校学报》 2003年第6期27-30,33,共5页
传统的手工方法绘制电路图和印刷版图,劳神费力且不规范,稍有不慎,前功尽弃。利用最常见的 Windows附件中的“画图”工具,预先建立一个“符号和网格”文档,做出的电路图形不逊色于专用绘图软件。
关键词 电路图 印刷版图 电子元件符号 计算机 WINDOWS系统
下载PDF
基于余弦调制滤波器组的OFDM系统的设计与实现 被引量:3
17
作者 邱景阳 王伟华 《内蒙古民族大学学报(自然科学版)》 2016年第1期10-14,共5页
采用余弦调制滤波器组代替传统的OFDM(Orthogonal Frequency Division Multiplexing,正交频分复用)系统中的IFFT/FFT(Inverse Fast Fourier Transform/Fast Fourier Transform,快速傅里叶变换)模块,从而实现基于余弦调制滤波器组的OFDM... 采用余弦调制滤波器组代替传统的OFDM(Orthogonal Frequency Division Multiplexing,正交频分复用)系统中的IFFT/FFT(Inverse Fast Fourier Transform/Fast Fourier Transform,快速傅里叶变换)模块,从而实现基于余弦调制滤波器组的OFDM系统.在滤波器组的设计过程中,根据原型滤波器设计的一般要求及实际通信系统中实现的快速算法考虑,采用半正弦窗作为原型滤波器.在理想信道下,信号能够完全重建.实现过程中,余弦调制滤波器组采用IV型离散余弦变换的快速算法来实现.基于matlab软件的仿真平台下,结果表明基于余弦调制滤波器组的OFDM系统与传统OFDM系统相比,误码性能与PAPR(Peak to Average Power Ratio,峰值平均功率比)性能都有了较为明显的改善. 展开更多
关键词 OFDM系统 余弦调制滤波器组 完全重建 误码率 PAPR
下载PDF
外汇储备变化的宏观经济效应——基于央行资产负债表的分析 被引量:1
18
作者 聂丽 石凯 《金融经济学研究》 CSSCI 北大核心 2019年第4期3-17,共15页
基于中央银行资产负债表,从外汇占款和国内信贷的货币供给投放渠道出发分析了外汇储备变化和货币政策对货币供应量的影响,随后构建纯粹符号约束的VAR模型就外汇储备变化的宏观经济效应进行了实证检验。结果表明,在经济繁荣期,中国采取... 基于中央银行资产负债表,从外汇占款和国内信贷的货币供给投放渠道出发分析了外汇储备变化和货币政策对货币供应量的影响,随后构建纯粹符号约束的VAR模型就外汇储备变化的宏观经济效应进行了实证检验。结果表明,在经济繁荣期,中国采取的从部分到完全再到紧缩的货币政策,有效消除了外汇储备增加引发的通胀压力;在经济紧缩期,外汇储备减少不会对当前持续低水平的通货膨胀产生显著的下拉趋势;此外,调控国内信贷的货币手段在外汇储备紧缩期更为有效,具体表现为外汇储备减少对国内信贷在短期内有正向显著影响;外汇储备减少对产出和汇率的影响不显著。建议完善外汇储备管理体制,强化货币政策的逆周期调节作用,促进国内信贷的合理适度增长。 展开更多
关键词 外汇储备 纯粹符号约束 货币政策 中央银行
下载PDF
The equilibrium between the river and the shore in Huckleberry Finn
19
作者 WU Bin 《Sino-US English Teaching》 2008年第12期54-57,共4页
关键词 小说 《Huckleberry》 河流 堤岸 符号 象征
下载PDF
改进的CMFB多载波通信系统脉冲干扰抑制方法 被引量:1
20
作者 杨静 余梦佳 李健波 《重庆邮电大学学报(自然科学版)》 CSCD 北大核心 2015年第5期583-588,共6页
利用压缩感知和预留子载波技术,提出一种改进的余弦调制滤波器组多载波通信系统的时域脉冲干扰抑制方法。不同于传统采用滤波器组多载波(filter bank multi-carrier,FBMC)脉冲干扰抑制方法:该方案可以在已知时域脉冲干扰数目的情况下,... 利用压缩感知和预留子载波技术,提出一种改进的余弦调制滤波器组多载波通信系统的时域脉冲干扰抑制方法。不同于传统采用滤波器组多载波(filter bank multi-carrier,FBMC)脉冲干扰抑制方法:该方案可以在已知时域脉冲干扰数目的情况下,对其位置与大小精确估计。接收端首先通过预留子载波上的信息进行脉冲干扰的预判,然后利用压缩感知贪婪基追踪算法估计出其他载波上的混合干扰,最后结合预判信息,在混合干扰中提取出纯净的脉冲干扰并予以消除。仿真实验对上述方法与传统干扰抑制方法进行了可靠性比较,在信噪比达到15 d B时,随着信噪比的提高,提出的干扰抑制方法能够更加有效地抑制时域脉冲干扰,极大地降低了系统的误符号率。 展开更多
关键词 压缩感知 余弦调制滤波器组(CMFB) 干扰抑制 误符号率(SER)
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部