期刊文献+
共找到425篇文章
< 1 2 22 >
每页显示 20 50 100
同步数据流语言pre算子在Coq中的翻译验证
1
作者 李春燕 赵长名 +2 位作者 杨斐 马权 侯荣彬 《西华大学学报(自然科学版)》 2025年第2期87-95,共9页
文章对同步数据流语言的pre算子进行详细处理,除了将pre算子翻译至fby算子,还对pre算子在第一周期的值根据其输入参数类型的不同做了相应的初始化,解决了pre算子第一周期为空的问题。输入参数为整型和布尔型,其第一周期初始化为false,... 文章对同步数据流语言的pre算子进行详细处理,除了将pre算子翻译至fby算子,还对pre算子在第一周期的值根据其输入参数类型的不同做了相应的初始化,解决了pre算子第一周期为空的问题。输入参数为整型和布尔型,其第一周期初始化为false,浮点型初始化为浮点零;数组和结构体类型,根据其元素类型分别进行不同的初始化。由于pre算子的翻译应用场景大多在核电安全级数字化控制系统(SDCS),因此为了确保其编译的正确性及安全性,整个翻译过程在辅助定理证明器Coq完成了形式化验证。同时该翻译及验证方法在SDCS中进行试用,达到了预期的翻译效果。 展开更多
关键词 同步数据流语言 可信编译器 形式化验证
在线阅读 下载PDF
内燃机测试系统中同步数据采集的替代方法
2
作者 郝允志 林毓培 薛荣生 《小型内燃机与摩托车》 CAS 北大核心 2009年第1期59-62,共4页
提出了一种非同步数据采集方法,可用于替代目前内燃机测试系统中广泛应用的同步数据采集方法。该方法的原理是通过将曲轴转角信号作为模拟量输入数据采集卡,使采集到的数据中包含曲轴转角信息,利用信息对采集到的数据进行处理以分离出... 提出了一种非同步数据采集方法,可用于替代目前内燃机测试系统中广泛应用的同步数据采集方法。该方法的原理是通过将曲轴转角信号作为模拟量输入数据采集卡,使采集到的数据中包含曲轴转角信息,利用信息对采集到的数据进行处理以分离出各信号的同步采集数据。通过理论分析和试验验证表明:该方法用普通数据采集卡代替同步数据采集卡,降低测试系统成本;充分发挥数据采集卡的潜能,信号采集的曲轴转角间隔小,从而获得比同步数据采集方法更详细的数据信息;在数据处理上具有灵活性,可计算出任意曲轴转角处的信号值而不引入新的误差。 展开更多
关键词 内燃机测试 同步数据采集 同步数据采集
在线阅读 下载PDF
基于激光与可见光同步数据的室外场景三维重建 被引量:19
3
作者 张爱武 胡少兴 +1 位作者 孙卫东 李风亭 《电子学报》 EI CAS CSCD 北大核心 2005年第5期810-815,共6页
 本文根据TH 3DLCS 2001三维成像扫描仪可同步扫描激光与可见光数据的特点,提出了室外场景三维重建的系统方法.推导了激光与可见光采样点的配准关系,给出了每一激光采样点的RGB值;引入马氏距离,提出了基于反向投影的多机位三维数据快...  本文根据TH 3DLCS 2001三维成像扫描仪可同步扫描激光与可见光数据的特点,提出了室外场景三维重建的系统方法.推导了激光与可见光采样点的配准关系,给出了每一激光采样点的RGB值;引入马氏距离,提出了基于反向投影的多机位三维数据快速配准算法,将多机位三维数据无缝拼合在同一坐标系内;依据Hough变换和模糊子集,划分室外三维数据场为房顶、墙面、窗户、地面、树木、其他物体等6类,并给出了网格剖分方法.实验证明本文所提出的方法有效地解决了室外场景三维重建的基本问题. 展开更多
关键词 激光与可见光同步数据 配准 分割 纹理映射 三维建模
在线阅读 下载PDF
DSP多路同步数据采集板设计 被引量:13
4
作者 郑力新 周凯汀 +1 位作者 方瑞明 黄东海 《华侨大学学报(自然科学版)》 CAS 2004年第2期145-149,共5页
介绍基于DSP的同步采集与处理系统 ,分析并给出设计思想及原理框图 .该分析内容包括DSP板卡中DSP存储空间的具体配置 ,CPLD在DSP数据采集与处理系统中的逻辑控制方法 ,DSP片上串口与PC机RS2 32串行通讯的方法 ,以及DSP与虚拟仪器相结合 ... 介绍基于DSP的同步采集与处理系统 ,分析并给出设计思想及原理框图 .该分析内容包括DSP板卡中DSP存储空间的具体配置 ,CPLD在DSP数据采集与处理系统中的逻辑控制方法 ,DSP片上串口与PC机RS2 32串行通讯的方法 ,以及DSP与虚拟仪器相结合 ,采用虚拟仪器进行DSP辅助信息处理的方法 . 展开更多
关键词 DSP CPLD 同步数据采集 RS232通讯 虚拟仪器 板卡
在线阅读 下载PDF
具有同步数据采集系统的多点多波长高温计的研制 被引量:10
5
作者 戴景民 卢小冬 +2 位作者 褚载祥 康松高 范传新 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2000年第1期62-66,共5页
研制成一种新型的用于固体火箭发动机羽焰温度分布测量的棱镜分光式多点多波长高温计,高温计能够同时测量目标平面上均匀分布的6个点8个谱段的热辐射,目标平面点的空间位置由光阑透镜上的通光孔精确确定.该仪器具有高速的响应能力,配以... 研制成一种新型的用于固体火箭发动机羽焰温度分布测量的棱镜分光式多点多波长高温计,高温计能够同时测量目标平面上均匀分布的6个点8个谱段的热辐射,目标平面点的空间位置由光阑透镜上的通光孔精确确定.该仪器具有高速的响应能力,配以特别设计的同步数据采集系统,可以保证在测量对象剧烈变化时,不同谱段热辐射对应同一时刻真温. 展开更多
关键词 多点多波长 高温计 同步数据采集
在线阅读 下载PDF
基于USB2.0的高速同步数据采集系统设计 被引量:17
6
作者 周云锋 孙书鹰 王宏 《电子技术应用》 北大核心 2004年第2期16-18,共3页
介绍基于USB2.0协议、最多可四路同步采样的高速同步数据采集系统。其单通道采样速度620ksps,四通道同时采样速度可达180ksps。USB接口控制及通信芯片采用Cypress公司FX2系列中的CY7C68013,通过对其可编程接口控制逻辑的合理设计和芯片... 介绍基于USB2.0协议、最多可四路同步采样的高速同步数据采集系统。其单通道采样速度620ksps,四通道同时采样速度可达180ksps。USB接口控制及通信芯片采用Cypress公司FX2系列中的CY7C68013,通过对其可编程接口控制逻辑的合理设计和芯片内部FIFO的有效运用,实现了数据的高速连续采样。 展开更多
关键词 USB2.0协议 高速同步数据采集 系统设计 采样速度 CY7C68013 可编程控制接口 FIFO 电路原理
在线阅读 下载PDF
基于FPGA的同步数据采集处理系统的设计与实现 被引量:9
7
作者 韩西宁 许晖 焦留芳 《电子技术应用》 北大核心 2009年第1期89-91,共3页
针对目前多通道数据采集系统的局限,以EP1K50系列的FPGA为核心控制模块,AD7656为模数转化芯片实现了精度为16位、最大采集速率为250kS/s的同步模拟信号采集系统,采用Flash存储采集到的数据,且可以通过PC104总线将数据传输到上位机。给... 针对目前多通道数据采集系统的局限,以EP1K50系列的FPGA为核心控制模块,AD7656为模数转化芯片实现了精度为16位、最大采集速率为250kS/s的同步模拟信号采集系统,采用Flash存储采集到的数据,且可以通过PC104总线将数据传输到上位机。给出了系统的电路设计、关键模块逻辑图以及软件流程图。 展开更多
关键词 同步数据采集 AD7656 现场可编程门阵列 数据采集处理系统 设计
在线阅读 下载PDF
冷连轧生产过程同步数据的建立与应用 被引量:2
8
作者 陈树宗 张欣 +1 位作者 孙杰 张殿华 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2017年第2期239-243,共5页
针对冷连轧生产过程中现有的数据采集与分析系统的不足,结合某1450 mm五机架冷连轧机组仪表配置,提出了一种冷连轧机带钢段同步数据的建立方法.该方法主要包括快照数据建立和同步数据构建两个过程,可以将带钢轧制过程中实时采集的实测... 针对冷连轧生产过程中现有的数据采集与分析系统的不足,结合某1450 mm五机架冷连轧机组仪表配置,提出了一种冷连轧机带钢段同步数据的建立方法.该方法主要包括快照数据建立和同步数据构建两个过程,可以将带钢轧制过程中实时采集的实测轧制参数映射到成品钢卷的长度上,通过同步数据可以查看每卷带钢在任意长度上的轧制数据.本文所提出的带钢段同步数据的建立方法已投入到某1450 mm冷连轧机组生产中,自投入运行后控制系统运行稳定,为快速诊断生产故障、分析成品钢卷质量提供了有力的手段. 展开更多
关键词 冷连轧 数据采集 过程控制 快照数据 同步数据
在线阅读 下载PDF
基于FPGA的多通道同步数据采集存储系统 被引量:5
9
作者 张会新 吴学庆 +1 位作者 蒋绍凤 唐亮 《电子设计工程》 2009年第7期68-70,共3页
设计一种基于FPGA的多通道同步数据采集存储系统,分为多通道同步数据采集模块和数据存储模块。系统设计采用多通道数据的同步实时采集以及坏块检测技术。多通道同步数据采集模块能够实现同时测量多路相关信号,数据存储模块能够准确无误... 设计一种基于FPGA的多通道同步数据采集存储系统,分为多通道同步数据采集模块和数据存储模块。系统设计采用多通道数据的同步实时采集以及坏块检测技术。多通道同步数据采集模块能够实现同时测量多路相关信号,数据存储模块能够准确无误存储采集数据,便于后续数据分析。经实际运用,系统可满足多通道同步数据采集存储要求,其性能安全可靠。 展开更多
关键词 FPGA 多通道同步数据 采集 存储 坏块
在线阅读 下载PDF
调度感知同步数据流建模 被引量:3
10
作者 唐麒 吴尚峰 +1 位作者 施峻武 魏急波 《国防科技大学学报》 EI CAS CSCD 北大核心 2017年第2期128-133,共6页
对流应用系统进行吞吐量分析需要将周期静态顺序调度建模到数据流图中,吞吐量分析效率依赖于数据流图的规模及建模时间。为了提高吞吐量分析效率,提出基于同构同步数据流图的调度感知同步数据流模型及相应建模方法。通过利用应用模型结... 对流应用系统进行吞吐量分析需要将周期静态顺序调度建模到数据流图中,吞吐量分析效率依赖于数据流图的规模及建模时间。为了提高吞吐量分析效率,提出基于同构同步数据流图的调度感知同步数据流模型及相应建模方法。通过利用应用模型结构特征及周期静态顺序调度,可减少模型中的任务、边和初始符号数目;可以使用已有分析方法对模型进行吞吐量分析。实验结果表明,所提建模方法优于已有方法,可有效提高吞吐量分析效率。 展开更多
关键词 同步数据流图 调度感知 多处理器 状态空间
在线阅读 下载PDF
基于工频双端不同步数据的输电线路故障测距研究 被引量:1
11
作者 杨凌霄 曹娟娟 王书华 《河南理工大学学报(自然科学版)》 CAS 2009年第1期86-89,共4页
针对农网10 kV输电线路在运行中存在的单相接地、两相短路等问题,结合故障定位已有的算法,提出了一种基于双端不同步数据的故障测距方法.该算法根据故障后沿线电压的分布规律,在不要求双端数据同步时,利用线路两端故障前电压和电流相量... 针对农网10 kV输电线路在运行中存在的单相接地、两相短路等问题,结合故障定位已有的算法,提出了一种基于双端不同步数据的故障测距方法.该算法根据故障后沿线电压的分布规律,在不要求双端数据同步时,利用线路两端故障前电压和电流相量在线计算线路参数,将两端数据采样的不同步因素以不同步角的形式引入,建立了故障测距关于不同步角的方程;为了提高测距精度,采用多个点的不同步角的平均值作为不同步角差,建立了农网10 kV线路单相接地故障的仿真模型,采用双端不同步数据故障测距方法进行了故障测距.仿真计算表明,采用双端不同步算法在不同的情况下都提高了测距精度,且不受过渡电阻、系统运行方式等因素的影响. 展开更多
关键词 输电线路 故障测距 同步数据 仿真
在线阅读 下载PDF
基于SoCFPGA同步数据采集系统的设计 被引量:1
12
作者 杨志芳 胡梦蝶 +1 位作者 陈珏 王磊 《武汉工程大学学报》 CAS 2016年第6期588-593,共6页
为实现电能质量分析系统多通道数据同步采集的功能,设计一种基于SoCFPGA的同步数据采集系统,采用Altera SoCFPGA为核心硬件平台,结合ADS8364模数转换芯片构建了6通道数据同步采集系统.首先,采用软硬件协同设计方法,使用VHDL对AD转换控... 为实现电能质量分析系统多通道数据同步采集的功能,设计一种基于SoCFPGA的同步数据采集系统,采用Altera SoCFPGA为核心硬件平台,结合ADS8364模数转换芯片构建了6通道数据同步采集系统.首先,采用软硬件协同设计方法,使用VHDL对AD转换控制过程的逻辑进行描述,然后利用FFT核进行数据处理,对测试数据的幅频特性进行显示,为后续的谐波分析做准备.仿真结果表明:SoCFPGA实现了对ADS8364的控制以及512点FFT运算.系统使得数据采集硬件结构更加简单,集成化程度更高,缩短了系统开发周期,能够满足数据同步采集的实际需求. 展开更多
关键词 同步数据采集 SoCFPGA ADS8364 软件仿真
在线阅读 下载PDF
基于FPGA的6通道同步数据采集系统研究 被引量:5
13
作者 张晓琴 罗隆 《煤炭技术》 CAS 北大核心 2010年第5期38-40,共3页
以FPGA为核心控制模块,AD7656为数据采集模块,实现6通道、16位精度同步数据采集,采用Flash存储采集到的数据,通过PC104总线将数据传输到上位机。详细介绍了A/D转换电路、FPGA控制电路设计以及软件流程图。
关键词 同步数据采集 AD7656 FPGA控制
在线阅读 下载PDF
基于MAX155的同步数据采集系统 被引量:1
14
作者 磨少清 韦卫星 马明晓 《现代电子技术》 2005年第8期101-102,共2页
在电力系统信号的测量中,常需对多路信号进行同步采集,而基于常规采样芯片的数据采集模块通常存在系统复杂、体积大、非完全同步采样等不足。MAXIM公司推出的MAX15 5是一种高速、8位8输入通道的同步采样A/ D转换器,非常适合电力系统信... 在电力系统信号的测量中,常需对多路信号进行同步采集,而基于常规采样芯片的数据采集模块通常存在系统复杂、体积大、非完全同步采样等不足。MAXIM公司推出的MAX15 5是一种高速、8位8输入通道的同步采样A/ D转换器,非常适合电力系统信号同步测量的要求。详细介绍了基于MAX15 5 A/ D转换器和AT89S5 1单片机的同步数据系统的硬件和软件的设计方法。实验结果表明该系统不仅采样精度高,而且能实现完全同步采样。 展开更多
关键词 MAX155 多通道同步数据采集 电力系统 AT89S51
在线阅读 下载PDF
基于实时同步数据采集的内燃机燃烧分析系统的研制 被引量:5
15
作者 王吉华 邵华 钱定芳 《内燃机》 2002年第6期22-24,共3页
介绍了基于实时同步的内燃机数据采集系统的结构、工作原理、功能和特点。本系统采用工业控制计算机和应用软件固化运行方式,提高了系统的抗干扰和抗病毒能力;采用自行设计的硬件电路配以自己开发的软件,形成了新型的DMA技术,使内燃机... 介绍了基于实时同步的内燃机数据采集系统的结构、工作原理、功能和特点。本系统采用工业控制计算机和应用软件固化运行方式,提高了系统的抗干扰和抗病毒能力;采用自行设计的硬件电路配以自己开发的软件,形成了新型的DMA技术,使内燃机的多路参数能同时采样,提高了系统的测量精度和分析精度。 展开更多
关键词 实时同步数据采集 内燃机 燃烧分析系统 工控机 工作原理 上位机结构
在线阅读 下载PDF
AD7874─—四通道十二位同步数据采集器 被引量:2
16
作者 刘和平 周小军 《电子产品世界》 1999年第10期35-35,49,共2页
关键词 AD7874 模-数转换器 DSP 同步数据采集器
在线阅读 下载PDF
嵌入式Linux终端设备中通过USB同步数据的设计与实现
17
作者 严菊明 胡晨 胡明 《电子器件》 CAS 2004年第4期729-732,共4页
介绍了 USB的广泛应用以及在嵌入式 Linux系统中增加 USB支持的几种理论方法 ,集中在 ethernet overUSB,然后详细介绍了基于 PXA2 5 5嵌入式 linux系统中通过 USB进行数据同步的实现 ,电路设计 ,驱动中具体进行数据传输的实现 。
关键词 USB 数据 嵌入式LINUX系统 PXA255 热插拔 终端设备 主机 同步数据 传输 电路设计
在线阅读 下载PDF
基于双端不同步数据的10kV线路故障测距方法
18
作者 杨凌霄 曹娟娟 王书华 《煤矿机电》 2008年第5期77-78,80,共3页
针对农业电网10kV线路在运行中存在的单相接地、两相短路等问题,结合故障定位已有的算法,提出了一种基于双端不同步数据的故障测距方法,将两端数据采样的不同步因素以不同步角dδ的形式引入,建立了故障测距x关于dδ的方程;为了提高测距... 针对农业电网10kV线路在运行中存在的单相接地、两相短路等问题,结合故障定位已有的算法,提出了一种基于双端不同步数据的故障测距方法,将两端数据采样的不同步因素以不同步角dδ的形式引入,建立了故障测距x关于dδ的方程;为了提高测距精度,采用k个点的不同步角的平均值dδn作为不同步角差。建立了农业电网10kV线路单相接地故障的仿真模型,采用双端不同步数据故障测距方法进行了故障测距,仿真结果表明,该算法在不同的情况下都提高了测距精度,证明了此算法的有效性。 展开更多
关键词 故障测距 双端郴同步数据 MATLAB仿真 单相故障
在线阅读 下载PDF
基于DSP的16通道声发射同步数据采集电路设计 被引量:2
19
作者 冯国金 赵洪亮 +1 位作者 闫吉领 栾庆聪 《电子设计工程》 2012年第8期59-61,64,共4页
针对煤岩声发射信号监测系统的需求,采用16位定点DSP芯片TMS320VC5509A和高精度A/D转换器ADS1278设计了一种具有24位分辨率、16通道同步数据采集功能的数据采集电路。控制接口采用I2C接口扩展I/O的方式实现,数据接口采用McBSP接口以帧... 针对煤岩声发射信号监测系统的需求,采用16位定点DSP芯片TMS320VC5509A和高精度A/D转换器ADS1278设计了一种具有24位分辨率、16通道同步数据采集功能的数据采集电路。控制接口采用I2C接口扩展I/O的方式实现,数据接口采用McBSP接口以帧同步方式实现,2片ADS1278采用菊花链的方式级联。给出了硬件电路、底层软件和测试结果,该数据采集电路具有接口简单、高性能、低功耗、设置灵活等特点,已经应用于课题组研制的煤岩声发射监测系统中。 展开更多
关键词 DSP 声发射 高精度 多通道 同步数据采集
在线阅读 下载PDF
基于双端不同步数据故障测距的自校正算法
20
作者 石帅军 李勋 +1 位作者 龚庆武 付裕 《中国农村水利水电》 北大核心 2010年第9期134-136,共3页
提出了一种基于双端不同步数据的故障测距新算法。该算法利用小波变换能够检测信号奇异性的特点,分析双端采样数据,找出双端的故障开始时刻,从而计算出不同步角度,再进一步计算出故障点距离。仿真结果表明,该方法可以有效地校正两端数... 提出了一种基于双端不同步数据的故障测距新算法。该算法利用小波变换能够检测信号奇异性的特点,分析双端采样数据,找出双端的故障开始时刻,从而计算出不同步角度,再进一步计算出故障点距离。仿真结果表明,该方法可以有效地校正两端数据的不同步对于故障定位的影响,即使GPS失效时间过长,该算法都能精确定位故障点。 展开更多
关键词 故障测距 同步数据 自校正 小波变换 仿真
在线阅读 下载PDF
上一页 1 2 22 下一页 到第
使用帮助 返回顶部