分享到:

基于变换的程序设计

程序变换是取代传统的一步代码生成技术的新的程序生成技术。本文概述了程序变换的  (本文共9页) 阅读全文>>

《计算机科学》1989年02期
计算机科学

人工智能与软件工程的交叉

人工智能和钦件工程的交叉多年来一直是个十分活跃的研究领域。人工智能在软件工程上的应用至少在两个方面是令人感兴趣的。一是,人工智能对软件工程具...  (本文共8页) 阅读全文>>

安徽理工大学
安徽理工大学

基于PIC单片机的电能质量检测仪

随着科学技术和国民经济的快速发展,各种工业生产对电力系统电能质量的要求越来越高。然而,现代电力电子设备和非线性负载的大量使用又造成电能污染日趋严重,电能质量成为电力部门及其用户日益关注的问题。因此对电能质量进行检测与分析具有重要的意义。本文对电力参数测量意义和基本情况以及目前市场上测试仪器的研究现状、存在问题以及发展趋势做了深入研究,在查阅国内外电力参数检测技术的有关文献资料的基础上,通过分析、比较,提出了基于PIC单片机的电能质量检测仪的总体设计方案。本文的基本内容主要包括电能质量的五个指标的基本概念,国内外关于电能质量的标准,电能质量指标的检测方法,电能质量的分析方法,硬件系统的设计、制作与调试,具体的软件编程工作。本设计采用以PIC18F458为核心,其它芯片为辅的数模电路。在软件设计上着力遵循模块化设计原则。针对系统中较难实现的算法程序作了较为详细地说明。并提出了硬件与软件方面的抗干扰措施。论文最后对系统进行了调试与分析...  (本文共88页) 本文目录 | 阅读全文>>

电子科技大学
电子科技大学

嵌入式系统下的实时视频软件编码器的实现及其应用

论述了一种在Philips 的Nexperia PNX1300 嵌入式多媒体处理DSP 平台上,采用软件实现实时视频编码的方案。硬件方面,采用Philips DVE-2 嵌入式多媒体实验板。该实验板由Nexperia PNX1300 结合必要的外围电路所构成。软件设计方面,首先通过对现有的多种视频编器结构和算法的研究,借鉴现有的视频编码方法和算法,利用C 语言进行程序设计,在PC 机上对原始视频序列编码和解码过程进行原理验证,基本实现了在PC 机上进行视频图像序列的编码和解码。之后,将该编码软件向Nexperia PNX1300 多媒体处理DSP 平台进行移植,并在该平台下根据PNX1300 嵌入式系统的特点,对编码软件采取了大量的优化措施,大幅度提高了该编码软件在PNX1300 上的编码速度,最终实现了在该DSP平台上对采集到的视频图像序列进行实时同步编码。并在此基础上,将该编码器应用于实时远程视频监控系统的设计并获得成功。目...  (本文共68页) 本文目录 | 阅读全文>>

广西大学
广西大学

基于小波变换的嵌入式电力谐波检测系统的研究

随着非线性负荷的大量增加,电力系统中谐波成分日益复杂,严重威胁了系统及用电设备的安全运行,严重时会损坏设备,甚至引起事故,所以研制电力谐波检测系统,对于有效抑制谐波是很有意义的。本文讨论了电网谐波的产生机理,研究了几种常见的谐波分析方法,通过它们的特性及优缺点的对比,确定了本文采用的谐波分析方法—小波分析。论文接着探讨了小波函数的性质及小波变换的基本原理,着重分析了离散小波混叠的物理本质,深入研究了采用添加奇抽取环节的方法来抑制离散小波的频率混叠现象,并通过MATLAB软件仿真表明本文采用的添加奇抽取环节的离散小波算法既能精确分析信号的局部特征,也可有效消除谐波检测中的小波混叠现象,提高谐波分析的精度。在此算法的基础上,本文结合软硬件抗干扰措施,搭建了一个基于LPC2478微处理器的电力谐波检测系统,通过同步采样的方法将电网数据输入系统,在处理器中完成添加奇抽取的小波分析,实现对电网三相电压、电流的谐波检测与分析。文中重点研究了...  (本文共84页) 本文目录 | 阅读全文>>

《厦门大学学报(自然科学版)》1988年01期
厦门大学学报(自然科学版)

程序变换的若干探讨

本文试用不动点原理研究几种程序变换,讨论了一...  (本文共5页) 阅读全文>>

《计算机学报》1989年12期
计算机学报

函数式程序的分层λ抽象

本文提出应该根据函数调用形式来决定如何使用程序变...  (本文共8页) 阅读全文>>