自动机理论

自动机理论的期刊文献

• 1.[期刊]

  基于Petri网的消费者维权索赔流程模型优化分析

  刘磊; 陶小燕;
  《长春理工大学学报:自然科学版》 | 2022年 第5期

  摘要： 在消费纠纷中,恶意打假一直是一个难以分辨的问题。打假人利用正常维权途径达成非法目的,不仅增加了正常消费者维权的难度,还使得监管部门增加了不必要的成本。为了识别...

• 2.[期刊]

  自适应二分的并行Delaunay三角网生长算法

  尤磊; 晏成名; 宋新宇;
  《信阳师范学院学报:自然科学版》 | 2022年 第4期

  摘要： 为提升平面点集Delaunay三角网的构建效率,提出了一种点集自适应二分与子集并行构建Delaunay三角网的算法。首先根据点集中点的分布,构建点集二分的引导...

• 3.[期刊]

  基于单值中智集的自媒体网络舆情风险预警模型

  韩莉莉; 李明远;
  《枣庄学院学报》 | 2022年 第5期

  摘要： 在分析自媒体舆情特点的基础上,把舆情的社会背景和舆情信息表现形式纳入评估体系,构建了面向自媒体的网络舆情风险评估主要影响指标,进而建立了针对自媒体舆情评估的指...

• 4.[期刊]

  基于时空混成Petri网的无人机集群行为建模方法

  卢楠; 王晓东; 唐政; 何佩;
  《西北工业大学学报》 | 2022年 第4期

  摘要： 越来越广泛应用的无人机集群作战在信息化全球新军事变革中受到高度关注,集群一体化建模对作战模式的测试验证具有重要的意义和价值。结合作战场景的建模仿真需求,以异构...

• 5.[期刊]

  基于Petri网的驾校预约系统优化分析

  张昊宇;
  《赤峰学院学报:自然科学版》 | 2022年 第6期

  摘要： 随着驾校练车人数的快速增长,为了提高练车效率和减少学员在驾校的等待时间,驾校预约系统成为驾校必不可少的信息化管理手段,然而目前的驾校预约系统存在用户预约自主性...

• 6.[期刊]

  二维元胞自动机模型的精确解

  王玉芬; 汤建钢; 唐娜娜;
  《伊犁师范大学学报:自然科学版》 | 2022年 第1期

  摘要： 求出了二维元胞自动机模型的精确解,二维元胞自动机模型正方形格子点阵在没有元胞间相互作用的动力下,1个格点在特定的元胞能量下,系统能对外提供的有用能量为f(T,...

• 7.[期刊]

  基于商空间粒度的序关系及其转换研究

  李海霞;
  《兰州文理学院学报:自然科学版》 | 2022年 第3期

  摘要： 针对微观序下,分析问题、解决问题的不足,结合商空间粒度理论,提出了将微观序转换为宏观序的方法.通过将微观序转换为宏观序,对复杂问题进行更粗的粒度划分,从而降低...

• 8.[期刊]

  健康系统管理仪一体式笔杆照射器探究

  李林; 肖伟;
  《医学食疗与健康》 | 2022年 第1期

  摘要： 健康系统管理仪,是指采用包括电磁波在内的能量波对人体组织进行辐照,可以起到调整人体功能,改善或消除病理过程,亦可促进病损组织恢复的仪器。广东筑宾健康产业有限公...

• 9.[期刊]

  基于非均匀静地板场的多因子疏散模型

  陈嘉豪; 王智文; 徐晓萌; 李璇; 刘嘉峰; 叶晓婷;
  《科学技术与工程》 | 2022年 第11期

  摘要： 针对现有地板场模型在设置静态场场值及场景维度应用上的局限性,提出一种非均匀静地板场模型。以单个圆形/圆球(以疏散出口为圆心/球心,出口所在单元格宽度为半径)和...

• 10.[期刊]

  几类带空转移的n元伪加权自动机的关系

  赵路瑶; 王海辉; 李平;
  《计算机工程与科学》 | 2022年 第2期

  摘要： 引入了n元伪加权有穷自动机——带有n个有限字符集的伪加权有穷自动机、分明型n元伪加权有穷自动机和确定型n元伪加权有穷自动机的概念。根据状态转移函数在每个字符集...

• 11.[期刊]

  形式化自动测试在计算机联锁系统中的应用研究

  张铭瑶; 王燕芩; 李卫娟; 杨平;
  《铁道通信信号》 | 2021年 第10期

  摘要： 通过研究形式化自动测试方法在计算机联锁系统中的应用,采用基于ProveriLock形式化工具、面向对象的PiSPEC高级语言编制测试脚本,将对联锁功能场景的测...

• 12.[期刊]

  确定型有限自动机生成最短正则表达式的启发式算法研究

  蒙祖祈;
  《微型电脑应用》 | 2021年 第11期

  摘要： 从确定型有限自动机生成简短的正则表达式是计算机理论研究的基础问题之一,经典生成方法对状态排序方式比较敏感,不能保证表达式的生成质量.为了找到最优状态序列,基于...

• 13.[期刊]

  柔性作业车间调度问题的多目标优化算法

  徐明; 张剑铭; 陈松航; 陈豪;
  《计算机与现代化》 | 2021年 第12期

  摘要： 柔性作业车间调度问题具有解集多样化与解空间复杂的特点,传统多目标优化算法求解时容易陷入局部最优且丢失解的多样性.在建立以最大完工时间、最大能耗、机器总负荷为优...

• 14.[期刊]

  基于分组公平控制流结构的流程变体合并方法

  王吴松; 方欢; 郑雪文;
  《计算机科学》 | 2021年 第12期

  摘要： 合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法...

• 15.[期刊]

  基于Petri网的流程变体合并方法

  王吴松; 方欢; 郑雪文;
  《计算机工程与科学》 | 2021年 第6期

  摘要： 业务融合时往往需要将已有的多个流程合并,从而形成新的满足实际需求的业务流程,如何识别已有业务流的共性特征来消除流程冗余具有较大的实际应用价值.因此,提出了一种...

• 16.[期刊]

  车站联锁系统行为验证与数据确认的形式化方法

  王恪铭; 王霞; 程鹏; 刘宁; 张传东;
  《西南交通大学学报》 | 2021年 第3期

  摘要： 车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台...

• 17.[期刊]

  分布式离散事件系统的模式故障预测研究

  吕舒园; 刘富春; 赵锐; 邓秀勤; 崔洪刚;
  《广东工业大学学报》 | 2021年 第1期

  摘要： 针对分布式离散事件系统,提出了一种模式故障预测方法.首先对分布式离散事件系统的模式故障可预测性进行形式化.通过构造一个模式故障识别器,从系统所有行为中识别出所...

• 18.[期刊]

  基于形式化方法的平交道口控制系统安全设计

  王霞; 王恪铭; 徐扬; 唐伟健;
  《西南交通大学学报》 | 2023年 第1期

  摘要： 铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用...

• 19.[期刊]

  基于.Net工作流的公务出差审批系统的实现

  李毅; 王新军; 李振; 王飞超;
  《科技创新导报》 | 2022年 第20期

  摘要： 本文从山东省计量科学研究院的实际业务出发,以C#作为开发语言,利用微软的WorkflowFoundation开发基于.Net工作流的出差审批系统。然后对系统的...

• 20.[期刊]

  基于佩特里网的技术系统演化模型研究

  李子彪; 李晗;
  《科技管理研究》 | 2022年 第18期

  摘要： 深入探讨技术系统演化的微观动力机制以及技术系统结构对技术创新的作用,促进企业把握技术系统演化规律、识别技术系统演化主要要素,从而获取和保持竞争优势。从技术系统...

查看更多