共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致。最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证。 相似文献
3.
欠驱动步行机器人动态步行是仿人机器人领域研究的热点问题,源于不依赖大力矩,复杂的反馈系统及上层的动态平衡控制策略。本文以吉林大学田彦涛教授欠课题组所研制的PADW-JLU II型机器人被控对象,利用有限机状态理论实现了该机器人的有效动态步行。 相似文献
4.
在DTD模型下,在XML信息树中引入了不完全信息,形成一棵不完全信息树。文中以不完全信息树为基础定义了树中节点之间的关系:节点值等价和节点值相容。并在此基础上定义了函数依赖的强保持条件、完全函数依赖弱保持。给出了给定函数依赖集判断完全函数依赖弱保持的算法及满足完全函数依赖弱保持时,当树确定化后成为完全信息树下函数依赖的可能性的证明。 相似文献
5.
6.
VSC-HVDC在电网电压不平衡情况下,输出功率及直流母线电压会产生二倍频波动,进而影响系统的稳定运行。文中研究了柔性直流输电系统在电压不平衡情况下的改进无差拍控制策略,该策略以瞬时有功功率波动分量为零为约束条件,推导了正负序参考电流表达式。针对传统无差拍控制算法存在的控制延时及对交流侧电感参数变化鲁棒性差的问题,提出了一种改进无差拍控制策略。该控制策略利用拉格朗日插值法预测出下一个采样时刻的参考电流;对电网电压进行了线性预测;对网侧电流进行了非线性预测。最后借助MATLAB/Simulink平台搭建相应的仿真模型,仿真结果证明了该控制策略的正确性和有效性。 相似文献
7.
8.
9.
10.
本文建立了VIENNA整流器在不平衡电网下的数学模型,采用滑模控制器(Sliding mode controller,SMC)对正负序电流内环进行控制,并分别针对不同的运行要求,研究VIENNA整流器在不平衡电网下的三个控制目标:抑制负序电流、抑制有功功率二倍频分量、抑制无功功率二倍频分量。最后搭建系统仿真模型,证明VIENNA整流器在电网不平衡状态下基于SMC正负序电流内环控制策略对各个控制目标与相应控制策略的有效性。 相似文献
11.
为改善高速高精设备加工质量,利用小脑模型具有不依赖于被控对象的精确数学模型、极强的非线性拟合能力、对运行工况适应能力强的优势,将其与PID控制相结合形成PID+CMAC控制策略;并借助Turbo PMAC的"开放伺服"功能,在Turbo PMAC运动控制器上实现了PID+CMAC控制策略。测试结果表明PID+CMAC控... 相似文献
12.
13.
概述并网用网侧变流器工作原理,分析其工作模式,探讨了基于只与开关频率相关的预测电流控制(PCFF)和电网电压前馈相结合的控制策略,该策略能够弥补三电平变流器直流侧电容电压不平衡的先天性缺陷,而且PCFF控制下的系统有快速的动态响应,特别易于数字化实现。构建仿真模型分析验证了控制策略的有效性和可行性。 相似文献
14.
本文针对国内在开发信息系统的过程中不重视信息安全理论应用的现状,提出了作者的应该在信息安全理论指导下开发安全信息系统的观点。文中首先介绍信息系统安全的基本原理和适用于安全信息系统的三大安全控制策略及其对应的安全模型的基本概念与功用,它们分别是访问控制策略和访问矩阵模型,信息流控制策略和军用安全模型、BLP模型与Biba模型,以及数据库的推理控制策略与推理泄漏控制模型。然后讨论了安全信息系统的开发方法与步骤,指出策略设计和建立安全模型与验证阶段是非常重要的两个阶段,这是自主建设安全可信的信息系统的关键。最后讨论了在安全信息系统开发过程中应该注意的几个问题,供开发者参考。 相似文献
15.
16.
任务依赖关系随案例属性值变化而不同以及不可见任务的挖掘是过程发现中的两个难点.为解决上述问题,本文提出一种基于案例簇和同步核的过程发现方法.首先,分案例簇挖掘业务过程子模型中的任务依赖关系,借助同步核对这些子过程模型进行建模;之后,提出一种基于返回核的循环结构建模方法,并给出从组合案例挖掘返回核的算法;最后,将各案例簇对应的同步核与返回核进行集成,并将集成后的同步核转换为WF-net模型,由此实现了业务过程WF-net模型的重构.本文方法可有效解决不可见任务的挖掘以及任务依赖关系随案例属性值变化而不同的问题. 相似文献
17.
介绍了高频链逆变器的拓扑,建立了高频链逆变器及其重复控制策略的仿真模型,并对系统进行仿真分析。通过仿真验证了重复控制策略能够使高频链逆变器获得高质量的输出波形。 相似文献
18.
19.
论文为双馈感应发电机提出一种基于模型参考自适应滑模观测器观测转子电流的无速度传感器控制策略.以电机本体作为参考模型,在双馈感应发电机d-q坐标模型的基础上构建转子电流估算模型.依据实转子实际电流和转子估算的电流之间的偏差,通过模型参考自适应滑模观测器来估计电机转子位置和转速.该控制策略对电机参数变化具有很强的鲁棒性和快速性.最后搭建了双馈风力发电仿真平台,对所提的控制策略进行验证.仿真结果验证了所提方案可行性和正确性. 相似文献
20.
介绍了高频链逆变器的拓扑.建立了高频链逆变器及其重复控制策略的仿真模型,并对系统进行仿真分析.通过仿真验证了重复控制策略能够使高频链逆变器获得高质量的输出波形. 相似文献