状态转移图

摘要： 随着节能意识的提高,不仅要求网络设备性能而且要求节能.针对这种需求,设计出一种低功耗政务专网网关.硬件上使用支持1.4/1.8 GHz和700 MHz频段专网接入的政务专网模块,使用第五代Wi-Fi模块;软件上提出一种基于状态转移图的能量管理算法,算法可以在没有终端接入Wi-Fi时关闭专网通信模块.测试结果表明:网关的性能接近4G设计极限,提出的算法最高可以节省20.75％的能量;之后构建了设备综合工况,由计算结果可知上行传输越多,算法节能效率越高.

摘要： 为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性;再次采用基路径覆盖、转移对覆盖、条件元覆盖3种覆盖准则相结合方式实现测试用例的自动生成;最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴.

摘要： 针对现有烫印设备存在自动化水平低和人机界面交互性差的问题,采用三维参数化设计方法对全自动烫印机的结构进行设计,以三菱新一代FX3GE系列PLC(programmable logic controller,可编程逻辑控制器)和T5L智能触摸屏为核心搭建了全自动烫印机的网络化控制系统,实现了伺服电机与气缸的高速、高精度驱动,PID(proportion integration differentiation,比例积分微分)温度控制以及多参数人机数据交互.针对传统固定路径顺序指令编程模式无法满足小批量定制化生产模式的要求的问题,提出了基于有限状态机(finite state machine,FEM)模型的全自动烫印机控制程序设计方法.首先,对全自动烫印工艺和运动工位的分布、数量和逻辑顺序关系进行功能规划与模块化设计,建立了层次化有限状态机模型;然后,根据状态迁移事件与状态转换条件构造了烫印动作的状态转换图;最后,结合图论思想,将状态转换图映射到邻接链表变量空间,并采用变量配置方式驱动邻接链表,从而完成对状态转换图的遍历和拓扑扩展.仿真结果表明,与传统的指令编程模式相比,基于有限状态机模型的全自动烫印机控制程序设计方法不仅提升了开发效率和组态化编程水平,有效降低了控制程序的维护成本,还保证了伺服电机与气缸的时序动作不会干涉和交叉,提高了控制系统的可靠性,具有广阔的工程应用前景.

摘要： 根据运筹学课程排队论章节的内容特点,传统的教学方法易造成学生重计算轻思考,重记忆轻理解,解决实际问题能力弱.文章提出了教学过程中应注重瞬态与稳态的统一、个性与共性的统一、标准模型与非标准模型统一的启发式授课模式.

摘要： 根据运筹学课程排队论章节的内容特点,传统的教学方法易造成学生重计算轻思考,重记忆轻理解,解决实际问题能力弱。文章提出了教学过程中应注重瞬态与稳态的统一、个性与共性的统一、标准模型与非标准模型统一的启发式授课模式。

摘要： 针对虚拟集群节点的可用性评价,提出了一种基于状态转移图的虚拟集群节点可用性模型.首先,通过分析虚拟集群节点的部署方式和运行过程,确立了虚拟集群节点的5种生命周期状态,并阐明了5种生命周期状态之间的转移关系;然后,对于无备用节点和有备用节点两种情况下的虚拟集群节点,分别给出了相应的状态转移图,并建立了一系列的可用性模型.根据实际虚拟集群系统的运行日志,设定所提出的虚拟集群节点可用性模型的参数值,然后进行了多次数值模拟实验.实验结果表明,所提出的虚拟集群节点可用性模型的分析结果与实际可用性水平一致,能够正确地反映虚拟集群节点的可用性规律.%Aiming at the availability evaluation of virtual cluster nodes,a state transition diagram-based virtual cluster node availability model was proposed.First,five lifecycle states of virtual cluster nodes are established by analyzing the deployment mode and running process of virtual cluster nodes,and the transition relations between five lifecycle states are expounded.Then,the state transition diagrams of a virtual cluster node without a standby node and with a standby node are respectively presented,and the corresponding availability models of virtual cluster nodes are proposed based on the above state transition diagrams.Many numerical simulation experiments were conducted after setting the parameter values of the proposed availability models according to the running log of a real virtual cluster system.The experimental results show that the analytical results of the proposed availability models are in accordance with the real availability level and they are able to reflect the availability law of virtual cluster nodes properly.

摘要： Dynamic spatial relations representation and reasoning have always been a focus of research in qualitative spatial rea -soning.In this paper,the qualitative spatial relation of spatial primitive area is represented by rectangle relation.Some elabora-tion and extension are made for dynamic spatial system defined by Bhatt.Eight moving actions are defined for spatial entity,and the state transition graph and the state transition table are given under different actions for interval relation in spatial situation with multiple spatial entities.A tuple is used to formalize spatial situation,a basic missions is defined in dynamic spatial system,what the new spatial situation is when an entity takes action in the history situation.The method to solve the missions is given,and the limitation and shortages of the method are also presented.Furthermore,an application situation is given in this paper.%动态空间关系的表示和推理一直以来都是定性空间推理中的研究重点.通过用矩形关系来表示空间原语实体为区域的定性空间关系,对Bhatt定义的动态空间系统进行细化和扩展,定义空间实体的8个移动动作,并给出拥有多个空间实体的空间场景下区间关系在不同动作作用下的状态转移图和状态转移表,指出状态转移图和概念邻域图的区别.用一个元组对空间场景进行形式化表示,定义动态空间系统中的一个基本任务,即历史场景在空间实体动作作用下推出新空间场景,给出这个任务的解决方法,指出方法的局限和不足,同时给出一个应用场景.

摘要： 提出了一种以STC89C52为核心的选择型二分支顺序控制器的设计方法,通过光电耦合电路对现场控制信号进行转换处理并送入控制器的输入端,以软件实现环形移位,使控制器内部移位器产生与选择结构状态转移图相同节拍的工作过程,进而通过继电器输出电路实现对选择型生产装备的顺序控制.控制器具有结构简单、连接方便、成本低廉和使用时免编程等特点.实际工程应用表明,控制器具有工作可靠、性能稳定、能耗低和体积小等优点,是一种有良好应用前景的新型控制器.

摘要： 脚本语言词法、语法规则简单,具有明确的界定符,为了简化其词法语法分析过程,提出了一种基于状态转移的词法分析方法。该方法根据脚本语言的界定符的合法顺序设计状态转移图,通过前项查看一个字符实现状态跳转,一遍扫描完成词法分析。在研究和建立逻辑规则描述语言的基础上,综合分析其文法特征,根据界定符的FOLLOW集设计其词法分析的状态转换图.此方法结构清晰,易编程实现,已实际应用于工程开发中,取得了良好的效果。

摘要： 基于PLC可编程控制器在控制系统中无与伦比的优势，特别是它们在人们的日常生活中扮演着越来越重要的角色，PLC可编程控制器已经越来越多地被人们加以使用。本文以户外彩灯广告为例，采用三菱公司FX2N-48MR可编程逻辑控制器对户外彩灯的亮灭、闪烁时间及流动方向等特殊要求进行设计。通过对FX2N-48MR可编程控制器输入输出点的分配，硬件端子接线，程序采用状态转移图SFC的设计方法，巧妙完成了户外彩灯广告的特殊要求。实际运行表明，PLC可编程控制器不仅能很好完成户外彩灯广告的特殊要求，而且还具有电路结构简单、安装调试方便的优点。

摘要： 语音技术应用于GIS 是提高GIS 智能化程度、完善其人性化服务体系的重要内容之一。为解决以自然语言方式实现用户与GIS 交互过程中出现的语义模糊性问题，以及由于背景噪音、说话方式等因素带来的语音识别结果不稳定问题，本文提出了面向GIS 的反馈式语音对话模式。该模式运用有限状态机模型，以GIS 功能为基础针设计了相应的状态转移图，以用户输入GIS 命令为状态机模型的触发条件，通过问答形式获取实现GIS 功能的命令和参数，同时采用系统验证方式检测参数的正确性，对于模糊信息，依据验证结果要求用户澄清其内容以确保GIS 操作的有效性。经实例分析，验证了该模式的可行性。

摘要： 叙述可编程序控制器步进顺序控制及指令结构组成，对单流程状态转移图的编制、选择性分支与汇合及编程和并行分支与汇合的编程进行了分析。通过三个实例的应用，探讨不同程序的编制方法，针对各种复杂程度不同的控制系统和控制对象，采取恰当的编程方法，使程序结构条理清晰，容易理解。

摘要： 视倾点播系统（V0D）的VCR服务是一种交互性很强的高级图像服务功能，是当前VOD研究中的技术难点。该文利用状态转移图建立了VCR服务的工作模型，并结合资源预留、重分配和数据检索的讨论，提出了一些可操作性强的解决方案。

摘要： 本发明是一种基于图的软件行为可信性检测方法。检测系统分为五个模块：数据预处理模块负责前期数据处理；状态图训练模块用来训练正常行为库；行为检测模块负责根据已建立的图对行为进行检测，该检测分为两个层次，第一层是状态和路径的检测，第二层主要是权值的检测；实时监控模块以日志的形式动态存储检测结果；异常告警模块在检测模块发现异常后进行告警，并终止正在运行的软件。该检测模型可以实时监控软件行为，检测出不属于这个软件的行为，一些攻击行为和非法输入。

摘要： 本发明提供一种基于状态转移网络攻击模型的攻击图生成方法，使用队列结构来保存能够添加到攻击图中的状态节点，然后从队列中取出一个状态节点，从该取出的状态节点出发寻找与该取出的状态节点有连接关系的其他状态节点，如果所述其他状态节点上的弱点攻击可达，且弱点攻击的深度和花费均在可接受的范围内，则将该其他状态节点加入到队列中，并将该其他状态节点加入到攻击图中。这样依次循环取出队列中的状态节点，直到队列为空时，循环结束，完成攻击图的生成。在计算攻击花费时，考虑了攻击复杂度的值Acx和被发现的风险值Dsk之间的相关性，提高了攻击图生成的准确性。此外，通过仿真实验，应用本发明实施例得出的攻击图较改进前的攻击图更加简洁。

摘要： 本发明是一种基于图的软件行为可信性检测方法。检测系统分为五个模块：数据预处理模块负责前期数据处理；状态图训练模块用来训练正常行为库；行为检测模块负责根据已建立的图对行为进行检测，该检测分为两个层次，第一层是状态和路径的检测，第二层主要是权值的检测；实时监控模块以日志的形式动态存储检测结果；异常告警模块在检测模块发现异常后进行告警，并终止正在运行的软件。该检测模型可以实时监控软件行为，检测出不属于这个软件的行为，一些攻击行为和非法输入。

摘要： 通过检测与该移动台相关的反向链路信道中的特征变化，一种无线通信网通过识别一个移动台何时从一种诸如控制保持或准激活的待用状态转移回到一种激活状态来减少它的信令开销。根据这种网络识别，在不需要明确协商它回到激活状态的情况下，所述移动台开始发送想要的业务数据，从而减少或消除要不然返回到激活状态操作所需要的较高层信令，例如，层3及以上层信令。例如，通过使用被传输的反向链路功率控制比特来指示一个待用移动台应该保持待用状态，所述网络还可以避免显式信令。照这样，适当时，在没有显式信令的情况下，待用移动台可以被允许返回到激活状态，或者如果需要则保持在待用状态中，这些都不需要显式网络信令。在实施例中，特征变化是由于导频信号的非选通传输或者数据或前报头传输的开始而导致的增加的R－PITCH或者R－TCH信号能量、CQI传输中特定模式的恢复或传输、R－CCH或R－MCH上的数据分组传输、或者码元调制中的变化。

摘要： 本发明提供一种基于状态转移网络攻击模型的攻击图生成方法，使用队列结构来保存能够添加到攻击图中的状态节点，然后从队列中取出一个状态节点，从该取出的状态节点出发寻找与该取出的状态节点有连接关系的其他状态节点，如果所述其他状态节点上的弱点攻击可达，且弱点攻击的深度和花费均在可接受的范围内，则将该其他状态节点加入到队列中，并将该其他状态节点加入到攻击图中。这样依次循环取出队列中的状态节点，直到队列为空时，循环结束，完成攻击图的生成。在计算攻击花费时，考虑了攻击复杂度的值Acx和被发现的风险值Dsk之间的相关性，提高了攻击图生成的准确性。此外，通过仿真实验，应用本发明实施例得出的攻击图较改进前的攻击图更加简洁。

摘要： 本发明涉及动力学系统运动分析领域，提出状态空间转移模型及状态正向与逆向转移互逆求解定理。其中，状态空间转移包括正向转移，即已知初始状态空间F(x

摘要： 本发明属于量子纠错编码领域，具体涉及一种构造量子卷积码状态转移图及网格图的方法。构造量子卷积码的状态转移图和网格图是分析量子卷积码的Viterbi译码算法最有力的工具。在量子卷积码的编码方案中，每一个编码电路对应唯一一个幺正编码操作，通过该编码操作将k位的信息编码成n位长的码字。我们对编码操作进行相应的数学变换，由此得到对应的编码矩阵，该编码矩阵给出了量子比特与编码算子的一一对应关系。通过分析作用于卷积位上的编码算子发生的状态转移过程来得到量子卷积码的状态转移图。状态转移图仅仅描述了不同状态之间的转移过程，若考虑到状态变化与时间的关系，我们可以画出其对应的网格图。

摘要： 本发明属于量子纠错编译码领域，具体公开了一种针对量子卷积码的Viterbi译码算法，该算法是基于译码端的状态转移图之上的。实现该算法所需的关键技术可以概括为：在译码端，在每个译码时间单元内，首先测量得到指错子，然后根据指错子构造译码端的状态转移图，具体可以分成无错的状态转移图和有错的状态转移图两种情况，由译码端状态转移图画出对应的网格图，在网格图的每一段中，比较进入节点的所有边的分支度量及部分度量，将具有最小部分度量的分支保留，并存储该度量值，删除其余多余的边，如此循环迭代，每个译码时间单元内都要经过计算-比较-存储的步骤，直到最后一段，找到具有最小部分度量的节点及其到初始节点的所有幸存路径，该路径上的输入算子即为最有可能发生的错误算子。该算法是一种最优的译码算法，具有线性复杂度。

摘要： 本发明属于量子纠错编码领域，具体涉及一种构造量子卷积码状态转移图及网格图的方法。构造量子卷积码的状态转移图和网格图是分析量子卷积码的Viterbi译码算法最有力的工具。在量子卷积码的编码方案中，每一个编码电路对应唯一一个幺正编码操作，通过该编码操作将k位的信息编码成n位长的码字。我们对编码操作进行相应的数学变换，由此得到对应的编码矩阵，该编码矩阵给出了量子比特与编码算子的一一对应关系。通过分析作用于卷积位上的编码算子发生的状态转移过程来得到量子卷积码的状态转移图。状态转移图仅仅描述了不同状态之间的转移过程，若考虑到状态变化与时间的关系，我们可以画出其对应的网格图。

摘要： 本发明属于量子纠错编译码领域，具体公开了一种针对量子卷积码的Viterbi译码算法，该算法是基于译码端的状态转移图之上的。实现该算法所需的关键技术可以概括为：在译码端，在每个译码时间单元内，首先测量得到指错子，然后根据指错子构造译码端的状态转移图，具体可以分成无错的状态转移图和有错的状态转移图两种情况，由译码端状态转移图画出对应的网格图，在网格图的每一段中，比较进入节点的所有边的分支度量及部分度量，将具有最小部分度量的分支保留，并存储该度量值，删除其余多余的边，如此循环迭代，每个译码时间单元内都要经过计算-比较-存储的步骤，直到最后一段，找到具有最小部分度量的节点及其到初始节点的所有幸存路径，该路径上的输入算子即为最有可能发生的错误算子。该算法是一种最优的译码算法，具有线性复杂度。