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