关于程序验证方法的讨论

一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作法是:在程序程图的每一条     

等离子体聚合正丁胺

首次在等离子体状态下将正丁胺单体聚合成聚正丁胺薄膜，这种聚合反应可在一定工艺范围内发生。由元素分析的结果发现，在聚合反应过程中有氢元素逸出，并且主要是Ｃ－Ｈ上氢元素的逸出，从而使得聚合物上Ｃ／Ｈ比增大。热稳定性和溶解性实验结果表明：聚正丁胺薄膜具有高度支化、交联的结构，性能稳定，不溶不融。红外光谱分析表明，该聚正丁胺薄膜中有胺基存在。     

法国研究改装SPOT侦察卫星

法国正在评价SPOT民用地质资源卫星的基本设计,并改装成军事侦察卫星。在法国发动机技术处管理下,SAMRO军事卫星的研究正在进行。这项工程的目的是促使政府批准发展SAMRO方案。SAMRO基于     

十六烷的分子内氧化

本文对正构十六烷进行了催化氧化及幅射氧化反应的研究。将氧化的主要产物氢化过氧化物还原,得到十六醇与具有同碳链的二元醇。通过红外光谱结构分析,进而论证了正构烷烃在氧化过程中与分支烷烃一样,同样存在过氧基内部重排的现象。     

基于神经网络的舰船雷达目标识别

通过从目标的这回波中提取特生信息，并进行适当处理来判断目标的类型已成为目标识别的一种重要方法。本文利用的神经网络对舰船雷达目标识别进行了探讨，仿真结果表明，辨识正确率较高。     

多解释系统优化地震资料解释流程

从技术应用的角度入手，详细介绍了全三维解释系统GIGAviz与DV-1 Discovery的技术特色；对多套解释系统的技术特色作了简要的对比，针对不同解释阶段的工作需要，适当运用某一解释系统的特色功能，扬长避短，提出了一套最优化解释流程。该流程能够极大地提高解释精度与解释效率。     

合理放煤工艺及放煤步距的研究

本文通过现场试验、模型实验及理论分析对缓倾斜综采放顶煤的放煤工艺及放煤步距加以研究,提出了合理的一次放出高度的概念及计算式,阐明了合理放煤工艺的确定方法和原则,给出了最佳放煤步距的计算式及合理放煤步距的确定方法。     

不同增碳剂增碳效果及对钢质量影响的研究

对攀钢传炉炼钢用作钢水增碳剂的石油焦、煅烧无烟煤的增碳效率、增碳钢水化学均匀性以及它们对钢水增疏、降温、气体及夹杂含量、钢材机械性能及高、低倍等的影响进行了试验研究。结果表明,两类增碳剂的增碳效果相当,在单耗不超过2kg/t钢的条件下对钢质量均无不利影响,用煅烧无烟煤代替沥青焦或石汕焦作钢水增碳剂完全可行。