提出一种基于模糊逻辑和神经网络的专家系统,它是一种集信息表达,生成与求解为一体的新型求解系统,本系统的核心——学习推理网,网络的知识表达是分布的,可实现并行推理。不需要进行搜索和匹配

一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用

为了探究一种尽可能符合实际破坏模式的边坡三维稳定分析方法,提出了一种新的分析变形的方法.利用剩余推力法和优化原理建立边坡临界滑动场,实现危险滑动面搜寻和边坡稳定性评价;通过反分析方法,实现在给定安全系数条件下边坡坡角优化设计.编制了相应的计算分析软件,结合实际矿山工程进行具体计算,其结果符合工程实际,并对工程提出了优化设计方案

详细分析了单参数的Knothe时间函数、双参数的Sroka-Schober时间函数和Kowalski广义时间函数的优缺点及其相互关系,建立了应用Knothe时间函数进行地表动态移动变形预计的原理、无实测资料矿井时间参数的确定方法和开采单元划分的周期来压步距法.通过对不同工作面推进速度和不同时间影响系数条件下地表动态移动变形规律研究,获得了工作面稳定推进过程中回采速度、时间影响系数与地表最大动、静态变形关系的计算公式.经过1176东工作面观测资料的检验,证明了研究结果的有效性和实用性

针对冷连轧机动态变规格特性,提出了以变规格前的带钢张力设定值为控制目标的变规格机架速度控制策略.通过建立张力作用下带钢弹性变形的数学解析模型,推导计算了单步小压下变规格时变规格机架的速度控制规律,并根据流量相等原则对变规格后的冷连轧机前面机架进行速度设定.当变规格前后带钢的几何尺寸或材料特性差异较大时,提出利用楔形段方式完成动态变规格,采用上述张力控制目标策略推导计算了楔形段动态变规格方式每个中间厚度的轧制速度和辊缝设定值控制规律.本策略可将变规格造成的厚度偏差控制在变规格机架之间,同时避免了变规格机架与其他机架轧制因素通过张力的耦合,使轧制过程的动态变规格控制易于实现

以人工智能和计算机辅助设计技术为基础,锻件的计算机辅助工艺规程设计采用LISP语言,并使用人工移植方法把锻造工序中的经验用产生式规则表达.推理过程中采用了逆向推理方法.计算结果与实际吻合

一、性质命题内部结构的现代谓词分析 二、关系命题内部结构的现代谓词分析 三、一元谓词演算的自然演绎推证分析 四、二元谓词演算的自然演绎推证分析

介绍了一个模糊神经网络专家系统.研究了知识的“溶化”技术，即导入算法、无搜索快速推理、寻出算法，井对用三分法确立输入变量隶属函数及模糊规则求精作了有益的研究.用以上理论对连续推钢式加热炉进行控制，控制效果较为理想

在循环水和除盐水中进行了冷却塔酚醛环氧涂层和环氧煤焦沥青涂层试块的热水加速老化试验,测量了涂层试块在老化过程中的吸水率并观察了其形貌变化.通过分析涂层试块吸水率随吸水时间和老化时间的变化规律,研究了循环水冷却塔防腐涂层使用寿命的评价方法.发现根据冷却塔涂层试块老化过程中的吸水率-老化时间曲线拐点可推算出涂层在试验温度下的使用寿命,然后再根据范特霍夫(Vant Hoff)规则可推算出涂层在实际运行工况下的使用寿命

运用模糊信息处理方法，通过对大量的楔横轧模具设计的实际数据进行模糊处理，进而得出断面收缩率φ与成形角α、展宽角β的模糊关系.依据模糊关系，选择合理的推理方法，确定出工艺参数，解决了模具设计智能CAD中工艺参数的自动选取问题．