面向复合可信属性的软件可信性监控与优化
基本信息
批准号：90718033
项目类别：重大研究计划
资助金额：50.00
负责人：黄涛
学科分类：
依托单位：中国科学院软件研究所
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：钟华,张文博,张勇,王伟,吴国全,黄翔,胡剑军,李洋,刘国梁
关键词：
可信性监控与优化软件可信性复合可信属性
结项摘要
随着软件应用领域的扩展与运行环境的日趋复杂，软件使用者关注的软件可信属性的范围逐渐扩大，而与此同时可信属性对应的软件行为与资源的相互交织也更加复杂，我们将这种可信需求称为复合可信属性。复合可信属性要求软件行为和资源的协同与处理更加复杂，传统的软件可信性研究方法并不能满足这种需求，因此急需开展针对软件复合可信属性的研究工作。.本项目针对上述的需求，从软件复合可信属性描述入手，重点研究软件的可信优化目
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
中温固体氧化物燃料电池复合阴极材料LaBiMn_2O_6-Sm_(0.2)Ce_(0.8)O_(1.9)的制备与电化学性质
中温固体氧化物燃料电池复合阴极材料LaBiMn_2O_6-Sm_(0.2)Ce_(0.8)O_(1.9)的制备与电化学性质
DOI：10.11862/CJIC.2019.081
发表时间：2019
2
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
3
药食兼用真菌蛹虫草的液体发酵培养条件优化
药食兼用真菌蛹虫草的液体发酵培养条件优化
DOI：
发表时间：2021
4
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
5
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
黄涛的其他基金
批准号：31460586
批准年份：2014
资助金额：52.00
项目类别：地区科学基金项目
批准号：11102160
批准年份：2011
资助金额：28.00
项目类别：青年科学基金项目
批准号：71562016
批准年份：2015
资助金额：31.00
项目类别：地区科学基金项目
批准号：41476165
批准年份：2014
资助金额：92.00
项目类别：面上项目
批准号：10675132
批准年份：2006
资助金额：30.00
项目类别：面上项目
批准号：31271717
批准年份：2012
资助金额：83.00
项目类别：面上项目
批准号：31060295
批准年份：2010
资助金额：25.00
项目类别：地区科学基金项目
批准号：10075053
批准年份：2000
资助金额：11.00
项目类别：面上项目
批准号：41106162
批准年份：2011
资助金额：26.00
项目类别：青年科学基金项目
批准号：21273289
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：18670169
批准年份：1986
资助金额：0.60
项目类别：面上项目
批准号：19835060
批准年份：1998
资助金额：70.00
项目类别：重点项目
批准号：51805053
批准年份：2018
资助金额：27.00
项目类别：青年科学基金项目
批准号：11705189
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
批准号：31901616
批准年份：2019
资助金额：24.00
项目类别：青年科学基金项目
批准号：51705176
批准年份：2017
资助金额：25.00
项目类别：青年科学基金项目
批准号：11871323
批准年份：2018
资助金额：52.00
项目类别：面上项目
批准号：51877181
批准年份：2018
资助金额：57.00
项目类别：面上项目
批准号：10475084
批准年份：2004
资助金额：24.00
项目类别：面上项目
批准号：31600965
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：30870209
批准年份：2008
资助金额：32.00
项目类别：面上项目
批准号：11601333
批准年份：2016
资助金额：18.00
项目类别：青年科学基金项目
批准号：10975144
批准年份：2009
资助金额：39.00
项目类别：面上项目
批准号：40302033
批准年份：2003
资助金额：25.00
项目类别：青年科学基金项目
批准号：81072760
批准年份：2010
资助金额：33.00
项目类别：面上项目
批准号：61572480
批准年份：2015
资助金额：68.00
项目类别：面上项目
批准号：81301255
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：20673146
批准年份：2006
资助金额：28.00
项目类别：面上项目
批准号：61007013
批准年份：2010
资助金额：20.00
项目类别：青年科学基金项目
批准号：31701151
批准年份：2017
资助金额：23.00
项目类别：青年科学基金项目
批准号：61173003
批准年份：2011
资助金额：64.00
项目类别：面上项目
批准号：41503075
批准年份：2015
资助金额：21.00
项目类别：青年科学基金项目
批准号：51703024
批准年份：2017
资助金额：25.00
项目类别：青年科学基金项目
批准号：60573126
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：81802826
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：10275070
批准年份：2002
资助金额：18.00
项目类别：面上项目
批准号：31400706
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：39200081
批准年份：1992
资助金额：6.50
项目类别：青年科学基金项目
批准号：51408576
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：30901014
批准年份：2009
资助金额：20.00
项目类别：青年科学基金项目
相似国自然基金
1
面向威胁的软件可信性分析模型
批准号：90718005
批准年份：2007
负责人：傅建明
学科分类：F0206
资助金额：50.00
项目类别：重大研究计划
2
基于多维属性的软件可信性度量模型的研究
批准号：90718013
批准年份：2007
负责人：陈仪香
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
面向软件可信性演进的软件测试技术研究
批准号：90818027
批准年份：2008
负责人：徐宝文
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
4
可信软件测试和可信性评估研究
批准号：90718037
批准年份：2007
负责人：杨善林
学科分类：G0103
资助金额：50.00
项目类别：重大研究计划