基于TMS320LF2407A直流电机闭环调速控制系统的设计

针对某型直流电机调速系统的要求,采用TMS320LF2407A和AT89C51设计一种双核直流电机闭环调速控制系统.TMS320LF2407A采集和调节电机转速信号,AT89C51输入给定转速并显示电机转速.给出系统硬件原理框图和程序流程.试验结果表明该控制系统具有动态响应快、控制精度高、实时显示、数据存储等优点.     

基于SystemC和Verilog软硬件协同验证

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计对象进行描述和验证,提出一种软硬件协同验证方法.该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型.该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中.实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性.     

Moser扭转定理在Lagrange稳定性中的应用

本文利用Moser扭转定理证明了一类Duffing方程x″ 9(x)=e(t)的Lagrange稳定性，其中e(t)以1为周期，9：R→R具有下列性质：当x≥d0时，9(x)是超线性的；当x≤-d0时，9(x)是次线性的，其中d0是一正常数．     

双重非对称信息下旅游服务供应链中的激励机制设计

旅游服务供应链中,旅行社与导游之间的信息非对称而导致的逆向选择和道德风险问题将损害旅行社的利益,因此,如何对导游进行有效甄别与激励是旅行社所要关注的一个重要问题。以导游的服务能力和努力水平两种私有信息不被旅行社所观察到,但其服务业绩可以被观测到为基础,利用博弈论与信息经济学等理论和方法设计了导游的服务能力为连续类型下的激励机制,运用最优化原理得出了最优激励机制参数。结果表明,旅行社应对不同服务能力的导游设计一揽子形式的不同的激励机制。双重非对称信息下的激励机制不仅能对导游起到自我选择的甄别作用,还能起到诱导导游提高工作努力水平的激励作用。     

Moser扭转定理在Lgrange稳定性中的应用

本文利用Moser扭转定理证明了一类Duffing方程x″+g(x)=e(t)的Lagrange稳定性,其中e(t)以1为周期,g:R→R具有下列性质:当x≥d0时,g(x)是超线性的;当x≤-d0时,9(x)是次线性的,其中d0悬一正常数.     

基于小信号模型的Boost—PFC控制电路优化设计

在设计PFC开关电源时,除了追求高功率因数以外,良好的稳定性和动态性能也是至关重要的。在此给出平均电流控制型Boost—PFC功率电路的小信号模型,通过对双环反馈控制电路的分析,用频域法对电流控制环和电压控制环进行反馈综合。通过选择合适的补偿网络、进行合理的零极点配置,来改善电路的特性,使电路保持较好的稳定性和动态性能。在此基础上,使用最优控制理论,对补偿网络的参数进行优化设计,并通过Matlab仿真证明该优化设计可行。     

一类二阶脉冲微分方程解的渐近性态

研究得到了一类二阶脉冲微分方程,的正一切解有界或趋于零的充分条件.     

DC-BANK系统中蓄电池的充电管理

针对提高DC-BANK系统对变频器抗"晃电"现象时的供电可靠性,实现DC-BANK系统中蓄电池高效、无损、快速的充电目标,设计了基于单片机控制的三段式充电方案。该方案中单片机采样蓄电池的电流、电压和温度信号,经过处理,输出控制信号,控制三相可控硅整流,完成对蓄电池的智能充电。通过充电系统硬件电路的设计和软件的编程,采集实际应用数据,该方案可以在十个小时以内将电池充满到90%的电量,完全能够保证在需要时为变频器提供直流不间断电源的支撑。     

输入输出反馈精确线性化他励直流电动机转速控制

基于精确线性化理论,设计了他励直流电动机非线性转速控制器。从他励直流电动机数学模型出发,对系统的两个平衡点进行了研究。在此基础上,运用输入输出线性化方法,通过选择不同的输出函数,设计了两种非线性转速控制器,并研究了控制器内动态的稳定性。仿真结果表明,直接选择电机转速为输出函数设计的控制器,无法将系统控制到期望平衡点,选择转速和电枢电流线性组合为输出函数设计的非线性控制器,可以使系统稳定到期望的平衡点,实现电动机转速精确控制,且具有很好的控制精度、动态性能和抗干扰能力