Prolog逻辑程序的测试方法

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

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

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

熔炼钼合金的挤压加工

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

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

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

基于生态位理论的黄河流域用水结构分析

为分析和探究黄河流域用水结构的变化特征,科学支撑流域水资源合理配置与调度,保障流域可持续发展,以黄河流域为研究对象,基于生态位理论构建了用水结构生态位及其熵值模型,分析了流域及流域内主要省区用水结构演变趋势和特征,并与发达国家用水特征作比较。在此基础上提出了相关建议。结果表明:黄河流域的农业用水生态位(0.7～0.78)最大但呈现波动减少趋势,工业用水生态位(0.12～0.15)次之且变化趋势为波动且有所下降,生活用水生态位(0.06～0.08)与城镇公共及生态用水生态位(0.03～0.09)相对较少但皆有不同程度的增长趋势。各省区的生态位熵值差异较大,表明流域及各省区间用水结构差异较大。统计年间宁夏、内蒙古及山东的农业用水占有率高于全流域,陕西、山西、河南及甘肃的工业用水占有率高于全流域,各省区城镇公共及生态用水的占有率变化剧烈,陕西、山西及河南的生活用水占有率高于全流域。相较于黄河流域,美国的工业用水(0.42～0.52)在用水结构中的优势更加突出,农业用水(0.31～0.44)相对处于劣势地位;两个区域生活用水在用水结构中的地位相对其他的用水类型更为接近。     

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

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

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

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

虚拟与增强现实互动旅游系统的设计与实现——以非物质文化遗产南音为例

虚拟与增强现实技术越来越多地应用于互动旅游中,而文化遗产已经成为互动旅游的重要元素。本文以非物质文化遗产南音为例,在分析研究南音传承、发展与传播现状的基础上,提出了南音虚拟与增强现实互动旅游系统的设计思路。使用虚拟现实开发引擎Unity 3D及增强现实开发工具包Vuforia SDK,结合LBS(基于位置的服务)技术,实现了南音互动旅游系统。实验表明,该系统增加了海丝非遗文化南音观赏者的沉浸感、交互性、体验感和参与感,同时满足了广大受众在体验海丝非遗文化时进行偶遇和社交等心理需求,为海丝文化遗产的传承和发展提供了新的思路和有益的借鉴。     

填料强化A/O工艺处理小城镇污水的实验研究

通过向模拟A/O生化池中投加填料强化该工艺处理小城镇污水的处理效果。结果表明,当O段溶解氧的质量浓度控制在2~3 mg/L,温度控制在28℃,进水p H在7.2~7.8的条件下,该工艺的优化水力停留时间为8 h、污泥回流体积比为20%,模拟装置在该优化工况下运行时,对COD、NH₄⁺-N及TP的平均去除率分别为91.1%、96.3%、73.3%。为提高除磷效果,增加后置化学辅助除磷后,TP平均去除率可达86%,出水中COD、NH(4)⁺-N含量均能达到GB 18918-2002的一级A标准,TP含量能达到一级B标准,去除效果较好。     

高韧耐候改性聚甲醛性能研究

将热塑性聚氨酯(TPU)、抗氧剂、紫外光吸收剂、光稳定剂、甲醛吸收剂、润滑剂、晶核剂等助剂与聚甲醛(POM)进行共混制备了高韧耐候改性POM,分析了紫外光老化实验后POM的力学性能变化、光稳定性以及色差等。研究表明,经1000 h紫外光老化后,高韧耐候改性POM的力学性能、光稳定性及色差得到明显改善。其中拉伸强度、弯曲强度、拉伸弹性模量保持率较好,分别达到106.9%,109.1%,106.6%;缺口冲击强度及断裂伸长率保持率明显提高,分别达到75.0%和104.5%;质量损失为–0.068%,光稳定性较好;灰卡评级为4–5,色差基本没有变化,韧性和耐候性能都达到了预期效果。