排序方式: 共有8条查询结果,搜索用时 62 毫秒
1
1.
介绍了一种新的面向对象的形式化规范说明技术VDM++,它是VDM的一种扩充.并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明. 相似文献
2.
可视程序设计(VisualProgramming)允许用户使用图形或图表来创建和调试程序,目的在于减少人与计算机交流的障碍,改变系统的软件开发模型以解决需求分析这一瓶颈问题,它可能成为软件开发的新的有效模型,文中探讨了可视语言产生的背景,阐述了程序可视化技术的基本原理及研究现状,最后,比较详细地介绍了一个可视程序设计环境JT-VPE的设计和实现。 相似文献
3.
介绍了一种新的面向对象的形式化规范说明技术VDM++它是VDM的一种扩充,并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明。 相似文献
4.
在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 。该法已成功用于水样中汞(Ⅱ)的含量的测定。 相似文献
5.
可视程序设计(VisualProgramming)允许用户使用图形或图表来创建和调试程序,目的在于减少人与计算机交流的障碍,改变传统的软件开发模型以解决需求分析这一瓶颈问题,它可能成为软件开发的新的有效模型.文中探讨了可视语言产生的背景,阐述了程序可视化技术的基本原理及研究现状.最后,比较详细地介绍了一个可视程序设计环境JT-VPE的设计和实现. 相似文献
6.
邻二氮菲活化氯离子催化溴酸钾氧化核固红褪色光度法测定痕量氯 总被引:1,自引:0,他引:1
基于H2SO4介质和邻二氮菲存在下,Cl-能显著地催化KBrO3氧化核固红的褪色反应,因而提出了一种高灵敏邻二氮菲活化氯离子催化溴酸钾氧化核固红褪色光度法测定痕量氯的新方法.氯含量在0.40~3.2ig/L范围内与△A值符合比尔定律,工作曲线的回归方程为△A=0.09492 0.1053 CCl-(ig/L),相关系数为r=0.9996,检出限为1.1×10-10g/mL.该方法准确、灵敏、操作简便,选择性好,成功用于水样中的氯含量的测定. 相似文献
7.
化学分析的根本目的是提高分析结果的准确度,在实际化学分析中误差存在是不可避免的客观现象。本文对误差种类,分析结果的表示以及如何提高分析结果的准确度进行分析。 相似文献
8.
通过化学方法,化学技术手段等对相关物质中化学成分进行测定,即化学分析过程,其中客观存在一定误差,应引起关注。本文结合化学分析质量控制过程的“允许差”,对其相关问题进行分析与讨论。 相似文献
1