基于有限状态机矩阵模型的人工情绪模型

根据情绪心理学理论,提出先天预置和后天习得2个层次的人工情绪模型。用有限状态机的矩阵模型实现先天原始基本情绪智能的再现,克服"事件-情绪-行为"序列对需要存储空间的缺点,提高了模型的实时性。用Lapicque神经细胞模型描述情绪状态转换的过渡过程,并给出模型仿真结果。

划分有限状态机的低功耗实现模型

通过引入映射状态,使得单状态机的状态分配算法可直接应用于被划分的有限状态机,提出了实现划分有限状态机的通用物理模型.对13个MCNC基准电路,采用文中模型进行测试,实验结果与已发表的结果相比,文中模型在功耗和面积的改进方面有一定的优势.

基于扩展有限状态机模型的故障检测

提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时,能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。

基于有限状态机的作战实体模型行为规则可视化建模

为提升仿真模型开发效率,降低仿真模型的维护成本,从模型规则可视化建模需求入手,提出了基于有限状态机的实体模型行为规则形式化表达模型,并对基于有限状态机的模型规则可视化建模工具框架进行了设计,对模型规则可视化建模的工程实现进行了理论上的探索。

基于有限状态机的可校核仿真模型研究

基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法,应用模型检测方法分析安全协议时,前提和关键是对协议及其执行环境进行准确和全面的建模。

基于扩展有限状态机建模方法的188-220C协议仿真模型实现

MIL-STD188-220C是军用分组无线电C4I系统之间的互操作标准,结合协议工程的思想,提出了基于扩展有限状态机描述建立仿真模型的一种建模方法,并在此方法的基础上,建立了220C协议的仿真模型。该模型的层次结构、外部接口和内部状态转移与协议标准一致,既能满足数字化战场战术指挥控制系统综合仿真的需要,又能在此基础上实现协议的进一步研究与改进。

基于有限状态机的绝缘子检测机器人越障控制

为提升机器人的越障控制效果,提出基于有限状态机的绝缘子检测机器人越障控制方法。该方法首先对机器人具体结构展开分析,基于分析结果获取机器人控制系统动力学方程;结合有限状态机理论建立机器人越障时的各项参数状态集合,获取机器人越障姿态序列,建立机器人越障控制模型;再根据建立的越障控制目标函数,结合B样条曲线跟踪方法对模型实施求解,获取模型最佳越障路径规划结果,实现绝缘子检测机器人的越障控制。实验结果表明,使用该方法开展机器人越障控制时,控制方法的控制性能高、控制效果好。

一种基于有限状态机的模型转换方法

为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。

基于有限状态机的模型转换方法的研究

模型转换是MDA框架中最重要的组成部分之一,因此,对模型转换方法的研究非常重要。为了促进MDA框架理论的发展以及探索更有效的模型转换机制,文中对模型转换方法做了较深入的研究。文中通过对有限状态机的分类和有限状态机的工作原理的介绍,并把有限状态机的理论应用到模型转换中,从而提出了基于有限状态机的模型转换方法。文中从以下几个方面对基于有限状态机的模型转换方法进行了较深入的分析与研究,主要包括转换元模型的定义、模型转换中的有限状态机的描述和可逆向操作的状态生成算法。文中提出的方法为有着比较明显的状态变化的模型之间的相互转换提供了一种比较方便的模型转换实施方案,同时对其它模型转换方法也有一定的参考价值。

基于有限状态机的三电平逆变器双矢量模型预测控制策略

针对三电平逆变器使用有限集模型预测控制策略时,存在电流谐波大、对微控制器运算能力要求高、多目标优化复杂及输出矢量切换受限等问题,提出一种基于有限状态机的双矢量模型预测控制策略。首先,采用有限状态机来描述有限的控制集和受限的矢量切换,并以此作为三电平逆变器运行的基础,从而避免过大的相电压和线电压跳变;然后,提出一种适用于该有限状态机的简化控制集方法,使得候选矢量的数量不超过5个;继而,结合直流侧电容电压平衡控制,确定最优双矢量组合,且无须进行多目标优化;最后,计算双矢量的占空比,进一步降低输出电流的谐波。仿真和实验结果验证了所提策略的良好性能。

Z39.50协议模型的有限状态机描述及面向对象的实现框架

主要介绍了 Z39.5 0标准的协议模型 ,用有限状态机对协议模型进行描述 ,然后给出 Z39.5 0协议机的状态类实现框架。

基于有限状态机的联锁平台任务同步模型研究

二乘二取二铁路计算机联锁系统中,两套4个CPU组成了容错计算结构,实现CPU之间的同步是基于表决的容错计算机系统的关键过程。因此,本文提出了一种基于有限状态机的主/备/从并行任务同步模型,用于准确描述系统中不同CPU对象的任务同步状态,为二乘二取二同步通信表决过程大规模复杂的逻辑和时序设计提供了方法学上的参考和简化。

基于有限状态机的虚拟训练过程模型研究

通过一个基于操作规程的虚拟训练系统研究了系统仿真流程,分析了有限状态机(FSM)的原理,结合虚拟仿真训练的特点,设计出了操作过程模型,并通过Windows消息机制编程实现了该模型。

基于非确定有限状态机模型的测试用例选择

在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题。

基于改进EDPN模型和有限状态机的Web应用系统测试技术研究

为了能够在Web应用系统测试中利用EDPN模型的直观性和耦合性好的优点,提出了一种改进的EDPN模型(WEDPN),有效地解决了使用EDPN模型难以合成多个页面的EDPN模型问题。最后,通过实例介绍了使用WEDPN模型对Web应用进行系统测试的方法。

VHDL中有限状态机模型的应用

介绍用VHDL语言描述有限状态机模型的类型、原理、转移条件、内部工作方式及其应用。

基于有限状态机的自动售货机控制器

针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机(Hierarchical FSM,HFSM)模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转化为一棵状态树,利用状态的局部相关性查找下一个目标状态。分析表明,该模型能有效地解决复杂系统的"庞大症"。