一种有限状态自动机器的精简方法及系统

专利号：CN202110419210.4

公布日：2022-10-04

申请人：河南科技大学

嵌入式自动机械控制系统

专利号：CN200880116510.8

公布日：2010-11-03

申请人：三星重工业株式会社

一种增量式的自动机更新方法与系统

专利号：CN201710112499.9

公布日：2017-08-11

申请人：中国科学院信息工程研究所

用于运行通信装置的至少一个用户的方法

专利号：CN201410179418.3

公布日：2014-11-05

申请人：罗伯特·博世有限公司

一种带并发的状态机图转换到自动机的方法

专利号：CN201210539044.2

公布日：2013-04-17

申请人：南京大学

一种双机头全自动胶囊生产线

专利号：CN201420660507.5

公布日：2015-05-13

申请人：上海帕圣制药设备有限公司

自动机械表上条效率的检测方法

专利号：CN201910874044.X

公布日：2020-12-08

申请人：珠海罗西尼表业有限公司

一种高炮自动机故障诊断实验平台及模拟射击的方法

专利号：CN201610645155.X

公布日：2017-12-08

申请人：中国人民解放军军械工程学院

一种基于Büchi自动机化简运行时验证监控器的方法

专利号：CN201811359544.1

公布日：2019-03-26

申请人：桂林电子科技大学

一种形式验证中断言综合的可视化方法、存储介质和终端

专利号：CN201910585528.2

公布日：2022-11-18

申请人：成都奥卡思微电科技有限公司

一种芯片安全自动纠错的方法

专利号：CN202110215912.0

公布日：2021-05-25

申请人：陈睿

自动机械调度方法、装置及ELA机台制备控制系统

专利号：CN201310095781.2

公布日：2014-09-24

申请人：上海和辉光电有限公司

自动数据存储库和自动机通信系统

专利号：CN200610137582.3

公布日：2007-05-02

申请人：国际商业机器公司

基于自动机的区间时序逻辑概率模型检测方法

专利号：CN202110680507.6

公布日：2021-08-31

申请人：陕西师范大学

动态调整多模匹配自动机的方法和装置

专利号：CN201610059390.9

公布日：2019-08-06

申请人：北京航空航天大学