期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
Finite State Automaton for Food Traceability
1
作者 Rong Gao Dong Luo Qiang Wang Zhi-Guang Qin 《Journal of Electronic Science and Technology》 CAS 2010年第4期328-332,共5页
To model the operation of food traceability, features of food supply chain are studied. The aim of the paper is to build an abstract model of food traceability, and to gain better understanding of food traceability an... To model the operation of food traceability, features of food supply chain are studied. The aim of the paper is to build an abstract model of food traceability, and to gain better understanding of food traceability and food safety. Based on the analysis of consumers' behavior of searching for traceability information, a finite state automaton for food traceability is presented by using automata theory. The states of the food supply chain are represented by a state transition diagram. The automaton in this paper simulates the entire food supply chain and provides a theoretical basis for the behavior description and structural design of a food traceability system. 展开更多
关键词 Finite state automaton food safety food supply chain food traceability.
下载PDF
一种基于电机旋变传感器的链式自动机定位控制器设计
2
作者 马捷 杨得武 +1 位作者 王天石 顾双豪 《兵器装备工程学报》 CAS CSCD 北大核心 2024年第S01期373-376,共4页
需要对链式自动机闩体进行精确定位控制,以确保能够在射击结束时完成抽壳并能在确定的位置点进行供弹和弹种转换操作。提出了一种基于电机旋变的增量式位置控制器设计。通过射长、传动减速比计算绝对位置主令,通过圈数特征和旋变位置确... 需要对链式自动机闩体进行精确定位控制,以确保能够在射击结束时完成抽壳并能在确定的位置点进行供弹和弹种转换操作。提出了一种基于电机旋变的增量式位置控制器设计。通过射长、传动减速比计算绝对位置主令,通过圈数特征和旋变位置确定位置反馈,实现位置闭环控制。提出一种射长不定的特殊情况下,位置主令的计算方法。通过对位置控制环开环传递函数分析,实现高精度定位控制。研制了一套自动机驱动控制系统作为实验平台,试验结果表明,能够有效实现高精度闩体位置控制。 展开更多
关键词 增量式 位置控制器 永磁同步电机 链式自动机
下载PDF
Steady state speed distribution analysis for a combined cellular automaton traffic model
3
作者 王俊峰 陈桂生 刘进 《Chinese Physics B》 SCIE EI CAS CSCD 2008年第8期2850-2858,共9页
Cellular Automaton (CA) based traffic flow models have been extensively studied due to their effectiveness and simplicity in recent years. This paper develops a discrete time Markov chain (DTMC) analytical framewo... Cellular Automaton (CA) based traffic flow models have been extensively studied due to their effectiveness and simplicity in recent years. This paper develops a discrete time Markov chain (DTMC) analytical framework for a Nagel-Schreckenberg and Fukui Ishibashi combined CA model (W^2H traffic flow model) from microscopic point of view to capture the macroscopic steady state speed distributions. The inter-vehicle spacing Maxkov chain and the steady state speed Markov chain are proved to be irreducible and ergodic. The theoretical speed probability distributions depending on the traffic density and stochastic delay probability are in good accordance with numerical simulations. The derived fundamental diagram of the average speed from theoretical speed distributions is equivalent to the results in the previous work. 展开更多
关键词 cellular automaton traffic flow model speed distribution discrete time Markov chain
下载PDF
一种基于免疫学的信息安全威胁预警方法
4
作者 李茹 杨慧锋 翟书颖 《信息技术》 2024年第9期111-119,共9页
为提升信息安全威胁预警准确度和事件响应速度,模拟生物免疫系统组织、结构、功能及识别自我排除非己等机制,提出一种信息安全威胁预警方法。首先部署入侵检测节点,设置关联规则;接着刻画信息系统正常行为轨迹,设置数据流转区域及路径规... 为提升信息安全威胁预警准确度和事件响应速度,模拟生物免疫系统组织、结构、功能及识别自我排除非己等机制,提出一种信息安全威胁预警方法。首先部署入侵检测节点,设置关联规则;接着刻画信息系统正常行为轨迹,设置数据流转区域及路径规则,运用马尔科夫链、有限状态自动机等算法,设置数据流转时空规则;然后围绕资产脆弱性及中观态势,设置预警攻击向量。入侵与已设置规则匹配时,及时预警或处置威胁。实践表明,该方法可有效降低人员的技能依赖,提升人员的事件响应速度,具有一定推广价值。 展开更多
关键词 生物免疫系统 信息安全威胁预警 规则 马尔科夫链 有限状态自动机
下载PDF
一种基于冲突的增量诊断方法 被引量:1
5
作者 王晓宇 欧阳丹彤 赵剑 《计算机学报》 EI CSCD 北大核心 2014年第8期1695-1703,共9页
增量诊断是一种在离散事件系统中进行诊断的重要方法,因其能够根据新观测和原有诊断的结果进行进一步诊断,在长时间复杂行为的系统上有着良好的运行效率和诊断特性.文章提出了一种带有回溯的增量诊断方法.在离线定义的自动机链模型上根... 增量诊断是一种在离散事件系统中进行诊断的重要方法,因其能够根据新观测和原有诊断的结果进行进一步诊断,在长时间复杂行为的系统上有着良好的运行效率和诊断特性.文章提出了一种带有回溯的增量诊断方法.在离线定义的自动机链模型上根据在线观测进行局部诊断,用轨迹概率选出最可能诊断的同时,保存可行的候选诊断作为回溯点.若增量过程产生冲突,则回溯并根据新观测动态重新对候选诊断选择排序.既避免了不完全可诊断性条件下,增量诊断所面临的多候选选择,亦避免了由于仅保留最优结果导致的重复诊断. 展开更多
关键词 基于模型诊断 动态诊断 增量方法 自动机链 基于冲突
下载PDF
数字图像区域标定的方法 被引量:30
6
作者 顾国庆 许彦冰 《上海理工大学学报》 CAS 北大核心 2001年第4期295-299,共5页
给出了二值图像区域的标定方法. 对于八近邻和四近邻的图像,分别建立了一组最小的完备图. 利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是顶点链编码,为二值图像区域的标定提供了一个有效算法.
关键词 区域标定 链编码 区域标定自动机 数字图像处理 计算机
下载PDF
边界跟踪自动机与围线树结构的生成算法 被引量:1
7
作者 陈优阔 杨永国 夏浩铭 《计算机应用与软件》 CSCD 2009年第5期218-220,共3页
定义八近邻图像的边界跟踪自动机,利用自动机跟踪图像所有区域边界,自动机的输出为边界的顶点链码,在自动机跟踪所有边界的同时生成围线的树结构。跟踪算法复杂度是线性的,能跟踪任意复杂图像区域。
关键词 边界跟踪自动机 顶点链码 围线树结构
下载PDF
链式火炮自动机结构改进及其动力学仿真研究 被引量:5
8
作者 袁志华 孙运阳 +1 位作者 胡明 李回滨 《计算机仿真》 北大核心 2017年第2期20-24,共5页
针对链式自动机动作的主动轮由电机驱动,链条上装有滑块,滑块能在机体的滑槽内滑动,用来带动自动机完成自动循环。等效能设计对传统链式自动武器,设计新链式自动方式,采用偏移式闭锁机构,为了射击平稳、结构简单和可靠性高,将链传动平... 针对链式自动机动作的主动轮由电机驱动,链条上装有滑块,滑块能在机体的滑槽内滑动,用来带动自动机完成自动循环。等效能设计对传统链式自动武器,设计新链式自动方式,采用偏移式闭锁机构,为了射击平稳、结构简单和可靠性高,将链传动平面与自动机运动平面平行布置,提出将击发机构、抛壳机构整合到自动机体内,利用滑块解决链传动方向与自动机方向变化的问题。在UG软件上对改进的自动机结构进行三维实体建模,利用ADAMS软件进行动力学仿真和运动学验证。结果表明设计机构能够正常工作,火炮自动系统工作时更加平稳,可靠性更高。 展开更多
关键词 链式自动机 闭锁机构 动力学仿真
下载PDF
矩形点阵上链码的转换算法 被引量:5
9
作者 陈优广 张薇 顾国庆 《小型微型计算机系统》 CSCD 北大核心 2005年第12期2190-2193,共4页
链码是图像处理和图像识别中的一个重要工具.给出了四近邻图像的顶点链码(VCC)、F reem an链码和边界链码之间的转换算法,这样只要获得一种链码就可以得到其它的链码表示,由某种链码获得的图像信息也为其他链码所共享.
关键词 FREEMAN链码 边界链码 顶点链码 边界标定自动机
下载PDF
智能网联异质交通流混合特性 被引量:8
10
作者 吴德华 彭锐 林熙玲 《西南交通大学学报》 EI CSCD 北大核心 2022年第4期761-768,共8页
为研究车联网环境下异质交通流的演变规律,基于改进的NaSch模型,针对智能网联化程度的前期、中期和后期分别进行仿真实验,得到交通流基本图,并分析通行能力与网联车渗透率的内在联系;其次,通过马尔可夫链证明了网联车形成的有序排列能... 为研究车联网环境下异质交通流的演变规律,基于改进的NaSch模型,针对智能网联化程度的前期、中期和后期分别进行仿真实验,得到交通流基本图,并分析通行能力与网联车渗透率的内在联系;其次,通过马尔可夫链证明了网联车形成的有序排列能提高道路通行能力,随机仿真实验验证了理论推导的正确性;最后,引入考虑车辆排列方式的相对熵,从而定量描述异质车流的有序性,阐明了智能网联车辆(connected and autonomous vehicle,CAV)改善交通状况的本质原因.研究结果表明:随着智能网联车渗透率的增加,通行能力增加,在智能网联化前期,渗透率的增加对通行能力提升较小,最高仅提升23.5%,中、后期通行能力最高能提升125.0%;在一定交通密度下,CAV渗透率与流量呈现正相关,相对熵与流量呈现负相关;智能网联车处于分离态时相对熵较小,分离态对随机混合的通行能力的提升随着CAV渗透率的增加而降低. 展开更多
关键词 智能交通 异质交通流 元胞自动机 智能网联车 马尔可夫链 相对熵
下载PDF
基于自动机的概率计算树逻辑验证方法
11
作者 纪明宇 王海涛 陈志远 《计算机工程》 CAS CSCD 2013年第12期285-289,共5页
根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层... 根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质,使用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,基于积模型给出相应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。 展开更多
关键词 模型检测 分层直到公式 概率计算树逻辑 马尔可夫链 自动机 积模型
下载PDF
一种快速准确地计算图像几何矩的算法
12
作者 陈芳 《内蒙古师范大学学报(自然科学汉文版)》 CAS 2006年第4期447-451,共5页
在计算机视觉中,矩是一种重要的形状特征描述.提出一种运用自动机获取任意图像区域边界的Freeman链码及图像区域边界点坐标序列的方法,结合离散化的格林理论,能快速、准确地计算出图像的几何矩.与现有算法相比,该方法对任意图像几何矩... 在计算机视觉中,矩是一种重要的形状特征描述.提出一种运用自动机获取任意图像区域边界的Freeman链码及图像区域边界点坐标序列的方法,结合离散化的格林理论,能快速、准确地计算出图像的几何矩.与现有算法相比,该方法对任意图像几何矩的计算具有计算结果准确、内存开销低、运算速度快等优点. 展开更多
关键词 图像 几何矩 自动机 FREEMAN链码 算法
下载PDF
压裂支撑剂粒径测量分析的新方法
13
作者 张学军 《计算机工程与应用》 CSCD 北大核心 2009年第35期246-248,共3页
为了科学准确评价支撑剂的性能,采用理论分析和实验的方法,通过对颗粒数字图像进行二值化处理,运用链编码技术直接提取图像几何特征的两个算法,即计算边界点的坐标及边界上两点间距离的坐标标定自动机,推导了压裂支撑剂粒径测量算法,实... 为了科学准确评价支撑剂的性能,采用理论分析和实验的方法,通过对颗粒数字图像进行二值化处理,运用链编码技术直接提取图像几何特征的两个算法,即计算边界点的坐标及边界上两点间距离的坐标标定自动机,推导了压裂支撑剂粒径测量算法,实验验证了其粒径均值的求解过程。研究结果表明,压裂支撑剂粒径的测量、均值的计算与分析的算法能够成为颗粒图像识别分析系统的理论基础。研究结论突破了传统筛析测量方法,为计算机图像分析技术的应用奠定了基础。 展开更多
关键词 压裂支撑剂 粒径 链编码 自动机
下载PDF
利用边界链编码标定数字图像 被引量:2
14
作者 沈晗 周光博 《计算机应用与软件》 CSCD 北大核心 2006年第10期108-109,共2页
给出了利用边界链编码进行二值图像标定的方法。对于四近邻的图像,建立了一组最小的完备图。利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是边界链编码。
关键词 区域标定 链编码 区域标定自动机
下载PDF
改进的八近邻区域边界标定自动机
15
作者 刘艳 高伟男 +1 位作者 王志清 巨志勇 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第1期117-123,共7页
在图像边界标定算法的基础上,通过化简自动机的状态迁移映射,减少了自动机在提取边界过程中的运算步骤和存储空间,提高了自动机效率.
关键词 边界标定自动机 链编码 FREEMAN链码
下载PDF
构造标定自动机实现数字图像的Freeman链编码标定
16
作者 周光博 沈晗 陈芳 《计算机应用与软件》 CSCD 北大核心 2006年第5期108-110,共3页
图像的Freem an链编码是对图像边界的描述,这种链编码给我们图形一些基本特征,正在被广泛地应用到图像处理和图像识别中。本文给出了二值图像区域的标定方法。对于八近邻的图像,分别建立了一组最小的完备图。利用图像标定的基本图,为二... 图像的Freem an链编码是对图像边界的描述,这种链编码给我们图形一些基本特征,正在被广泛地应用到图像处理和图像识别中。本文给出了二值图像区域的标定方法。对于八近邻的图像,分别建立了一组最小的完备图。利用图像标定的基本图,为二值图像边界的识别构造了一个自动机,自动机的输出就是Freem an链编码,为二值图像区域的标定提供了一个有效算法。 展开更多
关键词 Freeman链编码 区域标定 边界标定自动机
下载PDF
概率系统差分隐私研究综述
17
作者 曹永知 《广州大学学报(自然科学版)》 CAS 2019年第4期75-82,共8页
尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景下,数据间存在着复杂的关联性.为防止攻击者利用先验知识获取隐私,Dwork提出了差分隐私概念.近年来,差分... 尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景下,数据间存在着复杂的关联性.为防止攻击者利用先验知识获取隐私,Dwork提出了差分隐私概念.近年来,差分隐私受到了广泛关注,成为有望解决数据隐私问题的一个重要研究方向.值得注意的是,在诸如执行MapReduce计算的Airavat等系统中,差分隐私技术仅用于构件层面.显然,保护单个构件的隐私并不意味着保护了整个系统的隐私.为此,国内外许多学者从系统层面研究了隐私保护.文章在简要回顾传统差分隐私提出的背景、定义及理论方面的进展后,从形式化方法的视角,综述概率系统差分隐私的最新研究进展和研究方向,以期促进该领域的进一步研究. 展开更多
关键词 隐私保护 差分隐私 形式化方法 概率自动机 概率标号迁移系统 概率进程代数 马尔可夫链 模型检测
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部