一种基于PEPA流近似方法的动态自省模型

现有的基于自然语言或框图的自省模型已不能满足系统验证和分析的需求.本文采用流近似方法将PEPA转化为常微分方程组(ODEs),提出了一种基于性能评价进程代数(PEPA)语言的动态自省模型,且具有形式化推理验证和量化分析的功能,避免传统马尔可夫链求解方法状态空间爆炸的问题.分析结果显示,缩减被管理组件检测过程的延迟时间、减小执行指令序列长度对于自省效率的提高具有重要作用.     

基于PEPA模型的无线传感器网络性能分析

无线传感器网络(WSN)是由大量的微型传感器节点组成,通过无线通信方式形成的一个多跳的自组织的网络系统. 无线传感器网络的性能决定着通信的质量,本文的无线传感器模型采用了LEACH协议,并利用一种高层次的建模机制——性能分析进程代数(PEPA)来分析网络的吞吐量、利用率和反应时间.     

基于随机进程代数的Overlay网络上的QoS性能评价

论述了对Overlay网络中组播的服务质量进行量化评价的必要性,引入了组播树二度同胚约简的概念,推广了Bowman评价单播数据流服务质量的随机进程代数方法,提出用随机进程代数对Overlay网络中组播的服务质量进行评价的建模方案,并用PEPA workbench模拟工具针对具体的组播实例的服务质量进行了定量分析. 模拟结果表明,传统网络中的IP组播抖动小于Overlay网络中的组播抖动;而后者又进一步小于在传统网络中用单播技术来实现组播时的抖动, 与实际情况吻合.     

基于随机进程代数的Overlay网络上的QoS性能评价

论述了对Overlay网络中组播的服务质量进行量化评价的必要性,引入了组播树二度同胚约简的概念,推广了Bowman评价单播数据流服务质量的随机进程代数方法,提出用随机进程代数对Overlay网络中组播的服务质量进行评价的建模方案,并用PEPA workbench模拟工具针对具体的组播实例的服务质量进行了定量分析. 模拟结果表明,传统网络中的IP组播抖动小于Overlay网络中的组播抖动;而后者又进一步小于在传统网络中用单播技术来实现组播时的抖动, 与实际情况吻合.     

安全进程代数基础

安全进程代数可以作为信息流安全的基础理论框架。本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型。     

基于安全进程代数的信息流模型

文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。     

一种基于进程代数的软件可信性度量模型

基于软件可信本质和进程代数给出了软件可信性评估框架及度量指标。将软件正向和逆向工程都统一到进程代数这一尺度上,这样进程代数中进程的等价程度便可表示软件的可信程度,即根据软件执行踪迹进行逆向工程,恢复出表示软件行为的UML顺序图并转换为进程代数,将初始的高层软件需求(UML协作图和状态图)也转换成进程代数,通过分析所得到的两个进程,看其等价程度,等价程度越高则软件可信程度越高,不等价时计算软件可信性度量指标TD(trustworthiness degree),其数值越大,则软件可信性越高。     

基于进程代数的并发行为检测模型

针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程三个基本元素,进而建立了模型;最后给出了并发行为检测的方法并对模型的时空效率进行了分析和验证。理论分析和实验表明,本文所提出的方法具有线性的时间和空间复杂度。     

可信计算中信任链建立的形式化验证

为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块( trusted platform control module, TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证. 验证的结果表明系统具有期望的外部行为.     

进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.     

移动智能网中消息中间件的性能建模与分析

利用生灭过程理论建立了移动智能网中消息中间件的性能模型,即M|G|n|∞|M FCFS排队模型,并用其分析了该消息中间件的服务效率、消息的平均排队等待时间、平均逗留时间、平均排队长度和系统中平均消息数等性能指标,给出了求解这些性能指标的表达式。仿真实验验证了消息中间件性能模型的有效性。     

季戊四醇磷酸酯/尿素改性酚醛泡沫的性能研究

以苯酚、甲醛为原料,尿素和季戊四醇磷酸酯（PEPA）为改性剂,制备了一系列的季戊四醇磷酸酯/尿素改性酚醛泡沫（PEPA/UMPF）. 利用热重分析、极限氧指数、扫描电镜和万能试验机对改性酚醛泡沫材料的结构和性能进行了测试和表征. 结果表明,PEPA/UMPF的热稳定性和阻燃性显著提高,仅仅加入质量分数1%的PEPA和尿素,氧指数值就增加了14%. 当加入质量分数5%的PEPA和尿素时,酚醛泡沫的压缩强度和冲击强度分别提高了0.09 MPa和0.53 kJ·m-2. 同时,改性泡沫的粉化率和吸水率下降,泡孔结构致密厚实并且分布均匀.     

季戊四醇磷酸酯/玻纤复合改性酚醛泡沫的燃烧行为

以季戊四醇磷酸酯（pentaerythritol phosphate, PEPA）和玻纤为改性剂,制备了季戊四醇磷酸酯/玻纤改性酚醛泡沫. 利用热重分析、极限氧指数、锥形量热仪对泡沫材料燃烧行为进行了分析. 测试结果表明:加入3%的PEPA,改性酚醛泡沫氧指数值增加了38%;加入3%PEPA和1%的玻纤后,改性酚醛泡沫氧指数值增加了26%;PEPA的加入能明显提高改性酚醛泡沫的初始分解温度和残炭量. 与未改性酚醛泡沫相比,PEPA改性和复合改性酚醛泡沫的最初燃烧的热释放速率分别下降47%和36%,热释放总量降低约50%,能有效降低改性酚醛泡沫引起火灾的可能性和火灾危险中的燃烧程度. 同时,PEPA改性和玻纤复合改性能显著降低酚醛泡沫质量损失速率、有效燃烧热量和烟释放速率,从而有效抑制酚醛泡沫燃烧时烟气的产生,降低其火灾危险性.     

基于概率预测的动态频谱接入信道选择方法

对动态频谱接入中的多个频谱的选择问题进行了研究,综合考虑物理层频谱感知错误和信道衰落等不利影响,提出了一种基于概率预测的动态频谱接入策略.该策略基于交替更新过程的结论,能够在提高频谱利用率的前提下为认知网络中次用户选择可用度较好的信道.推导了该方法的时延性能理论分析结果,仿真结果表明,提出的算法与现有的随机频谱接入算法相比具有更好的时延性能.     

工艺创新绩效评价的人工神经网络方法

首先建立了一套评价工艺创新绩效的指标体系,然后运用人工神经网络的原理与方法,建立了工艺创新绩效评价的ANN模型,并介绍了该种方法的运用。     

阻燃剂PTA的制备以及在腈纶上的应用研究

以季戊四醇磷酸酯(PEPA)、三乙醇胺(TEA)为原料,对甲苯磺酸为催化剂,甲苯为带水剂,合成了多组分膨胀型阻燃剂(PTA).以腈纶织物的垂直燃烧损毁炭长为考察指标,考察了三乙醇胺与季戊四醇磷酸酯的质量比、反应时间、催化剂用量、阻燃剂浓度、焙烘温度、焙烘时间等因素对织物损毁炭长的影响.确定了最佳反应条件:m(TEA)m(PEPA)=1.7 1,催化剂用量为季戊四醇磷酸酯和三异丙醇胺总质量的1%,反应温度为136℃,反应时间4 h;在阻燃剂浓度为250 g·L-1、150℃的条件下焙烘2 min,阻燃腈纶织物的阻燃效果显著,达到B1级.     

ABS/PA6合金的无卤膨胀性阻燃研究

以聚磷酸铵(APP)为酸源, 利用ABS/PA6合金中PA6为炭源对ABS/PA6合金进行膨胀型阻燃研究,探讨了不同成炭协效剂与APP复配对合金阻燃性能的影响,这些成炭协效剂包括季戊四醇笼状磷酸酯(PEPA),热塑性酚醛树脂(TPPFR),环氧树脂(E-44)和分子筛4A. 结果表明,PA6具有较好的成炭作用, 当APP含量为25%时,阻燃合金体系的极限氧指数可达29,UL-94测定达V-1级别,APP含量为35%时,UL-94测定达V-0级别.而以5t%的季戊四醇笼状磷酸酯(PEPA)或环氧树脂(E-44)与20%APP复配, 或以3%分子筛4A与22%APP复配都可以大大提高体系的阻燃性能和高温下的残炭量, 使阻燃体系氧指数达到30以上, UL-94测定达V-0级别. SEM形貌分析显示体系燃烧表面都形成了膨胀、均匀、致密的炭层结构.     

Synthesis of Caged Bicyclic Phosphate Derivatives

Seven caged bicyclic phosphate compounds were synthesized by using 1-oxo-4-hydroxymethy1-2,6,7-trioxa-1-pho-sphabicyclo[2.2.2] octane(PEPA) as starting material.Within them were three PEPA derivatives containing single caged bicyclic phosphate structure(1a,2a,3a),another three PEPA deviratives containing two caged bicyclic phosphate structures(1b,2b,3b) and one devirative(1c) containing three caged bicyclic phosphate structures.Structures of the products were characterized by FTIR,1H NMR,elemental analysis and TG analysis.The reaction conditions were also discussed.Thermal analysis showed they had high thermal stability and excellent char-forming ability.Besides,these compounds had pentaerythritol bone and flame retardant elements of phosphorus,bromine or nitrogen simultaneously in their molecules,endowed them with good fire retardancy,and made them can be used as intumescent flame retardant.     

AHP+FUZZY模型在焦化产业环保技术创新分析中的应用

首先针对所研究的问题,对所选取模糊综合评价方法(FUZZY)和层次分析方法(AHP)进行阐述,然后建立相应的评价指标体系,根据不同指标在项目中的重要程度确定出各指标的权重,并且利用模糊评价方法建立了模糊判断矩阵及指标隶属度函数的选取.最后结合层次分析与模糊综合评判实现对待评价项目的综合效益预测.