基于PETRI网的政府办公系统工作流建模研究

提出了一种基于PETRI网的政府办公系统工作流建模研究方法。讨论了该工作流程的控制关系及约束条件等。用一个实例对所提出的建模方法进行了说明。实际表明该建模方法简单、可行，并能保证工作流模型的有效性。     

自动查表计算程序设计与实现

将常用表格数据存入数据库 ,用计算机进行查询和插值计算 ,可以减少查表及计算时间。文章探讨了数据库系统的建立和使用、开发语言的选择及与数据库的联接、插值计算的方法及主要流程PETRI网模型     

教学游戏AIFSM实现策略研究

FSM是游戏中重要的人工智能实现的技术，具有简单，实用，求解能力强，具有计算额外开销小，并且能够与神经元网络，模糊逻辑混合使用的优点。文章以一个教学游戏为例，说明FSM的实现方法，展望了复杂系统的实现方法。     

基于GPS和GSM移动安全终端的硬件系统设计

根据油田员工安全信息系统建设对员工定位器的功能需要,设计了GSM模块和GPS模块,作为信息中心与定位器间信息交互的硬件部件;在系统控制核心上采用了双处理器管理模式,实现了系统的硬实时功能;在双处理器系统设计中,利用双1：2存储器来构建紧密耦合多处理器体系结构,来提高双MCU之间通信能力;两个MCU之间异步通信的采用PETRI网模型,确保了通信可靠性．     

有限状态机在开放式数控系统中的应用

为了克服传统编程模式开发的控制程序可移植性差、维护困难等缺点,研究了采用FSM开发CNC系统软件的方法.介绍了FSM的基本原理并提出了对复杂系统采用层级式FSM建模的方案;分析了开放式CNC系统的主要软件模块构成,并简要描述了主要软件模块的FSM行为模型;介绍了基于FSM的系统重构机理,使用FSM可以实现软件单元的功能定义和控制逻辑分离,提高系统重构的柔性;基于FSM的系统重构机理,研究了在系统中扩充自适应调节进给速度功能的方法.     

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.     

一种VFSM的图形用户界面的测试方法

采用有限状态机（FSM）来模拟GUI的测试问题具有很大的局限性。作者针对基于FSM的GUI测试的局限性，提出了一个变量有限状态机（VFSM）的形式化模型，该VFSM通过引入一组变量，可以使用较少的状态来模拟复杂的GUI，并且根据GUI设计规范来构造VFSM相对比较简单；然后，给出了一个VFSM－＞FSM的转化定理和转化算法；接着介绍了基于VFSM的GUI测试方法的步骤；最后给出了该方法的一个应用实例数据，数据表明采用VFSM的GUI测试方法大大减少了状态、变换和输出的数量。     

功能规模度量统一模型

功能规模度量(Functional Size Measurement,FSM)方法是软件度量的一个重要研究方向。度量组织为了满足不同用户的需求,可以使用FSM的不同方法来度量软件的规模。为了能够同时运用FSM的多种方法进行度量,通过分析FSM的3种常用方法(IFPUG FPA、COSMICFFP和MarkII FPA),提出了功能规模度量统一模型(Unified Model of Functional Size Measure-ment,FSM-UM),并给出了FSM-UM到FSM的3种常用方法的映射规则,最后给出了一个FSM-UM的应用实例。     

压电驱动FSM的动态性能分析

快速倾斜镜(FSM)常用作光束控制的执行装置,很多场合都要求其具有优秀的动态性能。利用有限元分析法和动态模型方法对某FSM的动态性能进行了分析。对设计制造的FSM实物实施了动态性能测试,分析和验证了频率特性曲线中所表现的非线性和机械谐振特性,发现加固层和结构摩擦作用下激发出的压电堆叠弯曲模态也是FSM动态性能的制约因素。     

压电驱动快速倾斜镜的动态性能分析

快速倾斜镜（FSM）常用作光束控制的执行装置,很多场合都要求其具有优秀的动态性能。利用有限元分析法和动态模型方法对某FSM的动态性能进行了分析;对设计制造的FSM实物实施了动态性能测试,分析和验证了频率特性曲线中所表现的非线性和机械谐振特性,发现加固层和结构摩擦作用下激发出的压电堆叠弯曲模态也是FSM动态性能的制约因素。     

一种新的UIO测试序列生成算法

基于贪心算法提出了寻找FSM(finitestatemachine)各个状态的UIO(uniqueinputoutput)序列的伪多项式时间算法,可以快速地找出FSM的UIO序列,基于“由近及远”的方法提出了寻找最短UIO测试序列的算法,可以找出FSM的最短UIO序列.     

一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

一个基于FSM测试自动化方案与实现

测试自动化是软件测试追求的目标.文章对一个基于FSM测试自动化方案及实现开展研究,给出了基于FSM的测试用例自动生成、测试用例自动执行以及结果自动比较的过程,并提出实现方法;以项目CQMIS为例,使用自动化测试工具RFT,依据提出的基于FSM测试方案实施自动化测试,效果良好.     

多输入变量的FSM设计方法研究

针对多输入变量的FSM设计中存在的一些问题,提出了一种基于ASM的多输入变量FSM的设计方法,该设计方法逻辑层次清晰,具有可操作性,并且通过一个数据采集系统控制器的设计具体介绍了该设计方法。     

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

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

Grafchart在柔性制造系统中的建模与调度

该文应用Grafchart工具箱对柔性制造系统进行了研究,对Grafchart网系统和谓词/变迁系统给出了基本的数学描述,并对系统调度过程中的突发事件引入受控位置,对相同结构部分加入颜色标记,简化了模型,是对Grafchart在FSM建模的一个扩展.说明扩展后的Grafchart结构紧凑、内涵丰富,更适合于对系统进行分析和研究,很好地解决了模型规模和信息显示容量之间的矛盾,具有较强建模能力.     

SDL语言及其在TD—PRS终端开发中的应用

SDL语言是CCITT推荐的规范与描述性语言，由ITU—T发展和标准化，被定义在兰皮书Z．100建议中，采用FSM的概念来描述对象。作为国际标准化的正式语言，它被用来规范描述实时系统，因此主要论述了规范描述语言SDL及其在TD—PRS终端开发中的应用。     

SDL语言及其在TD-PRS终端开发中的应用

SDL语言是CCITT推荐的规范与描述性语言,由ITU-T发展和标准化,被定义在兰皮书Z.100建议中,采用FSM的概念来描述对象.作为国际标准化的正式语言，它被用来规范描述实时系统，因此主要论述了规范描述语言SDL及其在TD-PRS终端开发中的应用。     

面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

发酵豆粕替代鱼粉对黄姑鱼幼鱼肌肉氨基酸,IGF-I基因相对表达量及肝脏组织结构的影响

通过探究发酵豆粕替代鱼粉对黄姑鱼幼鱼肌肉中氨基酸组成、肌肉和肝脏中IGF-I基因相对表达量及肝脏组织形态结构的影响,以确定黄姑鱼幼鱼饲料中发酵豆粕替代鱼粉的适宜比例。试验以发酵豆粕、豆粕、鱼粉和小麦蛋白粉为蛋白质源,鱼油、豆油和大豆卵磷脂为主要脂肪源,配制含45%鱼粉的基础饲料。以发酵豆粕替代基础饲料中0%(FSM0组)、10%(FSM10组)、20%(FSM20组)、30%(FSM30组)、40%(FSM40组)、50%(FSM50组)的鱼粉,共配制6组等氮(蛋白质水平为50%)等脂(脂肪水平为12%)的饲料。各实验组(除对照组)均添加适量的蛋氨酸和赖氨酸,使得各组蛋氨酸和赖氨酸水平一致。试验选取360尾平均体重为(31.24±0.02)g的黄姑鱼幼鱼,每组设置3个重复,每个重复为20尾黄姑鱼,饲养于500 L水桶中。在水温(28±2)℃,盐度27~30的条件下养殖8周。实验结果表明:缬氨酸和蛋氨酸均无显著性差异(P0.05),其余氨基酸均随着发酵豆粕替代水平的提高而呈现增高的趋势;黄姑鱼肌肉中IGF-I表达量呈先上升后下降的趋势,在FSM30组时显著最高;黄姑鱼肝脏中FSM50组IGF-I表达量显著低于对照组;通过肝脏组织学观察发现,随着发酵豆粕替代水平的增加,肝脏细胞受损严重,FSM50组肝细胞轮廓模糊,部分肝细胞核甚至已经消失不见。结果分析表示,本实验条件下,发酵豆粕替代鱼粉可以有效提高黄姑鱼鱼体中氨基酸的积累(除缬氨酸和蛋氨酸),替代量在20%-30%为宜否则会降低肝脏和肌肉中IGF-I的表达量并造成肝脏损伤。