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

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

[发明专利]状态机用户和验证接口系统-CN200880125239.4有效
发明人： S·伦贝克;J·约翰森 -专利权人：睿捕心脏股份公司
申请日： 2008-12-02 - 公布日： 2010-12-22 - 主分类号： A61B5/02 文献下载
摘要：状态机接口系统包括状态机算法以及适于接收来自至少一个传感器设备的信号的图形用户界面，所述信号与生物体的心脏和/或循环系统的生理活动相关。状态机算法适于根据所述信号确定心搏周期的时相。心搏周期的不同时相根据模拟心脏及可选的循环系统的心脏簇状态机内的所述状态机算法确定，并由有限心肌细胞状态机融合而成，以形成ΔV泵状态机。确定的心搏周期的时相如下被评估的：基于所述信号确定各时相各自的局部状态图，从而为每个心搏周期时相确定各自的正确持续时间，以及随后确定最有代表性的全局状态图，在图形用户界面上呈现确定的所述局部状态图和所述全局状态图
状态机用户验证接口系统

[发明专利]一种可编程状态机的控制方法及系统-CN202011034141.7有效
发明人：徐进;张炜;王胜 -专利权人：青岛矽昌通信技术有限公司
申请日： 2020-09-27 - 公布日： 2022-05-31 - 主分类号： G06F15/78 文献下载
摘要：本发明涉及通信技术领域，尤其涉及一种可编程状态机的控制方法及系统，其中，包括：步骤S1、将每个状态中复数行状态信息转换为二进制码，并将二进制码输入存储器内；步骤S2、通过一状态机控制器读取存储器内的二进制码对应的当前状态的首行信息，以及首行信息之后的第二行信息；步骤S3、判断第二行信息中的输入条件判断信息是否满足，并在判断结果为满足时，则状态机根据第二行信息中的目标状态地址信息进行跳转，以输出当前状态中的首行信息。有益效果：使得状态机根据目标状态地址信息进行跳转，输出当前状态中的首行信息，无要软件干预，仅使用纯硬件方式来提升状态机的灵活性以及可扩展性，且与传统状态机的实现方式兼容，符合状态机的特性。
一种可编程状态机控制方法系统

[发明专利]闪存芯片挂起功能的验证方法、装置、设备及介质-CN202211229131.8有效
发明人：朱雨萌;张新展;林朝明;冯嘉;黄凯怡 -专利权人：芯天下技术股份有限公司
申请日： 2022-09-30 - 公布日： 2022-12-16 - 主分类号： G06F9/4401 文献下载
摘要：本申请涉及非易失性存储器技术领域，具体公开了一种闪存芯片挂起功能的验证方法、装置、设备及介质；其中，验证方法包括以下步骤：在闪存芯片执行一操作命令至目标状态机运行时，基于时钟变化并根据预设时间间隔发送挂起及恢复指令，直至所述目标状态机运行结束，所述目标状态机为待验证挂起功能的状态机；该验证方法通过基于时钟变化并根据预设时间间隔在目标状态机运行过程中执行多次挂起及恢复指令，即将挂起及恢复指令均匀覆盖在目标状态机的整个运行过程，实现了对整个目标状态机运行的过程的完备验证。
闪存芯片挂起功能验证方法装置设备介质

[发明专利]一种业务流程控制方法、装置及电子设备-CN201510603060.7在审
发明人：杨杰;徐建凯 -专利权人：阿里巴巴集团控股有限公司
申请日： 2015-09-21 - 公布日： 2017-03-29 - 主分类号： G06Q10/06 文献下载
摘要：其中所述业务流程控制方法包括接收调用方发送的对应特定业务的业务处理请求；通过为特定业务预先生成的层次状态机，对特定业务的业务流程进行控制；所述层次状态机包括一个主状态机和至少一个子状态机，主状态机与特定业务的子任务序列相对应，包含特定业务的各个子任务分别对应的状态；子状态机与子任务相对应，包含子任务的各个操作环节分别对应的状态。采用本申请提供的方法，能够复用与子任务对应的子状态机，提高了业务流程调整的灵活性，缩减了系统的开发和维护成本，从而达到提高软件系统生产力和质量的效果。
一种业务流程控制方法装置电子设备

[发明专利]动态的边缘式可扩展系统、装置及存储介质-CN202310408811.4在审
发明人：陈闯 -专利权人：飞音车联网（苏州）有限公司
申请日： 2023-04-18 - 公布日： 2023-07-14 - 主分类号： G06F8/76 文献下载
摘要：本发明公开了基于状态机的可扩展性软件系统、装置及存储介质，包括状态机系统和待扩展软件系统，包括如下步骤，S1：使用状态机对需实现功能进行逻辑设计，S2：对状态数据进行存储；S3：对状态迁移数据进行存储；S4：对动作数据进行存储；S5：对数据结构管理进行存储；S6：对变量和函数进行存储；S7：在待扩展软件系统中植入，启动状态机引擎；S8：将状态机中存储的数据输出至待扩展软件系统中，并对数据进行还原，生成状态机实例运行，本系统使用数据化的状态机作为扩展载体，由于其数据不依赖平台，不需要编译，因此非常容易部署，而且因为数据结构简单，运行性能可以媲美C语言，远超过一般的脚本性能。
动态边缘扩展系统装置存储介质

[发明专利]基于Mealy有限状态自动机的三维动画流程的组织与控制方法-CN201410133273.3有效
发明人：魏乐愚;贝宇红;樊新华 -专利权人：北京星航机电装备有限公司
申请日： 2014-04-03 - 公布日： 2017-02-15 - 主分类号： G06T13/20 文献下载
摘要：本发明属于三维动画技术领域，具体涉及一种基于Mealy有限状态自动机的三维动画流程的组织与控制方法。该方法构造出动画状态机、绑定状态机、流程控制器三种Mealy型有限状态自动机，动画状态机对整个动画流程的局部动画进行控制、绑定状态机对不同三维模型之间加入父子依赖关系以实现模型绑定，流程控制器对动画状态机和绑定状态机进行控制从而组织整个动画流程；此外，本发明构造了动画控制器，进行局部动画播放控制；还提供了易于编辑的流程描述文件格式以及消息结构，在消息路由器的媒介下，通过从流程文件分析器得到流程描述文件的解析结果，流程控制器可以实现对其它状态机控制
基于 mealy 有限状态自动机三维动画流程组织控制方法

[发明专利]一种USB设备控制器低功耗设计方法-CN201010040042.X无效
发明人：顾良;沈海斌 -专利权人：浙江大学
申请日： 2010-01-19 - 公布日： 2010-08-04 - 主分类号： G06F1/32 文献下载
摘要：本发明根据USB传输规定，结合本发明的低功耗设计思路，本发明根据USB设备控制器中的不同状态机并不是在所有时刻都处在工作状态这一事实，对令牌包状态机，数据包状态机，握手包状态机，包发送状态机，实现分时开启和关闭功能本发明与现有技术相比具有的有益效果：现有技术一般根据总线监测模块来开启或关闭USB设备控制器，而事实上不同状态机并不是所有时刻都处在工作状态，因此传统低功耗方法没有将低功耗效益发挥到最好。本发明通过对设备控制器不同状态机开启和关闭，进一步降低了功耗。实验表明，USB设备控制器的功耗能降低了30％。
一种 usb 设备控制器功耗设计方法

[发明专利]一种程序核心代码的保护方法、装置、设备和存储介质-CN202110156663.2在审
发明人：周志刚 -专利权人：武汉斗鱼网络科技有限公司
申请日： 2021-02-04 - 公布日： 2022-08-05 - 主分类号： G06F21/14 文献下载
摘要：本发明实施例提供一种程序核心代码的保护方法、装置、设备和存储介质，方法包括：通过状态机标记任一加载模块的加载状态，得到所述加载模块的状态机数据矩阵；通过创建空线程事件，按照主程序运行的模块加载顺序将所述状态机数据矩阵填充到所述加载模块中，并在核心模块中存储任一加载模块的状态机数据矩阵；将所述一维数组结果数据作为秘钥数据和/或随机算法的种子数据嵌入程序核心代码，以进行数据验证或加密，完成程序核心代码的保护，本发明利用状态机标记加载模块的状态数据，并通过创建空线程事件，实现状态机数据填充，进而形成验证或加密数据，线程创建事件不可逆，实现了程序核心代码的保护。
一种程序核心代码保护方法装置设备存储介质

[发明专利]一种SCADE软件模型复杂度计算方法-CN202211394696.1在审
发明人：王坤;刘娟娟;戈珅钰;方蕴宇 -专利权人：北京机电工程研究所
申请日： 2022-11-09 - 公布日： 2023-02-24 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种SCADE软件模型复杂度计算方法，确定SCADE软件模型中的模块数量和每个模块中与状态机处于同一层的方程数量；判断是否存在状态机，若存在则记为1，若不存在则记为0；确定状态机中的状态数、状态机中状态转移的路径数和状态机中方程数；确定状态机之间嵌套关系的层级数L，若不存在嵌套，则L＝1；确定SCADE软件模型复杂度计算公式。
一种 scade 软件模型复杂度计算方法

[发明专利]一种基于UML模型的软件架构正确性验证方法-CN201410319016.9有效
发明人：李必信;俞析蒙;陈艺;孔祥龙;王璐璐 -专利权人：东南大学
申请日： 2014-07-04 - 公布日： 2014-09-17 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于UML模型的软件架构正确性验证方法，主要用于处理软件架构的建模与验证问题，本发明涉及到的关键操作包括：(1)将包括类图、状态图和顺序图的UML模型分别定义为状态机，并将所述得到的状态机分别转换成kripke结构状态机；(2)将表示类图信息的kripke结构状态机转换成PROMELA模型中的进程信息；(3)将表示状态图信息的kripke结构状态机转换成PROMELA模型中的进程内部执行信息；(4)将表示顺序图信息的kripke结构状态机转换成PROMELA模型中的线性时序逻辑语句；(5)将得到的PROMELA模型转换成代码并输入Spin工具进行验证。
一种基于 uml 模型软件架构正确性验证方法

[发明专利]下行HARQ的实现系统及方法-CN201110118379.2有效
发明人：蒲翰;唐恬;崔清;赵璨;张治;姜军 -专利权人：北京星河亮点通信软件有限责任公司
申请日： 2011-05-09 - 公布日： 2011-08-10 - 主分类号： H04L1/18 文献下载
摘要：该系统包括：调度模块、状态机维护模块和回复处理模块；所述状态机维护模块用于维护状态机，所述状态机用于存储HARQ进程以及HARQ进程的结构单元；所述调度模块，用于根据所述状态机存储的信息进行决策，并且调度所述系统的其他模块实现相应功能本发明所述下行HARQ的实现系统及方法，通过状态机中的状态链表存储HARQ进程的不同状态，能够有效保证TD-LTE系统中下行HARQ数据传输的可靠性和时效性。
下行 harq 实现系统方法

[发明专利]视频流处理方法、装置、电子设备及存储介质-CN202310153835.X在审
发明人：王金文;金晓峰;张宏志;伍开强;姚上红 -专利权人：广州广电运通金融电子股份有限公司
申请日： 2023-02-21 - 公布日： 2023-06-23 - 主分类号： H04N7/18 文献下载
摘要：该方法应用于目标设备，目标设备包括目标状态机，该方法包括：接收客户端的视频流获取请求；确定视频流获取请求对应的目标视频流不存在于目标设备，目标状态机跳转至视频流输入状态；确定视流输入状态的返回条件为成功条件，目标状态机跳转至视频流请求状态，向目标视频流对应的视频源设备请求目标视频流；确定视频流请求状态的返回条件为成功条件，目标状态机跳转至视频流输出状态；确定接收到视频流输出状态的输出确认，目标状态机跳转至视频流发送状态该方法通过状态机处理，可以提升视频流的处理效率和稳定性。
视频处理方法装置电子设备存储介质

[发明专利]一种状态机、状态机切换方法及无人驾驶汽车-CN202110949108.5有效
发明人：唐铭锴;陈映冰;程杰;甘露;刘天瑜;王鲁佳;刘明 -专利权人：深圳一清创新科技有限公司
申请日： 2021-08-18 - 公布日： 2023-06-09 - 主分类号： B60W30/18 文献下载
摘要：本发明实施例涉及无人驾驶技术领域，尤其涉及一种状态机、状态机的切换方法及无人驾驶汽车，状态机处于开始状态时，检查输入信息是否完整和初始化任务相关的变量，若是则切换到回归车道状态，能够保证无人驾驶汽车准确回归车道状态机处于回归车道状态时，判断所述无人驾驶汽车回归车道是否成功，若是则切换到巡线状态，能够提高安全性。状态机处于巡线状态时，根据当前行驶路况，判断是否需要切换车道，若是则切换到切车道状态，使得无人驾驶汽车行为符合路况。从上述三个方面，通过状态机切换状态，能够准确且稳定地规划无人驾驶汽车在行驶过程中的行为。
一种状态机切换方法无人驾驶汽车

[发明专利]一种状态变更方法、装置、设备及存储介质-CN202211417421.5有效
发明人：麻付强 -专利权人：苏州浪潮智能科技有限公司
申请日： 2022-11-14 - 公布日： 2023-03-24 - 主分类号： H04L9/40 文献下载
摘要：本申请公开了一种状态变更方法、装置、设备及存储介质，包括：获取由任意智能合约参与方发起的状态变更请求；根据所述状态变更请求的变更对象的层级不同触发对应层级的状态机管理器调用对应层级的状态机，以对所述变更对象的当前状态进行检测；其中，所述变更对象的层级包括智能合约层或智能合约内部的功能函数层，不同层级的所述变更对象对应的状态机管理器及状态机不同；如果所述变更对象的当前状态满足变更条件，则触发对应层级的状态机管理器调用相应层级的状态机，以根据所述状态变更请求对所述变更对象的状态进行变更。
一种状态变更方法装置设备存储介质

[发明专利]基于状态机处理用户行为的方法、系统、设备及存储介质-CN202211460808.9有效
发明人：尹沈文;徐文豪;张凯;王弘毅 -专利权人：北京志凌海纳科技有限公司
申请日： 2022-11-16 - 公布日： 2023-09-19 - 主分类号： G06F9/445 文献下载
摘要：本发明提供了一种基于状态机处理用户行为的方法、系统、设备及存储介质。该种基于状态机处理用户行为的方法可以包括：在状态机的根节点注册预设起始事件，在状态机的每个状态节点注册每个预设起始事件对应的相关事件，监听当前用户行为对应的预设起始事件，根据预设起始事件和初始守卫条件将状态机的根节点转移至当前状态节点，在当前状态节点依次接收事件流的中间事件根据与相关事件的匹配情况执行当前状态节点的保持或当前状态节点的转移。本申请中，当前状态节点只会关注当前用户行为对应的事件模型的相关事件，大大减少了事件匹配数量，同时根据对应的守卫条件进一步确认事件触发及状态机转移状态，提高了事件模型匹配效率。
基于状态机处理用户行为方法系统设备存储介质