Linear State－Space Control Systems Robert L. Williams II Douglas A. Lawrence

这是一本详细地介绍temporal logic中的LTL的书，非常有参考价值！

Wiley::Queueing Systems, Volume 1, Theory网站上找的，共享一下。

虚拟文件系统(VFS)是由Sun microsystems公司在定义网络文件系统(NFS)时创造的。它是一种用于网络环境的分布式文件系统，是允许和操作系统使用不同的文件系统实现的接口。

路由是把信息从源穿过网络传递到目的的行为，在路上，至少遇到一个中间节点。路由通常与桥接来对比，在粗心的人看来，它们似乎完成的是同样的事。它们的主要区别在于桥接发生在OSI参考协议的第二层(链接层)，而路由发生在第三层(网络层)。这一区别使二者在传递信息的过程中使用不同的信息，从而以不同的方式来完成其任务。

An updated approach to reference frame analysis of electric machines and drive systems Since the first edition of Analysis of Electric Machinery was published, the reference frame theory that was detailed in the book has become the universally accepted approach for the analysis of both electric machines and electric drive systems. Now in its second edition, Analysis of Electric Machinery and Drive Systems presents, in one resource, the application of this theory to the analysis, simulation, and design of the complete drive system including the machine, converter, and control. Supplemented with more than 325 figures, this book also covers: Analysis of converters used in electric drive systems, as well as DC, induction, and brushless DC motor drives Detailed treatment of supervisory down to switch level converter controls Nonlinear average value modeling of converters and drive systems Operational impedances and reduced-order modeling Guidelines for computer simulation of machines and drive systems Complete with condensed, quick-reference treatments of necessary theoretical material, Analysis of Electric Machinery and Drive Systems, Second Edition is appropriate as a senior- and graduate-level text as well as an invaluable resource for electrical, mechanical, and systems engineers in the electric machinery and drives areas.

Zachman关于企业架构的论文《A framework for information systems architecture》

保证完整，目前网上找个完整的不容易（2019-06-13）; Stream Processing with Apache Flink（Flink布道者）完整书签高清pdf以及epub; 以及评价超高的Streaming Systems(谷歌大脑Tyler Akidau) ; 以及18年10月Flink技术沙

Ultra-Wideband Positioning Systems: Theoretical Limits, Ranging Algorithms, and Protocols 剑桥大学出版的关于UWB定位方法，原理的书籍，265页完全版......适合研究人、博士生等专业人士研读......

4．3多基线测向算法 利用多条基线可以消除模糊性，包括消除镜像模糊性和由相位测量引起的模 糊性。下面给出的算法不区分测向模糊性是哪一种，同时进行去模糊处理。 考虑两条不平行的基线，假定他们的长度分别为DJ和Dj，并设这两条基线 法线与十x轴的夹角分布为rp,和竹。当来波方位角为rPo时，利用两条基线分别测 出了相位差"。和y扣，反演出两基线测到的入射角主值∥。和卢，0表示为： fl,o=sin-l盟2xD,(4-12a、 tim=sin-1荔,’．万I／／j．o r4-12b) 根据相位差，由(4—8)式可确定一组方位角值识，和纪。，而实际的方位角‰一 定包含在其中，有 万 ． 纪m 2能+-ff—Sill (sinfl,舯，争 (4—13a) ％2砟+争sin弋sin办棚告) ⋯3b) 方程(4-13)给出的仅仅是基线一侧的模糊角，在基线的另一侧还有沿着该条 基线对称分布的镜像模糊角。根据(4—9)式，基线单侧模糊角数分别为m，和m，，