基于CSP的OWL-S语义分析与建模

为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性。     

轴向磁悬浮轴承支承特性理论分析和实验

磁悬浮轴承广泛用于高速旋转机械,磁悬浮轴承的支承特性对研究该系统的动力学问题具有重要影响。提出了准确地测量轴向磁悬浮轴承支承参数的通用方法,为磁悬浮轴承转子系统动力学仿真分析、优化设计提供了可靠的建模依据。以一轴向磁悬浮轴承为例,首先在理论上计算了力-电流系数和力-位移系数,然后采用载荷法进行实验测定,实验结果略小于理论计算结果,因为实际系统存在漏磁,所以这是合理的。实验测定磁悬浮轴承刚度阻尼的方法主要是利用外部激振力对系统的激振和测试得到的系统响应之间的关系来识别,采用力锤脉冲激振法,从轴向磁悬浮轴承稳定悬浮下的频响函数中,测出系统的刚度约为4.55×106N/m,阻尼约为748N.s/m。     

鲁卜哈里盆地志留系热页岩特征及成熟度演化史

根据钻井资料,分析了鲁卜哈里盆地志留系底部热页岩在盆地内的发育状况。对岩心、岩屑样品进行了TOC测定、热解分析及镜质体反射率测定,认为热页岩演化已达成熟—高成熟阶段,有的甚至是过成熟阶段。对样品干酪根、沥青“A”及其族组分的碳同位素分析,确定了有机质类型为II型。利用PetroMod盆地模拟软件,对3口探井进行埋藏史、热史和成熟度史模拟,并对对外合作区块热页岩进行成熟度演化史模拟,认为该区块志留系底部热页岩由深凹至东部斜坡各阶段的演化时间依次变晚,凹陷区热页岩在早二叠世均已进入成熟演化阶段;而东部斜坡热页岩于早三叠世末—晚侏罗世末期才进入成熟演化阶段。      

热镀锌带钢抖动特性及其抑制

在热镀锌机组中,出了锌锅的带钢容易发生抖动,从而造成带钢表面缺陷、锌耗量增加以及冷却效率降低。抑制抖动的通常方法是使用一对接触辊,可是由于带钢镀层尚未凝固,接触辊很容易粘锌,这是一个两难的问题。首先,分析了带钢抖动特性,获得了带钢抖动的一些基本规律。然后提出了一种用电磁力抑制带钢抖动的方法,叙述了磁力控制系统原理和主要功能模块,并介绍了电磁稳定系统在某热镀锌机组的应用情况。结果表明,电磁稳定技术能使带钢抖动幅值大幅度降低,并且由于其非接触特性,它既能稳定带钢,又避免了对带钢表面的划伤。     

书库的照度设计

书库的垂直照度是较常用又比较容易忽视的问题。通过对一个设计实例的分析 ,采用逐点法计算了书库的水平照度和垂直照度。     

越南河内还剑湖历史地区的保护与再开发——趋向场所精神的保护

本论文建议通过保护世界历史与自然遗产,再生场所的记忆和复兴经济活力来保护还剑湖历史地区的内在精神,提出将现有建成的历史环境分成不同层次－－这些层次体现了残民地和后殖民地时期的设计理念和经济政治条件,然后通过设计导则对其进行保护。在这些设计导则的基础上,提出了还剑湖历史地区的整体保护规划。     

标准体系与技术路线图的关系和协调发展研究

本文给出了标准体系与技术路线图的概念,分析了它们的功能用途;应用对比法,研究了机器人、电力储能、氢能、汽车智能制造、工业软件等领域的标准体系与技术路线图;应用归纳法,总结标准体系与技术路线图间的相同点、区别和联系;最后,给出了加强标准体系与技术路线图间研究和协调发展等建议,使二者优势互补,发挥出更大的作用和效益。     

风能发电机组虚拟装配的研究与实现

从虚拟现实技术的角度出发,讨论了虚拟装配涉及到的一些关键技术和解决办法,包括虚拟装配环境的构建、实时碰撞检测以及装配路径规划等问题。应用虚拟现实制作软件EON,展示了交互控制风能发电机组叶片移动与轮毂碰撞完成装配的过程,并以风能发电机组的齿轮箱为例,在假定装配体拆卸为装配的逆过程的前提下,提出了虚拟装配的解决方案,以文本和动画的形式记录了拆卸过程信息,实现了齿轮箱的虚拟装配,为风能发电机组的整机虚拟装配提供了依据,最终实现整机的虚拟装配。     

浅谈生态住区的规划与建设

以大连大有恬园居住小区二期为例,叙述了其节能、节水等生态建设手法以及在整个规划方案布局上体现的生态住区理念,包括环境空间突出＂山＂＂水＂＂绿＂,住区空间规划＂瘦＂＂露＂＂透＂,以期通过生态设计方法促进人居环境质量的提高和人与自然的和谐。