您的位置: 专家智库 > >

国家自然科学基金(60474026)

作品数:11 被引量:41H指数:5
相关作者:罗贵明李凯姜睿张频邝宏斌更多>>
相关机构:清华大学中国人民解放军沈阳军区装备部更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术电气工程电子电信金属学及工艺更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 1篇金属学及工艺
  • 1篇电子电信
  • 1篇电气工程

主题

  • 2篇最小二乘
  • 2篇最小二乘法
  • 2篇加权
  • 2篇加权最小二乘
  • 2篇加权最小二乘...
  • 1篇递推
  • 1篇递推算法
  • 1篇软件模型
  • 1篇软件模型检测
  • 1篇设计模式
  • 1篇时序逻辑
  • 1篇适应控制器
  • 1篇数学模型
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇自动机
  • 1篇系统设计
  • 1篇线性时序逻辑
  • 1篇线性随机系统
  • 1篇门限

机构

  • 8篇清华大学
  • 1篇中国人民解放...

作者

  • 8篇罗贵明
  • 2篇李凯
  • 1篇陆远
  • 1篇黄键
  • 1篇张斌
  • 1篇张翔
  • 1篇姜睿
  • 1篇邝宏斌
  • 1篇王平
  • 1篇张频

传媒

  • 2篇计算机工程
  • 2篇计算机应用
  • 2篇Tsingh...
  • 1篇自动化学报
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇中国科学(E...
  • 1篇Defenc...

年份

  • 1篇2009
  • 1篇2008
  • 3篇2007
  • 6篇2006
11 条 记 录,以下是 1-10
排序方式:
模型与实例设计模式在工作流管理系统设计中的应用被引量:5
2006年
描述了工作流管理系统的开发中,归纳总结出来的一个用于处理模型与实例关系的设计模式———模型与实例,并通过该设计模式在工作流管理系统设计中的一个具体应用,介绍了如何使用模型与实例设计模式进行设计。
张翔陆远罗贵明
关键词:工作流管理系统设计模式
Convergence of Recursive Identification for ARMAX Process with Increasing Variances
2007年
The autoregressive moving average exogenous (ARMAX) model is commonly adopted for describing linear stochastic systems driven by colored noise. The model is a finite mixture with the ARMA component and external inputs. In this paper we focus on a parameter estimate of the ARMAX model. Classical modeling methods are usually based on the assumption that the driven noise in the moving average (MA) part has bounded variances, while in the model considered here the variances of noise may increase by a power of log n. The plant parameters are identified by the recursive stochastic gradient algorithm. The diminishing excitation technique and some results of martingale difference theory are adopted in order to prove the convergence of the identification. Finally, some simulations are given to show the reliability of the theoretical results.
金亚罗贵明
关键词:ARMAX数学模型
基于门限方案的理想多方访问结构的实现被引量:1
2006年
介绍了多方访问结构的概念,在访问结构中,参与者集合被分为w个子集,同一子集中的参与者在系统中起到相同的作用。(t,n)-门限方案是在n个参与者当中共享原始秘密k的机制,使得至少要t个参与者才可以重构k。该文通过使用若干次门限方案构造出了可以实现所有多方访问结构的理想的秘密共享方案,并据此证明了多方访问结构是理想的访问结构。
李凯罗贵明
关键词:门限方案
基于多部访问结构的理想的秘密共享方案被引量:5
2006年
在多部访问结构中,参与者集合被分为m个子集,同一子集中的参与者在系统中起到相同的作用。文章介绍了多部访问结构的概念,构造了一种三部访问结构,并通过向量空间构造法从理论上证明了该三部访问结构是理想的访问结构。通过该文提出的方法,可以很容易地将三部访问结构的结论推广到多部访问结构。
李凯罗贵明
并行软件模型检测被引量:6
2008年
并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解,将各组件均衡地分发到若干计算节点,由节点调用MAGIC完成验证。由于保证节点间只有少量的通信与同步,该方法能达到较好的并行加速比,具有良好的可扩展性。实验结果显示,该方法大幅压缩了检测时间,有利于大规模软件的形式化验证。
邝宏斌罗贵明
关键词:软件模型检测标号迁移系统
High Performance SLED Fabricated by Pulsed Anodic Oxidation
2009年
InGaAs/AlGaAs MQW superluminescent LED(SLED) is fabricated by using pulsed anodic oxidation and molecular beam epitaxy(MBE).The power and spectral output characteristics of three kinds of device structures are investigated.An output power above 10 mW with FWHM of 18 nm is demonstrated at a current of 150 mA.
高欣薄报学张晶李辉曲轶
关键词:超辐射发光二极管ALGAAS分子束外延MBE技术
一种有效的基于LTL和Petri网的模型检测方法被引量:2
2006年
模型检测的一个主要方法是构建线性与时序逻辑(LTL)公式φ的否定形式等价的B櫣chi自动机Aφ和系统模型M的正交积,并检测正交积的可接受语言是否为空。通过对GeneralizedB櫣chi自动机进行化简,可以减小自动机的状态空间,从而提高模型检测的效率。根据所提出的方法设计并实现的基于LTL和Petri网进行模型检测的工具包,可以有效地对基于Petri网表示的系统模型进行模型检测。
张斌罗贵明王平
关键词:线性时序逻辑自动机PETRI网
UML模型检测方法的研究被引量:11
2007年
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。
张频罗贵明
关键词:统一建模语言PROMELA
基于加权最小二乘法的最优适应控制器被引量:12
2006年
普通的最小二乘算法LS,并不能保证它的收敛性,而加权的最小二乘算法WLS,却有很好的收敛性,采用这种算法进行随机系统的辨识,能够保证算法所得的参数收敛于某一个向量,而且这种算法在很多方面具有同普通最小二乘算法一样的性质,采用这种算法对随机系统进行适应控制,能够保证系统是闭环全局稳定的,而且这种适应控制还能收敛于“一步超前”最优控制.
姜睿罗贵明
关键词:加权最小二乘法
两步EFOP参数估计的递推算法
2006年
经验频域最优参数(EFOP)估计方法是基于时域估计和频域估计的一种系统辨识方法.其优点在于能够降低噪声影响,对小样本数据的随机系统具有较好的辨识效果.利用松弛算法而建立的两步EFOP方法,可适用于ARMA和Box-Jenkins等模型.文中对受干扰的随机系统,推导出两步EFOP方法的递推算法.对新的递推算法进行了仿真,并利用实验结果分析和验证了该算法的有效性.
罗贵明黄键
关键词:递推算法
共2页<12>
聚类工具0