搜尋結果
模型检测(model checking)，是一种自动验证技术，由Clarke和Emerson以及Quelle和Sifakis提出，主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。
国际单位制（international system of units）是国际计量大会（CGPM）采纳和推荐的一种一贯单位制。在国际单位制中，将单位分成三类：基本单位、导出单位和辅助单位。7个严格定义的基本单位是： 长度 （ 米 ）、质量 （ 千克 ）、时间 （ 秒 ）、电流 （ 安培 ）、热力学温度 （ 开尔文 ）、物质的量 ...
标准差（Standard Deviation） ，数学术语，是离均差平方的算术平均数（即：方差）的算术平方根，用σ表示。标准差也被称为标准偏差，或者实验标准差，在概率统计中最常使用作为统计分布程度上的测量依据。标准差是方差的算术平方根。标准差能反映一个数据集的离散程度。平均数相同的两组数据 ...
分贝是国家选定的非国际单位制单位, 是我国法定计量单位中的级差单位，表示为dB，其定义为：“两个同类功率量或可与功率类比的量之比值的常用对数乘以10等于1时的级差” 。 同时， 在中华人民共和国法定单位的补充说明中对“可与功率类比的量” 加以了说明：“ 通常是指电流平方、电压平方 ...
理论描述. 播报. 编辑. 置信区间是一种常用的区间估计方法，所谓置信区间就是分别以统计量的置信上限和置信下限为上下界构成的区间 [2]。 对于一组给定的样本数据，其平均值为μ，标准偏差为σ，则其整体数据的平均值的100 (1-α)%置信区间为 (μ-Ζα/2σ , μ+Ζα/2σ) ，其中α为非置信水平在 正态分布 内的覆盖面积 ，Ζα/2即为对应的 标准分数 。 [1] 对于一组给定的数据，定义 为观测对象，W为所有可能的观测结果，X为实际上的观测值，那么X实际上是一个定义在 上，值域在W 上的 随机变量 。 这时，置信区间的定义是一对函数u(.) 以及v(.) ，也就是说，对于某个观测值X=，其置信区间为 。
埃米（外文名Ångstrom或ANG或Å）是晶体学、原子物理、超显微结构等常用的长度单位，音译为"埃"，符号为Å，1Å等于10-10m，即纳米的十分之一。它不是国际单位，是一个历史上习用的单位，不属于国际单位体系。
标准差可以当作 不确定性 的一种测量。 例如在物理科学中，做 重复性 测量时，测量数值集合的标准差代表这些测量的 精确度。当要决定测量值是否符合 预测值，测量值的标准差占有决定性重要角色：如果测量平均值与预测值相差太远（同时与标准差数值做比较），则认为测量值与预测值互相矛盾。
