基于LSC的模型检验研究

LSC是一种表达能力很强的顺序图建模语言，模型检验技术是验证软件模型正确性的重要方法，提出了一个对LSC模型进行模型检验的方法，并实现了相关支持工具。首先分析了LSC语言，然后基于其语义提出了生成LSC等价状态模型的方法，进而对生成的状态模型进行模型检验；最后进行了实例研究，利用给出的实现工具检验了用CTL描述的验证性质。     

基于MATLAB的圆柱度误差评定方法

针对圆柱度误差评定的特点,提出了一种基于MATLAB的圆柱度误差评定方法,同时建立了符合最小条件的目标函数数学模型.通过实际测量数据计算,该方法能收敛到最优解,而且计算稳定.该方法可以推广应用到其他形状误差的评定中.     

压水堆SBLOCA事故环路水封清除现象机理与模型影响研究

环路水封清除（LSC）是压水堆冷管段小破口失水事故（SBLOCA）的典型事故特征之一。为确定LSC现象的物理模型影响,探究准确复现LSC现象的物理模型设置,从LSC现象物理机理的角度,对影响LSC的主要物理模型进行梳理和分析。结合LOBI台架SBLCOA系列实验,对LSC现象物理机理、物理模型影响进行模拟和验证。结果表明,在对影响LSC现象的物理模型进行合理设置后,RELAP5程序模型能较好地复现LOBI台架实验工况中的LSC现象,验证了LSC现象物理模型影响及模型设置的合理性。      

放化分离-液闪测量联合分析核电厂废树脂中的^(55)Fe和^(63)Ni北大核心CSCD

建立了一种核电厂放射性废离子交换树脂中^(55)Fe和^(63)Ni的联合分析方法。将废树脂样品经芬顿氧化消解后,先用氢氧化钠沉淀法沉淀^(55)Fe和^(63)Ni,再用阴离子交换树脂联合丁二酮肟沉淀对杂质离子进行分离纯化,纯化后用液体闪烁计器测量。本方法对废树脂中^(60)Co、^(65)Zn、^(54)Mn等干扰核素的去污因子均大于10^(3)。本方法对^(55)Fe和^(63)Ni的平均化学回收率分别为86%和90%,对废树脂中^(55)Fe和^(63)Ni的检测限分别为5.7 Bq/g、6.8 Bq/g。用加标样品对分析方法进行验证,预期值和测量值的偏差小于±10%。实验测得某核电厂一组一回路实际废树脂样品中^(55)Fe和^(63)Ni的平均活度浓度分别为(76.2±1.4)kBq/g和(120.0±5.1)kBq/g。     

配接MIC-80微机的液体闪烁测量系统中样品化学发光的检测及该系统程序中一些问题的考虑

一、样品化学发光的估算 与淬灭现象相反,样品化学发光在液闪测量中会导致假计数。为此,在每次建立新的样品制备方法之后都需估计该方法是否会导致化学发光,若有,还要估计它对测量结果影响的程度。已有多种检测化学发光的方法报道,但大多有各自的缺点:用不含放射性的对照样品的方法则比较费时间:用双重外标准源道比法需专门绘制一条标准曲线且在淬灭严重时检测有困难;用延迟符合的技术则需要增加电子学线路。在我们的配接了MIC-80微机的YSJ型液闪仪上,当进行化学发光检测时,仪器会自动给出样品化学发光的估算值nc。若nc=0,则可肯定样品无化学发光或者说化学发光对测量结果无影响;若nc≠0,则提示我们,该样品可能有化学发光存     

尿素14C胶囊中55Fe分析方法研究

为确保药品质量的可控性与安全性,需对尿素¹⁴C胶囊中的杂质核素⁵⁵Fe进行分析。本工作建立了尿素¹⁴C胶囊中⁵⁵Fe分析测量方法,样品经过AGMP-1阴离子交换树脂2次分离纯化后,用液体闪烁计数器（LSC）测量⁵⁵Fe的活度,同时计算了尿素¹⁴C胶囊样品中放射性杂质核素⁵⁵Fe的检测限,并对方法的专属性、耐用性和检测限进行了验证。结果表明,放射性杂质核素⁵⁵Fe的活度限值为小于等于¹⁴C活度的0.1%、干扰核素¹⁴C的去污因子大于10⁵、铁的化学回收率在57%～67%之间、测量1 h的检测限为0.4 Bq。     

PAX-2阴离子交换树脂分离测量水泥固化体浸出液中的55Fe

建立了放射性废物水泥固化体浸出液中⁵⁵Fe的分析测量方法。先用NaOH共沉淀水泥固化体中的⁵⁵Fe,再用PAX-2阴离子交换树脂分离纯化,纯化后的⁵⁵Fe用液体闪烁计数器测量。讨论了PAX-2树脂的最优纯化条件,选择了10.0 mol/L和6.0 mol/L HCl淋洗树脂去除干扰元素。此外,在上述条件下,⁵⁵Fe的干扰元素Ni、Mn、Cr的去污因子高于10 000,Co和Zn的去污因子分别可达769和629。采用一系列水泥浸出液样品标记比活度为16～39 Bq/g的标准⁵⁵Fe及空白样品进行验证,结果表明：⁵⁵Fe的平均回收率为76%±2%,测量1 h的最低探测限为0.018 Bq/g。     

高速公路通道软基低强度混凝土桩处理试验研究

在国内首次采用低强度混凝土桩复合地基加固高速公路通道深厚软土地基,解决通道地基处理中的二次开挖、桥头跳车等问题。介绍了在杭宁高速公路通道地基低强度混凝土桩处理中进行的桩土应力、桩土表面沉降、分层沉降、侧向变形等项目的现场测试成果,并以此对路堤荷载作用下低强度混凝土桩复合地基的性状及其处理效果进行分析。     

椭圆形罩LSC侵彻钢锭试验与三维数值模拟

为了获得椭圆形罩线型聚能装药(LSC)射流侵彻钢锭的特点和规律,采用实际切割试验和三维数值模拟(ANSYS/LS-DYNA)相结合的方法对椭圆形罩线性聚能装药射流侵彻钢锭过程的特点和规律进行了研究。结果表明,切割深度随炸高的增加先增加后下降,在一定炸高范围内表现出对炸高的不敏感性,最佳炸高为60 mm;随着炸高的增加,侵彻钢锭横断面形状的底部宽度从55 mm增至75 mm,中间的侵彻深度从70 mm增至84 mm,两端的侵彻深度从40 mm增至70 mm,切口剖面形状更趋于平缓;数值模拟获得的侵彻结果与切割试验获得的结果基本一致。该三维数值计算模型可以用来模拟实际的切割器,获得的切割钢锭的特点和规律能够较好地反映实际切割过程。     

Phase transitions and phase decomposition of La1−xSrxCoO3−δ in low oxygen partial pressures

High-temperature X-ray diffraction has been used to investigate the phase stability of lanthanum strontium cobalt oxide (LSC) for a range of materials with the formula La_1−xSr_xCoO_3−δ (x = 0.7, 0.4, and 0.2). The stability of LSC increases with La content in low oxygen partial pressures at high temperature. Oxygen vacancy ordering has been observed for all three compositions in either low oxygen pressure or under reducing gas, as evidenced by the formation of the brownmillerite phase. The crystal structure of the vacancy-ordered phase was determined using Rietveld analysis of synchrotron X-ray diffraction data. The decomposition products under low oxygen pressure and in reducing conditions have been identified and characterized, including the phase transition and thermal expansion of the primary decomposition products, LaSrCoO₄ and LaSrCoO_3.5.