基于自动变速的混合动力装载机控制策略

为了提高装载机能源的利用率与变矩传动效率,通过分析某5 t装载机的工况特点,提出了基于自动变速的并联式混合动力方案;采用模糊逻辑控制策略,通过在线估计系统需求转矩与车速,以需求转矩、超级电容SOC值、车速、油门开度及液力变矩器效率作为输入,输出发动机与电动机的工作点及系统挡位.结果表明:发动机效率提高,超级电容SOC值稳定,挡位变化合理有效,混合动力比传统装载机节油约9.56%,混合动力自动变速比传统装载机节油约11.82%,改善了燃油经济性.     

基于自适应学习速率法的补偿模糊神经网络

为克服常规网络收敛速度慢、无法结合专家知识等缺点,引入补偿模糊神经元,结合模糊系统强大的知识表达能力和神经网络优秀的自学习能力,并利用自适应学习速率法动态地改变学习率.提出了一种新型的基于自适应学习速率法的补偿模糊神经网络,并将其应用到实际例子中.结果证明,它不仅能在线适当调整参数,还能动态地优化相应的模糊推理,加快训练速度.     

谈数学模型及数学建模的逻辑变量方法

数学模型是人类认识和改造世界的有效工具．本文从数学模型和数学建模的概念出发,分析了数学建模的不同情况,通过实例,论证了逻辑变量在数学建模中的作用,从一个侧面阐述了数学建模的方法．     

格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

实数连续性九个等价命题的证明

叙述九种形式的实数连续性定理,并采用闭循环回路方式证明这九种常见实数连续性定理彼此等价。     

基于预测模型的分段模糊控制系统设计

针对加速量热仪需要按照材料的特性设定温度变化规律,温度精确控制困难的问题,通过研究电加热功率与温度变化的关系,采用调整脉冲宽度调制方波(PWM)占空比的方式来控制加热功率.针对系统的非线性、时变性、变结构、多层次和滞后等缺点,提出分段、分级和基于预测模型的模糊控制策略.采用上位机(IPC)+下位机(PLC)的测控系统结构,并编写PLC程序完成模糊控制.实验结果表明,本方案实现了以固定升温速率加热,定点温度保持的功能.     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

基于FPGA的Prewitt边缘检测算子的实现

主要探讨基于FPGA的prewitt边缘检测的实现,分析prewitt边缘检测算法处理图像的效果.据FPGA的并行流水线性以及FPGA处理简单方便,结合Prewitt边缘检测算法的基本原理,利用FPGA对其进行了设计、实现,通过quartus II软件进行编程,利用modelsim、matlab软件进行仿真和数据获取,最后利用以上获取的数据通过matlab进行图像处理.     

论爱因斯坦逻辑简单性思想及其渊源

简单性作为科学家的信念,引起了不少哲学家和科学家的关注。爱因斯坦的逻辑简单性思想不仅是他的科学信念,而且也是科学认识的指导原则和科学研究方法论的基本准则,并且体现在他创立相对论的过程中。本文首先对爱因斯坦之前的简单性思想进行了梳理,为理解爱因斯坦逻辑简单性思想独创性奠定基础;其次,探讨了爱因斯坦逻辑简单性思想的丰富内涵及其对他创立相对论的影响,澄清一些模糊的认识;最后,分析了爱因斯坦逻辑简单性思想的来源,特别是斯宾诺莎哲学的影响,为人们理解哲学与科学之间的互动关系提供了具体的案例。     

有界对称域上Ω球代数中的Bernstein定理

在有界对称域上的Ω球代数中建立Bernstein不等式,进而获得多项式逼近的Bernstein逆定理,最后给出Lipschitz和Zygmund子空间的逼近等价刻画.