学科分类
/ 25
500 个结果
  • 简介:又一位图灵奖得主去世了,他是受人尊敬的时序逻辑领域大师艾米尔·伯努利(AmirPnueli)。今年11月2日,这位1996年度图灵奖得主因脑出血去世,享年68岁,只剩那些熠熠生辉的科技成就留给后人。

  • 标签: 时序逻辑 开拓者 科技成就 图灵奖 伯努利 脑出血
  • 简介:本文简要介绍了状态机理论以及时序逻辑电路的特点,给出了一种时序逻辑电路的设计模型,在此基础上将时序逻辑的设计问题转化为组合逻辑的设计问题。本文给出的时序电路模型将状态机的理论和技术应用其中,并可借助于EDA软件进行设计和仿真。本文提出的设计方法简洁实用,可用于数字电路课程时序电路部分的教学。

  • 标签: 有限状态机 时序逻辑设计 电子设计自动化 硬件描述语言
  • 简介:模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Btchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Buchi自动机所识别的语言与广义可能测度下线性时序逻辑公式语义一致.

  • 标签: 模型检测 广义可能测度 KRIPKE结构 自动机 模糊自动机
  • 简介:摘要粗轧轧辊在高温、高压、周期性作用力冲击等条件下工作,始终处于复杂的应力状态中,这样对轧辊产生了辊面磨损、辊面裂纹、剥落、划伤、粘辊等损害,从而影响了板材的质量,通过更换新的工作辊来满足轧制的要求。

  • 标签: R2换辊 换辊逻辑时序
  • 简介:摘要粗轧轧辊在高温、高压、周期性作用力冲击等条件下工作,始终处于复杂的应力状态中,这样对轧辊产生了辊面磨损、辊面裂纹、剥落、划伤、粘辊等损害,从而影响了板材的质量,通过更换新的工作辊来满足轧制的要求。

  • 标签: R2换辊 换辊逻辑时序
  • 简介:通过运用Excel表格对控制逻辑进行运算,分析功能块在每个周期的具体变化,为分析逻辑时序问题提供简便有效的手段。此方法具备大型仿真系统所没有的经济、简便、实用的特点。

  • 标签: 仿真系统 时序 EXCEL表格
  • 简介:摘要介绍时序控制的应用及Ovation中时序设置的原则,通过现场除氧器液位控制试验中出现的问题,分析时序控制对逻辑功能的影响,提出解决时序问题的方案,并使用时序图对方案进行微观分析,现场测试解决方案并通过,得出正确的时序逻辑,以维持控制系统稳定。

  • 标签: 时序 执行周期 脉冲带宽 逻辑组态
  • 简介:摘要:逻辑控制单元(Logic Control Unit,以下简称“LCU”)是专为轨道车辆的逻辑控制而设计的一套车载计算机系统,通过无触点电路替代列车传统的中间继电器、时间继电器,实现列车逻辑控制、故障诊断及综合保护等功能。本文通过讨论一种新型LCU的设计开发理念,为LCU在安全性、可靠性、可用性、可维护性多方面进行描述,展示了一种更为安全可靠的LCU的设计思路。

  • 标签: LCU 继电器 2乘2取2 安全计算机
  • 简介:摘要:近年来,深度阅读在语文阅读教学中越来越受欢迎,它要求学生全身心投入,并在学习过程中实现对知识的深度建构,以求获得高质量的学习成果。小学语文统编版教材以单元主题提纲挈领,通过多类型的课文共同展现教学意图,对有效实现深度阅读提供了便利。本文以小学语文统编版教材为例,就如何遵循单元内在逻辑,开展深度阅读教学展开探讨。

  • 标签: 单元 深度阅读 核心素养
  • 简介:《文心雕龙·时序》是刘勰阐述“文学是随着时代变化而变化”的文学发展规律的篇章。文章对有争议之处提出了个人见解,即“梗概”有大概、耿介、慷慨三个含义,《文心雕龙·时序》中“故梗概而多气也”的“梗概”应解为“慷慨”;“尽其美者何,乃心乐而声泰也”中“何”属上句。

  • 标签: 梗概 何乃 商榷
  • 简介:摘要:CANopen总线作为工业机器人行业广泛使用的现场总线网络协议,本文针对CANopen总线通信过程中的SDO报文、同步报文、PDO报文的通信时序进行研究,对比分析CANopen协议报文理论传输时间与时间传输时序,为CANopen控制器的逻辑时序设计奠定基础。

  • 标签:
  • 简介:介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分单粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。

  • 标签: 时序逻辑单元 组合逻辑单元单元 单粒子效应 翻转截面 重离子实验 加固设计
  • 简介:摘 要:为了提高地铁列车逻辑控制电路的灵活性和智能化程度,设计了一种采用三取二控制策略的逻辑控制单元,在输入采集、逻辑计算和输出驱动三个环节分别采用三取二表决方法,且每组板卡采用独立供电,提高了LCU输出的准确性和容错性。将该LCU代替部分继电器应用于城轨地铁列车上,为地铁列车的安全运行提供保障。

  • 标签: 逻辑控制单元 LCU 三取二
  • 简介:摘要:初中数学教学从内容量和知识难度来看,较小学数学有了质的飞跃。对学生的空间想象力、抽象概念的理解能力和逻辑思维能力产生极大的考验。如何在初中数学教学过程中渗透逻辑思维能力的培养,一直是广大初中数学教育者共同的课题。在本文中,笔者结合自身经验,浅析在单元整体教学模式中学生逻辑思维能力的培养策略,与广大教育者共勉。

  • 标签: 单元整体教学 学生 逻辑思维能力
  • 简介:书写时序的判断在笔迹检验鉴定中,常作为确认单字笔迹的笔顺特征,判定文件中是否存在添改写事实,是否存在伪装等变造事实的依据而被广泛使用。笔迹书写时序的无损判定常常借助于笔迹所反映出的内在实质,即习惯性书写动作系统。针对书写速度较慢的无连笔、无交叉字迹笔画中书写时序的判定,主要是通过相邻笔画起收笔反射动作的照应关系,单字中关键性笔画的运笔趋势和相同的相邻笔画的间距等方面进行判断。针对书写速度较快的有连笔字迹笔画书写时序的判定则主要是透过把握书写动作中"形连"与"意连"的关系来进行。在字迹中有交叉笔画的书写时序的判断中,对使用水溶性色料的笔种,常通过墨水的洇散现象、纸张纤维的流向、墨水拖带现象等特征进行分析;对使用油溶性色料的笔种,常通过笔画沟痕特征、色料堆积特征、笔痕光泽特征等微观现象进行判断。

  • 标签: 笔迹检验 书写时序 添改写文件 笔痕特征
  • 简介:摘要通过介绍锅炉磨煤机组集中加压式密封风机系统的原理及设计基本思路,分析大唐洛阳首阳山发电有限责任公司#3锅炉集中式密封风机的控制策略,及控制系统的存在问题,提出解决方法。

  • 标签: 密封风机 控制系统 联锁 风压 DCS
  • 简介:摘要:本文介绍了轨道车辆逻辑控制单元集成设计和应用,通过LCU硬件和软件架构说明LCU产品集成设计,通过LCU系统集成设计应用的设计问题和成熟产品LCU系统控制实例,阐述系统集成设计原则和设计思路。

  • 标签: 轨道交通 逻辑控制单元 集成设计 逻辑电路设计
  • 简介:时序知觉是个体对直接作用于感觉器官的客观事件顺序性的知觉。当前关于时序知觉的认知机制有两种观点,中枢计时机制认为存在一个共同的中枢加工器对不同刺激所包含的时序信息进行加工,主要包括一般阈限模型和两阶段模型;而特定特征机制则认为时序知觉取决于具体的感觉通道和刺激属性。时序知觉涉及颞-顶区、额叶、基底神经节和小脑等脑区,这也为时序知觉的中枢计时机制提供了一定的支持。时序知觉的认知机制与神经基础还有不少重要问题有待进一步探究。

  • 标签: 时序知觉 中枢计时机制 一般阈限模型 两阶段模型 特定特征机制
  • 简介:摘要在教学中,巧借历史时序特点,通过领悟时序、内化时序和践行时序三个环节,渗透遵纪守时意识,培养适应社会发展需要,守时守信、遵纪守法的合格人才。

  • 标签: 时序历史脉络遵纪意识