程序验证
共 26 篇文章
程序验证 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 26 篇文章，持续更新中。
MSP430F149串口发送P1口状态给电脑
程序验证实现，P2口四位控制RS485命令发送格式，P1口有高电平时，接P3.0口的灯一直闪烁，否则不亮，同时发送给电脑显示P1口的状态
MSP430串口协议实现16b及8bOUT及16INAUTO
程序验证正确，根据继电器板编写所需程序，主要功能，
点亮D13灯，用57600波特率，8位，无校验，通过TTerm与网线与MCU串行通行命令协议如此，WR16bit，发送给mcu控制P6P4口；WO8bit，发送给MCU控制P5口；正确的命令及数据格式书写完成后，MCU会将P2P1口的状态发送给电脑显示在调试工具上书写其他命令，都会显示“wrong order”
软件安全漏洞的静态检测技术
软件安全漏洞问题日益严重，静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面：静态分析和程序验证，重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执
基于FPGA的高分辨率图像采集卡.rar
随着计算机科学和视频技术的广泛发展,数字图像采集在电子通信与信息处理领域得到了广泛的应用,例如广播电视的数字化、网络视频、监视监控系统等. 视频图像采集卡作为计算机视频应用的前端设备,承担着模拟视频信号向数字视频信号转换的任务,在多媒体时代占据着重要的位置.设计一种功能灵活,使用方便,便于嵌入到系统中的视频信号采集电路具有重要的实用意义. 本文首先介绍数字图像采集系统的发展现状和前景,提出了本次设
基于FPGA的绝对式光电编码器通信接口研究.rar
高速、高精度已经成为伺服驱动系统的发展趋势，而位置检测环节是决定伺服系统高速、高精度性能的关键环节之一。光电编码器作为伺服驱动系统中常用的检测装置，根据结构和原理的不同分为增量式和绝对式。本文从原理上对增量式光电编码器和绝对式光电编码器做了深入的分析，通过对比它们的特性，得出了绝对式光电编码器更适合高速、高精度伺服驱动系统的结论。 绝对式光电编码器精度高、位数多的特点决定其通信方式只能采取串行传输
单片机实验教学方法改革研究
<p>单片机课程在全国高校的电子类、计算机类等扮演者重要的角色,实验课程更是支撑单片机理论课程的重要过程。多数高校在单片机实验教学方法以程序验证为主,实验教学形式单一,教学效果一般。文章提出一种单片机实验教学方法改革的教学方式,打破了传统的验证性实验教学理念,重点培养学生硬件系统设计能力、动手能力、创新能力以及快速程序开发能力,以适应创新人才体系教育的需求。经过连续四年的试点验证,本教学方法效果良
基于FPGA的高分辨率图像采集卡
随着计算机科学和视频技术的广泛发展,数字图像采集在电子通信与信息处理领域得到了广泛的应用,例如广播电视的数字化、网络视频、监视监控系统等. 视频图像采集卡作为计算机视频应用的前端设备,承担着模拟视频信号向数字视频信号转换的任务,在多媒体时代占据着重要的位置.设计一种功能灵活,使用方便,便于嵌入到系统中的视频信号采集电路具有重要的实用意义. 本文首先介绍数字图像采集系统的发展现状和前景,提出了本次设
Delphi 简单的串口通讯和波形实时显示
信号采集模块，采到的数据不知道对不对，只能一个个字节看或使用同事写好的Matlab程序验证，总是不太方便，想来想去自己也要写一个，顺便学习下什么是上位机。这个东东主要在于波形显示部分。串口发送接收使用控件很简单实现。使用的是24位AD、8个通道，而且还要任意时候可以关闭和显示某个通道。将采集到的数据转化进制，并跟参考电压计算后，显示出实际采样的电压值。串口控件采用开源的ComPort3.0，图形控
DCT变换VHDL源码
实现离散余弦变换，VHDL编程，附带matlab仿真程序验证算法的可行性
属性约简是粗糙集理论中的一个重要内容,其核心任务是得到属性集的核。本文提出了一种基于二进制运算 的属性核求解算法,该算法简单直观且易于实现。我们通过设计C语言程序验证了算法的有效性。
属性约简是粗糙集理论中的一个重要内容,其核心任务是得到属性集的核。本文提出了一种基于二进制运算
的属性核求解算法,该算法简单直观且易于实现。我们通过设计C语言程序验证了算法的有效性。
本程序验证 STC12C5410AD 单片机的看门狗及其溢出时间计算公式
本程序验证 STC12C5410AD 单片机的看门狗及其溢出时间计算公式
验证哥德巴赫猜想
验证哥德巴赫猜想，通过VC++程序验证有限个数内哥德巴赫猜想成立
TMS320VC5502的FFT算法程序验证
TMS320VC5502的FFT算法程序验证，我验证过了！
是关于系统辨识的一篇论文和本人对文中所提论文方法的Matlab程序验证
是关于系统辨识的一篇论文和本人对文中所提论文方法的Matlab程序验证
本书是作者编程经验的结晶
本书是作者编程经验的结晶，由发表在杂志上的专栏文章构成，每一章内容相对独立，但都是编程过程中的有机组成部分。本书内容包括问题定义、算法、数据结构、程序验证与测试、程序优化与效率问题，以及这些技巧在排序、查找和字符串处理等方面的几个实际应用。本书每章末尾都附带有相关内容的问题，附录中给出了一些问题的提示和解答。仔细思考问题或与同事进行讨论，可以巩固所学知识，将作者的经验应用到自己的编程实践中。
本程序验证java的线程技术
本程序验证java的线程技术，对线程知识的基本运用
wcdma下行扰码和OVSF码的matlab仿真程序
wcdma下行扰码和OVSF码的matlab仿真程序，已经经过程序验证，绝对可用！
黑洞数又称陷阱数
黑洞数又称陷阱数，是类具有奇特转换特性的整数。
任何一个数字不全相同整数，经有限次“重排求差”操作，总会得某一个或一些数，这些数即为黑洞数。"重排求差"操作即组成该数得排后的最大数去重排的最小数。
印度数学家研究过四位黑洞数，得到的黑洞数为6174。用这个程序验证这一下这个黑洞数。
编写程序验证 JButton, JCheckBox, JRadioButton
编写程序验证 JButton, JCheckBox, JRadioButton
TMS320VC5502的直流电机驱动程序验证
TMS320VC5502的直流电机驱动程序验证，我验证过了！