一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效.针对此问题,本文在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义.证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证.通过一个贯穿全文的实例分析表明了方法的可行性和有效性     

橡胶沥青水老化试验研究

沥青路面的长期使用过程中,水是影响沥青老化的主要因素之一。为研究水老化作用方式及水量对橡胶沥青老化性能的影响,本文以橡胶沥青和TOR橡胶沥青两种材料为例,通过改变水作用阶段和用水量试验研究不同水老化方式对橡胶沥青老化后软化点、粘度、疲劳因子、蠕变劲度、蠕变速率的影响。试验结果表明：选择在压力老化前三分之一时间（400min）进行加水压力老化试验,后三分之二时间进行无水压力老化试验的水老化作用方式最具可行性;对比无水压力老化试验和加水压力老化试验可知,水的存在促进了橡胶沥青的热氧老化;随水量的增加,TOR橡胶沥青的高温稳定性能降低,抗疲劳开裂能力和低温性能降低,沥青老化加剧。     

Virt-RSBAC:一种防御云计算内部威胁的框架

针对来自云计算平台的内部威胁,为了保护云用户的隐私,缓减平台提供者的安全监控需求与用户隐私之间的策略冲突,本文提出一种虚拟化环境下的特权控制框架Virt-RSBAC。通过在虚拟机监视器（VMM）中添加特权控制和基于角色的资源隔离规则,实现对特权域管理权限的分离,简化对云用户的管理,借助于创建相互信任的安全虚拟机（SVM）为云平台提供者和云用户提供安全服务。最后,在Xen上实现了该框架的原型,实验与分析表明该框架能够防止恶意管理员获取用户隐私并提供检测功能,对原有系统的性能损耗在可接受范围内。     

一种短小芽孢杆菌分离鉴定及培养条件研究

为实施城市垃圾渗透液的生物无害化处理,分离、筛选、鉴定,获得特定菌株,并对其最适培养条件和最佳培养基组分进行优化。从城市垃圾填埋场垃圾渗透液中分离芽孢杆菌,通过设计特异性引物进行PCR反应鉴定目的菌株。此菌细胞呈现杆状,革兰氏阳性,经鉴定为短小芽孢杆菌。采用单因素实验和正交实验法对菌株生长适宜的培养基进行了优化。优化后的培养基主要成分为：玉米淀粉0.1%,酵母提取物1.0%,小牛浸膏0.3%,NaCl0.5%,MgSO4·7H2O 0.49%。在这种条件下,菌株培养10h,其OD320由1.44上升到6.93,为该菌株的深入研究和应用奠定了基础。     

层状岩体受压力学特征结构面效应数值分析

煤层底板岩体是沉积岩,具有显著的层状结构特点。为研究层状岩体压缩强度的结构面效应,通过FLAC3D数值软件,结合改进的遍布节理本构模型,建立层状岩体压缩数值模型,分析单轴、三轴压缩情况下的应力应变响应以及强度特征。研究结果表明：层状岩体压缩强度具有显著的结构面倾角效应。随着倾角的增大,层状岩体的压缩强度呈现先减小后增大的趋势。当结构面倾角为40＆#176;～80＆#176;时,岩体强度整体较低,破裂面主要沿结构面展开。数值试验和理论分析反映的岩体强度随结构面倾角变化规律一致。层状岩体弹性模量沿平行于结构面方向最大,而垂直于结构面方向最小,并随结构面与水平面之间夹角的增加而增大。     

高强度热成形钢板冷却速率-强度-硬度预测

基于高强度钢板热成形平板模具分区冷却试验获得了淬火过程阶段冷却速度对机械强度-硬度的影响规律。采用量纲分析法建立了热成形材料冷却速率-机械强度-硬度指数模型,并验证了该模型的有效性。通过编制用户子程序将该模型引入自主开发的KMAS_HF软件平台中,实现了对典型U形热成形产品淬火后强度硬度的数值仿真预测。结果表明:该模型对热成形高强度钢淬火后机械性能仿真预测具有较好的适用性,为实现梯度硬度复合热成形工艺优化及产品性能分析提供了一种新的仿真分析流程。     

支持向量机多分类问题研究

支持向量机是典型的两类分类方法,如何将其推广到多分类问题是学者们正在研究的一个热点。对比分析几种常用的多类方法的优缺点,利用标准数据集对多类支持向量机的速度和精度两方面进行试验分析。研究表明,对于大规模的多类分类问题,有向无环图简单易行,具有理想的训练速度与精度,具有一定的参考价值。     

表面活性剂对球形二氧化硅制备的影响

以正硅酸乙酯为硅源,氨水调节体系pH值,采用沉淀法制备二氧化硅微球。考察了聚乙二醇、曲拉通X-100、吐温-80等非离子表面活性剂对二氧化硅微球形貌的影响,通过扫描电子显微镜(SEM)和透射电子显微镜(TEM)以及X射线衍射对其进行表征。结果表明,表面活性剂的种类不同,加入量不同,可制备出粒径范围在80~600nm左右的光滑的二氧化硅微球。     

北京地区浅层采空区高密度电法探测应用分析

高密度电法已广泛应用于煤层采空区探测之中,采空区充填性质的不同造成其在高密度电法数据剖面中的表现特征也不相同。本文主要介绍运用高密度电法进行浅层小煤窑采空区探测的一些经验和案例。采用高密度电法中的温纳装置对门头沟地区未充填、部分充填的小煤窑巷道和石景山区富水充填的小煤窑采空区的探测,取得了很好的效果。探测结果显示,未充填和部分充填的小煤窑巷道表现为高视电阻率异常,位置与测线周边发现的小煤窑窑口位置相对应。而富水充填的小煤窑采空区表现为低视电阻率异常,经钻探验证,采空区内充填有富含水的粉末状的煤灰,含坑木。需注意在山区进行高密度电法测试时,台阶状的地形对高密度电法测试的干扰影响较大,以温纳装置为例,测试数据在台阶地形处表现为高低阻相邻的八字形干扰,且电极距越小,干扰越明显。     

褐煤如何达到空气干燥状态试验探讨

通过大量的试验,从干燥温度、干燥时间等方面总结出褐煤达到空气干燥状态所需要的条件,规范了褐煤空气干燥状态试验的具体步骤,更有效地保证褐煤试验数据的准确可靠。