基于软件库的软件生产线模型研究

为降低软件生产线初期投入高、风险大的问题,提出基于软件库的软件生产线过程模型及无缝迁移模型。基于生产线过程模型建立了车载多媒体模拟系统以及相关支持工具,依托关系数据库强大的存储与检索功能。采用这两个模型能降低采用生产线技术的初期投入成本,并有助于生产线的迁移,具有一定的实用价值及推广价值。

利用集合划分方法加速碰集的计算

基于模型的诊断对于靶场装设备的保障具有重大的意义,碰集的计算则是基于模型诊断中最为关键的技术,本文通过对碰集计算方法的研究,提出利用集合划分的方法加速对碰集的计算,从理论上保证了本方法的正确性与有效性,能够对大规模的问题集提供有效的方法,具有一定的实用性。而且当问题规模扩大时,具有很好的可扩展性。