排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器. 相似文献
2.
HPLC法测定鸡精中谷氨酸钠的含量 总被引:3,自引:0,他引:3
以邻苯二甲醛与谷氨酸钠中的氨基进行柱前在线衍生化反应,采用C18色谱柱分离、荧光检测器(激发340nm,发射450nm)进行测定,建立了柱前衍生反相高效液相色谱测定鸡精中谷氨酸钠含量的方法。该方法相对标准偏差为0.69%,加标回收率为99.1%~101%,在0.10~50.0mg/L范围内,谷氨酸钠的峰面积和浓度之间的相关系数为0.9999,保留时间和峰面积的相对标准偏差分别为1.22%和0.71%,鸡精中谷氨酸钠定量下限为0.2μg/g。 相似文献
3.
研究了25℃条件下软钾镁矾和氯化钾转化结晶硫酸钾的过程,针对不同时刻液相进行化学分析及固相鉴定;结果表明在该体系下,氯化钾溶解速率大于软钾镁矾的溶解速率;硫酸钾结晶发生迅速.采用非线性拟合计算硫酸钾结晶的量以及软钾镁矾和氯化钾溶解的量与时间的关系.结合动力学模型模拟计算得到溶解和结晶动力学方程,提出了溶解及结晶转化机理,得出在25℃条件下体系结晶和溶解均符合Stumm模型,溶解过程和结晶过程均属于表面反应控制,反应级数分别为n=1.54,n=0.38.此研究结果对工程设计、工艺优化、过程控制提供了一种新的方法和依据. 相似文献
4.
采用固相微萃取(SPME)富集生物、化学及物理(火钻)法所得沉香的挥发性成分,用气相色谱-质谱联用技术(GC-MS)分离鉴别,然后对这3种人工结香方法进行评价。研究发现沉香的挥发性成分主要由倍半萜、芳香族等化合物组成,但由于结香方法不同,其化学成分及含量有很大差别。以沉香的6种特征性有效成分苄基丙酮、对甲氧基苄基丙酮、沉香呋喃、沉香螺旋醇、苍术醇、白木香醛及其含量作为评价沉香品质的主要指标,其中火钻法所得沉香中沉香螺旋醇的相对含量最高,约为5.5%;生物结香法所得沉香的特征成分的总含量最高,为16.6%;其次为火钻法所得的沉香,约为13.6%;化学法所得沉香的特征成分总含量相对较低。结果表明生物法的结香效果最好,其次为火钻法,均优于化学法。 相似文献
5.
6.
7.
富氧空气-乙炔火焰原子吸收光谱法测定地质样品中的微量钼 总被引:10,自引:0,他引:10
本文首次提出富氧空气-乙炔火焰原子吸收光谱法测定地质样品中微量钼的方法,用正交实验方法对实验条件进行了优化选择,当观察高度为10mm、空气流量为6.0L/min、氧气流量为2.3L/min、乙炔流量为5.4L/min时,对钼的测定具有较高的灵敏度,本法中,大多数共存离子对钼的干扰较小,溶液中加入表面活性剂十二烷基硫酸钠时,具有最大的增感效应和抑制干扰的效应,方法的测定精密度为4.65%,检出限为0.039μg/mL。应用本法测定地质标准样品中的微量钼,结果令人满意。 相似文献
8.
9.
采用顶空-气相色谱法快速测定化工固体废物中16种挥发性有机物的含量。顶空加热平衡温度为80℃,顶空加热平衡时间为30min。用HP-FFAP色谱柱(30m×0.32mm,0.25μm)分离,氢火焰离子化检测器检测。16种挥发性有机物的的质量浓度在一定范围内与其对应的峰高呈线性关系,方法的检出限为0.001~0.009mg·L~(-1)。方法用于化工固体废物样品的分析,加标回收率为82.5%~115%,测定总量的相对标准偏差(n=6)为1.9%~9.1%。 相似文献
10.
采用固相微萃取-气相色谱-质谱法(SPME-GC-MS)研究了海南黄花梨木与越南黄花梨木中的挥发性成分,并对二者进行了鉴别。用电钻在黄花梨木上钻取少量粉末,采用SPME富集挥发性成分,经AB-FFAP极性毛细管气相色谱柱分离,共鉴定出20种挥发性成分,并发现了可用于鉴别海南黄花梨木与越南黄花梨木的两对特征成分:2-(1,1-二甲基乙基)-5-庚基-5-甲基-1,3-二氧戊环-4-酮与2,6,10-三甲基-7,10-环氧-2,11-十二碳二烯-6-醇、2-甲基亚丁基-环戊烷与2-(5-甲基-2-呋喃基)丙醛,并利用其相对含量的关系对海南黄花梨木与越南黄花梨木进行鉴别。该方法具有样品用量小、操作简便快速、不损害整体结构等特点,可用于黄花梨木挥发性成分的分析研究,亦适用于海南黄花梨木与越南黄花梨木的树种鉴别,在家具、工艺品及原木等的鉴别中具有广泛的应用前景。 相似文献