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

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

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

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

功能规模度量统一模型

功能规模度量(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的测试用例自动生成、测试用例自动执行以及结果自动比较的过程,并提出实现方法;以项目CQMIS为例,使用自动化测试工具RFT,依据提出的基于FSM测试方案实施自动化测试,效果良好.     

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

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

生产者—消费者问题图示分析两则

生产与消费问题是研究进程同步的典范。抛开了《操作系统》等书籍中的类PASCAL语句描述，引入FSM与PETRI网，给出各自的图示，并对FSM与PETRI网进行了比较。     

Ad hoc网络AODV协议的形式化分析与仿真

基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc网络特点。     

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

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

发酵豆粕替代鱼粉对黄姑鱼幼鱼肌肉氨基酸,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的表达量并造成肝脏损伤。     

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

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