您的位置: 专家智库 > >

国家自然科学基金(60473019)

作品数:7 被引量:22H指数:3
相关作者:李未姜鑫马世龙郑志明周梦更多>>
相关机构:北京航空航天大学北京大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 7篇期刊文章
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 4篇理学

主题

  • 2篇动力系统
  • 2篇力系
  • 2篇DIFFER...
  • 2篇GR
  • 1篇代理
  • 1篇代理签名
  • 1篇代理签名方案
  • 1篇电压分配
  • 1篇动力学特征
  • 1篇行列式
  • 1篇循环行列式
  • 1篇时延
  • 1篇时延网络
  • 1篇签名
  • 1篇签名方案
  • 1篇网络
  • 1篇网络控制
  • 1篇网络控制系统
  • 1篇稳定性
  • 1篇线性矩阵

机构

  • 4篇北京航空航天...
  • 2篇北京大学
  • 1篇南京理工大学

作者

  • 2篇郑志明
  • 2篇周梦
  • 2篇马世龙
  • 2篇姜鑫
  • 2篇李未
  • 1篇唐绍婷
  • 1篇樊卫华
  • 1篇郭炳晖
  • 1篇胡维礼
  • 1篇蔡骅
  • 1篇谢蓉华
  • 1篇邓娜

传媒

  • 2篇Scienc...
  • 2篇中国科学:信...
  • 1篇中国科学(A...
  • 1篇江西师范大学...
  • 1篇Acta M...

年份

  • 2篇2009
  • 3篇2008
  • 2篇2007
  • 1篇2006
7 条 记 录,以下是 1-8
排序方式:
一类具有控制长时延的网络控制系统
针对一类长时延网络控制系统,设网络只存在于控制器和执行器节点之间,执行器为时间驱动,且与传感器的时钟存在固定的时间差,执行器节点设置有适当深度的缓存,将时变控制时延转化为固定时延,给出了此类网络控制系统的模型;在此基础上...
樊卫华蔡骅胡维礼谢蓉华
关键词:线性矩阵不等式
文献传递
软件可信复杂性及其动力学统计分析方法被引量:8
2009年
可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本科学问题.分析和讨论了软件可信性的复杂性特征,提出了通过可信复杂性研究软件可信性度量的观点.利用动力学统计分析方法给出了软件系统可信性统计指标的不变测度评测方法,给出了软件系统不可信的动力学判据.通过实例,采用数值模拟与理论分析方法验证了动力学统计分析方法在软件可信性度量方面的可行性.
郑志明马世龙李未姜鑫韦卫马丽丽唐绍婷
关键词:动力系统
软件可信性动力学特征及其演化复杂性被引量:13
2009年
可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性.
郑志明马世龙李未韦卫姜鑫张占利郭炳晖
关键词:动力系统
Circulant Double Coverings of a Circulant Graph of Valency Five被引量:1
2007年
枚举盖住设计的图的几种类型的同晶型班是在计算的拓扑的图理论的中央研究话题之一。如果它的盖住的图是 circulant, G 盖住的 A 被称为 circulant。最近,作者[分离数学, 277, 73 鈥 ? 5 (2004 )] 枚举 circulant 的同晶型班某个类型的两倍覆盖物,叫了典型盖住,并且证明两倍原子价三的一张 circulant 图盖住都不是 circulant。另外,在里面[图和组合数学, 21, 386 鈥 ? 00 (2005 )] , circulant 的同晶型班加倍原子价的一张 circulant 图的覆盖物四被枚举。在这篇论文, circulant 的同晶型班加倍原子价的一张 circulant 图的覆盖物五被枚举。盖住的关键词图 - 电压赋值 - Cayley - circulant 图先生(2000 ) 题目分类 05C10 - 第一写作的 05C30 被中国(号码 60473019 和 10571005 ) 的 NSF 并且由 NKBRPC (2004CB318000 ) 支持,并且第二个作者被 Com2MaC 鈥揔O SEF
Rong Quan FENGJin Ho KWAK
关键词:电压分配
差分-微分模上的Grbner基及差分-微分维数多项式被引量:1
2008年
通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.
周梦Winkler F
关键词:GROBNER基
具有前向安全性的代理签名方案被引量:3
2006年
该文提出了一种前向安全的代理签名方案,该方案基于零知识证明协议,在离散对数和二次剩余问题困难性的假设和随机oracle模型下系统是安全的.并且该系统使得原始签名者和代理签名者的秘密钥都具有前向安全性.该方案弥补了代理签名体制在密钥安全性上的不足,秘密钥的前向安全性有效控制了密钥安全风险.
邓娜周梦
关键词:代理签名零知识证明
The ranks of Maiorana-McFarland bent functions被引量:1
2008年
In this paper, the ranks of a special family of Maiorana-McFarland bent functions are discussed. The upper and lower bounds of the ranks are given and those bent functions whose ranks achieve these bounds are determined. As a consequence, the inequivalence of some bent functions are derived. Furthermore, the ranks of the functions of this family are calculated when t 6.
WENG GuoBiaoFENG RongQuanQIU WeiShengZHENG ZhiMing
关键词:P-RANKBENTFUNCTIONDIFFERENCESET
Grbner bases in difference-differential modules and difference-differential dimension polynomials
2008年
In this paper we extend the theory of Grbner bases to difference-differential modules and present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural filtration. We present and verify algorithms for construct-ing these Grbner bases counterparts. To this aim we introduce the concept of "generalized term order" on Nm ×Zn and on difference-differential modules. Using Grbner bases on difference-differential mod-ules we present a direct and algorithmic approach to computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations.
Franz WINKLER
关键词:DIMENSION
共1页<1>
聚类工具0