基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

采用滑模控制器提高稳定控制系统快速响应的研究

由于采用传统的稳定控制系统设计方法使得导弹弹体对不同大小指令信号响应的品质特性差异较大,因此主要研究了在传统的稳定控制系统设计方法的基础上,采用滑模变结构控制器来调节控制参数,较好地解决了稳定控制系统对大小指令信号时域响应特性差异较大的问题,提高了稳定控制系统的快速响应能力。     

现代高层建筑消防安全探讨

针对高层建筑的特点及消防安全现状,在分析高层建筑火灾危险性和危害性的基础上,提出保证高层建筑消防安全需要进行全面的系统设计、实施全方位的科学管理、健全法规、加强各方面的综合协调,并对防范火灾发生、控制火灾扩大、确保安全疏散等问题进行了探讨。     

高层建筑消防供电安全问题探讨

高层建筑消防用电设备的安全运行非常重要,其中消防供电系统的安全是重中之重。以消防电气设计应遵循的规范为依据,从消防设备供电设计、消防设备控制、消防系统的接地及过电压保护几个方面论述了确保高层建筑消防供电安全的措施。     

高层民用建筑消防安全隐患及对策

随着高层民用建筑的不断增多,其消防安全问题受到社会各界广泛关注。从消防安全隐患的产生、消防管理、建筑地下部分的火灾危害、消防部队装备几个方面分析了高层民用建筑的消防安全隐患。从把好建筑设计、审核、验收关,强化消防安全管理,强化消防宣传教育,加强消防产品与消防工程施工的监管,完善灭火救援体系等方面提出了提高高层民用建筑消防安全的对策。     

高层建筑避难设施消防设计探讨

高层建筑发生火灾后,人员安全疏散将主要依赖高层建筑内部的避难设施。因此,在楼内一定区域应设计避难设施,并对避难区域进行正压送风,防止烟气进入,保证人员安全。讨论了高层建筑避难设施设计并着重分析了避难层防烟设计中的几个问题。     

解析美国大学TESL硕士培养的主要课程与设置理据——以曼卡托明尼苏达州立大学为例

把英语作为第二语言的教学是20世纪60年代在美国兴起并逐步走向独立的科目,它在综合相关专业的同时正在朝专业化方向发展。近年来其硕士层面的教育为全球培养了大量合格的中小学英语教师,取得了较好的成绩。本文以曼卡托明尼苏达州立大学英语系为例,并结合笔者在该系攻读TESL硕士学位时的经历,解析其主要课程及设置理据。     

石河子农耕区不同林地地被昆虫群落结构研究

用"五点式"取样法对石河子农耕区不同林地地被中的昆虫群落结构多样性进行了调查,共采集到昆虫31种,分属8目14科,共计1099头。结果表明:杨树老林地被昆虫群落的丰富度最高(为23),幼榆林次之(为14),苗圃和葡萄的最低(均为7)。多样性指数幼杂林最高(为1.8613),苗圃次之(为1.6833),幼榆林最低,为0.8534。     

船舶航向非线性系统离散变结构控制

基于非线性模型研究船舶航向自动舵的离散变结构控制设计问题。通过状态反馈精确线性化方法设计了二次型最优滑模面,采用离散趋近律方法求得变结构控制律。研究结果表明,所设计的离散变结构控制器能够快速准确地跟踪设定航向,并对参数摄动和外界风浪干扰具有很强的鲁棒性。     

飞艇浮升力随高度变化规律的研究

针对软式飞艇,在确定压力高度和囊体体积的条件下,对其所受的浮升力随高度变化规律进行了理论分析和仿真计算,给出了飞艇囊体体积设计、压力高度的确定与总浮升力和静浮升力各参数之间的数值变化关系,为飞艇的总体设计提供了理论基础。