搜尋結果
模型检测(model checking)，是一种自动验证技术，由Clarke和Emerson以及Quelle和Sifakis提出，主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。
理论描述. 播报. 置信区间是一种常用的区间估计方法，所谓置信区间就是分别以统计量的置信上限和置信下限为上下界构成的区间 [2] 。 对于一组给定的样本数据，其平均值为μ，标准偏差为σ，则其整体数据的平均值的100 (1-α)%置信区间为 (μ-Ζα/2σ , μ+Ζα/2σ) ，其中α为非置信水平在 正态分布 内的覆盖面积 ，Ζα/2即为对应的 标准分数 。 [1] 对于一组给定的数据，定义 为观测对象，W为所有可能的观测结果，X为实际上的观测值，那么X实际上是一个定义在 上，值域在W 上的 随机变量 。 这时，置信区间的定义是一对函数u(.) 以及v(.) ，也就是说，对于某个观测值X= ，其置信区间为 。 实际上，若真实值为w，那么置信水平就是概率c：
国际单位制（international system of units）是国际计量大会（CGPM）采纳和推荐的一种一贯单位制。在国际单位制中，将单位分成三类：基本单位、导出单位和辅助单位。7个严格定义的基本单位是： 长度 （ 米 ）、质量 （ 千克 ）、时间 （ 秒 ）、电流 （ 安培 ）、热力学温度 （ 开尔文 ）、物质的量 ...
μm，读作（miu），微米，长度单位。. 微米是 长度单位 ，符号 [micron]。. 微米公制中计量长度的一种单位 [1]。. 1微米的长度是1 米 的一百万分之一，是1毫米的一千分之一。. 通常用来计量微小物体的长度。. 微米技术用于界定物理特征尺寸接近1μm的体系。. 中文 ...
埃米（外文名Ångstrom或ANG或Å）是晶体学、原子物理、超显微结构等常用的长度单位，音译为"埃"，符号为Å，1Å等于10-10m，即纳米的十分之一。它不是国际单位，是一个历史上习用的单位，不属于国际单位体系。
分贝是国家选定的非国际单位制单位, 是我国法定计量单位中的级差单位，表示为dB，其定义为：“两个同类功率量或可与功率类比的量之比值的常用对数乘以10等于1时的级差” 。 同时， 在中华人民共和国法定单位的补充说明中对“可与功率类比的量” 加以了说明：“ 通常是指电流平方、电压平方 ...
约化普朗克常数，又称合理化普朗克常数，是角动量的最小衡量单位。（念做h拔或者h bar）ℏ(ћ)=h/(2π) 普朗克常数 记为 h，是一个 物理常数，用以描述 量子 大小。 在 原子物理学 与 量子力学 中占有重要的角色，马克斯·普朗克 在1900年研究物体热辐射的规律时发现，只有假定 电磁波 的发射和吸收 ...
