本书的写作方式可以使工程师快速掌握System Verilog断言。第0、1和2章，可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章，读者应该能在他们的设计/验证环境中写断言。 第3、4、5和6章是不同类型的设计的“烹饪书”。读者如果在他们自己的环境里遇到类似的设计可以参考这些章节，以这些章节作为起点开始写断言。这些章节也可以作为指导。 随书附一张光盘。本书中所有例子都可以用VCS 2005.06发行版运行，也包括运行这些例子的脚本范例。VCS是Synopsys公司的注册商标。

OpenResty 是一个基于Nginx 的高性能Web 平台，能够方便地搭建处理超高并发的动态Web 应用、Web 服务和动态网关。 与现有的其他开发语言/环境相比，OpenResty 有着高性能、高灵活性、易于学习和扩展等许多优点，近年来得到了越来越多开发者的关注，也有了很多成功的应用范例，如Adobe、Dropbox、GitHub 等知名公司都基于OpenResty 构建了自己的后端业务应用。 OpenResty 自带完善的帮助文档，开发社区也很活跃，但相关的学习资料——特别是中文资料较少。《OpenResty完全开发指南：构建百万级别并发的Web应用》基于作者多年使用OpenResty 的经验，系统地阐述了OpenResty 相关的各方面知识和要点，帮助读者快速掌握这个高效易用的Web 开发平台，进而实现/S/TCP/UDP 等多种网络应用。 《OpenResty完全开发指南：构建百万级别并发的Web应用》结构严谨、详略得当，具有较强的实用性，适合

很多程序员及软件设计师都认为，用C 开发意味着放弃程序性能提升的可能。在很多人眼里，使用C 来开发那些效率至上的应用无疑将导致一场空前的浩劫。因此，在许多性能敏感型领域，诸如网络协议、操作系统内核、移动设备驱动等等，C 都常常处于被冷落的境地。 而本书正是对这种错误观念的最有力回击。本书揭示了C 开发高效应用的潜力，向广大读者展示了大量实用的C 面向对象编程技术。通过改善普遍藏匿于设计编码过程暗处的缺陷，这些技术无一不为C 的性能提升带来最为强劲的动力。 本书详细讨论了临时对象、内存管理、继承、虚函数、内联、引用计数以及STL等一切有可能提升C 效率的细节内容。最终，该书将C 性能提升的各种利器，地呈现在广大读者的面前!无论你是相关领域的从业人员，还是C 程序设计爱好者，或者是渴望突破编程瓶

复杂不确定系统的综合和设计一直是控制领域研究的重点。本书基于鲁棒预测控制的滚动优化，在线预测策略实现多约束条件的线性和非线性系统的鲁棒镇定和鲁棒跟踪，设计高效有稳定性保证的非线性预测控制器。结合基于状态空间鲁棒控制新的参数依赖型Lyapunov-Krasovskii函数、不变集约束的优化、混杂系统的分段仿射、模糊建模等技术，降低复杂系统*小*化预测控制的保守性和设计的复杂度。作者多年来致力于复杂系统鲁棒预测的算法、鲁棒稳定性、计算量等方面展开研究，本书综合作者多年研究结果，结合具体工程项目，对鲁棒预测控制的应用做出有益探索。

近些年，软件开发和界面设计逐渐融合，成为一门专门的学科。软件开发者如果能懂一点设计，不论是与设计人员沟通，还是实现产品设计，都会事半功倍。本书讲述了从产品创意直至产品原型整个过程中所涉及的设计方面的理论和方法，本着实用、有效、通用的原则，为缺乏设计背景的开发者“补课”，教他们如何攻克软件设计中的各种难关。一旦掌握了这些设计知识，你的工作内容就不限于那方小小的屏幕了，因为它们对于任何工作和职位都是有帮助的，无论是设计师、开发者、产品经理，甚至CEO。