利用Pi演算实现对服务交互流程的设计

Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。     

Ce/Z-SBA-15的制备及其吸附脱硫性能

以降解法制备的Z-SBA-15为载体,采用浸渍法制备Ce/Z-SBA-15吸附剂。通过XRD、N_2吸附-脱附、NH_3-TPD、Py-FTTR和TG-DTA等表征手段对吸附剂进行分析表征。以脱除模拟柴油中二苯并噻吩的反应为模型反应考察了吸附剂的吸附性能,实验结果表明:在Ce负载量为15%、焙烧温度为550℃、焙烧时间为5 h的条件下,Ce/Z-SBA-15吸附剂的脱硫率和吸附硫容量最高;Ce/Z-SBA-15能够很好的保持着Z-SBA-15的结构,并且沸石结构单元的引入提高了其稳定性,从而提高了其再生性能。     

封隔器性能检测系统的应用

简介了封隔器性能检测系统的基本组成和检测能力。以某厂Y341-114型封隔器为例,介绍了常温密封试验和高温密封试验的试验方法。对试验系统存在的问题提出了改进建议,并提出了试验时的注意事项。     

电流互感器TPY级铁心暂态特性分析

介绍了电力系统发生故障时暂态过程对电流互感器的影响,在对电流互感器TPY级铁心暂态性能数学分析的基础之上,通过实例利用计算机软件对TPY级铁心各设计参数对其暂态性能的影响做了分析,最后对电流互感器TPY级铁心暂态性能作了一定的总结。     

新疆胡萝卜籽油脂肪酸GC-MS分析

采用索氏提取法从两种新疆胡萝卜籽中提取油脂,并通过GC-MS对两种胡萝卜籽油中的脂肪酸组成及其相对含量进行了分析.结果表明:两种胡萝卜籽油中脂肪酸组成主要为油酸、亚油酸、棕榈酸、硬脂酸,其不饱和脂肪酸含量较高,且油酸含量超过75％.     

一道幂指函数求极限题目的多种解法

极限理论是微积分教学中的重要内容。由于幂指函数是一种特殊的函数,对幂指函数求极限往往是比较复杂的问题。以一道幂指函数题目为例,分别使用定值法、等价无穷小代换法、洛必达法则三种方法来求解。通过一题多解,总结出幂指函数求极限的常用方法,以供教学参考。     

基于Fluent软件的束腰型生物质粉燃烧机温度场、污染物排放模拟研究

文章针对一种额定喂料量为150 kg/h的束腰型生物质粉燃烧机,通过建立其数学模型,基于Fluent软件研究不同束腰型结构倾角、束腰口间距和过量空气系数等参数对束腰型生物质粉燃烧机燃烧性能的影响。研究结果表明:束腰型生物质粉燃烧机出火口的物质的平均质量浓度和CO浓度均比直筒型生物质粉燃烧机低,当束腰型结构倾角分别为15,30,45,60°时,CO浓度仅为直筒型生物质粉燃烧机的5%,2.6%,2.8%和1.6%;当束腰口间距分别为0.4,0.5,0.6,0.7 m时,束腰型生物质粉燃烧机出火口的物质的平均质量浓度以及CO_2和O_2浓度相差不大,但是,随着束腰口间距的增大,平均温度呈现出先升高后降低的变化趋势;随着过量空气系数的增大,出火口的平均温度以及CO,CO_2和NO浓度显著减小,物质的平均质量浓度和O_2浓度有所增大;当束腰型结构倾角为30°,束腰口间距为0.5 m,过量空气系数为1.2时,束腰型生物质粉燃烧机的燃烧效果较好。     

一种具有不平衡电流保护功能的电流互感器

分析了油纸绝缘结构击穿的过程,介绍了U型油纸绝缘电流互感器的绝缘结构特点,设计了绝缘电流不平衡保护装置,该装置利用了油纸绝缘结构在击穿过程中末屏电流的变化得到不平衡电流信号,并把这一电流信号传送给在线监测设备,从而实现了电流互感器绝缘在线监测功能,为正立式油纸绝缘电流互感器绝缘贯穿性击穿的早期预防提供了可靠依据,弥补了电流互感器须定期检修的不足。     

基于主成分分析的西吉县农业可持续发展综合评价

从宁夏西吉县农业可持续发展条件入手,建立了西吉县农业可持续发展的指标体系,运用主成分分析法对西吉县农业可持续发展水平进行综合评价.结果显示,2008—2012年,西吉县农业可持续发展水平呈现先快速上升后缓慢下降的趋势,农业可持续发展总体处在较低水平,原因是农业发展基础薄弱,人口增长较快.因此,改善农业发展条件,控制人口数量是提高西吉县农业发展水平的重要手段.