基于失信因子的软件系统可信性分析
基本信息
批准号：90718036
项目类别：重大研究计划
资助金额：50.00
负责人：周献中
学科分类：
依托单位：南京大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：王加存,赵佳宝,周运森,杨佩,朱美琳,李迁,李檬,萧毅鸿,王莉
关键词：
失信因子可信软件可信性分析复杂系统Petri网
结项摘要
软件正驱动着我们的世界，人们对软件的需求已从功能正确性转向功能、可信等方面的综合要求。本项目以国家重大研究计划项目"可信软件基础研究"为导向，以"失信因子"为基础概念，运用复杂系统、Petri网以及软件工程等相关理论，并结合实证，系统、深入地研究影响软件可信性的因素及其作用机理。主要内容和意义是：（1）失信因子的识别与分析，可在最基础层次了解和掌握"失信因子"存在的方式与形态、时空变化的特性与特征
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
3
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
4
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
5
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
周献中的其他基金
批准号：70971062
批准年份：2009
资助金额：25.00
项目类别：面上项目
批准号：61876079
批准年份：2018
资助金额：62.00
项目类别：面上项目
批准号：71171107
批准年份：2011
资助金额：42.00
项目类别：面上项目
批准号：70571032
批准年份：2005
资助金额：17.00
项目类别：面上项目
相似国自然基金
1
面向威胁的软件可信性分析模型
批准号：90718005
批准年份：2007
负责人：傅建明
学科分类：F0206
资助金额：50.00
项目类别：重大研究计划
2
基于Petri网的网络化软件行为可信性分析方法研究
批准号：61272153
批准年份：2012
负责人：方贤文
学科分类：F0201
资助金额：81.00
项目类别：面上项目
3
基于软件缺陷预测的软件可信性度量方法研究
批准号：90718024
批准年份：2007
负责人：宋擒豹
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
4
基于软件网络的可信性度量体系研究及其分析工具的实现
批准号：60973022
批准年份：2009
负责人：赵海
学科分类：F0203
资助金额：29.00
项目类别：面上项目