面向对象范型体系结构中构件行为相容性研究

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.     

疫情演变不确定情境下考虑多参考点的应急医疗用品生产决策模型

针对疫情演变不确定情境下考虑多种决策信息和企业社会责任的应急医疗用品生产决策问题，提出一种基于累积前景理论的考虑多个参考点的应急医疗用品生产决策模型。综合考虑企业经济目标和社会责任对生产决策的影响，基于决策者的风险规避、参考依赖和损失厌恶等心理特征，建立多个参考点以表征疫情演变方向不确定时决策者期望的不确定性。将含有多种评价信息的决策矩阵归一化处理，利用不同演变方向的参考点，建立益损决策矩阵。根据决策者面对收益和损失的态度，建立主观价值矩阵，依据主观概率函数得到扭曲后演变方向的概率。计算各个生产方案的累积前景值并对其进行优先排序。通过算例验证模型的有效性，进行对比分析和敏感性分析证明模型的优越性。