运行时保证技术的研究现状与发展综述 被引量：1

1

作者 董磊 王琦 +1 位作者 陈曦 刘嘉琛 《计算机应用》 北大核心 2025年第3期1003-1015,共13页

人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复... 人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复杂系统行为难预测、难解释、不安全、非预期结果的问题,在未来有着广阔的发展前景。因此,对RTA的研究现状与发展进行综述,为研究者了解最新的RTA技术研究动态、发展趋势提供参考。首先,回顾RTA技术的发展历程;其次,在描述RTA的基本原理架构以及切换逻辑的基础上,对当前RTA在智能航空、无人机(UAV)、智能航天和自动驾驶汽车领域中及信息物理系统(CPS)和安全强化学习上的应用研究现状进行系统性梳理;最后,对RTA技术的发展前景进行讨论。 展开更多

关键词 运行时保证 复杂功能 切换逻辑 替换认证 智能航空

在线阅读 下载PDF 职称材料

可控串补装置的动态建模及数字仿真研究 被引量：40

2

作者 张慧媛 姜建国 冯宇 《中国电机工程学报》 EI CSCD 北大核心 2003年第5期14-18,共5页

可控串补(TCSC)动态建模是暂态特性分析和控制策略研究的基础。该文用逻辑开关函数法建立了能系统描述TCSC变拓扑电路暂态全过程的解析数学模型,分析了电容电压暂态特征分量的作用及特点,并通过数字仿真研究了不同同步信号下TCSC的暂态... 可控串补(TCSC)动态建模是暂态特性分析和控制策略研究的基础。该文用逻辑开关函数法建立了能系统描述TCSC变拓扑电路暂态全过程的解析数学模型,分析了电容电压暂态特征分量的作用及特点,并通过数字仿真研究了不同同步信号下TCSC的暂态响应过程,揭示了电容电压同步下产生超调振荡主要是由w0分量的暂态过程引起的,并提出以电容电压基波分量作同步信号。仿真结果表明,TCSC的容性调节过程快速且无超调。 展开更多

关键词 可控串补装置 动态建模 电力系统 数学模型 数字仿真

在线阅读 下载PDF 职称材料

一种光伏独立逆变器非线性控制方法 被引量：14

3

作者 张兴 李俊 +1 位作者 赵为 陶磊 《电子测量与仪器学报》 CSCD 北大核心 2015年第2期252-257,共6页

三相多功能光伏逆变器的独立逆变功能一般采用基于d-q坐标变换的双闭环控制策略。在没有负载电流前馈的条件下,独立光伏逆变器抗负载扰动能力差,超调严重。针对这一问题提出一种非线性控制方法,根据电压的偏差通过逻辑切换改变电感电流... 三相多功能光伏逆变器的独立逆变功能一般采用基于d-q坐标变换的双闭环控制策略。在没有负载电流前馈的条件下,独立光伏逆变器抗负载扰动能力差,超调严重。针对这一问题提出一种非线性控制方法,根据电压的偏差通过逻辑切换改变电感电流内环反馈大小,该方法相当于改变了系统的等效阻尼,从而改善系统的动态性能。利用PSIM和MATLAB进行联合仿真并根据仿真分析结果设计100 k W三相光伏独立逆变器,仿真和试验结果验证了所提方法的有效性。 展开更多

关键词 光伏逆变器 独立逆变功能 非线性控制 逻辑切换 电感电流内环

在线阅读 下载PDF 职称材料

电液位置系统的非线性校正与描述函数法分析 被引量：1

4

作者 曾宗桢 张小安 肖飞 《机床与液压》 北大核心 2005年第10期110-112,共3页

采用描述函数法,利用线性系统的理论和方法对电液系统进行频域分析,并且引入逻辑切换的非线性特性使其动态性能显著提高,和其它现代控制的状态反馈法相比,该方法具有简单、可行性高的优点。

关键词 非线性校正 逻辑切换 描述函数法

在线阅读 下载PDF 职称材料

将任意开关函数变换为对称函数的新方法 被引量：4

5

作者 赵小杰 陈偕雄 《杭州大学学报（自然科学版）》 CSCD 1990年第4期401-408,共8页

本文分析了函数部分对称性、全对称性与函数分解图之间的关系,并在此基础上提出了利用分解图及编码阵将任意开关函数变换为对称函数的图形方法.

关键词 开关函数 对称变换 对称函数

在线阅读 下载PDF 职称材料

一类参数周期未知的自适应广义投影同步

6

作者 李永军 陶冲 《河南大学学报（自然科学版）》 CAS 2015年第1期84-89,共6页

针对一类时变参数周期未知的自适应广义投影同步问题,提出了基于切换逻辑的周期辨识算法.该算法首先假定已知时变参数周期,设计控制器和时变参数自适应律.然后设计合理的切换逻辑,通过判定相邻两次迭代的平均误差定位时变参数周期范围,... 针对一类时变参数周期未知的自适应广义投影同步问题,提出了基于切换逻辑的周期辨识算法.该算法首先假定已知时变参数周期,设计控制器和时变参数自适应律.然后设计合理的切换逻辑,通过判定相邻两次迭代的平均误差定位时变参数周期范围,再通过累积跟踪误差定位时变参数周期,最终完成两个混沌系统的投影同步.通过构造Lyapunov-Krasovskii泛函,证明了系统的跟踪误差收敛于零,而且保证所有信号均有界.仿真结果说明了算法的有效性. 展开更多

关键词 参数周期未知 广义投影同步 切换逻辑 LYAPUNOV-KRASOVSKII泛函

在线阅读 下载PDF 职称材料

基于基本对称函数产生器的模拟开关实现

7

作者 徐月华 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2001年第1期53-56,共4页

开关 -信号理论与传统的电路设计理论不同 ,它不是以门电路或其它集成块为基本单元 ,而是以开关元件为构造单元 .本文应用开关 -信号理论指导二变量基本对称函数产生器及双向对称模拟开关的设计 ,并提出了基于双向对称模拟开关的对称函... 开关 -信号理论与传统的电路设计理论不同 ,它不是以门电路或其它集成块为基本单元 ,而是以开关元件为构造单元 .本文应用开关 -信号理论指导二变量基本对称函数产生器及双向对称模拟开关的设计 ,并提出了基于双向对称模拟开关的对称函数的电路实现 . 展开更多

关键词 开关-信号理论 逻辑设计 双向对称模拟开关 基本对称函数产生器 开关元件

在线阅读 下载PDF 职称材料

通用型智能红外逻辑分析仪设计 被引量：1

8

作者 陶玲樱 茅正冲 +1 位作者 王博 姜进 《电脑知识与技术》 2009年第6期4306-4307,4314,共3页

通过对红外遥控器发射编码的分析，提出了一种以MSP430F149为核心的通用型智能红外逻辑分析仪，实现了对所有38K红外遥控器编码的测量和分析功能。在方案中采用测量脉冲宽度的方法，提供了被测红外遥控器编码的所有脉宽信息和波形，并... 通过对红外遥控器发射编码的分析，提出了一种以MSP430F149为核心的通用型智能红外逻辑分析仪，实现了对所有38K红外遥控器编码的测量和分析功能。在方案中采用测量脉冲宽度的方法，提供了被测红外遥控器编码的所有脉宽信息和波形，并对一些已知的编码格式提供了详细的编码信息。通过对不同遥控器（空调、电视和VCD机的遥控器）信号进行分析测试，本方案的通用型智能红外逻辑分析仪具有使用范围广、分析处理功能强和使用简便等特点。 展开更多

关键词 红外遥控 逻辑分析 状态标识 功能切换

在线阅读 下载PDF 职称材料

分子基逻辑材料

9

作者 傅晓飞 孙伟 +2 位作者 房晨婕 郭瑞 严纯华 《化学进展》 SCIE CAS CSCD 北大核心 2009年第5期957-963,共7页

在适当的条件下分子开关将输入的信息转换为输出信号,利用这一特点,可在分子体系根据二进位布尔逻辑规则实现信号转换。目前,用化学体系进行基本的布尔逻辑功能执行(PASS、YES、NOT、AND、NAND、OR、NOR、XNOR和INH)都已成为可能。在此... 在适当的条件下分子开关将输入的信息转换为输出信号,利用这一特点,可在分子体系根据二进位布尔逻辑规则实现信号转换。目前,用化学体系进行基本的布尔逻辑功能执行(PASS、YES、NOT、AND、NAND、OR、NOR、XNOR和INH)都已成为可能。在此基础上,逻辑门的整合与编程,以及更进一步的复杂分子运算开始受到人们的关注。迄今为止,以高灵敏性的荧光输出信号为主,人们在分子水平上设计实现了多种复杂的逻辑电路,包括组合逻辑电路和时序逻辑电路等,并开始涉及信息处理的安全平台设计。本文主要介绍了近年来用分子荧光开关体系模拟数字逻辑电路过程中所取得的最新进展,对分子逻辑电路研究的热点和问题进行了展望。 展开更多

关键词 荧光分子开关 分子基逻辑材料 分子器件

原文传递

Reed－Muller函数的综合理论

10

作者 费本初 《宁波大学学报（理工版）》 CAS 1995年第1期1-12,共12页

Ｒｅｄ一Ｍｕｌｌｅｒ函数在二值时即为异或开关函数，在多值逻辑，数字逻辑，编码理论中有其独特的地位，本文对近十年来Ｒｅｅｄ—Ｍｕｌｌｅｒ函数的综合理论，综合方法及各种变形作出整体性综述与展望，其中还包含某些未发表的新结果。

关键词 多值逻辑 Reed—Muller函数 Kronecher矩阵乘积 异或 开关函数 伽罗华域

在线阅读 下载PDF 职称材料

苯酐装置切换冷凝器的顺序控制 被引量：1

11

作者 王利君 《石油化工自动化》 CAS 2004年第4期9-12,共4页

主要阐述了苯酐装置切换冷凝器顺序控制的设计 ,在分散型控制系统Centum CS上的实现及对顺序控制系统的设计方法进行了探讨。

关键词 切换冷凝器 顺序控制 分散型控制系统 逻辑控制器 逻辑功能块 健康安全环保

在线阅读 下载PDF 职称材料

主循环泵“非正常切泵”切换原则的探讨

12

作者 张念 孙瑾 《湖北电力》 2013年第6期29-31,35,共4页

本文介绍了特高压直流复龙换流站水冷系统主循环泵的4种切换逻辑及切换优先级,针对"非正常切泵"的2种情形进行了功能性试验和分析,并对"非正常切泵"切换原则进行了探讨,得出结论应该将运行泵故障时切泵功能取消,将... 本文介绍了特高压直流复龙换流站水冷系统主循环泵的4种切换逻辑及切换优先级,针对"非正常切泵"的2种情形进行了功能性试验和分析,并对"非正常切泵"切换原则进行了探讨,得出结论应该将运行泵故障时切泵功能取消,将主水回路流量低作为"非正常切泵"功能的唯一原则。 展开更多

关键词 特高压直流 主循环泵 切换逻辑 切泵功能

在线阅读 下载PDF 职称材料

一种计算机图象算符压缩处理的新方法——多值逻辑函数化简法

13

作者 罗传萍 《武汉大学学报（自然科学版）》 CSCD 1992年第1期55-62,共8页

提出一种图象处理算符压缩的新方法,应用计算机主项生成技术,进行多值逻辑函数化简,从而实现图象算符的有效压缩,使图象处理中的逻辑运算过程大大简化。这项工作推进了多值逻辑图象处理的实用化。

关键词 计算机 图象算符压缩 图象处理

在线阅读 下载PDF 职称材料

无线台站中具备可靠保护逻辑的播出控制

14

作者 任博晟 《中国有线电视》 2017年第6期729-732,共4页

广播电视监控系统是保障广播电视安全优质播出的重要手段,而发射系统的播出控制功能是其一个重要的组成部分。描述了发射系统中信源自动切换、发射机监控和同轴自动倒换这3块内容,通过对这3块的控制,使得发射系统更加安全可靠。

关键词 播控功能 可靠保护逻辑 自动化倒换 信源切换 发射机监控

在线阅读 下载PDF 职称材料

一种爆炸逻辑元件的设计 被引量：2

15

作者 金丽 于江 +1 位作者 兰小东 韩克华 《火工品》 CAS CSCD 北大核心 2009年第4期27-29,共3页

根据爆炸逻辑元件的作用原理,对爆炸零门及控制开关进行了设计,试验研究了不同结构、不同传爆药以及不同控制通道与传爆通道间隙下的零门功能,以及控制开关作用时间。结果表明:选择感度适中的细化HMX和较高爆炸能量的控制通道,在一定间... 根据爆炸逻辑元件的作用原理,对爆炸零门及控制开关进行了设计,试验研究了不同结构、不同传爆药以及不同控制通道与传爆通道间隙下的零门功能,以及控制开关作用时间。结果表明:选择感度适中的细化HMX和较高爆炸能量的控制通道,在一定间隙下,爆炸逻辑元件能够完成自锁逻辑传爆功能;此外,应选择作用时间较短的控制开关,并注意其与起爆雷管的作用时间的匹配。 展开更多

关键词 爆炸逻辑元件 爆炸零门 控制开关 作用时间

原文传递

基于FLC滑模切换SMC异步电动机防抖振控制

16

作者 陈庆协 周风余 +2 位作者 李国栋 吴春富 刘念 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第5期1021-1027,共7页

针对三相异步电动机标准滑模控制中的抖振问题,提出一种基于模糊逻辑滑模控制(FLC-SMC)算法的异步电动机防抖振控制策略.基于系统状态变量非连续函数所创建的"滑动面",引入模糊逻辑控制器来取代传统切换函数k1,2sgn s(1,2),... 针对三相异步电动机标准滑模控制中的抖振问题,提出一种基于模糊逻辑滑模控制(FLC-SMC)算法的异步电动机防抖振控制策略.基于系统状态变量非连续函数所创建的"滑动面",引入模糊逻辑控制器来取代传统切换函数k1,2sgn s(1,2),并利用SMC等效控制和FLC控制器的配合实现状态轨迹沿滑模面的平滑移动.本文推导给出SMC控制率和FLC控制器隶属度函数,并据此设计FLC-SMC三相异步电动机仿真实验模型.通过仿真对比显示,所提算法对控制参数及负载转矩变化具有更好的鲁棒性,能有效起到防抖振效果. 展开更多

关键词 模糊逻辑 滑模控制 切换函数 三相异步电机 抖振

原文传递

非线性干涉滤光片开关特性及逻辑功能

17

作者 李士杰 谢达 +2 位作者 郑燕飞 唐晋发 范琦康 《中国激光》 EI CAS CSCD 北大核心 1993年第9期671-673,共3页

应用干涉滤光片作为一种光学双稳器件,演示了光学逻辑开关功能。

关键词 光学 光开关 光学双稳态 滤光片

原文传递

汽轮机——压缩机组液压盘车器的自动控制

18

作者 冀献丽 《中国化工装备》 CAS 2000年第4期9-12,共4页

介绍汽轮机——压缩机组液压盘车器的自动控制原理及故障分析。

关键词 盘车器 可编程控制器(PLC) 单元 模块 模拟量 开关量 功能逻辑图

原文传递