基于FPGA的高速视频采集系统的设计

实时视频处理技术的飞速发展对视频采集系统的速度和质量提出了越来越高的要求。介绍了一种基于可编程逻辑器件FPGA控制器的图像采集系统,详细描述了其视频采集和解码模块、视频信号处理模块、存储与输出模块、LCD显示模块的设计。阐述了其工作原理,分析了其关键技术环节,并论述了其在FPGA硬件语言上的编程思路。实验结果表明,系统可对720×576像素的静态和动态的图像进行稳定地采集,并且能够以60帧/s的速度显示在LCD液晶屏上。     

高频无极灯电源变换器的建模和参数影响分析

为了提高无极灯逆变变换器工作的稳定性,本文对其进行建模,并进行参数影响分析。首先根据自驱动型无极灯逆变变换器工作的开关状态,对每个开关状态进行分析;然后分别建立其状态空间表达式,利用状态空间平均法建立电源变换器电路的数学模型,对模型进行平均化、直流、交流小信号处理;最后在频域内对模型参数仿真分析,得出器件参数对电源系统稳定性和工作状态的影响大小。该理论分析为后期参数优化提供依据,逆变变换器器件的最优化选型会提高无极灯逆变变换器的工作稳定性,减小功率器件的能量损耗。     

陕西煤研中心擦窗机监控系统设计与应用

介绍了陕西煤业大厦擦窗机系统的特殊性,在不影响建筑结构的前提下,确定满足整个大楼幕墙的清洁维护方案。并介绍了其监控系统的构成、工作原理及应用效果。     

����MATLAB�������޳����߹��ⲿ�ĵ�ų�ǿ��

根据毕奥-萨代尔定律以及安培环路定理,推导出积分形式的磁感应强度表达式。借助MATLAB的符号积分给出计算结果,并绘制出磁场分布的三维曲线。讨论得出磁场的分布规律为:有限长螺线管外部电磁场分布基本稳定,近轴心处强,远离轴心逐渐减小。     

��ֱ�����Գ���������������

根据直流磁性冲击法的原理,在测量磁感应强度B之前必须先对冲击常数Cα进行标定。因此,Cα的准确测量就显得尤为重要。试验测量Cα受多种因素影响,通过正交试验法确定Cα,并使用标准样品对Cα进行校正,从而实现了对饱和磁感应强度Bs的精确测量。     

反激变换器输出纹波电压分析与测量

针对反激变换器输出纹波电压比较大的缺点,分别分析了连续电流模式(CCM)、断续电流模式(DCM)的能量传输过程,并通过能量传输过程中反激变压器次级线圈电流和输出电容电压之间的关系,从根本上得出了反激变换器纹波产生的机理;对于纹波测量,总结出了三种正确的测量方法,并介绍了各种测量法的相关测量装置及相应注意事项,简述了EIAJ-RC9002A测量标准。实验测量表明,采用同轴电缆法测量纹波电压正确可行。     

UML顺序图的自动验证

UML顺序图反映了系统中并发对象之间的消息交互及顺序,在软件建模中占有重要地位。该文对UML顺序图模型的自动验证方法进行了研究,在把UML顺序图转换为Promela语言后,使用模型检验器SPIN来验证系统设计模型是否满足某些关键性质需求。为了加强该方法的适用性,采用可扩展的标记语言XML文件格式定义顺序图模型的外部表示形式,该表示方法遵从OMG的XMI标准,从而使验证过程适用于不同的UML建模环境。     

数字电路板的自动测试与仿真技术

文章描述了利用自动测试系统对数字电路板进行仿真、测试和故障维修的方法。首先介绍了基于VXI总线的自动测试系统集成技术,然后探讨如何利用数字仿真软件自动为数字电路板生成测试向量和故障字典。最后给出了一个自动测试程序集成开发环境的体系结构,可以方便地利用自动测试系统为数字电路板开发自动测试程序和故障诊断程序。     

基于AOP 的运行时验证中的冲突检测

现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.