主要内容:
网构化软件处于开放、动态、难控的环境之中,对其可信性的要求变得日益突出。然而,外部环境的变化和系统结构的演化分别在主观评价与客观评估方面影响了可信性评估的准确性。本项目从网构软件系统结构与运行环境特征出发,以可信性评估指标及其计算方法为研究对象,研究面向整个系统的主客观相结合的可信性评估方法。具体内容包括:从实体个体、实体间协同及系统整体三个层面分析网构软件结构模式并抽象出实体模型;在网构软件实体静态结构与动态行为建模的基础上,分析实体间信任传递与演化机制;结合系统运行环境,构建网构软件可信性评测指标体系模型。采用数学计算与实验仿真相结合的方法,建立网构软件系统整体及各实体可信性指标的统一计算模型。本项目旨在揭示网构软件系统可信性中主观评价与客观评估、整体指标与个体指标之间关系的规律,为实际应用中选取合适的实体组成可信的网构软件系统提供科学依据。
研究路线:
首先,分析网构软件系统的体系结构,建立起基于结构模式的系统结构模型,定义实体间相互依赖关系的描述形式,从各实体的静态结构与动态行为中抽象出统一的特征模型。然后同时进行指标体系构建与实验室仿真试验,根据实体模型定义可信性评估指标,根据实体间相互依赖关系确定指标的层次结构,根据系统结构模型建立整体评估指标体系。最后,综合数值模拟和实验室试验,确立主客观相结合的网构软件可信性评估方法。
主要研究技术或开发工具:数据挖掘、贝叶斯网络、java、mysql