“状态机”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果5442348个，建议您升级VIP下载更多相关专利

[发明专利]基于VRRP的备份组管理方法及系统-CN201510566111.3在审
发明人：胡小波;许赛群;戎江霁 -专利权人：烽火通信科技股份有限公司
申请日： 2015-09-08 - 公布日： 2015-12-02 - 主分类号： H04L12/713 文献下载
摘要：VRRP的备份组管理方法，其用于管理多组VRRP备份组，基于VRRP的备份组管理方法包括以下步骤：配置VRRP管理备份组及至少一个与VRRP管理备份组相对应的VRRP业务备份组；设置VRRP管理备份组的状态机的主备状态；监控VRRP管理备份组的状态机的主备状态并在所监控的主备状态出现变化时将变化后的主备状态同步更新到各VRRP业务备份组的状态机。该基于VRRP的备份组管理方法中，将VRRP管理备份组的状态机的主备状态同步到VRRP业务管理组的状态机，VRRP管理组通过发送一份VRRP协议报文来决定状态机的状态，从而决定VRRP业务备份组的状态机
基于 vrrp 备份管理方法系统

[发明专利]测试用例生成方法、设备和存储介质-CN202010912176.X在审
发明人：李宁;徐绍龙;王雨;廖亮;王飞;王兴安;蒋明睿;吴斐;童金刚 -专利权人：株洲中车时代电气股份有限公司
申请日： 2020-09-02 - 公布日： 2022-03-18 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种测试用例生成方法、设备和存储介质，包括：根据软件需求规格，建立有限状态机模型和基于类功能块图语言的功能块图模型；根据功能块图模型的生效状态，在有限状态机模型中选取一个软件运行的状态作为功能块图模型的前置状态；根据预设的转换规则，将功能块图模型转换为描述软件运行的状态变化过程的转换有限状态机模型，并根据功能块图模型的前置状态，将转换有限状态机模型与有限状态机模型进行关联，得到目标有限状态机模型；基于目标有限状态机模型，采用预设的遍历算法，将每一条路径生成一条测试用例，既能够准确全面地描述软件的运行过程状态，又能够准确描述软件输入输出之间的逻辑关系，提高了生成的测试用例准确性。
测试生成方法设备存储介质

[发明专利]基于状态融合的协议状态机自动推断方法-CN201310348136.7有效
发明人：洪征;吴礼发;郑成辉;潘璠;赖海光;李华波;周振吉 -专利权人：中国人民解放军理工大学
申请日： 2013-08-09 - 公布日： 2013-12-11 - 主分类号： H04L29/06 文献下载
摘要：本发明提供一种基于状态融合的协议状态机自动推断方法，包括以下步骤：报文格式提取与报文分类、会话抽象与初始状态机构建、以及基于输出报文的状态融合。本发明的协议状态机自动推断方法采用增强前缀树转换器EPTT描述协议实体的会话过程，着眼于协议的输出报文，对状态机中的同类状态进行融合，并通过与协议实体进行测试性交互验证协议状态融合的可行性，确保了协议状态机推断的自动化
基于状态融合协议状态机自动推断方法

[发明专利]一种加快VPN FRR倒换的实现方法及系统-CN201911183308.3有效
发明人：胡浩 -专利权人：烽火通信科技股份有限公司
申请日： 2019-11-27 - 公布日： 2022-02-08 - 主分类号： H04L45/50 文献下载
摘要：本发明公开了一种加快VPN FRR倒换的实现方法及系统，涉及业务倒换与保护技术领域，本发明根据VPN FRR保护的远端主备设备的IP建立VPN FRR保护，多个VPN节点加载到同一个保护状态机中监控，设备无需起动多个状态机，不用分配多个资源给保护状态机，降低CPU的占用率，状态机轮询的速度加快，可以加快加载业务的倒换，当主用设备发生故障，更快切换到备用链路上，减少因为业务倒换导致的丢包。同时，因为只建立一个保护状态机，对这个保护状态机配置，就简化为一个，配置简单方便，易于操作。
一种加快 vpn frr 倒换实现方法系统

[发明专利]一种利用局部状态机来保障接口消息发送时序的方法-CN200410069498.3无效
发明人：高珑珑 -专利权人：华为技术有限公司
申请日： 2004-06-28 - 公布日： 2006-01-04 - 主分类号： H04L1/00 文献下载
摘要：本发明有关一种利用局部状态机来保障接口消息发送时序的方法，包括下列步骤：在接口一侧建立一局部状态机记录接收到的接口消息；当满足接口消息发送时序时，查询该局部状态机的当前状态；根据局部状态机的当前状态，读取记录的相关接口消息并发送出去
一种利用局部状态机保障接口消息发送时序方法

[发明专利]数字集成电路设计中状态机的验证方法及验证系统-CN202111636387.6在审
发明人：陈安帅 -专利权人：展讯通信（上海）有限公司
申请日： 2021-12-29 - 公布日： 2022-04-12 - 主分类号： G06F30/33 文献下载
摘要：本发明提供了一种数字集成电路设计中状态机的验证方法及其验证系统，该验证方法通过将状态机在各个状态时预期出现的输出信号和交互信号列在表格中，之后根据表格内各信号的预期变化，编写相应的第一SVA断言。在使用仿真模块仿真运行状态机时，每个第一SVA断言自动检查状态机在各个状态的对应信号的时序，自动判断为断言成功还是断言失败，快捷的对状态机的输出信号和交互信号进行验证，提高验证效率。相比传统scoreboard比对的验证方式，本发明的方案应用在block级甚至UT级的数字集成电路验证时，基于SVA断言，根据状态机的各个信号时序，来验证状态机在各个状态时产生的大量输出信号和交互信号，
数字集成电路设计状态机验证方法系统

[发明专利]基于有限状态机的采样保持控制策略的实现方法-CN201510252079.1有效
发明人：李克翔;邓智泉;周杰;刘程子;宁家强 -专利权人：南京航空航天大学
申请日： 2015-05-18 - 公布日： 2018-05-29 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于有限状态机的采样保持控制策略的实现方法，属于电流调制领域。确定有限状态机采样保持控制策略的各工作状态；依据采样保持控制策略的原理，确定各工作状态之间的转换顺序及转换条件；根据各工作状态之间的转换顺序及条件，确定设计有限状态机的输入和输出信号；仿真验证分析设计有限状态机各工作状态的转换顺序和时机是否与设定相符；依据验证后的有限状态机的输入和输出信号设计硬件电路。本发明易于理解、实现和修正，控制更加便捷；若要对调制方式、电路功能等进行增加与完善，可以在原有有限状态机的基础上修改状态或状态转换条件即可，其拓展性能强，无需进行重新设计，可扩展性强，提高了实现效率。
状态机采样保持控制策略输出信号转换状态转换条件电流调制电路功能调制方式仿真验证可扩展性设计硬件重新设计转换条件电路相符修正验证时机拓展分析

[发明专利]用于PXI测试板卡的FPGA芯片调度系统-CN202111430649.3在审
发明人：马国军;李明泽;张奕凡;段云龙;曾庆军;顾琪伟 -专利权人：江苏科技大学
申请日： 2021-11-29 - 公布日： 2022-02-11 - 主分类号： G06F11/22 文献下载
摘要：本发明公开了一种用于PXI测试板卡的FPGA芯片调度系统，包括：PXI通信接口、调度指令模块和数据流控制模块，其中：调度指令模块包括状态机和运算电路，状态机包括调度优先级信号接口，用于接收外设接口的优先级信号，状态机优先进入优先级最高的外设接口状态；在当前外设接口状态下，状态机发送提取对应的外设接口输出的数据的指令；运算电路用于接收外设接口的优先级信号，运算电路分别计算当前外设接口状态的优先级信号与其他优先级信号之间的差值，并输入状态机，在差值为预定数值时，状态机进入计算得到差值的优先级信号对应的外设接口状态。采用上述技术方案，上位机的数据读取等待时间较短或没有，避免读取无效数据，显著提高芯片测试效率。
用于 pxi 测试板卡 fpga 芯片调度系统

[发明专利]状态轮询和事件驱动软件状态机设计模式的优化方法-CN201910257474.7有效
发明人：孙来平;李广诚;黄雷;夏哲 -专利权人：上海电气泰雷兹交通自动化系统有限公司
申请日： 2019-04-01 - 公布日： 2022-04-05 - 主分类号： G05B13/04 文献下载
摘要：本发明公开了一种状态轮询和事件驱动软件状态机设计模式的优化方法，分别针对状态跃迁条件存在逻辑先后依存关系的状况、状态跃迁条件存在时序先后依存关系的状况、历史数据缓存导致的状态机状态数量巨大的状况、状态机间接口定义过于松散导致的状态跃迁不可控的状况，进行优化设计，解决了由于状态跃迁条件之间存在先后依存关系而导致的输出错误、由于缓存历史数据导致的状态机数量庞大、由于状态机之间接口定义过于松散导致的状态跃迁不可控的问题。
状态事件驱动软件状态机设计模式优化方法

[发明专利]一种有限状态机的控制方法及有限状态机-CN201911244086.1有效
发明人：宋强;白俊锋;王庆祥;许志瑜 -专利权人：合肥科大智能机器人技术有限公司
申请日： 2019-12-06 - 公布日： 2022-12-20 - 主分类号： G06F9/448 文献下载
摘要：本发明公开了一种有限状态机的控制方法及有限状态机，属于计算机应用技术领域，包括根据状态机每个状态的名字和内存地址，创建状态机的每个状态，该状态包括两个父状态和一个final状态，每个父状态各包括三个子状态；状态机当前的状态执行完毕后经postEvent函数指定要跳转的下个状态，其中postEvent函数的第一个参数为要跳转到的下个状态的名字、第二参数为要传递给下个状态的参数；父状态或StateMachine根据下个状态的名字从注册过的状态列表中查找到对应的内存地址，并执行该下个状态的接口函数，每个子状态都有3个执行函数，分别是onEntry,handleTimeout,onExit函数。本发明采用简单的语言提供了丰富的状态机功能，可移植性强。
一种有限状态机控制方法

[发明专利]一种软件部署方法及其相关组件-CN202211520260.2在审
发明人：张心笛;高小熙 -专利权人：杭州安恒信息技术股份有限公司
申请日： 2022-11-30 - 公布日： 2023-03-03 - 主分类号： G06F8/61 文献下载
摘要：本发明公开了一种软件部署方法及其相关组件，涉及功能部署领域，当获取到软件开通指令时，确定软件开通指令对应的软件程序，建立软件程序对应的异步状态机，利用异步状态机部署软件程序，通过异步状态机判断软件程序是否部署成功；若成功，则判定软件程序部署完成；若失败，则返回利用异步状态机部署软件程序的步骤。通过建立异步状态机，并利用异步状态机来对软件程序的部署过程进行管理，当软件程序部署失败后自动重新进行部署，直到软件程序部署成功为止，不需要用户在部署失败后手动进行部署，提高了用户体验。
一种软件部署方法及其相关组件

[发明专利]业务规则库升级方法及装置-CN201410369313.4有效
发明人：胡波 -专利权人：汉柏科技有限公司
申请日： 2014-07-25 - 公布日： 2017-11-14 - 主分类号： G06F9/445 文献下载
摘要：本发明公开了一种业务规则库升级方法及装置，属于计算机领域，所述方法包括确定待升级业务；生成所述待升级业务的多模匹配状态机，将所述待升级业务的多模匹配状态机与保留在系统内存中的其他业务的多模匹配状态机合并本发明实施例通过确定待升级业务，生成所述待升级业务的多模匹配状态机，将所述待升级业务的多模匹配状态机与保留在系统内存中的其他业务的多模匹配状态机合并，实现所述待升级业务的业务规则库升级，从而能够缩短业务规则库的升级时间
业务规则升级方法装置

[发明专利]一种基于模型驱动工程进行SysML状态机图分析验证的方法-CN201210531992.1有效
发明人：张天;李江伟;李宣东 -专利权人：南京大学
申请日： 2012-12-11 - 公布日： 2013-04-24 - 主分类号： G06F17/50 文献下载
摘要：基于模型驱动工程进行SysML状态机图分析验证的方法，包括步骤：步骤10：根据编辑器设计一个SysML状态机图；步骤11：设计状态机图的时钟；步骤12：新建一个ATL工程；步骤13：将用户设计的状态机图及我们提供的两个元模型和一个转换文件导入到工程中；步骤14：运行转换文件得到结果文件；步骤15：将结果文件用Uppaal打开，模拟分析及验证用户设计的SysML状态机图。本发明为可以验证半形式化的SysML状态机图，自动化程度高，基于模型驱动工程理念而非传统方法，有效利用现有验证工具等。
一种基于模型驱动工程进行 sysml 状态机分析验证方法

[发明专利]一种启动USB状态机的方法及终端-CN201010565920.X有效
发明人：李启瑞;李超;王亚恒;王涛;曾宪铮 -专利权人：中兴通讯股份有限公司
申请日： 2010-11-30 - 公布日： 2011-06-08 - 主分类号： G06F13/42 文献下载
摘要：本发明提供一种启动USB状态机的方法及终端，该方法包括：将USB总线的电源正极管脚接入一逻辑电平；若检测充电线路正极管脚的电压大于阀限值，则启动充电状态机和USB状态机。本发明通过充电器插拔检测信号来启动USB状态机，既能触发启动USB状态机，又具满足过压保护的功能，在保证可靠性的前提下以最简捷和安全的方法实现充电器和USB共有同一个物理接口。
一种启动 usb 状态机方法终端

[发明专利]一种移动终端中并发冲突的处理方法及装置-CN201010160584.0有效
发明人：温俊强;周国坡;刘景斌;郭鑫;夏新国 -专利权人：中兴通讯股份有限公司
申请日： 2010-04-30 - 公布日： 2010-10-20 - 主分类号： H04M1/725 文献下载
摘要：本发明公开了一种移动终端中并发冲突的处理方法及装置，所述方法包括以下步骤：配置状态机信息；当第一业务与第二业务发生并发冲突时，根据所述状态机信息，进行并发冲突处理。所述装置包括：状态机信息配置模块和并发管理模块。本发明通过配置状态机信息，根据状态机的配置信息处理业务的并发冲突，进而有效解决了业务的并发冲突，保证了移动终端的功能稳定，缩短了研发时间，满足了移动终端尽快上市的要求。
一种移动终端并发冲突处理方法装置