概率自动机相关论文
隐马氏模型的经典理论由Baum等人在20世纪60年代末给出。时至今日,模型结构已经由离散隐马氏模型,发展到连续隐马氏模型,以及本文......
业务流程管理是一门旨在提高业务流程效率的学科,它涉及流程的设计、部署、执行等环节。随着机构中的业务流程规模化和复杂化,业务......
模型检验是一种自动且完备的形式化验证方法。对于有限状态系统和时序逻辑公式,模型检验可以判定给定的系统模型是否满足公式中对......
Y98-61299-2080 9904754高速流水线式并行 Hoffman 译码技术=High speedpipelined parallel Hoffman decoding[会,英]/Rudberg,M.......
为了实现两轮机器人的自平衡控制，利用Skinner操作条件反射机理，以概率自动机为平台，融入模糊推理，构造了模糊操作条件概率自动机（OCPA）......
文章以大系统理论为基础,将定性与定量分析相集合,提出了一种新型Web日志文件知识发现模型--Web服务器日志文件广义集成分析模型.......
【正】 随着现代科学技术的不断发展,控制论做为一种工具学科已悄然地进入了各个科技领域,其中包括教育领域。在我们篮球技、战术......
本文给出了两概率自动机按顺序初始等价的充要条件,证明了初始等价的概率自动机的基矩阵秩必相等及判定极限极小概率自动机的一个......
<正> 在[1]中给出了有穷状态概率自动机A(BA A)可以分解为随机编码源T与确定型自动机B(DA B)的顺次连结,并用例子说明了分解的算法......
基于概率自动机构造了反应操作条件反射行为的随机学习自动机,以模拟斯金纳（Skinner）鸽子试验.该随机学习自动机是一种能在未知的随......
本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。......
以概率自动机（probabilistic automata,PA）为平台,结合遗传算法（genetic algorithm,GA）的进化思想,设计了反映Skinner操作条件反射（oper......
假设-保证推理是标记迁移系统组合验证的有效手段。近期，假设-保证推理在概率系统的验证中也得到应用。在推理中，假设的学习是通......
尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景......
