析取推理中的前提语义加工

本研究运用三种不同情境内容的可兼析取和不可兼析取共6种大前提,加上肯定和否定两种形式的小前提,构成12个演绎推理题,对103名大学生进行了测试,以检验Johson-Laird(1992)提出的演绎推理的新模式理论.结果证明,大学生的推理并不符合新模式理论的预测.本研究就被试在演绎推理中如何对前提进行语义加工的问题进行了讨论.     

裁判推理的四种有效模式——以否定式裁判推理为中心

当前的主流理论把裁判推理的有效模式刻画为一个充分条件假言推理,其缺陷在于忽视了法律规定的多样性和事实不明的可能性,特别是不能说明否定式裁判推理之有效性。重建裁判推理的有效模式,须以整体适用的思维反映裁判推理的实际,将所有那些或明或暗地起着实际作用的法律规范都纳入大前提之中,并且注意证明责任对裁判的特殊影响。由此,可以确立以充要条件假言规范命题为大前提的四种裁判推理有效模式。     

格值自动机的产生式推理建模方法

针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式推理模型;其次,给出模型的规则间逻辑正确性验证方法,以及模型随规则库更新而更新的方法;最后,用实例验证建模方法的正确性.结果表明:该方法可以充当专家系统的辅助决策系统,具有较好的现实意义和实用价值.     

文化翻译关联观初探

翻译实质上是一种跨语言、跨文化的交际行为.关联理论认为,这种交际行为是一个明示-推理的过程,也要遵守交际的一般原则即关联原则.因此,翻译过程实际上是寻找最佳关联的推理过程.文章阐释了关联翻译理论的主要观点,并从该理论对英汉互译中文化因素处理的指导作用进行了初步的探讨.     

基于因素神经网络的软件工程质量评价

基于模糊理论及因素神经网络的优点,提出了一种软件工程质量评价模型.该模型具有推理过程清晰,应用性好等特点.应用该模型进行软件工程质量评价,不但可以反映定量因素对软件工程质量的影响,而且对非定量因素的影响也可作出全面的评价,从而为建立一个精确的软件工程质量评价体系提供了一条新途径.     

基于CCCII的电流模式全通滤波器结构的设计

提出了一种用CCCII实现的有高输出阻抗的电流模式全通滤波器,该电路仅使用2个CCCII模块,通过选取4个不同的电阻或电容可构成8种不同的全通滤波器,且阻抗匹配、增益可调,PSPICE仿真结果验证了理论分析的正确性.     

"电商直播+助农"模式下消费者农产品购买意愿影响因素研究

"三农"问题与国家现代化建设全局休戚与共,"电商直播+助农"是一种基于数字技术和网购环境衍生的扶贫新模式.该文构建了助农直播的闭环模式,补充了现有的助农直播理论和案例分析研究,对418份有效问卷进行定量研究,得出了助农直播模式下消费者农产品购买意愿影响因素模型,并提出了借助直播提升人们关注度和购买意愿的基本思路.     

案例推理研究综述

基于案例推理是人工智能领域一项重要的推理方法,是近年来发展迅速且应用广泛的一个推理模式.详细论述了基于案例推理的原理、理论研究发展及其应用,最后对CBR今后的发展趋势做出概括.     

压电智能梁力电耦合位移电势分析

研究压电智能梁结构力电耦合位移电势分析的新理论新方法.首先采用智能样条有限点法,从位移模式出发,以智能本构关系、瞬时变分原理以及样条离散化为基础建立了压电智能梁力电耦合性能分析的计算模式.其次与经典理论解和通用有限元软件ANSYS的结果进行比较说明了本文研究方法的正确性和合理性.然后针对不同边界情况和不同荷载形式进行分析,最后用大量图表显示了本文研究结果.     

基于黑板结构的目标级推理——一种适用于机械设计专家系统的模式

本文介绍利用人工智能技术,并结合机械设计的特点构造了一种基于黑板结构的目标级推理模式.用黑板结构描述任务求解状态,每一个任务完成一定的功能,并根据当前黑板状态确定下一步应执行的任务.黑板结构的任务规划模式用框架来表示.框架结构中记录了该任务采用的控制策略,知识源和控制方向等信息,保证了控制推理的灵活性.本文还描述了基于黑板结构的目标级推理在装载机工作装置设计专家系统中的应用.     

循环变温快速渗碳法

本文在传统的碳传质和扩散理论基础上提出了一种新的渗碳工艺方法—循环变温快速渗碳法,并从理论和实践上验证了该工艺的正确性和可靠性.在研究中作者还找出了渗碳过程中炉内某些影响渗碳速度因素随温度变化的规律,并绘成示意图,即T—CP,β,D关系图.     

遗传算法在立体图象匹配中的应用

基于传统立体图象匹配技术,提出了一种新的使用遗传算法的特征匹配方法．实验中,采用了两种特征提取算法,以适应不同图象要求．实验用图包括自然景物图和人工合成图．此外,用ＢｒａｎｃｈＡｎｄＢｏｕｎｄ算法得出比较结果．实验结果表明,遗传算法有好的匹配正确率和收敛速度,具有鲁棒性,适合立体图象匹配．     

高级语言间转换理论初步

本文在比较成熟的形式语言理论(特别是指称语义)的基础上,提出了程序设计语言间转换的初步理论,其中包括:不同语言语法域间的等价性;不同语言的终结符、非终结符之间的等于性、一致等于性和依赖等于性等概念和性质;以及在语言转换语法分析中的语义等价归约和推导的概念、性质;最后按上述理论,给出了高级语言问转换的理论算法及其正确性的证明.     

基于最大输出电流的智能太阳能电源管理电路

为实现跟踪太阳能电池板的最大功率点, 提出一种基于直流鄄直流(DC/ DC: Direct Current-Direct Current)变换器最大输出电流的方法, 并将模糊逻辑控制理论应用于太阳能电源管理电路进行智能化充放电管理。 建立了 DC/ DC 变换器数学模型, 理论证明了基于最大输出电流跟踪太阳能电池板的最大功率点的可行性。 模型采用 STM8L151K4T6 单片机控制 Sepic 变换器电路实现了对 3 W 的小功率太阳能电池板的最大功率点跟踪, 对储能元件蓄电池的恒流恒压充电控制以及过充和过放保护进行控制。 实验结果验证了该设计的合理性和有效性, 实现了太阳能电源管理电路的最优控制。     

能独立调频调能液压冲击器的研究

在理论研究的基础上分析了国内外液压冲击器的技术现状，提出了一种新型全液压式独立调频调能液压，中击器；阐述了它的结构、工作原理和液压系统：分析了它的技术特性；给出了实验结果．通过实验测试表明，实验结果与仿真结果吻合良好，样机实验达到了预期的效果，证明了理论研究的正确性图5，表2，参4．     

椭圆柱面-平面和平面-圆柱面组合透镜对准直光束的压缩性能分析

由于双椭圆柱面透镜压缩准直光束的方案中存在着透镜加工难度大和不易于调整的不足,本文采用椭圆柱面-平面和平面-圆柱面组合透镜对半导体激光器慢轴方向准直光束进行压缩;根据光线的基本传播原理,通过计算和推导,阐述了该方案的原理,与此同时,对透镜的可加工性和在实验中可调整的优点给予了充分地展示。用解析式表达讨论了在无损耗和有反射损耗的两种情况下出射光束光强在出射面上的光强空间分布特点,为实验提高光束质量提供必要的理论依据。     

三维等参形式动态有限元的理论推导

推导出三维等参形式动态有限元的形函数,建立了相应的刚度矩阵和质量矩阵。例题运算说明公式是正确的,可用的。     

数字式压电石英加速度传感器的支撑结构研究

 介绍了数字式压电石英加速度传感器的工作原理并用材料力学和弹性力学方法研究了其支撑结构,得出了结构的力转移系数,并与实验结果进行了比较.实验表明,支撑结构的理论推导与实验结果一致.     

生物组织光传输的几何推导求解模型

受到光束扩散模型和漫射近似理论的启发,提出了一种改进的光传输求解模型。这个新的几何推导模型采用了光束扩散的思想,但是光束扩散不是由散射系数经验公式直接得到,而是考虑了激光在生物组织中高度前向散射的特点,根据散射角和纵向深度的几何关系推导出来的。该模型还结合了扩散近似中的有效衰减系数作为轴向指数衰减因子。计算结果显示该模型提供了更加合理的光通量密度分布预测,得到的光分布接近蒙特卡罗模拟,而且能更加方便地应用到光传输相关的数值模拟中。     

复杂焊接机器人系统的协同控制

利用Petri网理论对多台机器人焊接系统进行了建模,根据系统的特点设计了基于局域网络通信的软件控制系统,实现系统的全局调度;利用建立的系统模型设计了多机器人铝合金交流脉冲GTAW的悬空角焊工艺实验.实验结果表明:系统各个机器人动作协调正确,未发生动作干涉等异常情况;焊接电弧燃烧稳定,工艺设计合理,加工过程流畅.焊接实验验证了系统建模控制的正确性,拓展了Petri网理论在焊接领域的应用.