基于Gross认知重评的机器人认知情感交互模型

为了增强机器人的认知情感分析能力,依据AVS情感空间和有限状态机(FSM)提出了一种基于Gross认知重评策略的认知情感交互模型.首先,通过分析情感状态之间的欧式距离,研究外界情感刺激对情感状态转移概率的影响;然后,采用有限状态机描述了受到认知重评策略影响的情感状态转移过程;最后,根据情感状态转移概率和7种基本情感的空间坐标,得出受到刺激后机器人情感状态的空间位置.实验结果表明,与不受认知重评策略影响的情感交互模型相比,所提模型能够减少机器人对外界情感刺激的依赖,从而有效地促进了和谐的人机交互体验.     

Kerberos协议的形式分析与NuSMV检验

NuSMV是一个基于计算树逻辑的符号化模型检验工具。对Kerberos认证协议进行分析,并对其建立有限状态机模型,利用NuSMV保密性、认证性和活性等从3个方面进行了验证,指出Kerberos协议存在不安全性。     

有限状态机建模在嵌入式按键设计中的应用

为了使嵌入式软件代码更加可靠,增强程序的可维护性,将有限状态机理论应用于嵌入式设计中。论述了有限状态机的基本结构和它的基本原理,介绍了有限状态机建模在嵌入式系统中实际应用现状。针对一种实际按键模块的需要,利用有限状态机的嵌入式设计建立了系统模型。采用状态机实现方法编写了按键接口程序,实现了2个按键的状态机模型设计。系统的调试结果验证了模型的正确性和可靠性,具有一定的工程价值。     

消除EFSM中状态迁移不确定的方法

扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。     

基于会议模型的射频优卡多COS安全模型

基于现实会议中席位的分配与共享规则,抽象出能用于射频优卡的席位约束会议模型.基于会议模型分析射频优卡多芯片操作系统(COS)安全问题,给出安全实体的符号化描述和安全需求的形式化定义,建立了COS、存储块和独立存储区的有限状态机模型,并复合这3个模型建立了多COS安全的有限状态机模型.给出了安全模型的原型系统设计及其功能仿真和现场可编程门阵列(FPGA)实现.仿真结果表明该安全模型结构简单,易于实现,具有很好的数据安全性.     

一类随机性EOQ模型的关键路径存贮策略

针对已有存贮策略不能直接适用于库存决策模型的问题,提出了一种基于关键路径的存贮策略,实现了一类随机性经济订货批量公式(EOQ模型)的关键路径求解.通过有限状态机构建算法(BFA),建立了适用于图论的有限状态机的资金有限型随机性EOQ模型,解决了原随机性EOQ模型不能直接应用于图论策略的问题.基于该有限状态机进一步提出了基于统筹法(PERT)的生成算法(BPA),其可将有限状态机转换为PERT图,以符合关键路径求解需求,由此可利用关键路径存贮策略来求解EOQ类模型.通过实例验证表明,所提策略能够较好地求解资金有限型随机性EOQ模型,并保证结果的完整性,同时证明了相关算法的理论性.     

在信息处理系统中一种基于FSM的用户权限自动化控制方法

本文提出了一种企业信息处理系统的研究方法。利用工作流建模的思想，本文在企业信息处理系统中以业务流程为中心，阐述了使用状态图对企业的业务流程进行建模(本文没有论述具体如何建模)的观点。基于上述观点，本文提出使用有限状态机(FSM)对该模型各个活动的状态进行管理．从而构建起整个系统的核心运行机制；并且提出如何把用户对活动状态的操作权限加载于有限状态机(FSM)，从而实现了具有用户权限控制的状态机运行系统；同时描述了如何利用可视化的工具实现活动状态的流程配置和操作权限分配。     

基于情感识别的适应性教学系统的研究

传统的智能教学系统虽能完成教学任务,但没有考虑学生学习过程中的情绪。随着情感识别技术的不断发展,将学生的情感因素加入到教学系统中将成为一种趋势。本文首先介绍了适应性教学理论和情感识别技术,然后在总结传统的智能教学系统的基础上,提出一种基于情感识别的适应性教学模型,并重点介绍了基于情感识别的适应性学习过程。     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

基于分层有限状态机的检修工作票智能防误技术

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine, HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。     

一个信息安全系统的形式描述和验证

本文通过引入一些新概念，利用有限状态机原理和BLP模型、Biba模型思想，对一个基于认证和授权的信息系统进行了形式化描述和验证，该模型具有保密性和完整性。     

容量有限批量服务轮询多址系统建模与分析

采用马尔科夫链理论,对一类批量服务、队列容量有限的轮询多址系统进行分析,建立了系统状态转移图,推导了基于信息分组数的队列状态转移概率公式.使用Matlab基于有限状态机理论的Stateflow工具箱,对该类模型进行了具体的建模与仿真,并考虑了站点具有不同优先级的情况.实验结果表明,基于Stateflow的模型与仿真方法能够有效地反映该类模型服务器的平均循环时间和站点信息帧丢弃率等统计特性.     

基于有限状态机的预期功能安全危害识别方法

针对自动驾驶系统危害与场景不可分割的特点,提出了一种基于有限状态机模型（FSM）的整车级预期功能安全危害识别方法。首先,明确危害事件组成要素;其次,将自动驾驶系统抽象为有限状态机模型以明确车辆状态和运行环境;最后,通过识别车辆状态与运行环境的冲突情况,系统性识别自动驾驶系统预期功能安全危害事件,减少对专家知识的依赖。为验证所提出方法的有效性,在某SAE L3级自动驾驶汽车上应用了该方法进行危害识别。结果表明,相较于系统理论过程分析（STPA）方法,有限状态机模型包含更加详细且系统化的环境信息,且由有限状态机模型直接输出危害事件要素,提高了危害识别的系统性。     

面向语音识别错误恢复的澄清式人机对话系统

在人机交互系统中,自动语音识别(ASR)错误将导致交互障碍,通过发起澄清式人机对话可以实现ASR错误恢复。该文提出澄清式人机对话系统结构,用于实现语音识别错误恢复,实现了系统的4个组成部分:ASR错误检测、基于统计机器翻译(SMT)方法的澄清式疑问句生成模型、说话人响应分析、基于有限状态机(FSM)的对话管理模型。各模块均采用与特定任务无关的方法建立。实验结果表明:澄清式人机对话系统可以有效模拟口语中的澄清现象,在不同的错误环境中能够较好的实现ASR错误恢复任务。     

基于Stateflow的民机自动飞行工作模式切换

Stateflow是有限状态机原理的图形化实现,可以实现连续状态间的切换.民机的自动飞行系统在各个飞行阶段对应着几十种工作模式,正是一个有限状态机系统.文中基于Stateflow对各工作模式及其逻辑关系进行了建模,实现了工作模式模型对其对应的控制律的调用,并对制定的飞行任务进行了仿真.结果表明,民机自动飞行系统工作模式间的切换可以通过Stateflow较好地实现.     

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.      

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

有限状态程序模型及其应用

工程实际中的大部分应用程序都可以用有限状态机来描述。论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机。并讨论了基于有限状态模型的程序框架生成和该模型的一些性质。对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法。     

Moore型和Mealy型有限状态机的VHDL设计

从输出时序上看,Moore型状态机属于异步输出状态机,Mealy型状态机属于同步输出状态机。Moore型有限状态机的输出仅为当前状态的函数,这类状态机在输入发生变化后再等待时钟的到来,时钟使状态发生变化时才导致输出的变化;Mealy型有限状态机的输出是当前状态和所有输入信号的函数,它的输出在输入变化后立即发生。从状态机的工作时序图上当然很容易区分出是哪一种状态机,但是对于初学者并不能很容易从VHDL代码上判断,本文的目的就是从VHDL代码和工作时序对这两类状态机进行区分。只有清楚了这两类状态机在VHDL代码上的特点才能够设计出相应的状态机。     

基于Markov链模型的被动测试错误检测算法

通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.