您的位置: 专家智库 > >

国家重点基础研究发展计划(2005CB321900)

作品数:6 被引量:32H指数:4
相关作者:李未姜鑫马世龙郑志明郭炳晖更多>>
相关机构:北京航空航天大学北京大学华东师范大学更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术经济管理天文地球自然科学总论更多>>

文献类型

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

领域

  • 6篇自动化与计算...
  • 1篇经济管理
  • 1篇天文地球
  • 1篇自然科学总论

主题

  • 3篇动力系统
  • 3篇力系
  • 2篇COMPLE...
  • 1篇带权
  • 1篇动力学特征
  • 1篇动态特性
  • 1篇云模型
  • 1篇知识表示
  • 1篇智能决策支持
  • 1篇智能决策支持...
  • 1篇软件技术
  • 1篇软件开发
  • 1篇软件系统
  • 1篇属性离散化
  • 1篇相对论
  • 1篇离散化
  • 1篇连续属性离散...
  • 1篇模糊推理
  • 1篇模糊推理算法
  • 1篇进化论

机构

  • 4篇北京航空航天...
  • 2篇北京大学
  • 1篇华东师范大学

作者

  • 3篇李未
  • 2篇郑志明
  • 2篇马世龙
  • 2篇姜鑫
  • 1篇于静
  • 1篇唐绍婷
  • 1篇郭炳晖
  • 1篇孟祥怡
  • 1篇康建初
  • 1篇张稳
  • 1篇张桂戌

传媒

  • 2篇Scienc...
  • 2篇中国科学:信...
  • 1篇计算机工程
  • 1篇中国科学(E...
  • 1篇2007中国...

年份

  • 4篇2009
  • 1篇2008
  • 2篇2007
6 条 记 录,以下是 1-7
排序方式:
软件可信复杂性及其动力学统计分析方法被引量:8
2009年
可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本科学问题.分析和讨论了软件可信性的复杂性特征,提出了通过可信复杂性研究软件可信性度量的观点.利用动力学统计分析方法给出了软件系统可信性统计指标的不变测度评测方法,给出了软件系统不可信的动力学判据.通过实例,采用数值模拟与理论分析方法验证了动力学统计分析方法在软件可信性度量方面的可行性.
郑志明马世龙李未姜鑫韦卫马丽丽唐绍婷
关键词:动力系统
Dynamical characteristics of software trustworthiness and their evolutionary complexity被引量:8
2009年
Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications, and software trustworthiness modeling has become a prerequisite and necessary means. To discuss and explain the basic scientific problems in software trustworthiness and to establish theoretical foundations for software trustworthiness measurement, combining the ideas of dynamical system study, this paper studies evolutionary laws of software trustworthiness and the dynamical mechanism under the effect of various internal and external factors, and proposes dynamical models for software trustworthiness, thus, software trustworthiness can be considered as the statistical characteristics of behaviors of software systems in the dynamical and open environment. By analyzing two simple examples, the paper explains the relationship between the limit evolutionary behaviors of software trustworthiness attributes and dynamical system characteristics, and interprets the dynamical characteristics of software trustworthiness and their evolutionary complexity.
ZHENG ZhiMingMA ShiLongLI WeiWEI WeiJIANG XinZHANG ZhanLiGUO BingHui
关键词:动态特性动力系统
软件可信性动力学特征及其演化复杂性被引量:13
2009年
可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性.
郑志明马世龙李未韦卫姜鑫张占利郭炳晖
关键词:动力系统
一种改进的基于规则的带权模糊推理算法被引量:2
2007年
给出了一种基于带权模糊Petri网的模糊推理算法,这种算法可以适用于一类基于规则的系统,即可以对该类系统的带权模糊Petri网模型进行相应的处理。对系统建立了知识表示的带权模糊Petri网模型,使用该算法可以确定用户给定的库所之间是否存在联系,即相应的命题之间是否存在因果关系,可以计算出命题的模糊真值。对具体的算例进行了分析并与已有的算法进行了比较,得出该算法的优点。
张稳张桂戌
关键词:模糊推理算法知识表示
Complexity of software trustworthiness and its dynamical statistical analysis methods被引量:11
2009年
Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present,the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study,this paper interprets the characteristics of behaviors of software systems and the basic scientific problems of software trustworthiness complexity,analyzes the characteristics of complexity of software trustworthiness,and proposes to study the software trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods,the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices,and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example,the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis.
ZHENG ZhiMingMA ShiLongLI WeiJIANG XinWEI WeiMA LiLiTANG ShaoTing
关键词:软件开发软件系统软件技术
科学发现的逻辑验证被引量:2
2008年
R演算是一个关于逻辑连接词符号和量词符号的演算系统.它是一个根据事实反驳对科学理论进行修正的符号演算系统.文中以狭义相对论和生物进化论为例,使用R演算,对这两个科学理论的发现过程,在数理逻辑层面进行了验证.验证的结果表明:对Einstein时代的物理学而言,狭义相对论是唯一而且正确的选择.对Darwin时代的生物学而言,在接受自然选择原理等前提下,R演算可以推导出3种不同的,但逻辑上合理的进化论方案.Darwin提出的进化论是其中一种.有趣的是三者中的另一种,现在看来它具有一定的包容性.
李未
关键词:相对论进化论
决策信息处理方法中遗传分类器的研究
作为智能决策支持系统(IDSS)的一次具体尝试,将遗传分类器应用到 IDSS 中,利用遗传算法来优化知识库中的规则并使整个系统具有学习能力.另外,针对传统遗传分类器对离散属性数值的要求,引入了基于云模型的连续属性离散化算...
于静康建初孟祥怡
关键词:智能决策支持系统云模型连续属性离散化
文献传递
共1页<1>
聚类工具0