马占有
- 作品数：22 被引量：60H指数：4
- 供职机构：北方民族大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金宁夏回族自治区自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学理学社会学更多>>
- 基于单片机的烘干炉温度模糊控制系统
- 2006年
- 烘干炉具有大惯性、纯滞后等非线性以及时变的特点,开关炉门、加热材料、环境温度以及电网电压等都影响控制过程,基于精确数学模型的常规控制例如PID控制难以保证加热工艺曲线要求。作为非线性控制的一大分支,模糊控制在上述温度控制系统中可以得到较好的应用。
- 马占有
- 关键词：单片机烘干炉模糊控制
- 基于广义可能性测度的可达性问题的模型检测被引量：7
- 2014年
- 在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。
- 马占有李永明
- 关键词：KRIPKE结构可达性
- 广义可能性决策过程的计算树逻辑模型检测
- 模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证.针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此...
- 马占有李永明
- 关键词：计算树逻辑时间复杂度
- 文献传递
- 适应民族院校特点的分层次嵌入式系统教学
- 本文针对嵌入式系统教学在电子信息学科人才培养中的重要性，提出切合民族院校专业设置、办学层次和生源等特点的分层次嵌入式系统教学规划，涉及教学目标、教学内容、教学和实验安排以及实验室建设等。
- 马占有卢胜利丁峰祝玲
- 关键词：民族院校嵌入式系统分层次教学EOSARM
- 文献传递
- 史密斯模糊自整定PID控制器在温度控制系统中的应用研究被引量：2
- 2012年
- 分析了PID控制器和模糊PID控制器的优缺点,将史密斯纯滞后补偿和模糊控制PID的优点结合起来,设计了史密斯模糊自整定PID控制器。计算机仿真和现场运行结果表明,史密斯模糊自整定PID控制器与模糊自适应PID控制器和常规PID控制器相比较,提高了烘干炉温度控制系统的自适应能力和鲁棒性,改善了系统的动态性能和静态性能,能使非线性、大滞后等特殊的系统达到良好的控制效果。
- 赵丽马占有
- 关键词：烘干炉PID控制模糊PID控制
- 模糊代数系统与模糊范式
- 2017年
- 模糊代数系统是研究模糊语言及模糊自动机的有力工具,语言的范式已有详细的研究。在模糊代数系统的基础上,给出模糊范式的概念并进行分类,研究proper模糊代数系统与Chomsky模糊范式的关系,给出由proper模糊代数系统构造Chomsky模糊范式的方法,这种方法使得proper模糊代数系统在表达形式上规范化。为了研究proper模糊代数系统的解,构造了operator模糊范式,并得到结论:二者强解的第一分量相等,其余对应分量相差一个右逆算子。模糊范式提供了研究模糊代数系统的不同视角,彰显了模糊范畴下代数系统比经典代数系统具有更好的性质。
- 张孟青马占有
- 温度控制系统模糊自适应PID控制器仿真研究被引量：24
- 2010年
- 研究电机绝缘处理的过程中,针对烘干炉的温度控制具有非线性和大滞后的特点,常规的PID控制器和模糊控制器很难达到理想的控制效果,为保证温度系统的稳定性,把模糊控制和常规的PID控制结合起来,提出了模糊自适应PID控制器。首先建立了烘干炉温度控制系统的数学模型,确定了系统的输入输出量,建立了模糊控制规则,进行模糊推理,计算PID控制器的参数,可由PID控制器控制烘干炉的温度,采用计算机仿真结果表明,模糊自适应PID控制器与常规PID控制器相比较,提高了烘干炉温度控制系统的自适应能力和鲁棒性,改善了系统的动态性能和静态性能,能使非线性、大滞后等特殊的系统达到良好的控制效果。
- 马占有田俊忠马泽玲
- 关键词：烘干炉比例积分微分控制模糊控制模糊比例积分微分控制
- 基于遗传算法的模糊神经网络控制器在烘干炉温度控制系统中的设计与仿真被引量：4
- 2010年
- 以烘干炉温度为被控对象,由于烘干炉温度控制具有非线性、大滞后和无法建立精确数学模型等特点,传统的控制器很难达到理想的控制效果,为此设计了一种基于遗传算法的模糊神经网络控制器。基于遗传算法的模糊神经网络控制器是将遗传算法的全局寻优和BP算法的在线学习结合起来,先用遗传算法对神经网络的参数进行离线训练,然后再用BP算法对模糊神经网络控制器进一步在线学习。仿真结果表明,基于遗传算法的模糊神经网络控制器与模糊控制、传统PID控制相比较,改善了系统的动态性能和静态性能,能使非线性、大滞后等特殊的系统达到良好的控制效果。
- 马占有
- 关键词：遗传算法BP算法模糊神经网络控制器
- 广义可能性计算树逻辑模型检测中的成本分析
- 2022年
- 为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。
- 马占有李健祥李召恺郭昊
- 烘干炉温度集散型智能控制系统设计被引量：2
- 2010年
- 烘干炉温度控制工艺复杂,为保证生产过程长期稳定和安全的运行,设计和开发了集散型控制系统,即单片机智能控制器和微机温度控制系统两级集散控制系统。单片机智能控制器以AT89C52单片机为主体,以模糊自适应PID控制算法为控制器,具有处理复杂数据的能力和复杂控制的功能。当微机温度控制系统出现故障时,单片机智能控制器又可作为一个独立的控制系统对烘干炉温度进行控制。实际运行过程表明此系统具有较高的灵活性和可靠性。
- 马占有
- 关键词：集散控制系统模糊自适应PID控制器
