本书介绍了多端直流输电系统的构成、应用场合；通过目前世界范围内的多端直流输电实际工程，介绍了相关的运行经验；综述了多端直流输电系统中的关键问题；通过理论分析结合仿真手段，对多端直流输电的运行及控制方式、故障分析、运行特性进行深入阐述；介绍了新型多端直流输电技术；最后对目前实际运行的多端直流输电系统进行了介绍，并展望了未来我国对多端直流输电的技术需求。
本书以函数式编程语言F#基础知识为主要内容，详细介绍利用F#解决DFA，NFA、E-NFA的描述和互相转化问题，DFA、正则表达式和正则表达式、E-NFA之间的转化问题，下推自动机的瞬时描述问题，对确定性图灵机也做了相关的描述和模拟。
