子句型缺省逻辑中的分情形推理

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.     

制动摩擦材料的摩擦性能评价

目前我国虽已有测定制动摩擦材料的摩擦性能（摩擦因数、摩擦稳定性和磨损率）并定性判断是否合格的方法,但无法在合格的制动摩擦材料中定量比较哪个摩擦材料的摩擦性能更好．为此,建立了3个可用于制动摩擦材料摩擦性能的评价模型和计算方法：灰色相关度分析;模糊综合评价;可拓评价．     

现役框架结构在改扩建工程中的安全性分析

结构安全性是结构可靠性最主要的要求,对现役框架结构及时地做出安全性评定,在安全的前提下延长其使用寿命,具有一定的社会意义和经济效益。结合改扩建工程实际情况,运用理论知识分析了现役框架结构的安全性,利用有限元SAP2000对原有结构和改建结构进行模态分析,通过对影响结构安全性的指标进行对比得出改建后的框架结构比原框架结构的安全性有一定提高。     

基于ARM和FPGA的高扩展性超声检测模块设计与实现

介绍了一种以ARM和FPGA联合作为中央控制处理单元的4路超声探伤模块。给出了其整体结构方案,阐述了以4路超声模拟信号为一组的多路超声探伤模块硬件扩展的设计思路和实现方案,讨论了FPGA对高速LVDS数据的采集、处理、时序同步功能的实现,ARM与FPGA之间总线接口的实现,ARM嵌入式系统功能以及网络通信功能的实现。实际应用表明,该功能模块能达到预期的设计要求,并能方便地实现硬件扩展。     

桂林和北海旅游目的地品牌竞争力比较研究

本文在总结前人相关研究成果的基础之上,运用线性加权综合法详细测度和对比分析了广西桂林和北海两个旅游目的地品牌竞争力状况,找出桂林和北海旅游目的地品牌竞争力的影响因素,最后提出了桂林和北海旅游目的地品牌竞争力提升策略。     

压实粘性土三轴拉伸试验研究

对于岩土材料而言,在相同的压力下(应力张量第一不变量I1)的三轴拉伸强度与三轴压缩强度相比,在较低的偏应力下发生破坏,这说明岩土材料的强度明显依赖于偏应力张量第三不变量J3,而常用莫尔-库仑准则虽然能够反映在相同的压力下三轴拉伸与压缩强度的差异性,但其比值Q2与压力无关.通过三轴压缩和三轴拉伸试验,对主应力差和比值Q2随压力的变化进行了研究,结果表明:在一定压力范围内,主应力差与围压的关系为线性关系;在低围压(指使试样发生剪切破坏的最小围压),测试获得的主应力差值与摩尔-库伦公式计算值相当,但随着围压的增加,两者差值增加,且计算所得的主应力差均大于测试值;在一定范围内,比值Q2随压力(应力张量第一不变量I1)呈线性指数递减变化;同时在较低压力下,三轴拉压强度比值与利用莫尔-库仑准则计算的数值相当.     

曲条面引水渠首在阿韦滩渠首改造工程中的应用

在多沙河流上,泥沙淤积常会造成渠首引水设施的破坏,通过对阿韦滩渠首运行中发现的问题,结合当地工程实际,在原底栏栅式渠首基础上改造提出的一种新型引水渠首——曲条面引水渠首。该新型渠首利用弯道凸岸沉沙、凹岸引水的原理,对原底栏栅式引水渠首进行改扩建,在条形冲沙槽进水口前修建曲线形挡沙坎,采用曲面引水实现第一级水沙分离,凹岸表层较清的水流进入条形冲沙槽后,更清的水流入两侧的溢流槽,最终实现条形冲沙槽冲沙、溢流槽双向溢流面进水的第二级水沙分离。工程建成运行后,发现通过这两级的水沙分离过程,最终实现了其引水、排沙,水沙分离效果较好,值得推广应用。     

大化水电站扩建工程上游翼墙设计及工程处理

根据大化水电站扩建工程枢纽布置的需要,引水渠右侧、接头土石坝坡脚处设置了一段圆弧型翼墙,因基础地质较差,采取了一系列工程处理措施,经过两年多时间的运行,证明上游翼墙设计合理、工程处理合适。     

产业集群区域品牌建设路径研究

当前,产业集群已经成为一种世界性的经济现象,这些产业集群通过其”羊群效应”的释放,有效促进了地区经济的发展。而区域品牌是产业集群与市场营销发展到一定阶段完美结合的产物,无论是理论界还是企业界都比较一致的看法是,区域品牌建设是现在乃至今后区域经济发展与集群内企业做大做强的主要途径。但目前理论界的研究视角均忽视了企业品牌在创建区域品牌中的重要作用,故本文提出了”依托企业品牌建设区域品牌”的区域品牌建设路径,并阐述了该路径的优势以及实施的关键环节。     

几乎优化扩张和Gorenstein同调维数（英文）

假设R是环,S是R的几乎优化扩张环。主要研究环R和环S上的Gorenstein同调维数的关系。首先,假设M是S模,证明MR是Gorenstein投射的充分必要条件为Ms是Gorenstein投射的。其次,证明了环R的左Gorenstein维数跟环S的左Gorenstein同调维数相等。