排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
PV查斯坦福机构开发的强大的规约。验证系统,它的适用领域广泛,在概要介绍PVS的构成。功能后,着重分析了PVS的规约语言,验证系统的特点,以及使得PVS灵活,强大的设计决策和内在机制。 相似文献
2.
熔融制样-X射线荧光光谱法(XRF)测定硅铁合金样品,需重点解决样品前处理中合金样品侵蚀铂-黄坩埚的难题。硅铁样品以四硼酸锂-碳酸锂预氧化剂在石墨垫底瓷坩埚中高温预氧化熔融后,再将熔融物转移至铂-黄坩埚中,用四硼酸锂熔融制成玻璃熔片,实现了熔融制样-X射线荧光光谱法对硅铁合金中硅、磷、锰、铝、钙、铬的测定。实验讨论了预氧化熔融的熔剂体系及氧化方法、试样与熔剂的稀释比,结果表明,试样与熔剂以1∶35的稀释比,以10滴300g/L碘化钾溶液为脱模剂,在1100℃熔融30min,熔融制得的玻璃片均匀、透明、无气泡,符合测定要求。用具有浓度梯度的系列硅铁有证标准样品制作校准曲线,各待测元素校准曲线的线性相关系数均大于0.9995。方法应用于硅铁合金实际样品中硅、磷、锰、铝、钙、铬的测定, 结果的相对标准偏差(RSD,n=11)在0.1%~5.8%之间;正确度试验表明,硅铁标准样品的测定结果与认定值相符,硅铁实际样品的测定结果与国家标准方法测定值一致,能满足常规分析要求。 相似文献
3.
4.
5.
本文介绍了DL-125-6.25/1.02离心空气压缩机组在试运行过程中,发生“拍振”的振动故障特征,分析了振动故障机理及故障原因,提出排除故障办法并予以解决。 相似文献
6.
7.
软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件 需求分析自动化支撑系统NDRASS为背景,讨论字典管理系统的设计方法和实现技术。 相似文献
8.
9.
目前,气象现代化和综合气象观测业务系统迅速发展,综合观测业务正在逐步完成从过去的人工、定性观测向现在的自动化、定量观测转变。综合观测业务改革减轻了业务人员的工作量,但对业务人员的综合素质提出了更高的要求。对于旗县以下台站,尤其是像那仁宝力格气象站这样的艰苦台站,我们能否对照气象现代化建设和综合气象观测系统建设的相关要求,提出以下几点疑问:旗县以下台站综合观测业务现状是什么?对于逐步更新的现代化观测设备,职工们能否应用的得心应 相似文献
10.