【摘 要】
：
软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的
【机 构】
：
合肥工业大学计算机网络系统研究所,过程优化与智能决策教育部重点实验室（合肥工业大学）,奇瑞汽车有限公司,天津理工大学天津市智能计算与软件新技术重点实验室
【基金项目】
：
国家自然科学基金项目(60904063,70631003,90718037);教育部高等学校博士学科点专项科研基金项目(200803590007)
论文部分内容阅读
软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标系统的稳定性,因此引起了可信软件研究领域专家的广泛关注.针对该问题,给出一种需求驱动的软件可信性评估及演化模型.首先,剖析和总结软件可信性评估过程中涉及的关键技术,如需求分析与指标提取、可信证据采集与转换、可信性评估推理等,讨论了可信性需求演化背景下的可信性评估自主求解问题.其次,为了分析可
其他文献
随着能源危机和环保问题日益突出,新能源汽车已是当前汽车工业发展的大势所趋。其中,相比于纯电动汽车,混合动力汽车以其明显的优势依然成为当今汽车领域研究的热点。以行星
目的：通过针刺健康人合谷穴、足三里穴与穴旁非经穴点,利用脑磁图技术检测相应激活脑区,观察针刺合谷穴与足三里穴对脑部激活点的影响,并探讨针刺合谷穴与足三里穴对中枢神经
千城一面的建筑创作让中国城市建筑缺乏识别性和地域文化归属感。而当代的中国地域建筑创作实践受“商业主义”的影响，大多流于符号拼贴表面化，较为缺乏在建构层面的研究与探索
三相分离器是油田地面工程中重要的设备之一,通常是采油平台上第一个处理井液的设备,是经济稳定开采油气的关键。提高三相分离器的分离效率一直是研究的重点,而其内部构件对
近年来，随着司法改革的深入以及司法民主的推进，程序公开成为重要的关键词，引起了学术界的高度关注。不少学者依据“司法公开”、“审判公开”的基本原理进而提出了“侦查公开”
技术侦查措施作为一种特殊的侦查手段是侦查机关在侦查一系列高科技犯罪实践过程中产生出来的,随着科学技术在犯罪领域里的深度渗透和高度融合,一方面犯罪分子能够轻易的超越
化工行业液氯泄漏事故属于高危突发事故，且针对该事故的救援行动方案复杂多样，文中主要讨论液氯泄漏事故的演化过程、最佳疏散路径以及救援物资调配方案，以期为救援决策人员提供
从服饰可以看到历史和社会生活；从服饰可以看到文化和艺术；从服饰可以看到民族精神和风貌。中国的服装业进步飞速,但整体上中国服装的文化认识尚处于一个朦胧的文化自在阶段。
昆明市作为全国严重缺水的14个城市之一，近年来又遭遇百年不遇的持续干旱，水资源问题日益严重。因此针对松华坝水源保护区的水源林水源涵养功能和降雨水质改善功能的研究对于水
二十一世纪以来,我国市场经济高速发展,资本市场空前繁荣,越来越多的企业涌进资本市场募股集资,从而发展壮大。然而,近年来层出不穷的上市公司舞弊案阻碍了我国资本市场信用