一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

可视程序设计环境的研究——JT—VPE系统的设计与实现

可视程序设计（ＶｉｓｕａｌＰｒｏｇｒａｍｍｉｎｇ）允许用户使用图形或图表来创建和调试程序，目的在于减少人与计算机交流的障碍，改变系统的软件开发模型以解决需求分析这一瓶颈问题，它可能成为软件开发的新的有效模型，文中探讨了可视语言产生的背景，阐述了程序可视化技术的基本原理及研究现状，最后，比较详细地介绍了一个可视程序设计环境ＪＴ－ＶＰＥ的设计和实现。     

一种面向对象的形式化规范说明技术——VDM＋＋

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。     

锌镍渣中锌的测定

研究了在NaOH-H2O2介质中,Zn与Ni、Cd、Cu等大部分金属离子分离,以二甲酚橙为指圣剂,在pH 5.0～6.0用Na2EDTA滴定锌的分析方法.研究确定了最佳的试样条件,用于锌镍渣中锌(6.52%～89.68%)的测定,其相对标准偏差为(0.45%～2.20%),加标准回收率锌在(96.67%～99.87%)之间.     

ICP-AES法测定钨矿中的钨

本文通过一系列的条件试验研究,确定了试样用HCl、HNO3、HF、H3PO4高温溶样,在碱性溶液中,用NaOH溶解钨,并使之与铜等杂质形成沉淀分离,在HCl介质中加入酒石酸,用电感耦合等离子体原子发射光谱法(AES-ICP)测定钨量,方法简便快速,准确可靠,测定范围宽,适用性广,用于钨矿中钨(0.040%~60.00%)的测定。其(n=6)相对标准偏差为(2.70%~0.13%),加标准回收率,钨在(97.80%~99.97%)之间。     

聚丙烯酰胺活化过氧化氢氧化依莱铬菁R催化光度分析法测定痕量汞

在50℃、20min和pH=2.0的条件下,基于聚丙烯酰胺能活化汞(Ⅱ)催化过氧化氢氧化依莱铬菁R的显色反应,据此建立了聚丙烯酰胺活化过氧化氢氧化依莱铬菁R催化光度分析法测定痕量汞的新方法。汞(Ⅱ)的含量在:0.40~4.40μg/L范围内与△A值符合比尔定侓，其△A = 0.3494 + 0.03254CHg2+(礸/L),相关系数r=0.9994,检出限7.9?0-11g/mL 。该法已成功用于水样中汞(Ⅱ)的含量的测定。     

电感耦合等离子体原子发射光谱法应用于钼矿石物相分析

将电感耦合等离子体原子发射光谱法应用于钼矿石的物相分析,并对总钼及对不同的物相的前处理方法作了详细的叙述。选择波长为204.5 nm的谱线作为分析线。方法的检出限(3s)为0.008 mg.L-1。该方法用于3种钼矿样品中的物相分析,所得结果与比色法的测定结果相符,测定值的相对标准偏差(n=11)在0.5%~3.6%之间。     

ICP-AES测定粗银粉及银阳极板中Se、Sb等杂质元素

研究用ICP-AES同时测定粗银粉及银阳极板中Se、Sb、Te、Pb、Bi、Au、Fe、Cu和Pd杂质元素的方法.试验以酒石酸作掩蔽剂,突出解决了溶样过程中AgCl对杂质元素的吸附损失,确定了合适的分析线和折衷的仪器分析条件,9个被测元素的检出限为0.002～0.008μg/mL,相对标准偏差(n=11)为0.50%～3.6%,加标回收率为98.57%～100.5%,可用于粗银粉和银阳极板中杂质元素的测定.     

可视程序设计环境的研究──JT－VPE系统的设计与实现

可视程序设计（ＶｉｓｕａｌＰｒｏｇｒａｍｍｉｎｇ）允许用户使用图形或图表来创建和调试程序，目的在于减少人与计算机交流的障碍，改变传统的软件开发模型以解决需求分析这一瓶颈问题，它可能成为软件开发的新的有效模型．文中探讨了可视语言产生的背景，阐述了程序可视化技术的基本原理及研究现状．最后，比较详细地介绍了一个可视程序设计环境ＪＴ－ＶＰＥ的设计和实现．