缩写	全称	中文释义
DMBL	Deterministic Modal Bayesian Logic	确定性模态贝叶斯逻辑
EMPT	Early Mathematics Placement Testing	早期数学位置测试
PSN	Preservation of Strong Normalization	保持强标准化
DLI	Display List of Integrals	显示积分列表
SCR	Simultaneous Confidence Regions	同时置信区域
MLD	Mixed Logical Dynamics	混合逻辑动力学
3KM	3 Killometers	3千分仪
MRF	Markov Random Field	马尔可夫随机场
INT	Integer (Whole Number)	整数（整数）
VV&A	Verification, Validation and Accreditation	验证、确认和认可