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

快速倾斜镜（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测试方案实施自动化测试,效果良好.     

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

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

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

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

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

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

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

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

发酵豆粕替代鱼粉对黄姑鱼幼鱼肌肉氨基酸,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间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

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

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

基于低帧频CCD的快速反射镜系统控制(英文)

低频采样和延迟对光电成像跟踪系统会带来严重的相位滞后,极大地限制了系统闭环带宽和跟踪精度的提高.零极点对消法虽可以抑制对象谐振而扩大系统带宽,但必须依赖精确的数学模型和较高的采样频率.分析了复数零点PID控制器在低频采样的FSM控制系统中的应用,可以获得较好的闭环性能而且可以避免零极点对消法无法单独应用于低频采样的跟踪系统的问题.采用200 Hz帧频的CCD对此方法进行了实验验证,实验结果证明满足设计要求.     

一种用于FTTx网络规划的频繁序列挖掘算法FSM+

针对光纤接入(fiber to the x,FTTx)网络规划中频繁路径挖掘问题,在经典算法FP-Growth,SPADE的基础上,结合格理论,利用频繁项集扩展枚举树作为搜索空间,并引入位图方便扩展运算和支持度计算,提出了一个改进的频繁序列挖掘算法FSM+。详细介绍了该算法的相关性质和基本理论,阐述了该算法的基本思想和实现伪码。在VC++6.0和单机的环境下,利用不同规模用户装机数据集和最小支持度比较了该算法与SPADE,FP-Growth算法的性能和准确性。实验证明,FSM+算法在小规模数据集下性能优势并不明显,但在大数据集下其计算性能分别是SPADE,FP-Growth的5倍和7倍多,挖掘结果与SPADE,FP-Growth算法相同。从而在实际网络规划过程中,快速计算信任度较高的频繁模式,并与人工经验干预相结合,来进一步保证预测路径准确有效。     

伺服阀测试用动态缸的特性研究

动态缸是流量伺服阀动态性能测试中的主要传感器.由于目前没有对其动态特性进行标定和校准的专门设备和方法,因此依据动态缸的结构参数对其动态性能进行理论分析即成为一种有效的方法.本文采用理论分析及性能仿真的方法对动态缸的性能进行研究,以验证动态缸作为动态传感器的有效性.     

一种用于FTTx网络规划的频繁序列挖掘算法FSM

针对光纤接入（fiber to the x,FTTx）网络规划中频繁路径挖掘问题,在经典算法FP-Growth,SPADE的基础上,结合格理论,利用频繁项集扩展枚举树作为搜索空间,并引入位图方便扩展运算和支持度计算,提出了一个改进的频繁序列挖掘算法FSM+。详细介绍了该算法的相关性质和基本理论,阐述了该算法的基本思想和实现伪码。在VC++6.0和单机的环境下,利用不同规模用户装机数据集和最小支持度比较了该算法与SPADE,FP-Growth算法的性能和准确性。实验证明,FSM+算法在小规模数据集下性能优势并不明显,但在大数据集下其计算性能分别是SPADE,FP-Growth的5倍和7倍多,挖掘结果与SPADE,FP-Growth算法相同。从而在实际网络规划过程中,快速计算信任度较高的频繁模式,并与人工经验干预相结合,来进一步保证预测路径准确有效。     

电液控制注塑机节能技术研究及性能分析

对注塑机p/Q比例复合泵和定量泵变频器驱动电液系统的节能特点和动态性能分析对其进行了分析比较,定量泵变频器驱动电液系统具有更好的节能和动态性能,确定了注塑机变频调速节能实现方案。     

基于灵敏度分析和APDL的塔机结构动态优化设计

在塔机静态分析和模态分析的基础上,为改善结构的动态性能,将优化设计、有限元法和灵敏度分析相结合,以影响塔机动态性能的关键模态频率第一、二阶频率为优化目标,以强度、刚度和稳定性等为约束,通过动态灵敏度分析确定了对优化目标影响较大的构件截面尺寸参数作为设计变量,应用有限元分析软件ANSYS的参数化设计语言APDL和优化模块实现了塔机的结构动态优化设计,优化实例表明结构的动态性能明显提高.     

新型比例溢流阀动特性的研究

本文根据新型压力直接检测型比例溢流阀的工作原理和结构特点,提出了简便的“信号流图”动态分析模型,从而分析了阀的动态性能,并提出了改进措施和优化目标参数,然后对阀进行了数字仿真和试验研究。结果表明,给出的数学模型简单、准确、合理,对提高阀的动态性能和设计具有指导意义,据此提出的改进措施也使阀的动态性能有了一定的提高.     

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

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

TCP-Friendly拥塞控制算法研究综述

从拥塞控制策略的角度对现有的多种拥塞控制算法做了详细研究,综合分析了它们的静态性能和动态性能,尤其是TFRC协议动态性能的分析;研究表明:TFRC协议有诸多不足,如抖动频繁,公平性差等,同时提出了进一步的研究建议。