完整英文电子版 IEEE Std 982.1 - 2005 Dictionary of Measures of the Software Aspects of Dependability（可靠性软件方面的度量词典）。 本标准对软件可靠性方面的措施进行了规定和分类。 它是现有标准范围的扩展； 该修订版包括以下几方面的可靠性：软件的可靠性，可用性和可维护性。 本标准的适用范围是任何软件系统； 特别是，它适用于关键任务系统，其中高可靠性，可用性和可维护性至关重要。

一年级量词学习，非常全

文件中收录了必备数量词、人名、地名、国家名、身体部位及相关惯用语词组等。

并发加权mu－演算(concurrent weighted mu－calculus， CWC)是对 Kim． G． Larsen 所提出的并发加权逻辑的强有力的扩 充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。本文对 CWC 进行了研究，给出了 CWC 的语法 并阐述了 CWC 的标记加权转移语义。 μ －演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树 自动机与 CWC 之间的联系，构建了一种特定的用于 CWC 的轮替树自动机模型。一致性内插定理是 Craig 内插定理的加 强和扩展，为了探究 CWC 上的一致性内插定理，根据 Andrew M． Pitts 提出的方法，利用互模拟量词寻找一致性插值。给出 了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和 CWC 上一致性内插定理之间的关系。在此过程中 利用 ω 展开(unravelling)，由 ω 展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在 CWC 上成立。

通过使用测量引起的干扰（S Luo 2008 Phys。Rev. A 77 022301），我们提出了一种用于真正的多部分量子相关性的量化器。 建立了这种量子相关性度量与纯三位态多端口密集编码中的量子优势之间的联系。 它还用于研究四部分系统中的量子相关动力学。 发现了在某些时间窗内产生量子相关性和保持量子相关性的现象。 作为副产品，基于测量引起的干扰的一夫一妻制得分与纯三位态的广义几何测量有关。

最新完整英文版ISO/IEC Guide 99：2007 International vocabulary of metrology -- Basic and general concepts and associated terms (VIM) -国际计量词汇-基本和通用概念以及相关术语（VIM），ISO / IEC指南99：2007提供了一套英文和法文的定义和相关术语，以用于计量学中使用的基本概念和一般概念，以及用于说明它们之间关系的概念图。 在许多定义下，以示例和注释的形式给出了其他信息。

资源较丰富的词库，有大概700万个词，涉及的区域较为广阔，涉及多区域，例如：汽车，医疗等。