公共文化服务平台

马占有: 作品数：26 被引量：66H指数：5; 供职机构：北方民族大学计算机科学与工程学院更多>>; 发文基金：国家自然科学基金宁夏回族自治区自然科学基金国家教育部博士点基金更多>>; 相关领域：自动化与计算机技术文化科学理学环境科学与工程更多>>

合作作者

基于单片机的烘干炉温度模糊控制系统: 2006年; 烘干炉具有大惯性、纯滞后等非线性以及时变的特点,开关炉门、加热材料、环境温度以及电网电压等都影响控制过程,基于精确数学模型的常规控制例如PID控制难以保证加热工艺曲线要求。作为非线性控制的一大分支,模糊控制在上述温度控制系统中可以得到较好的应用。; 马占有; 关键词：单片机烘干炉模糊控制

基于广义可能性测度的可达性问题的模型检测被引量：8: 2014年; 在广义可能性测度下,提出了广义可能性Kripke结构来描述系统的量化行为。在广义可能性Kripke结构下重新定义了线性时序逻辑的语构和语义,研究了线性时间属性的最终可达性、限制可达性、重复可达性等模型检测问题。本文所获得的结果扩大了可能性测度在模型检测中的应用范围。; 马占有李永明; 关键词：KRIPKE结构可达性

广义可能性决策过程的计算树逻辑模型检测: 模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证.针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此...; 马占有李永明; 关键词：计算树逻辑时间复杂度; 文献传递

适应民族院校特点的分层次嵌入式系统教学: 本文针对嵌入式系统教学在电子信息学科人才培养中的重要性，提出切合民族院校专业设置、办学层次和生源等特点的分层次嵌入式系统教学规划，涉及教学目标、教学内容、教学和实验安排以及实验室建设等。; 马占有卢胜利丁峰祝玲; 关键词：民族院校嵌入式系统分层次教学 EOS ARM; 文献传递

史密斯模糊自整定PID控制器在温度控制系统中的应用研究被引量：2: 2012年; 分析了PID控制器和模糊PID控制器的优缺点,将史密斯纯滞后补偿和模糊控制PID的优点结合起来,设计了史密斯模糊自整定PID控制器。计算机仿真和现场运行结果表明,史密斯模糊自整定PID控制器与模糊自适应PID控制器和常规PID控制器相比较,提高了烘干炉温度控制系统的自适应能力和鲁棒性,改善了系统的动态性能和静态性能,能使非线性、大滞后等特殊的系统达到良好的控制效果。; 赵丽马占有; 关键词：烘干炉 PID控制模糊PID控制

模糊代数系统与模糊范式: 2017年; 模糊代数系统是研究模糊语言及模糊自动机的有力工具,语言的范式已有详细的研究。在模糊代数系统的基础上,给出模糊范式的概念并进行分类,研究proper模糊代数系统与Chomsky模糊范式的关系,给出由proper模糊代数系统构造Chomsky模糊范式的方法,这种方法使得proper模糊代数系统在表达形式上规范化。为了研究proper模糊代数系统的解,构造了operator模糊范式,并得到结论:二者强解的第一分量相等,其余对应分量相差一个右逆算子。模糊范式提供了研究模糊代数系统的不同视角,彰显了模糊范畴下代数系统比经典代数系统具有更好的性质。; 张孟青马占有

温度控制系统模糊自适应PID控制器仿真研究被引量：26: 2010年; 研究电机绝缘处理的过程中,针对烘干炉的温度控制具有非线性和大滞后的特点,常规的PID控制器和模糊控制器很难达到理想的控制效果,为保证温度系统的稳定性,把模糊控制和常规的PID控制结合起来,提出了模糊自适应PID控制器。首先建立了烘干炉温度控制系统的数学模型,确定了系统的输入输出量,建立了模糊控制规则,进行模糊推理,计算PID控制器的参数,可由PID控制器控制烘干炉的温度,采用计算机仿真结果表明,模糊自适应PID控制器与常规PID控制器相比较,提高了烘干炉温度控制系统的自适应能力和鲁棒性,改善了系统的动态性能和静态性能,能使非线性、大滞后等特殊的系统达到良好的控制效果。; 马占有田俊忠马泽玲; 关键词：烘干炉比例积分微分控制模糊控制模糊比例积分微分控制

基于遗传算法的模糊神经网络控制器在烘干炉温度控制系统中的设计与仿真被引量：5: 2010年; 以烘干炉温度为被控对象,由于烘干炉温度控制具有非线性、大滞后和无法建立精确数学模型等特点,传统的控制器很难达到理想的控制效果,为此设计了一种基于遗传算法的模糊神经网络控制器。基于遗传算法的模糊神经网络控制器是将遗传算法的全局寻优和BP算法的在线学习结合起来,先用遗传算法对神经网络的参数进行离线训练,然后再用BP算法对模糊神经网络控制器进一步在线学习。仿真结果表明,基于遗传算法的模糊神经网络控制器与模糊控制、传统PID控制相比较,改善了系统的动态性能和静态性能,能使非线性、大滞后等特殊的系统达到良好的控制效果。; 马占有; 关键词：遗传算法 BP算法模糊神经网络控制器

广义可能性计算树逻辑模型检测中的成本分析: 2022年; 为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。; 马占有李健祥李召恺郭昊

基于CRITIC和多策略秃鹰优化BiLSTM的水质预测研究: 2024年; 科学有效地预测水质对于水环境的可持续发展和人类健康具有重要意义,为此以固原市某黄河断面的水质监测数据为研究对象,提出了基于指标客观性的权重赋权(Criteria Importance Though Intercriteria Correlation,CRITIC)法和改进的秃鹰搜索(Improved Bald Eagle Search,IBES)算法优化双向长短时记忆网络(Bidirectional Long Short-Term Memory Network,BiLSTM)的组合水质等级预测模型。首先,采用CRITIC法确定各水质指标的权重,加权求和获得一项综合水质指标,从而提出一种改进的水质评价指标体系,以为BiLSTM提供更丰富、更可靠的水质特征信息。其次,在训练过程中引入Logistic映射和莱维飞行策略,并设计交叉共享及准反向搜索策略优化秃鹰搜索(Bald Eagle Search,BES)算法,以提升其种群多样性,增强寻优能力。最后,通过IBES算法迭代寻找BiLSTM的最佳学习率、隐藏层节点数以及正则化系数的超参数组合,进一步提高其预测水平。结果显示:与IBES-BiLSTM、BES-BiLSTM、GA-BiLSTM、PSO-BiLSTM和BiLSTM等模型相比,CRITIC-IBES-BiLSTM模型进行水质等级预测的准确率、精准率、召回率及F_(1)均最高,且具有更好的稳定性。; 雷冰冰雷冰冰石佳圆马占有马占有; 关键词：环境工程学水质预测

马占有

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

马占有

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈