简介:质子交换膜燃料电池的水管理是影响其性能的重要因素之一。电池水管理的目的就是要实现尽可能高的膜的水合程度,降低膜的阻抗。为了更好实现以上目标,文中建立了电池水传输模型,基于模型利用工程逼近分析方法,分析了阴阳极湿度、反应气体流量对膜的水含量和阴阳极水分压的影响。仿真结果通过与其他模型相比较,取得了一致的结果,因此也证明了该模型的有效和实用性.基于以上的分析结果为建立简化的膜水含量控制模型和实现水管理的控制目标奠定基础,
简介:动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
简介:面向云计算系统,结合生物免疫系统的记忆功能以及不完全匹配性,通过对关键云服务可生存态势的分析,提出了一种云计算系统可生存性的形式化建模与分析方法.首先,在SAIR模型、SEIRS模型和分布式虚拟化系统脆弱性扩散模型的基础上,将病毒演化状态分为6种类型,然后分析了病毒在云计算系统服务域内的扩散规则和服务域间的传播规则.最后,基于Bio-PEPA对关键云服务可生存性态势演化进行形式化建模,得到SLIRAS模型.基于随机模拟和Bio-PEPA模型的ODEs模拟,从病毒的域间传播速率、修复能力、记忆能力3个方面对模型敏感参数进行了试验分析.结果表明,所建立的模型与实际云计算系统的可生存性态势近似拟合度高,能够很好地反映系统可生存性的变化.
简介:综合考虑了目前供应链合作全球化的新特点,研究了供应链订单分配合作协商过程的混合建模问题.在回顾国内外相关研究工作的基础上,分析了现有的供应链合作协商模型,指出了简化的MAS框架模型的局限性,且不适合于解决复杂系统的问题.随后以制造型供应链为例,采用Multi-Agent和复杂系统的研究思想,利用时间Petri网生产模型进行物料分解,综合Multi-Contract合作协商理论构造出基于Multi-Agent的供应链订单分配合作协商模型.仿真结果显示该模型有助于有效解决供应链中合作协商问题.