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

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

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

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

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

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

计算三维定轴旋转体离心力荷载的原理与程序实施方法

本文给出三维定轴旋转体离心力荷载的计算原理和在通用有限元程序系统中实施的简单方法。     

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

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

外边界支承环板在局部均布荷载和线性分布荷载共同作用下的塑性极限分析

本文针对外边界支承的固支和简支环板，应用广义阶梯函数给出了环板在局部均布荷载和线性分布荷载共同作用下的极限荷载的计算公式     

诗歌节奏构成谈

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

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

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

循环荷载作用下沥青混合料的黏弹塑性损伤本构模型

为较好描述损伤状态下沥青混合料的黏弹塑性应力-应变关系、明确动态循环荷载对其损伤本构关系的影响,利用经典黏弹塑性流变理论,在Burgers黏弹性模型上串联一个黏塑性元件,并根据损伤力学应变等效原理,建立了一个能体现动态循环荷载作用特点及能考虑加载频率影响的沥青混合料黏弹塑性损伤本构模型.同时进行间接拉伸疲劳试验,研究加载频率、环境温度、应力水平、沥青用量及沥青种类对混合料应力-应变关系的影响,并标定模型参数、验证模型的有效性.结果表明:所建模型不仅能较好描述沥青混合料在动态循环荷载作用下的损伤本构关系,还能体现加载频率、环境温度及荷载水平等因素对应力-应变关系的影响;模型参数意义明确、规律性强,值得进一步研究和推广.     

美元/欧元汇率的趋势与波动分析及区间预测

对美元/欧元汇率进行趋势与波动分析并作出区间预测。利用BP神经网络提取趋势,对残差分别运用自回归移动平均模型和广义自回归条件异方差模型分析波动性,将趋势与波动性结合给出区间预测。对2001年7月至2017年10月美元/欧元汇率的研究发现,BP神经网络具有很好的非线性刻画能力,但只有合适的预测精度才能得出较好的预测区间,同时也发现,广义自回归条件异方差模型对波动性的分析效果优于自回归移动平均模型。因此,BP神经网络模型与广义自回归条件异方差模型的组合模型(BP-GARCH模型)更适合时间序列的中长期区间预测。通过调节BP神经网络的参数、误差及预测精度提高组合模型的精度。