具有网络外部性和服务差异化的SaaS提供商竞争策略

考虑到面向社会化应用、供应链前后端的软件即服务(software as a service,Saa S)具有较强的网络外部性,文中基于博弈理论提出了一个双寡头垄断市场直接竞争模型,模型中考虑了Saa S服务的网络外部性和服务标准难定制化关键特性,分析了Saa S服务提供商的竞争策略.结果表明,当低质量服务的网络外部性较高且服务质量达到一定条件时,低质量服务同样获得市场利润优势;当高质量服务具有较高网络外部性,或网络外部性虽低但服务质量达到一定条件,或两家提供商的网络外部性相等或不存在时,高质量服务均占有较高的利润优势;还得出转换成本的增加对一家提供商有利,相对损害竞争对手利益.     

基于模糊聚类综合评价的船舶柴油机排放烟色分析和实现

传统的故障树多用于定性分析,在定量分析时主观随意性较大。文章根据专家经验确定底事件的发生概率,通过三角模糊数和算子公式得到顶事件的发生概率,对故障树各层故障指标进行专家层次分析和评估,基于聚类法剔除偏离度严重的数据,进行综合评价。最后,文章开发了聚类模糊综合评价的原型系统,并以船舶柴油机排放烟色异常为实例,分析并建立故障树,实现了船舶柴油机排放烟色的聚类模糊综合评价。     

企业需求模型的形式化验证

企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引入本体方法进行形式化描述,进而设计模型能力问题验证,发现需求和设计的缺陷,确保软件需求的正确、有效和完备.基于此选择企业经营销售管理领域,并采用逻辑程序设计语言Visual Prolog给出了针对需求模型进行验证的应用实例.