【摘 要】
：
这篇论文提出一种可以将不正规算法转换为正规算法的方法,其中包括一种新的代数和列出公式的步骤。经过转换得到的正规结构只包含三种类型的子结构:‘顺序’(Sequence), ‘如果,(if)和‘当’(While),并保留原式中所有成分的转换式。 这个方法主要用于大型软件的设计和维护。 这篇论文提出一种将不正规算法转换为正规算法的新式代数和列出公式的步骤。用这种代数转换所得到的正规结构只包括三种类型的子
论文部分内容阅读
这篇论文提出一种可以将不正规算法转换为正规算法的方法,其中包括一种新的代数和列出公式的步骤。经过转换得到的正规结构只包含三种类型的子结构:‘顺序’(Sequence), ‘如果,(if)和‘当’(While),并保留原式中所有成分的转换式。 这个方法主要用于大型软件的设计和维护。 这篇论文提出一种将不正规算法转换为正规算法的新式代数和列出公式的步骤。用这种代数转换所得到的正规结构只包括三种类型的子结构:‘顺序’(Sequence),‘如果’(if)和‘当’(While)。 关于正规结构的代数巳由Ma
其他文献
本文通过实验区的地表矿物含量分析、植物体内微量元素化验,该土壤环境上生长植物光谱的野外测试,提出了该实验区的矿物指示植物,研究了用植物的特征光谱揭示被植被覆盖的地表矿物的存在,由此探索航空航天遥感的地质特征信息。
本书着重从我国实际出发,介绍我国核技术在农业上应用的新方法和新成就,同时,吸收国外核技术在农业上应用的先进方法和技术。全书共分十五章。前面八章写核技术在农业上应用的基础部分,主要介绍基本原理,基本技术和基础知识,包括核物理和放射化学基础;放射性测量技术;放射自显影技术:稳定性核
汞是重要的污染元素。它可以经过食物链进入人体,因累积效应,能引起汞中毒。因此粮食作物中微量汞的测定显得非常重要。本文测量了一批某地所产大米中的汞,为了避免制作汞标准带来的一些问题,没有采用相对比较法,而甩双标准中子活化分析法进行非破坏性分析。
本文研究了用~(238)Pu和~(241)Am同位素放射源激发的Si(Li)探测的能量色散X荧光法进行对工业废水的控制分析。 我们用二乙基二硫代氨甲酸钠(铜试剂)作沉淀剂,二价铁作载体,取样200ml进行共沉淀,用0.3μm孔径的醋酸纤维素膜过滤,空气干燥,测量30分钟,该方法对这5个元素的检出限可达0.02～0.06μg/ml。
本文介绍用~(113m)In示踪沙研究泥沙颗粒在浑水中的沉速特性,以及用~(113m)In示踪剂测量水槽内高含沙水流流速的方法。 测量试验在活动玻璃水槽内进行。水槽全长24m,高、宽均为0.4m,底部铺有间隔的2×2×2cm水泥柱。试验沙样为黄河原型沙,中值粒径d_(50)=0.42mm。测量时,槽底坡度J=1/400,TSC-1型测速仪的二个探
镭是亲骨性极毒放射性元素。在镭的同位素中~(224)Ra和~(226)Ra的子体~(220)Rn和~(222)Rn均为射气。我们利用这一特点以及二者显著的半衰期差别,用射气法在同一样品中先后测定~(220)Rn和~(222)Rn,从而确定~(224)Ra和~(26)Ra的含量。 待测样品处理成溶液后,再经硫酸铅、钡沉淀载带、EDTA-2Na溶液溶解转入100ml扩散管。将该扩散管鼓泡、赶气5分钟,
过去由于宇生放射性同位素~(10)Be(t 1/2=1.5×10~6年)极低的丰度(全球平均生成率为1.8atoms·cm~(-2)·min~(-1))及与自然水中~9Be分析有关的困难,因而不能把~(10)Be应用于地质年代测定,加速器技术的应用,使之得到改观。 铍在河流中浓度较高,已证实为几个nmol·kg~(-1)(10~(-9)M)。来自亚马逊河三个样品的值分别为1.6、1.7和1.8nm
1.CAD/CAM的现状 迄今为止,已经开发了许多CAD/CAM的系统,也许正在开发中的系统还有很多,不过大致以下述三个方面来分类: (1)专用系统和通用系统; (2)系统的构成:a大型机集中处理,b小型计算机独
本文讨论的仪器用于测量传感器附近样品的百分比含水量。测量是通过检测温、干样品之间介电常数的变化来实现的。水的介电常数(81)与混凝土或土壤的介电常数(2至5之间)相比是很高的。含水量的微小变化将大大改变混合物的介电常数。介电常数的这一变化用电容性传感器检测。然后放大、滤波、整流和检波,从而实现所要求的测量。
本文介绍了用趋势分析方法探讨4210砂岩型铀矿床的成熟度及物质来源。又用多元分析方法对该矿床鉴定资料、化学全分析及光谱半定量分析资料作了电算处理,找出各种因素间的定量关系,以便对4210矿床铀矿化富集因素进行研究。