一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

泰安天地广场游人行为研究

作为泰山西路登山之始的泰安天地广场,具有游客集散、市民游憩休闲、泰山文化展示等职能.利用实地观察、抽样调查问卷及访谈等研究方法,对广场游人使用状况进行了评价,并针对问题提出了相应的改进性建议.     

基于备选投票机制的低时延PBFT改进研究

针对实用拜占庭容错算法PBFT共识时延高、视图切换效率低、动态性不足等问题,提出一种基于备选投票机制的低时延共识算法IPBFT。通过增设候补集合,使系统的共识节点能够支持动态增加和减少,同时优化视图切换协议,使算法能够在只有两个阶段的情况下完成共识过程,降低系统的通信开销。在此基础上,将算法的主节点选取方式改进为投票选举机制,在节点进行共识的过程中实现主节点的选举,从而减少视图切换所需的通信次数和时延。实验结果表明,IPBFT算法较原始PBET算法具有更低的共识时延和更高的吞吐量,并且能够较好地支持节点动态的加入或退出。     

A detection problem: Sensitivity and uncertainty analysis of a land surface temperature approach to detecting dynamics of water use by groundwater-dependent vegetation

Sustainable management of groundwater-dependent vegetation (GDV) requires the accurate identification of GDVs, characterisation of their water use dynamics and an understanding of associated errors. This paper presents sensitivity and uncertainty analyses of one GDV mapping method which uses temperature differences between time-series of modelled and observed land surface temperature (LST) to detect groundwater use by vegetation in a subtropical woodland. Uncertainty in modelled LST was quantified using the Jacobian method with error variances obtained from literature. Groundwater use was inferred where modelled and observed LST were significantly different using a Student's t-test. Modelled LST was most sensitive to low-range wind speeds (<1.5 m s⁻¹), low-range vegetation height (<=0.5 m), and low-range leaf area index (<=0.5 m² m⁻²), limiting the detectability of groundwater use by vegetation under such conditions. The model-data approach was well-suited to detection of GDV because model-data errors were lowest for climatic conditions conducive to groundwater use.     

宽垄沟灌垄上覆膜条件下土壤水分运移试验研究

为研究宽垄沟灌时灌水前后且有覆膜条件下水分在垄沟间的运移及再分布,采用对比试验方法,在大棚内模拟宽垄沟灌垄上栽培条件和灌水方案,采用中子仪进行水分观测。试验数据显示,采用垄上覆膜,灌水后垄沟水分的侧向入渗,表现出明显的侧向运移变化。垄背剖面两观测点表层,在灌水后144 h（6 d）,覆膜条件下分别达到田间持水量的80%...     

绿色建筑雨水资源的利用

绿色建筑是可持续发展的产物,在节水方面,其倡导使用非传统水源和水资源的循环利用。发展绿色建筑有利于缓解水资源短缺和城市用水量不断增加的矛盾。绿色建筑的水系统及雨水资源利用技术,将绿色建筑及雨水利用结合起来,对生态和可持续发展有重要意义。     

多目标多维自反馈模糊决策模型

针对多目标的决策问题,依据模糊识别理论提出一种多目标多维自反馈模糊决策模型.首先根据给定的目标初始权重计算加权综合决策值;然后利用单指标模糊识别方法计算加权综合决策值的模糊划分;最后依据成因分析并用决策值的模糊划分,计算出目标的权重.重复上述计算过程,可得到满足精度要求的加权综合决策值及其模糊划分,根据计算结果可判定决策类别和优劣排序.炼钢企业评价决策实例表明,所提出的模糊决策模型是有效的.     

精准施药动态仿真测控系统的设计

为对精准施药进行深入研究,设计了精准施药动态仿真测控系统,测控系统由上位管理机、数控系统及多个无线信息采集终端组成;数控系统的功能是配合上位机或独自完成仿真系统的各项控制任务及实现现场信息的收集,多个无线信息采集终端形成了无线信息采集网络;该网络能对精准施药动态仿真系统中的各影响因素进行精确、同步测定,通过定义通讯协议等措施,提高了无线信息传输的准确可靠性,为便于实现数控系统与上位管理机的连接,在数控系统设计中增设了USB转换接口;现场应用结果表明,该系统运行稳定可靠,信息检测精度高且传输准确,具有较强的实用性和推广价值。     

预应力CFRP布加固混凝土大偏心受压柱试验研究

为改善被加固混凝土大偏心受压柱的受力性能,提出在柱周缠绕粘贴CFRP布、柱受拉侧粘贴CFRP布复合加固技术。设计了四根尺寸、材料与配筋均相同的混凝土大偏心受压柱,分别采用不同加固方式加固,通过静力加载试验,研究预应力CFRP布加固柱的受力性能,分析不同加固方式的加固效果。研究表明,大偏压柱在纵、横向分别粘CFRP布加固后,柱的承载力有了明显的提高,裂缝分布均匀且裂缝宽度小,延性明显提高。     

微晶化加工含钾页岩的实验研究

采用自行研制的设备WJH-1微晶化加工含钾页岩,对产品进行分时段采样,运用激光粒度分析仪、比表面积仪、SEM和XRD对其粒度分布、比表面积、形貌、成分和晶体结构进行了表征,利用等球直径分析了物料d50,d97等粒度分布的变化及图表法分析比表面积和晶格参数的变化.结果表明:d50,d97随时间呈指数下降,在前1.5h减小幅度最大,d50下降幅度达到80.07%,d97下降幅度为79.68%;比表面积先增加后降低,然后又缓慢增加;选用四次多项式对比表面积与能耗的关系进行拟合,拟合效果良好;矿物晶体发生晶格畸变,结晶度降低,加工过程具有微晶化效果.