基于细胞自动机的MRI脑肿瘤分割方法

提出一种基于细胞自动机的脑肿瘤分割方法.首先通过人工交互输入一条线,使用细胞自动机模型对脑肿瘤图像进行分割,得到肿瘤图像的标号图,然后使用活动轮廓模型对标号图进行优化处理,除去非肿瘤像素点的干扰,得到更平滑的脑肿瘤轮廓.使用该方法在对比增强T1加权MRI脑肿瘤图像进行分割实验.实验结果表明,此方法能够很好地解决脑肿瘤分割过程中容易出现的不完全分割问题,分割准确率(Dice相似系数)可达到(94.07±1.58)％.     

图上串行细胞自动机的几个结果(Ⅱ)

讨论了图上串行细胞自动机的两个猜想之间的关系，给出了对给定的π，∑[FY，π]：Aut(Y)成立的必要和充分条件．     

实时主动数据库系统中复杂触发器条件的评价

给出了复杂条件的结构及其表达式的形式描述，并利用状态自动机的原理进行相应的初步处理．在此基础上提出了条件评价优先级及评价路径的概念与相关算法，开发了一种基于条件评价优先级的路径选优法，以实现复杂条件评价的有效性和及时性．     

转向概率对平面环行交叉路口交通流的影响

从道路结构出发,建立了具有内、外环道的平面环形交叉路口元胞自动机模型,研究了转向概率对平面环行交叉路口交通流的影响.计算机模拟结果表明.各车道的交通流在转向概率影响下呈现出不同的特点.转向概率均在一定的系统密度区域内对车道的交通流存在影响.     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

回溯自动机的两个基本定理

本文详细证明了回溯自动机的两个基本定理,得到下列结论:1)ω∈~*,ω∈L(M)iffω=R(G);2)从G中q处删除一个CSg(结点q保留)或者添加一个CSq(q不需添加)后的图G′也是M的接受状态活动图。     

A cellular automaton evacuation model based on mobile robot＇s behaviors

The research of evacuation in some emergencies, e.g. fire, is of great benefit to reducing the injuries of persons. In this paper, a cellular automaton evacuation model based on mobile robot＇s behaviors is presented. Each person is treated as an intelligent mobile robot, and motor schemas, including move-to-goal, avoid-obstacle, swirl-obstacle and nervous-motion, drive persons to interact with their environment. The motor schemas are combined with cellular automaton theory, and an evacuation model is built. Evacuation simulation of persons with different move velocities shows that the presented model can predict accurately the evacuation phenomena in some emergencies.     

公交查询算法的改进

本文主要研究公交换乘搜索算法的改进,通过将有穷状态自动机思想应用于公交换乘搜索算法中,研究更为高效、准确的公交搜索算法,方便市民日常乘车。