在自然界和工程系统中，广泛存在着时滞现象。随着人们对时滞现象的认识深化，越来越多的科学研究涉及到时滞动力系统。现有的滞后型和中立型时滞微分方程能很好描述一大类常见的时滞动力系统，故本文以滞后型和中立型时滞微分方程为研究对象。文中的时滞动力系统皆是由这两类时滞微分方程所描述的、含定常时滞的动力系统。时滞动力系统的无穷维特性使得其分析比无时滞动力系统要复杂的多。规范型理论作为研究非线性动力系统在非双曲平衡点附近局部动力学的常用工具，在应用于时滞动力系统时会涉及非常复杂的代数推导运算，耗时且极易出错。因此，本文提出一套基于规范型理论的符号算法，并通过计算机代数系统Maple实现，可用于滞后型和中立型时滞微分方程关于Hopf分叉的规范型计算。与现有的符号算法不同，该算法可同时对时滞动力系统进行中心流形降维和规范型计算，而不需要先计算得到中心流形后再对中心流形上的动力方程进行规范型计算。实现该算法的Maple程序对使用者没有关于掌握规范型理论的要求，使用者只需要提供描述系统的时滞微分方程的基本信息，该Maple程序即可提供时滞动力系统关于Hopf分叉的规范型。文中应用两种多尺度法方案（多尺度法1，多尺度法2）对时滞动力系统关于Hopf分叉的规范型进行分析，并将结果与上述Maple程序的结果进行了对比，得到以下结论：多尺度法1得到的规范型与规范型理论的结果完全一致，即为系统动力学在中心流形上投影所得到的结果。多尺度法2得到的规范型与规范型理论的结果不一致，但在分叉点附近，这两种方法的定性结果是一致的。应用多尺度法2所获得的并不是系统在中心流形上的投影，而是系统在一个不断变动流形上的投影，当时滞项是小量且分叉周期解的频率变化不大时，多尺度法2不仅能研究Hopf分叉点附近的周期解及其稳定性，还能研究系统关于分叉参数的大范围Hopf分叉行为。本文以时滞状态反馈下的van der Pol系统（滞后型时滞微分方程）以及含时滞位移反馈的集装箱起重机系统的三阶非线性模型（中立型时滞微分方程）为例，应用上述Maple程序以及多尺度法，对系统的Hopf分叉行为进行了细致分析。研究结果表明，当分叉参数远离分叉点时于，系统的分叉周期解支具有可持续性。由于起重机系统需要避免发生亚临界Hopf分叉，关Hopf分叉的分析结果对于如何选择增益及时滞大小具有指导意义。此外，为了验证理论分析结果，本文应用时滞动力系统数值分析软件（如DDE-BIFTOOL，RADAR5等）对上述算例进行了数值分析。对比研究表明，规范型理论和多尺度法是非常有效的动力学分析工具，计算规范型的Maple程序正确且有效，可以作为基础进一步发展相应的符号计算软件。