简介：又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔·伯努利（AmirPnueli）。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。

简介：从而可以在顶层对标准单元模块及层次化模块都能优化,但是子模块的时序是在顶层对整个设计的时序分析后产生的,（2）层次化设计可以给一个模块里的设计单元一些约束

简介：研究了具有有界耦合函数的不确定复杂动态网络的脉冲同步问题．根据脉冲控制的概念和脉冲微分方程的稳定性理论，我们利用一个灵活有效的脉冲控制实现了复杂动态网络的脉冲同步．最后，通过对混沌系统做网络节点的动态网络的数字模拟，验证了我们提出的脉冲控制方案的有效性和实用性．

简介：PCIe总线在雷达系统中应用日益广泛，但FPGA内部集成的PCIe硬核数量有限，难以满足雷达并行录取多种数据的需求。为此，本文提出了一种改进的PCIeDMA数据传输方法，利用XilinxFPGA集成的单个PCIe硬核实现了多路数据在高速传输情况下的并行录取。针对实现过程中遇到的时序问题，提出了采用多级FIFO级联方法进行时序优化。依据XilinxFPGA的时钟网络特点，对时钟资源进行优化，便于日后系统的扩展和升级。

简介：应用自适应脉冲控制策略实现输出耦合复杂网络的同步.通过构造Lyapunov泛函,设计合适的自适应脉冲控器,并利用脉冲微分方程理论,建立了网络的同步准则.该准则保证了动态网络渐进同步于任意指定的网络中的单独节点的状态.数值模拟表明所得控制器的有效性.

简介：图1控制系统结构图该系统由一台主控上位机PC和一系列MARX发生器充电电源设备构成,通过一台工控PC机灵活地控制多台充电电源,通过上位机（PC）发送参数及控制命令

简介：给出了一种基于T-S模糊模型的混沌系统模糊脉冲控制方法.首先给出了基于T-S模糊模型对非线性系统精确建模的原理,得到与混沌系统等价的T-S模糊系统.然后根据建模得到的T-S模糊系统,采用模糊脉冲控制技术来实现控制.最后,以控制Ndolschi混沌系统为例,证明了这种方法的有效性.

简介：对一类具有状态反馈控制的脉冲动力系统的动力学性质进行了研究.由周期解的扰动解得到了一个Poincare映射,利用Poincare映射讨论了系统周期解的分岔,并得到了半平凡周期解和正周期-1解存在和稳定的充分条件.定性分析和数学模拟表明,半平凡周期解通过fold分岔分岔出正周期-1解,正周期-1解通过flip分岔分岔出正周期-2解,再通过一系列flip分岔通向混沌.此外,讨论了脉冲状态反馈控制的效果.

简介：首先建立了柔性悬臂梁非线性非平面运动的偏微分方程;然后运用Galerkin和多尺度方法得到平均方程,并利用规范形理论进一步将方程化简;最后用能量相位法求出多脉冲跳跃的能量函数序列.Dynamics软件数值计算表明:在系统中确实存在着由多脉冲跳跃而导致的Smale马蹄型混沌.

简介：针对一类非线性减震器,应用能量相位法研究了减震器系统在1∶0内共振,第一阶主共振情形下系统的多脉冲轨道和同宿树.首先,将系统的无量纲动力学控制方程转化为近可积哈密顿系统的标准形式.其次,研究了该系统的未扰动力学行为和扰动动力学行为,分析了耗散因子及相位漂移角对多脉冲轨道脉冲数和层半径的影响,揭示了这类非线性减震器能量从高频模态向低频模态转移的动力学机理.

简介：研究了一类具有脉冲干扰和可变时滞区间关联大系统的鲁棒指数稳定性．假设该系统的关联函数满足全局Lipschitz条件，基于矢量Lyapunov函数法和数学归纳法，给出确保该关联系统鲁棒指数稳定的充分条件．最后给出一个数值算例用以说明本文所得到结论的正确性和有效性．