高压直流配套电厂孤岛信号逻辑判别分析及应用

配套高压直流输电的电厂在直流输电工程投产前需完成设备的适应性改造工作,其中直流孤岛判别系统是换流站及电厂设备正确进行自动控制的前提,孤岛判别指令的正确及可靠性是电厂适应直流各种运行方式,保障电网及电厂设备安全稳定运行的关键。结合金中直流及梨园、阿海电厂的孤岛系统,分析配套电厂侧的孤岛信号逻辑判别设备配置及系统逻辑,给出高压直流配套电厂侧设备孤岛信号逻辑判别的实现方案。

汽轮机发电机停机信号逻辑优化的分析与实施

汽轮机、发电机是核电厂的核心部件,为使机组安全运行,设计了多重保护。但目前关于汽轮机、发电机停机信号的设计存在以下缺陷:部分停机信号不满足单一故障准则的设计要求,部分停机信号冗余与另外停机信号作用重复,所有停机信号没有单一故障报警信息。通过本文,详细介绍汽轮机发电机停机信号逻辑优化的必要性,可行性,安全性。

一种使用STL逻辑监控CPS的可解释规范挖掘方法

随着信息物理融合系统(CPS)日益复杂,很难捕获其相关行为并以一种可解释的方式检测它.因此本文提出了一种基于线性支持向量机(LSVM)框架的规范挖掘算法,从有限长度的信号轨迹中挖掘具有可解释性的信号时序逻辑(STL)公式.挖掘出的STL公式可以作为监控行为的抽象,用于CPS运行时验证的监控机制中.该算法根据一组被标记的有限时间轨迹和STL模板公式,将信号时序逻辑特有的鲁棒性满意度与LSVM的优化算法相结合生成所需规范.另外,本文还将对一维信号轨迹的规范挖掘技术扩展到多维信号上.最后,通过两个案例研究来说明提出算法的可行性和优势,结果表明该算法在保证高准确率的前提下,执行效率和可解释性都优于其他的规范挖掘算法.

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景 。

逻辑信号测试仪的设计与实现

采用中小规模集成电路,设计并实现了一种逻辑信号测试仪。该测试仪不仅能区分逻辑电平的三种状态:高电平、低电平、高阻,而且还能区分脉冲信号及其频率的数量级。测试仪的电源电压范围宽(3～18V),适用于各种类型的数字电路逻辑信号的测试,具有实现容易、操作简单、功能可靠、价格低廉、实用性强等优点。

用逻辑信号直接驱动直流电力控制SSR的新技术

提出一种只要用逻辑信号就能直接控制直流电力控制固态继电器(SSR)的新技术;其特征是不要外接偏置电压源,而由一个特殊隔离变换器将输入逻辑信号变换为能快速开通或关断IGBT模块的驱动电力。该 换器首先对输入导通信号进行短时的累积储能以达到足够的电能,然后释放为模块的驱动变电力,从而实现 用信号线就能直接控制SSR的先进控制方式。结合此技术,还提出了关断缓冲电容器能量的自动放电复位电路。文中给出了新技术的基本电路结构与设计方法;对电路的工作原理进行了理论分析。对电路进行的仿真研究与实验测试,均表明该技术可行且性能优良。

基于74LS164交通信号控制系统逻辑电路的设计

主控制器是根据74LS164十四进制扭环形计数器状态循环转换原理而设计,是整个电路的核心,用于定时控制两个方向红、黄、绿信号灯的亮与灭及持续时间并将持续时间倒计时过程在LED七段数码管上同步显示出来。

信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高。提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法。该规划方法分为离线构建阶段和在线规划阶段。离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯。当采样点足够多时,在线规划阶段使用模型预测控制将机器人驱动到快速随机搜索树的叶子节点。通过所提出的规划方法,避免了环境的有限转移系统与信号时序逻辑对应的自动机乘积引起的状态空间爆炸问题。所提出的方法将在线路径规划所需时间降低到1s以下,充分说明了本方法的有效性。与混合整数线性规划以及贝叶斯优化方法相比较,所提出的终点回溯规划方法在线求解效率更优,且更加易于扩展至多机器人协同工作场景。

基于FPGA的逻辑信号源的设计与实现

本文介绍了逻辑信号源的原理和系统组成。阐述了系统平台的硬件设计及主要单元模块的功能,并对FPGA内部程序设计的主要思想和数据流程作了较详细介绍。仿真结果表明,系统可以输出包括SPI、IIC、USB、RS232、CAN等协议在内的多种串行数字码流,以及并行的数字码流。测试结果表明,系统可以满足各种数字激励需求的数字信号,它们可以生成所需的1和0的码流,测试计算机总线、微处理器IC设备和其他数字系统。

多路逻辑信号发生器的PC机控制

为解决数字电路插板的测试问题,设计了80路逻辑信号发生器。采用PC机进行控制,设计了比较完善的通信协议,利用微软Office软件的功能可以方便地完成逻辑测试向量的编辑及其文件的导入、导出等数据处理工作。

信号时序逻辑方法识别电机运行状态研究

矢量控制是目前永磁同步电机(PMSM)的主流控制方法,针对其计算复杂,依赖电机参数辨识等缺点,提出采用信号时序逻辑(STL)的形式化方法对电机运行状态进行识别,从而可以通过控制电机驱动电路的脉宽调制(PWM)实现最大转矩电流比控制(MTPA)。采集与驱动电路直流母线串联的shunt电阻在电机同种工况不同运行状态下的电压数据,采用5折交叉验证,基于决策树学习STL公式,最后使用STL公式判断电机运行状态正常,欠调制,或过调制。定义了一阶基元和二阶基元分别作为决策树节点,学习过程使用粒子群优化(PSO),并采用了不同不纯性度量作为优化时的损失函数。实验结果表明,使用一阶基元的STL对电机状态识别准确率可达98.78%,程序运行耗时0.150 9 s;使用二阶基元识别准确率可达95.06%,程序运行时间2.397 9 s,对基于STL实现电机控制算法具有重要意义。

基于信号时序逻辑的轮式移动机器人路径规划和漏斗控制设计

时序逻辑可通过提供丰富的规范语言来确保系统对任务规范的准确描述和执行。文章使用相关的鲁棒语义来分析信号时序逻辑规范片段下的连续时间系统,并使用基于漏斗的反馈控制律来实现对轮式移动机器人路径规划和控制的协同设计,在引入更加严格有效的形式化验证方法的同时还有效降低了运算量,其首先利用信号时序逻辑对任务进行相应的描述,再将此描述转换为对应的鲁棒公式,最后基于漏斗反馈控制策略的瞬态特性来最大化鲁棒公式的鲁棒语义,从而达到规划和控制协同进行的目的。在轮式移动机器人运动学模型上的仿真结果表明,采用文中所提出的协同设计方法,当满足任务约束时,系统能够完成信号时序逻辑所指定的目标,并具有用户定义的鲁棒性;当不能满足任务约束时,仍可找到最小违背解。文中所提出的路径规划和漏斗控制算法解决了移动机器人规划和控制的协同设计问题,可有效提升运算效率,简化计算复杂度,扩大了信号时序逻辑在移动机器人路径规划中的应用范围,同时增加了系统的鲁棒性。

核电DCS中长信号控制设备的逻辑设计

由于核电DCS长信号控制设备在一层组态设计时使用标准控制逻辑会产生二层画面显示问题,为了解决该问题,该文通过对标准控制逻辑进行分析、改进及优化,给出长信号控制设备的逻辑设计,该逻辑设计在已实施项目上已经通过测试验证,能够确保长信号控制设备一层组态和二层画面显示的正确性和一致性。

DL9710L——支持32ch逻辑信号分析的新型混合数字示波器

横河电机即将推出支持32ch逻辑信号分析的新型混合数字示波器DL9710L。作为DL9000系列数字示波器的新成员，DL9710L在继承高速波形数据采集、强大历史存储、直观显示等功能的基础上，追加了逻辑信号触发和分析功能。

横河电机推出支持32ch逻辑信号分析的混合数字示波器

横河电机日前推出支持32ch逻辑信号分析的新型混合数字示波器DL9710L。作为DL9000系列数字示波器的新成员，DL9710L在继承高速波形数据采集、强大历史存储、直观显示等功能的基础上，追加了逻辑信号触发和分析功能。

绝缘传递逻辑信号的逻辑隔离器AD260

AD260是模拟器件公司新近推出的一种绝缘传递逻辑信号的逻辑隔离器,它采用与以往的光隔离法完全不同的绝缘方法,能够实现高速信号的传递,并具有很高的输入、输出绝缘特AD260外形尺寸为11×14×38(mm)。其引脚排列如图1所示,引脚功能如表1所列,主要电气特性见表2。AD260和高速光耦合器两者的逻辑信号开关响应特性如图2所示。由图2可知。

利用态度信号词和逻辑信号词,把握主题语义场,巧解完形填空

分析高中英语完形填空教学的要求和现状,提出"利用态度信号词和逻辑信号词把握主题语义场,巧解完形填空"的教学构思:以态度信号词和逻辑信号词为突破口,引导学生把握主题语义场,建立篇章意识,并运用语义场理论选出语境一致、语义连贯的最佳选项,提高完形填空的正确率,并以课堂实例加以阐释。

基于PPLN波导的全光逻辑信号处理器设计思路

针对全光网中重要的全光逻辑信号处理技术,本文分析了几种典型的利用PPLN波导实现的全光逻辑信号处理器的设计方案,提出了基于PPLN波导的全光逻辑信号处理器的设计思路,先根据单个PPLN波导能实现的逻辑运算来确定合适的逻辑表达式,再在满足级联条件下,结合PPLN波导实现逻辑非运算的原理,用PPLN波导级联的方式实现逻辑表达式,最后用M A T L A B仿真得到相关性能指标,从而分析方案可行性。本设计思路为其他全光逻辑器件的研究和设计提供了一些参考。

支持32通道逻辑信号分析的混合数字示波器 可用于测试有多路模拟信号和FPGA、CPLD、闪存等数字电路的系统

混合数字示波器DL9710L具有4个模拟通道和32个逻辑通道。模拟通道的带宽为1GHz、最大采样率为5GS／s，每通道的记录长度为6．25M，逻辑通道的最大开关频率250MHz。丰富的触发功能包括：模拟信号触发、串行／SPI／I^2C／CAN触发，逻辑信号的触发方式有边缘触发、状态触发、脉冲触发、脉冲状态触发。