排序方式: 共有48条查询结果,搜索用时 0 毫秒
1.
针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法.该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题.实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性. 相似文献
2.
以聚磷酸铵(APP)为阻燃剂,采用一步法全水发泡制备一系列硬质聚氨酯泡沫/聚磷酸铵复合材料(RPUF/APP),通过扫描电镜(SEM)、热重分析(TG)、极限氧指数(LOI)、UL94垂直燃烧以及烟密度测试来研究聚磷酸铵对硬质聚氨酯泡沫(RPUF)泡孔结构、热稳定性、阻燃性能以及燃烧烟密度的影响。研究表明,聚磷酸铵可以明显提高RPUF/APP复合材料的阻燃性能,30份的聚磷酸铵使得RPUF/APP达到UL94 V-0级别,LOI达到23. 6%。同时发现,APP的加入会降低RPUF/APP泡沫复合材料的热分解温度,提高其成炭率和炭层的高温稳定性,并降低复合材料的燃烧烟密度,有效提高复合材料火灾安全性能。 相似文献
3.
4.
金属锂负极凭借着超高的容量(3860 m Ah·g-1)和极低的还原电势(-3. 040 V vs标准氢电极)以及优异的机械柔性等优点而被称为二次电池最具有潜力的负极材料。"锂金属电池"技术是一项工程突破,它可以极大地提高电池的性能,提升电池的电量持久力,对人类的发展具有重大的意义。然而,锂电池在充电过程中锂离子还原时其反复沉积和析出过程中负极表面容易形成树枝状金属锂,即锂枝晶。一方面锂枝晶的存在会刺破隔膜,并会与电池的正极接触从而造成电池内部短接,甚至有可能引发爆炸等安全问题;另一方面锂枝晶的不断生长也会严重缩短电池的寿命,大大降低电池的利用率。本篇对于金属锂的枝晶问题进行研究,首先介绍金属锂枝晶的生长模型,然后对锂负极枝晶的抑制方法进行简述与总结。 相似文献
5.
6.
本实验在北京某220 MW热电联产锅炉上进行。采用承重撞击器系统对该锅炉SCR前、ESP前以及FGD前的颗粒物进行采集,研究了痕量元素在烟道沿程上的迁移特性,另外,还给出了痕量元素在各固体燃烧产物中的分布。结果表明:ESP前的颗粒物上As、Cd、Cr和Pb的浓度明显高于SCR前的浓度;在从SCR到ESP的过程中,As、Cd、Cr、Pb从气态迁移到固态的质量分别占到了原煤中总质量的26 %、16 %、12 %和11 %;从ESP到FGD的过程中,颗粒物上As与Cd的浓度有略微增加,而Cr和Pb的浓度几乎不变;Mn在三个采样点的浓度几乎一致;绝大部分痕量元素存在于ESP捕获的飞灰中,在ESP出口处,As、Cd、Cr、Pb在<10 μm的四个粒径段上的质量随着粒径的减小而增大,而Mn的质量分布与颗粒物质量分布类似。 相似文献
7.
基于光谱预处理及遗传算法(genetic algorithm,GA)法优化波长,再结合偏最小二乘(partial least squares,PLS)法建立面粉中水分的定量分析模型,对比在不同预处理方法下相关系数R~2、校正标准差(root mean square error of calibration,RMSEC)、预测标准偏差(root mean square error of prediction,RMSEP)3个指标,随机选择130份样本建立预处理+GA+PLS定量分析模型,实验结果为R~2从0.955 2提高到0.977 7、RMSEC从0.375 8降低到0.245 3、RMSEP从0.268降低到0.264。结果表明基于光谱预处理结合GA优化波长来定量分析面粉中水分含量是可行的,且准确性和误差度皆优于无优化模型。 相似文献
8.
9.
随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。 相似文献
10.