首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  免费   4篇
  国内免费   6篇
电工技术   2篇
综合类   2篇
水利工程   1篇
一般工业技术   1篇
自动化技术   13篇
  2018年   1篇
  2011年   1篇
  2009年   3篇
  2008年   3篇
  2007年   3篇
  2006年   7篇
  1996年   1篇
排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
基于扩展时序距离法和自适应控制的超短期负荷预测   总被引:1,自引:0,他引:1  
将扩展时序距离(ETD)算法与自适应控制中的递推最小二乘(RLS)算法相结合,提出了超短期负荷预测算法———RLS&ETD算法。该算法利用自适应控制的动态跟踪特性与ETD算法的周期性,与ETD算法相比,能更充分地利用数据。仿真实验的结果表明,RLS&ETD算法比ETD算法在精度、误差稳定性等方面均有所提高。  相似文献   
2.
将扩展时序距离(ETD)算法与自适应控制中的递推最小二乘(RLS)算法相结合,提出了超短期负荷预测算法———RLS&ETD算法。该算法利用自适应控制的动态跟踪特性与ETD算法的周期性,与ETD算法相比,能更充分地利用数据。仿真实验的结果表明,RLS&ETD算法比ETD算法在精度、误差稳定性等方面均有所提高。  相似文献   
3.
李凯  罗贵明 《计算机工程》2006,32(16):151-151
介绍了多方访问结构的概念,在访问结构中,参与者集合被分为w个子集,同一子集中的参与者在系统中起到相同的作用。(t, n)-门限方案是在n个参与者当中共享原始秘密k的机制,使得至少要t个参与者才可以重构k。该文通过使用若干次门限方案构造出了可以实现所有多方访问结构的理想的秘密共享方案,并据此证明了多方访问结构是理想的访问结构。  相似文献   
4.
通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法。文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petir网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性。最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。  相似文献   
5.
一种大规模并行程序模型的检测方法   总被引:2,自引:1,他引:1       下载免费PDF全文
JPF是NASA开发的Java程序模型检测工具。该文通过改写JPF内核中生成状态空间的模块,使待检测程序在受监控状态下模拟执行。用Data-Race算法收集警告信息,引导程序模型检测工具只对死锁相关线程进行模型检测,避免了状态空间爆炸,实现了对大规模并行程序部分线程死锁问题的模型检测。利用启发式搜索算法,在不同的搜索深度赋给待执行线程不同的权值,进一步优化了模拟执行 结果。  相似文献   
6.
为了探讨父母教养方式对青少年攻击行为的影响,采用父母教养方式量表和攻击性问卷,对482名青少年施测.结果显示:青少年总攻击和敌意指标存在性别和年级差异,身体攻击和愤怒指标存在性别差异.相关分析显示,父母教养方式与攻击行为存在不同程度的相关性;回归分析表明,父亲不良的教养方式是青少年攻击行为发生的重要影响因素.由此得出父母教养方式对青少年的攻击行为有一定的预测作用.  相似文献   
7.
基于最小二乘算法的最优适应控制器   总被引:2,自引:0,他引:2  
采用"输入匹配"的方法,建立了"一步超前"最小二乘算法,得以参数估计的收敛速度. 证明了闭环适应系统是全局稳定的,且适应控制收敛于"一步超前"最优控制.  相似文献   
8.
张频  罗贵明 《计算机应用》2007,27(10):2493-2497
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。  相似文献   
9.
基于加权最小二乘法的最优适应控制器   总被引:6,自引:0,他引:6  
姜睿  罗贵明 《自动化学报》2006,32(1):140-147
普通的最小二乘算法LS,并不能保证它的收敛性,而加权的最小二乘算法WLS,却有很好的收敛性,采用这种算法进行随机系统的辨识,能够保证算法所得的参数收敛于某一个向量,而且这种算法在很多方面具有同普通最小二乘算法一样的性质,采用这种算法对随机系统进行适应控制,能够保证系统是闭环全局稳定的,而且这种适应控制还能收敛于“一步超前”最优控制。  相似文献   
10.
为了提高界面结合能力,采用空气等离子体对芳纶纤维表面进行改性,通过扫描电子显微镜观察处理前后纤维表面形貌的变化情况,对纤维力学性能及摩擦性能进行测试,优选出最佳处理工艺。进一步研究了纤维表面改性处理方式对纤维集合体力学性能和防刺性能的影响。结果表明:表面改性后芳纶纤维的摩擦系数增大,但强力有所下降,空气等离子体处理最佳条件为50Pa、50W处理5min。芳纶纤维表面经过等离子体改性后,无纺布锥刺的最大压缩载荷同比未处理样品提高了5.27%。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号