地质雷达在镜泊湖世界地质公园熔岩隧道调查中的应用

熔岩洞穴在镜泊湖地质公园分布十分广泛,准确勘查地下熔岩洞穴大体位置及大小,为镜泊湖世界地质公园的后续开发提供可靠的依据是本次工作的重点。地质雷达探测具有工作效率高、分辨率高和异常图象直观、实时异常图像显示等突出优点。本文基于地质雷达原理,采用先在已知洞穴采用地质雷达探测实验验证该方法在该区域的应用效果,进而推广到整个工区的熔岩洞穴探测工作。     

一种可信的服务组合QoS保障机制

针对目前服务计算模型中对应用的可信性支持不足,提出并设计了一种基于虚拟服务的服务可信性保障机制.组合服务中的各个任务环节由虚拟原子服务完成,通过对应用的QoS规划、服务组合以及资源调度方法以满足虚拟原子服务可信需求,进而保障组合服务的可信特性.经过实验验证,该机制可有效保障组合服务的可信QoS要求.     

一种能够描述可信特征的进程代数

针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.     

TSSF:基于QoS分解的可信服务调度框架

网络计算环境的松散化、独立性和异构性的特点不断给服务计算发展带来新的挑战,与此同时用户对软件系统实时性、安全性、可靠性、可用性等非功能属性要求又在不断提高,如何保障服务计算系统的可信性是平台设计者和服务应用开发者所面临的重要问题.设计了基于QoS分解的可信服务调度框架(Trustworthy Senrice Scheduling Framework,TSSF),通过对组合服务的可信QOS规划,并利用自适应的服务调度机制为服务提供可信QOS保障.提出了基于模糊集的可信QOS分解模型,将用户对组合服务的QoS需求分解为每个原子服务单独的可信QOS需求;根据分解后的额定QoS需求,以创建动态服务实体组(Dynamic Service Entity Group,DSEG)的方式为原子服务提供可信QoS保障,并以DSEG为基础详细叙述了变粒度、层次化基于反馈设计思想的自适应可信服务调度技术.最后扩展了JBoss中间件,实现了支持该服务调度框架的平台,并在此平台上进行了实验,结果表明TSSF能够为组合服务的QoS需求提供可信保障.     

高活性聚异丁烯在润滑油中的应用

简要介绍了高活性聚异丁烯的特性。预测了高活性聚异丁烯在润滑油中的应用。     

设计变更中的合作

本文意在阐述设计变更中设计师与业主及各专业设计师之间充分交流与合作对建筑设计工作的启示。而交流的媒介——设计图纸是实践与理论相结合的第一阵地,是为将来的真正战场——工地打下良好基础的先决条件。     

钛制螺旋板换热器在联碱Ⅱ过程的应用

钛制螺旋板换热器是一种高效换热设备，很适合于联碱Ⅱ过程ＡⅠ与ＭⅡ换热。因该设备在设计时存在一些问题，本文就母换器的工艺改造和操作上的问题作一简介     

倾翻工作台式铝包清理机结构及原理

通过阐述目前电解铝厂转运液态铝的铝包的清理状况,说明倾翻工作台式铝包清理机在电解铝生产过程中的重大意义,介绍倾翻工作台式铝包清理机的主要结构和工作原理。     

铜矿选矿厂浮选系统问题影响因素分析

城门山铜矿选矿厂一期生产线存在着硫回收率偏低、铜精矿回收率偏低、且铜回收品味波动较大等问题,为有效解决这些问题,本文基于头脑风暴法对1#浮选系统问题的影响因素展开了分析,并从中找到重点影响因素,为后期展开系统改造提供依据。