排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
2.
将扩展时序距离(ETD)算法与自适应控制中的递推最小二乘(RLS)算法相结合,提出了超短期负荷预测算法———RLS&ETD算法。该算法利用自适应控制的动态跟踪特性与ETD算法的周期性,与ETD算法相比,能更充分地利用数据。仿真实验的结果表明,RLS&ETD算法比ETD算法在精度、误差稳定性等方面均有所提高。 相似文献
3.
4.
通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法。文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petir网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性。最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。 相似文献
5.
6.
为了探讨父母教养方式对青少年攻击行为的影响,采用父母教养方式量表和攻击性问卷,对482名青少年施测.结果显示:青少年总攻击和敌意指标存在性别和年级差异,身体攻击和愤怒指标存在性别差异.相关分析显示,父母教养方式与攻击行为存在不同程度的相关性;回归分析表明,父亲不良的教养方式是青少年攻击行为发生的重要影响因素.由此得出父母教养方式对青少年的攻击行为有一定的预测作用. 相似文献
7.
基于最小二乘算法的最优适应控制器 总被引:2,自引:0,他引:2
采用"输入匹配"的方法,建立了"一步超前"最小二乘算法,得以参数估计的收敛速度.
证明了闭环适应系统是全局稳定的,且适应控制收敛于"一步超前"最优控制. 相似文献
8.
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。 相似文献
9.
基于加权最小二乘法的最优适应控制器 总被引:6,自引:0,他引:6
普通的最小二乘算法LS,并不能保证它的收敛性,而加权的最小二乘算法WLS,却有很好的收敛性,采用这种算法进行随机系统的辨识,能够保证算法所得的参数收敛于某一个向量,而且这种算法在很多方面具有同普通最小二乘算法一样的性质,采用这种算法对随机系统进行适应控制,能够保证系统是闭环全局稳定的,而且这种适应控制还能收敛于“一步超前”最优控制。 相似文献
10.