概率解释与概率逻辑

对概率的解释及据此而发展起来的概率逻辑是经典逻辑的最重要的扩展之一。它在哲学、数学、认知科学、人工智能等领域有着重要的应用,一方面是这些研究领域的工具,而同时又是这些研究领域的对象。本文通过对概率的解释进行大致的分类,对由各解释发展起来的概率逻辑分别做了介绍,希望据此对概率逻辑的发展做一个梳理。     

干馏松焦油在钙基催化剂作用下的裂解燃烧特性

为提高耐火材料组分的焦油催化裂解作用,对松焦油与不同钙基催化剂添加物试样进行燃烧条件下的热重实验,并对催化剂作用下焦油的组分、着火性、稳燃及燃尽性进行分析.研究结果表明:钙基催化剂不能改善干馏松焦油的着火性,但对焦油具有良好的催化重整作用,使得干馏松焦油的燃尽特性指数由46.85×10-4 min-1迅速下降到(20.73～24.12)×10-4 min-1;燃烧生成的CO2与CaO的作用有利于促进燃烧,CaCO3则促进了焦油中重质烃成分与轻质烃成分中碳元素的交换,使焦油组分更趋一致.     

基于多孔介质模型的电厂凝汽器汽侧流动特性

针对凝汽器管束区的分形及其分布阻力特性,建立基于凝汽器管束区乏汽流动多孔隙率的多孔介质模型,并分析管束区乏汽的速度、流量及压力的变化.研究结果表明:在均匀管内换热条件下,该结构类型的凝汽器中的凝结效果主要取决于管板外边界附近的冷却管束的换热,而且上管束区域的冷凝效果比下管束区的冷凝效果差;在空冷区中,对称分布的高动压区使得流入空冷区中的乏汽转向流入凝结管束区中,一方面避免了工质直接通过排汽口排放的损失,另一方面,该动压区所处的位置以及动压随负荷发生变化,尤其是在240 MW负荷附近的工况条件下变化显著,将导致排气口带走更多的工质.     

IPv6驻地网网络流量测试系统的实现

随着Internet的快速发展,IP网络正在逐渐成为人类社会通信的基础设施．IPv6将解决IPv4存在的地址枯竭、路由表膨胀、安全性脆弱等诸多问题．本文基于SNMP协议的开源工具（SNMP-NET）,在Linux平台上构建并实现一个具有基本网络流量监测功能的管理系统．通过轮询的方式对IPv6对象节点上的MIB数据的收集,从而实现了对IPv6节点网络流量的检测功能．     

某型导弹故障诊断专家系统应用研究

某型导弹经长期使用会导致老化及损坏,使部队对武器系统的技术状态无法确定,基于此,研制开发了某型导弹故障诊断专家系统,该系统可对导弹武器系统的故障维修给出具体的方法和手段。发生武器系统故障时,利用该系统根据故障现象可迅速确定故障种类及部位,并由专家系统给出维修的方法,指导检测技术人员完成故障的排除,保证装备正常工作。     

基于“城水相融”的城市河道生态治理措施探析

城市河道是城市的“血管”,具有输送营养和维持代谢的作用。然而,随着城市化进程的快速推进,城市河道的负担日益加重,大多数河道仅仅考虑河道的疏浚功能,将其当作“泄洪渠”进行简单硬化、渠道化,破坏了河道原有的生态平衡和净化能力,出现了内河“粥样硬化、血管堵塞”等症状,生态退化及水质污染十分严重,黑臭水体随处可见,严重影响了城市的景观和品质。近年来,自然型生态河道修复理念被许多国家大力推广应用,但因自然型河道占地和投资较大,且抗蚀能力及泄洪能力相对较弱,在一些用地紧张且资金短缺的城市很难得以实施。所以,如何在最大限度节省投资及用地的前提下,构建防洪与生态功能兼顾的河道,是探讨的重点。本研究对六盘水水城河治理方案进行剖析,提出了适用于城市的经济适用型河道生态治理措施,以期为构建“城水相融”的宜居环境提供参考与借鉴。     

“化学+”多维协同育人模式构建与实践

化学是一门中心学科，对创新型国家建设意义重大.高校肩负着培养兼具社会主义核心价值观和科创能力的高质量化学专业人才的重任，但在一定程度上存在“重智育轻德育”“重科研轻教学”以及“重知识轻能力”的问题.本文作者王玉忠教授长期倡导本科创新教育、深耕教学改革，牵头创建了“化学+”多维协同育人新模式，构建了社会主义核心价值观和科创能力贯穿人才培养全过程的新体系.通过院士引领“化学+”育人模式的构建、实践及推广，探索出一条高水平化学人才培养的新途径.     

基于SBAS-InSAR和BP算法的大理市地面沉降监测及预测

针对传统差分合成孔径雷达干涉测量(differential interferometric synthetic aperture radar, D-InSAR)存在时空失相干、大气延迟的问题，选择小基线集合成孔径雷达干涉(small baseline subset interferometric synthetic aperture radar, SBAS-InSAR)技术获取高精度地表沉降信息。为了更快了解未来城市地表沉降趋势，提出一种基于SBAS-InSAR和BP神经网络算法的城市地表沉降监测及预测模型。利用SBAS-InSAR技术获取大理市2020年5月1日至2021年12月22日时间序列累计最大沉降速率，其沉降速率范围为-52.627～47.543 mm/a;选取研究区5个沉降较为严重的区域分析沉降原因；最后随机选取B沉降区内1 000个沉降点，其中300个作为学习训练样本，700个进行测试和预测分析，预测结果与监测结果相吻合，其平均绝对误差为0.255 mm,均方误差为0.129 mm。实验结果表明，提出的结合SBAS-InSAR和BP算法模型，能够有效对城市地表沉降进行监测...