概率自动机相关论文
隐马氏模型的经典理论由Baum等人在20世纪60年代末给出。时至今日,模型结构已经由离散隐马氏模型,发展到连续隐马氏模型,以及本文......
业务流程管理是一门旨在提高业务流程效率的学科,它涉及流程的设计、部署、执行等环节。随着机构中的业务流程规模化和复杂化,业务......
模型检验是一种自动且完备的形式化验证方法。对于有限状态系统和时序逻辑公式,模型检验可以判定给定的系统模型是否满足公式中对......
以概率自动机（probabilistic automata,PA）为平台,结合遗传算法（genetic algorithm,GA）的进化思想,设计了反映Skinner操作条件反射（oper......
尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景......
为解决未知空域中无人机路径规划方法实时性和适用性不足的问题,以生物应激条件反射理论为基础,将无人机实时路径规划类比为在外界......
