它由时序逻辑语言(temporal logic language,简称TLL)XYZ/E和以该语言为基础的一组软件工程工具组成。
互联网摘选
学习判断的准确性受到诸多因素的影响,近来还发现受到练习伴随低估现象的影响(简称UWP效应)。
互联网摘选
为了解决这些毕业设计质量管理方面的问题,本文设计并开发了毕业设计质量管理平台(以下简称质量管理平台)。
互联网摘选
Aim To research the structural ore-controlling rules in Mouru gold ore belt, Shandong.
目的研究山东牟平—乳山(以下简称牟乳)金矿带构造控矿规律.
互联网摘选
目的探讨医学生学习《实用护理技术》(简称《护技》)课的必要性。
互联网摘选
前言:“对象属性值三元组法”(简称OAV法)是知识工程中的一种知识表达方法,可用来描述任何一种知识单元或事实。
互联网摘选
目的:探讨将基质金属蛋白酶-7(MMP-7)、血管内皮生长因子-D(VEGF-D)和KAI1进行联合检测(简称MVK)在胰腺癌预后判断中的价值。
互联网摘选
MHK is the shortened form of the Chinese Proficiency Test for Minorities in China.
MHK是中国少数民族汉语水平等级考试的简称。
互联网摘选
道德判断测验(Moral Judgment Test,简称MJT)是由德国康士坦茨大学乔治·林德教授(Georg·Lind)在1976年编制的,用以测量个体的道德判断能力。
互联网摘选
目的研究白血病抑制因子(LIF)和神经激肽受体(NKR)在支气管哮喘(简称哮喘)中的表达并分析两者的相关性,以探讨LIF与哮喘神经源性气道炎症的关系。
互联网摘选
描述了一种新的机动目标非线性跟踪算法(简称NLF算法),提出了合理了机动似然函数,导出了机动概率估值方程。
互联网摘选
This paper will discuss the second scheme ( name as LHL threshold signature scheme or LHL scheme).
本文讨论的是后一方案(以下简称为LHL门限群签名方案或LHL方案)[1]。
互联网摘选
破前漏(简称LBB)是压力容器、核电站设备结构设计与评价中的一个重要准则。
互联网摘选
介绍了Z-18催化分子筛抗焦活化剂在苏丹喀土穆炼油有限公司重油催化裂化装置(简称KRC)上的工业应用。
互联网摘选
KnC是悬架运动学及弹性运动学的简称,综合体现了悬架的稳态特性。
互联网摘选
To unify the fatigue evaluation flow, IACS weaved a new regulation called JTP.
为了统一疲劳强度评估流程,IACS编制了《双壳油船结构统一规范》,简称(JTP)。
互联网摘选
首先阐述了双壳油船共同结构规范(以下简称“JTP”)建立的背景,技术发展的特点和路径,以及实施进程。
互联网摘选
