Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立     

熔炼钼合金的挤压加工

分析了熔炼钼合金在挤压加工中的影响因素,指出在研制中设备、工艺等方面所存在的实际问题,指出目前国内可用于难熔金属加工的挤压设备老化严重,严重阻碍了熔炼钼合金的深入研究.     

文昌A凹陷油气成藏特征与分布规律探讨

文昌A凹陷位于珠江口盆地西部,是一个发育文昌组和恩平组两套湖相烃源岩复合成藏的油气区。根据特征生物标志化合物与碳同位素组成的油岩对比结果,可将文昌A凹陷发现的原油划分为两类,即文昌Ⅱ型和恩平型,前者来自文昌组浅湖相烃源岩,后者源于恩平组湖相烃源岩;天然气主要源于恩平组烃源岩,也可能有文昌组烃源岩凝析气或裂解气的贡献。文昌A凹陷油气两期成藏,早期成油,晚期聚气及轻质油,其油气分布主要受烃源岩有机相、热演化程度和运移分馏作用等因素的控制,凹陷中部以气为主,凹陷边缘气油共存,而凸起上以油为主。     

混合催化剂合成水性环氧丙烯酸酯的研究

通过环氧丙烯酸树脂和双羟基化合物反应,获得具有亲水性链段的水性环氧丙烯酸酯。研究了催化剂用量和反应温度对转化率的影响,确定了以混合催化剂的最佳反应条件。采用FT-IR红外光谱对所合成的数值进行了表征,实验结果表明可以获得目的产物。     

HBV模型在逊毕拉河流域的适用性研究

流域水文模型是水资源评价和管理的重要工具之一,以我国北方的逊毕拉河流域为研究对象,评估了HBV模型在不同资料条件下的区域适用性。结果表明:HBV模型对逊毕拉河流域模拟效果总体较好,Nash系数多在0.6以上;雨量资料的质量对水文模拟效果具有较大的影响,在雨量资料较为充分的条件下模拟效果更好,Nash效率系数超过0.8(吴家堡站);HBV可以较好地适用于资料较好的我国北方寒冷地区进行环境变化影响评估等方面的研究。     

制备方式对MoRe合金组织性能的影响

通过粉冶和熔炼2种制备方式分别制取了Φ3 mm、Φ0.1 mm的丝及0.03 mm×0.3 mm×1 mm的窄带,对不同加工阶段的样品进行了金相观察、扫描电镜分析、及拉伸性能、弹性模量测试等.比较了2种制备方式的显微组织和力学性能,为工程应用选材提供了依据.     

减振降噪阻尼材料及其应用

介绍国内外减振材料的发展概况、着重阐述自行研制的S2复合阻尼钢板的各种性能及在多种结构上的抑振降噪效果，并对S2复合阻尼钢板的抑振降噪机理进行了初步的探讨。实践证明，S2复合阻尼钢板是一种抑振降噪的有效材料。     

高光谱遥感反演土壤重金属含量研究进展

土壤重金属污染是当今重要的世界性环境问题之一。如何快速高效地获取土壤重金属含量及分布信息是进行污染风险评价及预测研究的前提。高光谱遥感具有无损、实时获取信息的优势,利用高光谱技术反演土壤重金属含量仍处于探讨阶段,对其反演机理和建模方法的研究成果进行了介绍和分析。认为充分研究不同类型土壤对重金属的吸附特性,是深入理解重金属含量反演机理的基础。加强不同土壤类型、不同污染程度的案例对比分析,发展光谱信号处理方法,引入非线性建模算法,构建重金属形态量反演模型,是土壤重金属含量遥感估算研究的重要研究方向。     

组播技术在双网应用中的实现

在Windows环境下通过一个基于组播技术的双网应用实例,介绍了组播技术在双网应用中的编程方法,包括数据发送、数据接收和数据处理等,为多网组播技术的应用提供了一个详实的参考。