反射可以直观地定义为系统通过使用自己的语言表示和操作其对象来推理自身的能力。反射的经典例子可以在哥德尔的一阶算术编码和通用图灵机中看到,但许多现代编程语言也提供了反射元编程特性[25]。重写逻辑[29]及其实现Maude[10]是反射语言,它可以表示其自身元理论的重要方面[12]。因此,在Maude中可以轻松地操作、转换和分析在Maude中指定的重写逻辑理论。在Maude的整个历史中,反射被广泛应用于特定的元语言应用、扩展和原型化语言的新特性以及设计推理Maude程序的形式化工具。重要的例子是完整 Maude [ 10 ,第二部分] 和 Maude 形式环境 [ 17 ]。前者是用 Maude 本身编写的扩展 Maude 解释器,后者允许检查 Maude 规范上的汇合和终止等属性。重写系统由连续且独立的规则应用执行,其中规则和位置的选择是不确定的。但是,出于语义或效率目的,有时限制和控制规则的应用方式很方便。这可以在更高的层次上表达,而无需修改原始系统,方法是
学校实验室使用的放射源被认为发射α和γ。描述一个可用于验证放射源发射的辐射类型的实验。所描述的实验应允许您确定辐射强度如何随空气中的距离或合适吸收体的厚度而变化。您的答案应包括:
规格如有变更,恕不另行通知 根据客户要求进行变更 (1) 额定交流电压和单位 PF=1 时的最小直流电压。最小直流电压取决于交流电压和功率因数。 (2) PCS 和负载之间需要隔离变压器。 (3) 额定功率时的 THDi (4) 50 °C 以上功率降额 (5) 2000 m 以上功率降额
国际原子能机构 (IAEA) 多年来一直积极推动无损检测 (NDT) 技术的发展。其主要原因是核设施的安全运行需要严格的质量控制标准。IAEA 已成功实施了多个区域项目,其中 NDT 是重要组成部分。这些项目包括促进拉丁美洲核科学技术的区域合作安排 (ARCAL)、亚洲和太平洋区域合作协议 (RCA)、非洲区域合作协议 (AFRA) 以及最近的西亚 NDT 区域项目。通过这些项目,成员国培训了大量人员,其中许多国家已实现该技术领域的自给自足。
版权声明 所有 IAEA 科学和技术出版物均受 1952 年(伯尔尼)通过、1972 年(巴黎)修订的《世界版权公约》条款的保护。世界知识产权组织(日内瓦)此后将版权扩展到电子和虚拟知识产权。使用 IAEA 出版物中的全部或部分文本(印刷版或电子版)必须获得许可,并且通常需签订版税协议。欢迎提出非商业性复制和翻译提案,并将逐案考虑。询问请发给国际原子能机构出版科,地址为: 国际原子能机构维也纳国际中心销售和推广出版科 邮政信箱 100 1400 维也纳,奥地利 传真:+43 1 2600 29302 电话:+43 1 2600 22417 电子邮件:sales.publications@iaea.org http://www.iaea.org/books 如需关于该出版物的更多信息,请联系: 国际原子能机构维也纳国际中心工业应用和化学科 邮政信箱 100 1400 维也纳,奥地利 电子邮件:Official.Mail@iaea.org 2 级涡流检测:IAEA-TECDOC-628/Rev. 所含教学大纲手册。 2 ‘无损检测技术培训指南’ 国际原子能机构,维也纳,2011 年 培训课程系列第 48 号 ISSN 1018-5518 © 国际原子能机构,2011 年 由国际原子能机构于奥地利印制 2011 年 2 月
摘要:2,4,6三硝基甲苯(俗称TNT)是军事和商业用途最安全、应用最广泛的高能材料之一。第二次世界大战期间,大量TNT被用于填充用于对付敌人的各种常规弹药。结果,大量无用弹药被闲置,要么通过常规处置技术处理,例如露天燃烧、露天引爆、倾倒到海中、焚烧、生物降解,要么未经适当处置就埋入地下。据报道,在处置这些无用和不需要的弹药时发生了多起事故。为了避免这种有害情况,过去全球都在努力重新利用不需要的高能材料,但在这方面仍需要付出更多努力。本研究旨在将倾析的TNT安全转化为可用于采矿、采石、水下爆破活动的商业级高能材料。为此,我们利用各种材料/成分与倾析的 TNT 合成新形成的熔融铸造商业级高能材料。我们通过热重/差热分析 (TG/DTA)、扫描电子显微镜 (SEM) 和 X 射线衍射 (XRD) 技术进一步表征了该特定样品,以识别各个方面。结果表明,新合成的样品具有清晰、致密和
《让授权安全有效;护士、助产士、联合健康专业人员和医疗支持工作者的学习资源》可在 Turas Learn 上访问( learn.nes.nhs. scot/3652/nmahp-repository/making-delegation- safe-and-effective-a-learning-resource-for-nurses- midwives-allied-health-professionals-and-health- care-support-workers ),北爱尔兰护理和助产实践和教育委员会 (NIPEC) 护理和助产任务和职责授权决策框架( nipec.hscni.net/microsites/delegation )是支持安全有效地授权或接受授权任务和职责的工具。
JufoID 名称 63015 数学和计算应用 76843 对称性 78756 物理学前沿 81052 光子学 81370 材料前沿 84490 星系 86118 天文学和空间科学前沿 87816 宇宙 88023 凝聚态物质 88264 声学 89047 物理学 89352 等离子体 90273 微 90667 原子 90976 光学 91414 纳米技术前沿 91958 振动 81369 化学前沿 90599 环境化学前沿 58652 国际分子科学杂志 63559 分子 75751 晶体 84055 凝胶 86402 化学传感器86948 无机物 88806 化学 89295 表面 91178 光化学 71359 遥感 75065 挑战 82646 气候 84003 地球科学 85031 大气 85032 海洋科学与工程杂志 85215 环境 87868 水文学 88031 第四纪 90988 地球 88777 真菌杂志 70600 昆虫 75091 多样性 75148 植物科学前沿 81171 海洋科学前沿 82645 植物