基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

快速暂态过电压的形成机制与抑制方法

为了研究封闭式组合电器(GIS)中隔离开关操作引起的快速暂态过电压的产生机制，采用了探求“激发模式”的思想方法．“激发模式”的分析方法可以抓住产生快速暂态过电压的主要因素，且所生物理图像清晰，非常有益于直接指导GIS的结构设计．通过分析，发现了高压套管电容效应和导体波阻抗跃变2种“激发模式”，由此提出了一种新的快速暂态过电压抑制方法．该方法是在GIS终端加上波阻抗较小的一段导体，以抑制快速暂态过电压．分析表明，这种方法对于抑制GIS端口处的快速暂态过电压是很有效的。     

远期市场和一个最优投资组合问题

着重讨论了将远期作为投资工具来实现金融市场中的投资活动的问题。运用复制策略是非自融资的，与通常所用的自融资策略不同。建立了集合GFF与GF的一一对应关系，并运用这种关系求解了一个最优投资组合问题。     

高校健美操课实施“团队组合学习”模式的研究

“团队组合学习”即班组合作教学模式的变式。通过在健美操课中的实验研究证实，这种教学模式有利于促进学生间的交流互动、合作与创新等主体素质的发展，对培养学生的学习兴趣、发展学生的个性、增强学生的主体意识和适应能力等方面有较好的作用．     

我国高校科技产业的发展瓶颈及对策

高校科技产业是以高校人才和科技优势为依托的产业,它将各种生产要素有机地结合起来,通过产品的研发、转让,使之产业化,并转化为社会生产力。高校科技产业的发展在加速高校科技研究成果转化,适应当代教育改革,实行产学研结合体制,优化国家资源配置等方面都起着极为重要的作用。但我国高校科技产业起步较晚,到上世纪90年代中期,     

诗歌节奏构成谈

节奏是诗歌表述思想感情必不可少的一个音律环节。它的构成基础是语词的联结和语音的调值。必须重视语词和语音两因素的统一。节奏组合应走灵活多变的道路，方法有三个层次：句中组合、句间组合、整体组今。诗的节奏随感情不同而变换。     

古代井盐架中空组合木柱预应力研究

首次发现古代木质井盐架支撑柱这种特殊的中空外圆组合木结构的预应力现象,将其命名为预应力空心组合木结构.利用现代力学的检测手段创造性地设计了实验方案,并成功地测定了其预应力.经测定,其捆扎力最大可达123. 4 k N,最大预应力为107. 5 MPa.提出了改进空心组合木柱捆扎工艺的措施.     

双金属复合管混凝土轴拉 性能有限元分析

选择合理的材料本构模型、单元类型、网格划分技术和边界条件,建立双金属复合管混凝土构件在轴拉荷载作用下的有限元分析模型,并利用双金属复合管混凝土(CFBT)轴压试验和钢管混凝土(CFST)轴拉试验的结果对模型的可靠性进行验证.基于验证后的有限元模型,对CFBT轴拉构件的受力机理和破坏形态进行研究,分析不同参数对构件轴拉承载力的影响规律.研究结果表明:核心混凝土可有效限制双金属复合管在拉伸过程中的内缩变形,使钢管处于复合受力状态;CFBT构件的轴拉承载力比双金属复合管提高15%左右;随着不锈钢厚度的增大,构件的轴拉承载力逐渐提高;核心混凝土的强度对构件承载力的影响不明显.     

SCFST柱框架-支撑结构恢复力模型

通过对SCFST柱框架-支撑结构进行拟静力性能研究发现,支撑、梁、柱依次发生破坏,结构破坏机制合理,滞回曲线呈梭形,无捏拢现象,耗能能力良好,骨架曲线的下降过程较为平缓,延性较好,结构在整体上表现出较好的抗震性能,有限元数值模拟与试验结果符合程度较高,验证了有限元模型的正确性。主要研究支撑两边柱的轴压比、单肢柱不同组合截面形式和框架-支撑结构中支撑钢管的刚度等因素,基于大量的有限元数值模型对其进行分析,得到了SCFST柱框架-支撑抗侧力结构的恢复力模型。运用回归分析方法建立结构的三折线骨架模型,明确了SCFST柱框架-支撑结构的滞回和退化规律,建立了此体系框架-支撑结构简化的滞回模型,并与试验结果进行对比分析,二者骨架曲线基本一致,滞回环形状均呈近似的平行四边形,吻合度较高。