期刊文献+
共找到2,559篇文章
< 1 2 128 >
每页显示 20 50 100
Fuzzy logic for large mining bucket wheel reclaimer motion control—from an engineer's perspective 被引量:4
1
作者 LU Tienfu 《智能系统学报》 2011年第1期85-94,共10页
The bucket wheel reclaimer(BWR) is a key piece of equipment which has been widely used for stacking and reclaiming bulk materials(i.e.iron ore and coal) in places such as ports,iron-steel plants,coal storage areas,and... The bucket wheel reclaimer(BWR) is a key piece of equipment which has been widely used for stacking and reclaiming bulk materials(i.e.iron ore and coal) in places such as ports,iron-steel plants,coal storage areas,and power stations from stockpiles.BWRs are very large in size,heavy in weight,expensive in price,and slow in motion.There are many challenges in attempting to automatically control their motion to accurately follow the required trajectories involving uncertain parameters from factors such as friction,turbulent wind,its own dynamics,and encoder limitations.As BWRs are always heavily engaged in production and cannot be spared very long for motion control studies and associated developments,a BWR model and simulation environment closely resembling real life conditions would be beneficial.The following research focused mainly on the implementation of fuzzy logic to a BWR motion control from an engineer's perspective.First,the modeling of a BWR including partially known parameters such as friction force and turbulence to the system was presented.This was then followed by the design of a fuzzy logic-based control built on a model-based control loop.The investigation provides engineers with an example of applying fuzzy logic in a model based approach to properly control the motion of a large BWR following defined trajectories,as well as to show possible ways of further improving the controller performance.The result indicates that fuzzy logic can be applied easily by engineers to overcome most motion control issues involving a large BWR. 展开更多
关键词 bucket wheel reclaimer modeling simulation motion control fuzzy logic
在线阅读 下载PDF
Fuzzy logic controller design with unevenly-distributed membership function for high performance chamber cooling system 被引量:2
2
作者 曹健鹏 Seok-Kwon Jeong Young-Mi Jung 《Journal of Central South University》 SCIE EI CAS 2014年第7期2684-2692,共9页
Fuzzy logic controller adopting unevenly-distributed membership function was presented with the purpose of enhancing performance of the temperature control precision and robustness for the chamber cooling system.Histo... Fuzzy logic controller adopting unevenly-distributed membership function was presented with the purpose of enhancing performance of the temperature control precision and robustness for the chamber cooling system.Histogram equalization and noise detection were performed to modify the evenly-distributed membership functions of error and error change rate into unevenly-distributed membership functions.Then,the experimental results with evenly and unevenly distributed membership functions were compared under the same outside environment conditions.The experimental results show that the steady-state error is reduced around 40% and the noise disturbance is rejected successfully even though noise range is 60% of the control precision range.The control precision is improved by reducing the steady-state error and the robustness is enhanced by rejecting noise disturbance through the fuzzy logic controller with unevenly-distributed membership function.Moreover,the system energy efficiency and lifetime of electronic expansion valve(EEV) installed in chamber cooling system are improved by adopting the unevenly-distributed membership function. 展开更多
关键词 chamber cooling system fuzzy logic controller unevenly-distributed membership function steady-state error reduction ROBUSTNESS variable speed refrigeration system
在线阅读 下载PDF
Integrate Fuzzy Logic Stable Control System of Bank-to-Turn Missiles
3
作者 Guo Yuchun Sun Lianju Dai Zongli & Jiang Yong(Beijing Institute of Electronic System Engineering, 100854, P. R. China) 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1998年第4期8-16,共9页
The question of stable control system of bank-to-turn (BTT) missiles is a bottleneckin BTT technology. Integrate fuzzy logic stable control system of BTT missiles is designed in whichthree main problems are resolved. ... The question of stable control system of bank-to-turn (BTT) missiles is a bottleneckin BTT technology. Integrate fuzzy logic stable control system of BTT missiles is designed in whichthree main problems are resolved. How to select input variables Of the fuzzy logic controller and howto guarantee completeness of the output control are two of them. The last one is how to coordinatethe fuzzy logic controllers in integrate fuzzy logic stable control system. Simulating results prov that integrate fuzzy logic stable coatrol system of BTT missiles is sueccessful, and it can be widelyused in future. 展开更多
关键词 Fuzzy logic control BTT missiles Stable control system
在线阅读 下载PDF
Switching Logic-based Adaptive Robust Control of Nonlinearly Parameterized Uncertain Systems 被引量:1
4
作者 MA Bo-Jun FANG Yong-Chun XIAO Xiao 《自动化学报》 EI CSCD 北大核心 2007年第6期668-672,共5页
在这份报纸,切换基于逻辑的适应柔韧的控制为一个类被建议非线性地 parameterized 系统(NFS ) 。明确地,控制器主要由一项柔韧的类型条款组成探讨系统无常,和切换逻辑调节机制更新深奥控制获得。构造控制器完成全球一致地最终的固定(... 在这份报纸,切换基于逻辑的适应柔韧的控制为一个类被建议非线性地 parameterized 系统(NFS ) 。明确地,控制器主要由一项柔韧的类型条款组成探讨系统无常,和切换逻辑调节机制更新深奥控制获得。构造控制器完成全球一致地最终的固定(GUUB ) 系统错误的结果,和模拟结果被包括表明控制法律的有效性。 展开更多
关键词 非线性系统 自适应控制 转换逻辑 非确定性系统 自动控制
在线阅读 下载PDF
基于可编程逻辑控制器的核桃振动采收控制系统设计与仿真
5
作者 茹煜 徐国鹏 +4 位作者 范高鸣 李秋洁 易永魁 丁莉 周宏平 《林业科学》 北大核心 2025年第8期11-24,共14页
【目的】为解决传统核桃人工采收方式存在的采收难度大、效率低、成本高等问题,根据我国核桃种植区域向标准化果园发展的趋势,设计基于可编程逻辑控制器(PLC)的核桃振动采收控制系统,并通过仿真试验验证该系统的可行性,以提高核桃振动... 【目的】为解决传统核桃人工采收方式存在的采收难度大、效率低、成本高等问题,根据我国核桃种植区域向标准化果园发展的趋势,设计基于可编程逻辑控制器(PLC)的核桃振动采收控制系统,并通过仿真试验验证该系统的可行性,以提高核桃振动采收自动化水平,降低人工采收难度,提高采收效率。【方法】基于激光雷达采集树干点云,在VisualStudio2017环境下对数据进行预处理,分割出最佳点云强度处的树干信息,采用最小二乘圆拟合方法提取树干直径;应用MATLAB软件设计模糊PID控制器,利用Simulink搭建系统框图找出控制器的最优参数,提高核桃振动采收控制系统的可行性;运用TIAPortal软件设计PLC程序,实现振动臂伸缩功能、夹持功能以及振动功能;使用组态王软件设计人机界面,通过以太网实现PLC与人机界面通讯,实现系统运行后的实时监控;通过仿真和实物试验对核桃振动采收控制系统的可行性进行验证。【结果】应用MATLAB软件得出控制器的最优参数分别为Kp=7.682、Ki=5.675、Kd=1.675。不同移动距离、树干直径的夹持力和振动频率仿真验证结果显示,在伸缩距离为20~100cm时,误差为0.02%~0.15%;树干直径为15~20cm时,夹持力误差稳定在1.20%~2.72%;振动频率误差为0.67%~3.00%。通过实机采收验证,控制系统能够准确控制振动臂进行移动、夹持和振动,采净率均在81%以上,且采收效率达到人工采收的7倍以上。【结论】本研究提出并设计一款基于PLC的核桃振动采收控制系统,通过仿真试验验证了系统的可行性。该振动采收控制系统适用于标准果园内的核桃采收,为核桃振动采收智能化提供了科学依据和实际指导,有效提高了核桃采收效率。 展开更多
关键词 控制系统 振动采收 树干识别 可编程逻辑控制器
在线阅读 下载PDF
软件定义智能控制系统未来发展展望
6
作者 柴天佑 郑锐 +2 位作者 贾瑶 黄新宇 宋延杰 《东北大学学报(自然科学版)》 北大核心 2025年第7期1-10,共10页
本文综述了软件定义控制系统研究现状并分析了控制系统在工业革命中的作用和发展状况,提出了软件定义控制系统的智能化发展方向.通过软件定义端边云协同的PID(比例-积分-微分)整定智能系统案例,表明将工业人工智能、工业互联网等新一代... 本文综述了软件定义控制系统研究现状并分析了控制系统在工业革命中的作用和发展状况,提出了软件定义控制系统的智能化发展方向.通过软件定义端边云协同的PID(比例-积分-微分)整定智能系统案例,表明将工业人工智能、工业互联网等新一代信息技术与软件定义控制系统紧密融合与协同,为发展软件定义智能控制系统开辟了新途径.最后,针对软件定义控制系统存在的难题和软件定义控制系统智能化存在的难题,提出了软件定义智能控制系统的主要研究方向. 展开更多
关键词 虚拟PLC(可编程逻辑控制器) 软件定义控制系统 AI驱动的工业控制 软件定义智能系统
在线阅读 下载PDF
船舶无刷直流电机速度模糊PID控制算法
7
作者 杨光永 牟奕铭 徐天奇 《舰船科学技术》 北大核心 2025年第13期157-161,共5页
针对船舶航行环境复杂,电机速度控制时容易受到干扰,导致超调过高的问题,研究船舶无刷直流电机速度模糊PID控制算法。构建无刷直流电机数学模型,选取模糊PID控制算法对电机定子绕组电压执行脉冲宽度调制斩波控制,调节电机转速。利用PID... 针对船舶航行环境复杂,电机速度控制时容易受到干扰,导致超调过高的问题,研究船舶无刷直流电机速度模糊PID控制算法。构建无刷直流电机数学模型,选取模糊PID控制算法对电机定子绕组电压执行脉冲宽度调制斩波控制,调节电机转速。利用PID控制器的比例、积分与微分控制环节,在电机速度偏差增大时,引入速度修正信号修正误差。利用模糊逻辑调节PID控制参数,设置电机速度误差及其变化率,以及PID控制参数的修正量,分别作为模糊逻辑算法的输入与输出变量。利用模糊逻辑算法制定模糊控制规则,确定最优的PID控制参数,使电机速度快速达到期望速度值。结果表明,该方法能够快速跟随期望速度值,转速控制超调较小,电压与电流信号均未出现明显波动。 展开更多
关键词 无刷直流电机 PID控制器 模糊逻辑 速度控制
在线阅读 下载PDF
合肥光源光束线站新型真空安全联锁系统设计
8
作者 刘群 陈留国 +3 位作者 李芳 贾文红 汪啸 贺博 《真空科学与技术学报》 北大核心 2025年第6期431-435,共5页
光束线站真空安全联锁是保障同步辐射光源储存环的运行安全与线站关键设备安全的重要系统。文章阐述了合肥光源新建成的金华光束线站真空安全联锁系统的最新设计方法。基于新型的高性能可编程控制器PLC(Programmable Logic Controller)... 光束线站真空安全联锁是保障同步辐射光源储存环的运行安全与线站关键设备安全的重要系统。文章阐述了合肥光源新建成的金华光束线站真空安全联锁系统的最新设计方法。基于新型的高性能可编程控制器PLC(Programmable Logic Controller)和开放的软件平台EPICS 7(Experimental Physics and Industrial Control System)分布式控制系统架构,同时采用虚拟化技术,开发了全新的光束线站真空安全联锁系统。在系统远控的OPI界面开发上,采用Python脚本一键自动生成,提高了系统开发效率。此次设计在确保系统安全性和可靠性的同时,系统的性能以及用户人机交互的体验都得以提升。这些设计方法为正在建设的合肥先进光源的光束线站控制提供了技术储备和实践经验。 展开更多
关键词 光束线站 真空保护 安全联锁 可编程逻辑控制器 操作员接口自动化
在线阅读 下载PDF
燃料电池电动拖拉机能量管理研究
9
作者 刘静 孙闫 +3 位作者 王柯 夏长高 尹超 邹金龙 《中国农机化学报》 北大核心 2025年第6期236-241,共6页
为解决纯电动拖拉机持续作业时间短的问题,提出一种以燃料电池为主电源,动力电池为辅助电源的混合动力拖拉机。首先,建立燃料电池、动力电池和拖拉机模型。然后,提出融合功率跟随策略和模糊逻辑策略,利用禁忌搜索算法进行优化的能量管... 为解决纯电动拖拉机持续作业时间短的问题,提出一种以燃料电池为主电源,动力电池为辅助电源的混合动力拖拉机。首先,建立燃料电池、动力电池和拖拉机模型。然后,提出融合功率跟随策略和模糊逻辑策略,利用禁忌搜索算法进行优化的能量管理策略。设计功率跟随策略实现燃料电池输出功率以需求功率为基础,以电池SOC值为自变量进行调节;设计模糊逻辑策略约束燃料电池功率变化率,避免燃料电池输出功率的频繁波动。最后,构建考虑能耗和燃料电池耐久性的综合能耗评估函数,利用禁忌搜索算法对模糊控制策略的隶属函数和权重系数进行迭代优化,提高纯电动拖拉机的经济性和燃料电池的耐久性。仿真结果表明,所提出的能量管理策略可以在不同的SOC状态下很好地工作,并减少燃料电池的功率波动,在600 s仿真试验中,与模糊控制和功率跟随策略相比,所提策略可分别降低1.2%、1.5%的等效氢耗,燃料电池寿命衰退分别减少46%、15%。 展开更多
关键词 电动拖拉机 燃料电池 能量管理 禁忌搜索 模糊控制
在线阅读 下载PDF
基于混合因果逻辑的智能井控应急风险分析
10
作者 郑文培 宋诗冉 +3 位作者 周涛涛 唐成 魏军会 唐桃 《钻采工艺》 北大核心 2025年第2期58-65,共8页
井口溢流应急响应是井控工作的关键,涉及复杂的人员、程序和装备动态交互,若应急响应不及时,溢流可能演变为井喷,导致灾难性事故。文章提出了一种基于混合因果逻辑的溢流应急响应风险分析方法,该方法以高压采气井口溢流的智能井控系统... 井口溢流应急响应是井控工作的关键,涉及复杂的人员、程序和装备动态交互,若应急响应不及时,溢流可能演变为井喷,导致灾难性事故。文章提出了一种基于混合因果逻辑的溢流应急响应风险分析方法,该方法以高压采气井口溢流的智能井控系统及人员应急响应为研究对象,构建事件序列图模型,通过故障树分析关键事件的失效,并用贝叶斯网络表征各基本事件的动态交互,进行风险分析。分析结果表明,高压采气井口溢流应急响应失效的频率0.00683/(井次·10^(4)m),失效节点是未及时发出停止作业及立即关井警报,其中人员作业的不确定性是造成响应失败的主要原因。使用基于混合因果逻辑的智能井控应急风险分析方法,可以实现对应急流程中多因素的动态交互进行全面量化分析,为井控工作提供指导。 展开更多
关键词 溢流 井口控制 应急响应 混合因果逻辑 风险分析
在线阅读 下载PDF
基于自适应分组GA-FLC的电池组均衡控制策略研究
11
作者 吴铁洲 杜亨昱 刘珉诺 《电源技术》 北大核心 2025年第7期1482-1492,共11页
在实际应用中将多个电池单体通过串并联成组使用会存在电池不一致性问题,影响电池组使用寿命。集中式电感均衡是广泛使用的均衡技术之一,但传统极值法集中式电感电路在均衡过程中存在频繁切换均衡目标导致开关频繁通断、速度慢的问题。... 在实际应用中将多个电池单体通过串并联成组使用会存在电池不一致性问题,影响电池组使用寿命。集中式电感均衡是广泛使用的均衡技术之一,但传统极值法集中式电感电路在均衡过程中存在频繁切换均衡目标导致开关频繁通断、速度慢的问题。在集中式电感均衡拓扑结构的基础上,提出了一种基于自适应分组GA-FLC策略的集中式电感均衡电路控制方法,在均衡开启前,使用基于滑动窗口法的自适应分组策略对相邻且SOC值接近的电池合并成组,再结合遗传算法对自适应分组后的电池组进行最优路径选择,利用FLC控制均衡电流大小。以6个电池串联的电池组为例,设计静置、充电、放电三种工况下的电池组均衡实验,结果表明,与对极值法、自适应分组GA法均衡相比,提出的均衡策略显著降低了开关的通断次数,相较极值法、自适应分组GA法分别提升69%、30%的均衡速度,有助于电池组的整体性能提升和延长使用寿命。 展开更多
关键词 主动均衡 自适应分组 遗传算法 模糊逻辑控制 均衡速度
在线阅读 下载PDF
基于模糊自整定串级PID的空冷型PEMFC温度控制系统的设计 被引量:4
12
作者 常天奇 田亮 +3 位作者 冯海 刘琪 黄青山 张典 《太阳能学报》 北大核心 2025年第2期156-164,共9页
针对空冷型质子交换膜燃料电池(PEMFC)电堆温度控制问题,设计一种模糊自整定串级PID(FSC-PID)温度控制器,并基于Matlab/Simulink建立空冷型PEMFC电堆热模型,对所设计的FSC-PID控制器进行仿真和性能对比分析。仿真测试结果表明,FSC-PID... 针对空冷型质子交换膜燃料电池(PEMFC)电堆温度控制问题,设计一种模糊自整定串级PID(FSC-PID)温度控制器,并基于Matlab/Simulink建立空冷型PEMFC电堆热模型,对所设计的FSC-PID控制器进行仿真和性能对比分析。仿真测试结果表明,FSC-PID温度控制器在控制精度、响应速度和稳定性等方面均优于常规串级PID控制器。为验证FSC-PID控制器的实际应用效果,基于STM32平台并使用300 W电堆进行FSC-PID温度控制实验。实验结果表明,FSC-PID能有效控制电堆温度,保证电堆的性能和寿命,进一步验证所建立热模型的准确性和可靠性。 展开更多
关键词 质子交换膜燃料电池 温度控制 仿真 模糊逻辑 PID控制
在线阅读 下载PDF
面向可编程逻辑控制器的工业软件高效编译方法 被引量:1
13
作者 汪洋 李从飞 +4 位作者 韩兵 朱明 李袁微 邓华 桑毅 《计算机集成制造系统》 北大核心 2025年第2期534-543,共10页
针对工业场景下端侧可编程逻辑控制器设备集群进行复杂程序多编译任务时面临的高延迟和服务质量下降等问题,提出一种面向可编程逻辑控制器设备集群的工业软件端边协同高效编译方法。在支持端边协同的工业环境下建模,通过智能化方法解析... 针对工业场景下端侧可编程逻辑控制器设备集群进行复杂程序多编译任务时面临的高延迟和服务质量下降等问题,提出一种面向可编程逻辑控制器设备集群的工业软件端边协同高效编译方法。在支持端边协同的工业环境下建模,通过智能化方法解析编译任务的相关计算属性,构建一个多编译任务的博弈模型并设计了算法进行求解。为了提高系统的编译准时率,以优先级排序的方式决定每个编译任务获取计算资源的顺序,保证在降低整体编译时间的同时优化准时率,降低编译延迟,维持工业设备的服务质量。实验结果表明,该方法有效利用了边缘服务器提供的计算能力,避免了编译任务大量超时,其性能在端边协同的场景下得到了充分验证。 展开更多
关键词 可编程逻辑控制器 IEC61131-3标准 边缘计算 工业互联网
在线阅读 下载PDF
基于二型模糊逻辑控制的半挂车轨迹跟踪研究
14
作者 陈鹏 蔡英凤 +2 位作者 原海波 陈龙 孙晓强 《汽车工程》 北大核心 2025年第1期55-66,共12页
自动驾驶商用半挂车可以显著提升干线物流效率。然而半挂商用车是典型的欠驱动系统,在大曲率运动工况下难以同时兼顾牵引车和挂车的横向轨迹跟踪精度。随着车辆速度和负载的提升,挂车质心转移及载荷转移加剧,对铰接处产生更强烈的不确... 自动驾驶商用半挂车可以显著提升干线物流效率。然而半挂商用车是典型的欠驱动系统,在大曲率运动工况下难以同时兼顾牵引车和挂车的横向轨迹跟踪精度。随着车辆速度和负载的提升,挂车质心转移及载荷转移加剧,对铰接处产生更强烈的不确定性影响,造成挂车与牵引车之间行驶轨迹的偏差进一步加大,增加了轨迹跟踪难度,影响了行驶安全性。为提高半挂商用车牵引车与挂车的横向安全性,本文提出一种基于二型模糊控制的鲁棒路径跟踪策略。首先,在MATLAB/Simulink中建立了半挂车辆的7自由度动力学模型,精确模拟牵引车与挂车的横-纵向运动动力学特性。其次,利用二型模糊逻辑控制理论中输入隶属度函数对系统不确定性的覆盖特性,设计了同时调控牵引车和挂车横向轨迹跟踪精度的二型模糊控制器。为提高不确定因素影响下横向轨迹跟踪控制的精度,降低控制器设计难度,采用粒子群优化算法对二型模糊控制器的输入隶属度函数参数进行优化。最后,利用MATLAB/Simulink与TruckSim的联合仿真平台,分别在不同车速和负载条件下进行车辆轨迹跟踪的仿真,以验证本文提出的控制策略,并与一型模糊控制和预瞄控制结果进行对比。结果表明:在双移线这种轨迹曲率发生变化的工况下,本文提出的二型模糊控制器对牵引车和挂车的横向轨迹跟踪精度有明显提升。 展开更多
关键词 自动驾驶 半挂车 轨迹跟踪 二型模糊逻辑控制
在线阅读 下载PDF
西瓜枯萎病拮抗菌Pseudomonas aeruginosa的鉴定及防病促生作用
15
作者 修筠清 杨士兵 +7 位作者 赵胜杰 李文扬 玉山江·麦麦提 李萌 康保珊 刘莉铭 古勤生 吴会杰 《果树学报》 北大核心 2025年第7期1557-1567,共11页
【目的】筛选鉴定西瓜枯萎病菌的生防菌,减少化学农药的使用,推动西瓜产业的绿色发展。【方法】利用平板对峙法从西瓜根际土中分离、筛选拮抗菌,通过盆栽试验分析菌株的生物学特性及促生防病作用。【结果】筛选到1株对西瓜枯萎病菌(Fusa... 【目的】筛选鉴定西瓜枯萎病菌的生防菌,减少化学农药的使用,推动西瓜产业的绿色发展。【方法】利用平板对峙法从西瓜根际土中分离、筛选拮抗菌,通过盆栽试验分析菌株的生物学特性及促生防病作用。【结果】筛选到1株对西瓜枯萎病菌(Fusarium oxysporum f.sp.niveum,Fon-1)有显著拮抗作用的菌株K5。该菌株使西瓜枯萎病菌菌丝扭曲变形、粗大,且具有广谱性。盆栽试验表明K5对西瓜枯萎病菌相对防治效果78.95%,且具有明显的促生作用,表现为株高、叶片数、地上部干质量、地下部干质量、根长、地上部鲜质量及地下部鲜质量等显著增加。分子生物学分析表明K5为铜绿假单胞菌(Pseudomonas aeruginosa),能产生嗜铁素、氢氰酸,具有固氮、解无机磷的能力,且有纤维素酶、几丁质酶和β-1-3葡聚糖酶的活性,携带氢氰酸、吩嗪-1-甲酰胺和硝吡咯菌素合成相关基因。【结论】铜绿假单胞菌K5对西瓜枯萎病有较好的防治效果,并能促进西瓜植株生长,极具开发为生防菌剂的潜力。 展开更多
关键词 西瓜 尖孢镰孢菌西瓜专化型 铜绿假单胞菌 生物防治
在线阅读 下载PDF
基于DoDAF2.0的多无人机指控逻辑设计与实现研究
16
作者 吕尔博 杨成伟 +4 位作者 夏晓欧 张长睿 李铭潍 杨宇 徐骁 《兵器装备工程学报》 北大核心 2025年第4期208-217,共10页
随着“无人作战”、“集群作战”等作战概念的不断深化发展,无人机集群指挥控制体系结构、功能和活动流程高度复杂且缺少专业体系逻辑架构方法与评估验证手段。针对上述问题,采用DoDAF2.0体系架构框架和规范化的建模语言,结合专业体系... 随着“无人作战”、“集群作战”等作战概念的不断深化发展,无人机集群指挥控制体系结构、功能和活动流程高度复杂且缺少专业体系逻辑架构方法与评估验证手段。针对上述问题,采用DoDAF2.0体系架构框架和规范化的建模语言,结合专业体系设计工具,自顶向下开展多无人机地面指控逻辑设计,建立以体系架构方法为基础、需求-能力-活动迭代关联的多无人机地面指控逻辑设计模式,发现其逻辑能力缺陷,逐步完善地面指挥控制逻辑的理论和体系建设,并利用体系结构模型开展多无人机地面指控流程逻辑仿真验证与实物桌面联合调试验证,从而验证多无人机地面指控流程逻辑一致性和可行性,为构建多无人机地面指控应用提供设计指引与验证方法。 展开更多
关键词 DoDAF2.0 多无人机 地面指挥控制 体系架构 逻辑仿真
在线阅读 下载PDF
ControlLogix综合实验模型设计 被引量:1
17
作者 梁慧敏 郑艳明 +2 位作者 叶雪荣 邓杰 林景波 《实验室研究与探索》 CAS 北大核心 2013年第5期26-28,44,共4页
为实现PLC的多功能控制实验需求,以ControlLogix为核心,基于NetLinx开放型网络架构,进行综合实验模型总体结构与功能设计。在此基础上,论述电源控制、逻辑控制、变频调速、模拟量过程控制、数字量逻辑控制及现场总线网络组态6个主要组... 为实现PLC的多功能控制实验需求,以ControlLogix为核心,基于NetLinx开放型网络架构,进行综合实验模型总体结构与功能设计。在此基础上,论述电源控制、逻辑控制、变频调速、模拟量过程控制、数字量逻辑控制及现场总线网络组态6个主要组成部分的设计原理与控制过程,开发实现了ControlLogix综合实验模型。该模型具有变频调速、过程控制、逻辑控制和NetLinx网络通讯多项功能,既可为实验教学提供功能丰富的实验设备,也可为工业过程项目的开发提供有效的实验测试平台。 展开更多
关键词 可编程控制器 实验模型 controlLOGIX NETLINX
在线阅读 下载PDF
操作系统内核权能访问控制的形式验证
18
作者 徐家乐 王淑灵 +8 位作者 李黎明 詹博华 吕毅 代艺博 崔舍承 吴鹏 谭宇 张学军 詹乃军 《软件学报》 北大核心 2025年第8期3570-3586,共17页
操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验... 操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作系统各功能模块的形式验证,并取得多个成功应用.微内核操作系统权能访问控制模块提供基于权能的细粒度访问控制,旨在防止未经授权的用户访问系统内核资源和服务.在权能访问控制模块实现中,所有任务的权能空间构成多个树结构,同时每个任务权能节点包含多种嵌套的复杂数据结构,以及权能函数中广泛存在的对权能结构的访问、修改、(递归)删除等操作,使得它的形式验证与操作系统其他功能模块相比更加困难.将以并发精化程序逻辑CSL-R为基础,通过证明权能应用程序接口函数(API函数)和其抽象规范之间的精化关系,来验证航天嵌入式领域某微内核操作系统权能访问控制的功能正确性.首先对权能数据结构进行形式建模,并在此基础上定义全局不变式来保持权能空间的一致性;然后定义反映功能正确性需求的内核函数的前后条件规范和API函数的抽象规范;最终验证权能API函数C代码实现和抽象规范之间的精化关系.以上所有的定义和验证均在Coq定理证明器中完成.在验证过程中发现实现的错误,并得到微内核操作系统设计方的确认和修改. 展开更多
关键词 操作系统内核 形式验证 权能访问控制 并发精化分离逻辑
在线阅读 下载PDF
双足机器人微型液压动力单元设计与控制研究
19
作者 沈丕 董昊臻 +2 位作者 程虎 吴心怡 王迪 《机床与液压》 北大核心 2025年第5期52-57,共6页
液压动力单元是液压双足机器人的核心部件,其小型化、轻量化设计是机器人的重要研究内容之一。针对液压双足机器人,设计一种新型微型液压动力单元。为了控制液压动力单元的输出流量,设计一种基于迭代学习的模糊PI控制器,实现对系统流量... 液压动力单元是液压双足机器人的核心部件,其小型化、轻量化设计是机器人的重要研究内容之一。针对液压双足机器人,设计一种新型微型液压动力单元。为了控制液压动力单元的输出流量,设计一种基于迭代学习的模糊PI控制器,实现对系统流量的精确控制。为了稳定压力并降低流量损耗,设计一种基于模糊控制器的压力补偿策略,提高了系统的性能和效率。最后,根据控制系统的流量内环和压力外环的特点,分别设计了转速、流量、压力实验,以验证模糊系统在转速、压力控制中的作用以及迭代学习在流量控制中的作用。实验结果表明:该微型液压动力单元可靠性强、效率高,可针对需求提供相应的流量和压力。 展开更多
关键词 双足机器人 微型液压动力单元 流量压力控制 模糊控制器
在线阅读 下载PDF
基于深度强化学习的连续微流控生物芯片控制逻辑布线
20
作者 蔡华洋 黄兴 刘耿耿 《计算机研究与发展》 北大核心 2025年第4期950-962,共13页
随着电子设计自动化技术的迅速发展,连续微流控生物芯片成为了目前最具前景的生化实验平台之一.该芯片通过采用内部的微阀门以及微通道来操纵体积仅为毫升或纳升的流体样品,从而自动执行混合和检测等基本的生化实验操作.为了实现正确的... 随着电子设计自动化技术的迅速发展,连续微流控生物芯片成为了目前最具前景的生化实验平台之一.该芯片通过采用内部的微阀门以及微通道来操纵体积仅为毫升或纳升的流体样品,从而自动执行混合和检测等基本的生化实验操作.为了实现正确的生化测定功能,部署于芯片内部的微阀门通常需要由基于多路复用器的控制逻辑进行管控,其通过控制通道获得来自核心输入的控制信号以实现精确切换.由于生化反应通常需要非常高的灵敏度,因此为了保证信号的即时传输,需要尽可能地减少连接每个阀门的控制路径长度,以降低信号传输的时延.此外,为了降低芯片的制造成本,如何有效减少控制逻辑中通道的总长度也是逻辑架构设计需要解决的关键问题之一.针对上述问题,提出了一种基于深度强化学习的控制逻辑布线算法以最小化信号传输时延以及控制通道总长度,从而自动构建高效的控制通道网络.该算法采用竞争深度Q网络架构作为深度强化学习框架的智能体,从而对信号传输时延和通道总长度进行权衡评估.此外,针对控制逻辑首次实现了对角型的通道布线,从根本上提高了阀门切换操作的效率并降低了芯片的制造成本.实验结果表明,所提出的算法能够有效构建高性能、低成本的控制逻辑架构. 展开更多
关键词 连续微流控生物芯片 深度强化学习 控制逻辑 控制通道网络 对角通道布线
在线阅读 下载PDF
上一页 1 2 128 下一页 到第
使用帮助 返回顶部