有限状态机的二元优化状态编码算法

对于有制约条件下的复杂状态机的编码优化问题,一直是EDA技术的难点,本文根据信息度量理论的二元优化算法,以某状态机为实例,详细介绍了有限状态机的二元优化状态编码算法实现的步骤和细节,并对该算法的自动化实现的空间爆炸问题作了相关讨论和建议。     

一种有效的golomb解码器设计与硬件实现

Golomb编码压缩算法已被广泛地应用于视频图像处理、测试数据压缩等众多领域。本文设计了一种有效的适合硬件实现的Golomb解码器,并且完成了解码器电路的硬件实现。本设计采用有限状态机(FSM)与计数器相结合的解码结构,并且对有限状态机的实现进行了优化,减少了有限状态机的状态数。电路综合实验结果表明,此解码器的电路门数大约为120门,关键路径延时为0.7ns。该设计可扩展性强、硬件开销少,可在较高的工作频率下工作,并且可以作为独立的IP核使用。     

基于状态机算法的控制器设计

结合状态机算法的基本原理设计出一个简单的饮料控制器,采用硬件描述语言VHDL得到控制器综合后对应的状态转换图描述、RTL级描述及底层门级结构,并对设计结果进行了模拟仿真验证。     

状态机变换半群的可分性

在状态机的讨论中,覆盖问题和分解问题是讨论的主要方面.对于一个比较复杂的状态机要想找到的它的覆盖和分解一般是比较困难的,如果一个复杂的状态机具有可分性,我们就可以把它分成若干简单的状态机,从而解决它的覆盖和分解问题.本文主要讨论状态机变换半群的可分性,而状态机变换半群的可分性与它对应的状态机的可分性是一致的,从而解决状态机的可分性问题.     

具混合时滞的中立型系统时滞依赖稳定性准则

1引言自动控制、种群动力学等的许多模型可以由中立型时滞系统来描述.近年来,很多学者对其进行研究,取得了很大的成果.现有的结果中,少有文献讨论混合时滞中立型系统时滞依赖渐近稳定准则.本文讨论一类具有混合时滞的线性中立型系统渐近稳定性问题.2问题描述及相关引理考虑如下     

UML状态机与框架技术在嵌入式系统中的应用

嵌入式系统中运用UML状态机和框架复用技术,在提高嵌入式系统开发效率、保证系统可靠性及系统可维护等方面有积极意义。相对于传统有限状态机,用UML状态机描述的嵌入式系统具有高度结构化、逻辑清晰、图形可视等特点。以基于Quantum Platform框架在嵌入式系统的应用为例,介绍了一种基于UML状态机的图形化建模开发和代码自动生成方法。该方法基于Quantum Platform框架以及相关开发组件,具有快速开发、方便调试、多平台移植、支持底层8位/16位低端单片机等特点。     

匀减速直线运动追及问题的讨论

物体做不可往复的匀减速直线运动(如汽车的刹车、关闭油门等)时,它运动的时间和位移都有一个最大值,对于两个做匀减速直线运动的追及问题,不仅要考虑物体间的位移、速度、时间关系,而且还要考虑物体是否同时停止运动的问题.请看下面的例题.     

PLC交流电梯控制系统的优化设计

在编写电梯的PLC程序时,要根据电梯运行的工作流程图设计好运行状态程序、保护程序、上下行程序、呼叫信号程序、轿厢与厅的指层信号程序、开关门程序、有无司机时程序、换速程序等七个模块。系统中PLCI／O点的优化措施是,采用光电编码位移定位代替传统的平层限位开关,将上下呼叫信号及平层信号进行编译输入在电梯输入信号中,将输出的楼层显示信号转换成BCD码和片选信号。     

基于有限状态机的多周期CPU实验设计

设计了一个基于FPGA的多周期CPU实验,并将有限状态机应用于模型计算机的设计与实现。模型计算机基于MIPS处理器,含8条典型指令。给出了多周期CPU的数据通路与指令流程图,并按照有限状态机的设计方法,完成了状态转移图的设计和HDL的程序描述。实验不仅使学生掌握有限状态机这一重要的数字系统设计工具,同时也有助于学生加深理解"计算机就是一个有限状态机"的概念。在课程实践应用中教学效果良好。     

图象法解运动学问题

正学生进入高中阶段一开始学习物理,首先进行运动学的学习.与之前在初中学的简单物理运动相比有了很大的难度,而这部分又是在高中阶段学习物理的基础和难点.运动学解题的方法多种多样,如果学生在高一时就能掌握图象法解题,在今后的学习和复习都有不可估量的帮助.速度——时间(v-t)描述物体运动的速度随时间的变化规律.其横坐标表示时间、纵坐标表示速度,其斜率表示速度变化的快慢即加速度,而图象与坐标围城的面积是物体运动的位移.     

编码器用SSI协议及实现

绝对值编码器采用的SSI通讯协议是一种同步串行通讯协议,通过差分方式传输码值提高了抗干扰的能力,接线简单,增加了系统控制的可靠性.本文详细描述了SSI协议的通讯格式、原理及应用电路,并采用verilog语言实现了SSI通讯协议.设计实用电路并实现了与绝对值编码器的通讯.     

加工中心安全门的控制

采用开关信号检测加工中心可移动式安全门的开、闭状态，结合FANUCoi系统的PMC程序设计，实现了对安全门状态的实时监控，使安全门真正具备安全防护的功能。     

DTMF远程遥控器的设计与研究

主要介绍了一种以AT89C51单片机和MT8870双音多频解码集成电路为核心,通过电话线路遥控的远程多路智能控制器。该控制器能够检测电话振铃信号,自动模拟摘机,操作者根据语音提示提示完成状态查询或是控制动作。     

基于PLC和组态技术的交通灯监控系统设计

设计了两种路口交通灯监控系统的控制方案,介绍了用PIE实现对交通灯运行控制的方法.采用组态王软件实现监控系统的上位机设计,在组态王中实时反映交通灯的运行状态,并能通过监控画面控制交通灯的信号,PLC控制系统和组态监控系统进行实时数据交换.     

锅炉给煤机调速系统的改造

沧井公司热电厂的锅炉给煤机调速系统是由滑差电机来实现的,但调速非线性,给煤不稳定,使锅炉燃烧不稳,造成锅炉压力的波动。采用滑差电机能耗高,经济性差,运行可靠性差,且控制信号非标准,无法通过电站DCS控制。用变频器代替滑差电机后,调速线性良好,给煤均匀,高效节能,大大提高锅炉的控制运行水平。     

低成本无人机遥感图像获取及后续处理技术

通过价格低廉的电动航模作为无人载机,配备飞行控制系统、数传系统、遥测系统、GPS信号、定焦数码相机从而构成的简易遥感系统,获得对地面的遥感图像和无人机的姿态数据。根据几何校正模型,对拍摄的图片进行几何校正;通过图像融合拼接,得到目标地区的大面积数字影像图。     

基于AT89C51的激光器驱动和调制系统的设计

波导锥尖近场光因其能量传输效率能满足要求而成为目前极具潜力的光发展的一个分支。为了满足能量检测,介绍了一种激光器驱动和调制电路控制系统的设计,该激光系统能接受不同频率的调制信号调制,可以实现高频率的随机调制信号的输出。与上位机配合完成对激光器驱动和控制电路的各种控制,可自由选择调制信号源和调制信号频率。     

视频监控免电源线传输技术——以农作物视频监控为例

采用传统频分复用(FDM)和正交频分复用(OFDM)技术,设计并制作电源直流信号与视频信号双向传输技术的硬件系统,极大降低了整个监控系统成本,从而可以利用电视机或监控器观察农作物生长状况和病虫害状况,并进行果园防盗监控.     

车轮传感报警技术在铁路道口报警系统中的应用

通过对兰州石化公司西门铁路道口现状的分析,根据车轮传感器的工作原理,将其应用在西门道口报警信号控制系统中,解决了西门道口的安全隐患,为西门道口的安全防护提供了设备保证。     

Improving effectiveness of learners’ review of video lectures by using an attention-based video lecture review mechanism based on brainwave signals

Online video-based learning has been increasingly used in educational settings. However, students usually do not have enough cognitive capacity and metacognition skills to diagnose and record their attention status during learning tasks by themselves. This study thus presents an attention-based video lecture review mechanism (AVLRM) that can generate video segments for review based on students’ sustained attention status, as determined using brainwave signal detection technology. A quasi-experiment nonequivalent control group design was utilized to divide 55 participants from two classes of an elementary school in New Taipei City, Taiwan, into two groups. One class was randomly assigned to the experimental group, and used video lectures with the AVLRM support for learning. The other class was assigned to the control group, and used video lectures with autonomous review for learning. Analytical results indicate that students in the experimental group exhibited significantly better review effectiveness than did the control group, and this difference was especially marked for students who had a low attention level, were field-dependent, or were female. The findings show that AVLRM based on brainwave signal detection technology can precisely identify video segments that are more useful for effective review than those picked by student themselves. This study contributes to the design of learning tools that aim to support independent learning and effective review in online or video-based learning environments.