自嵌套波形的特征层次树表达及波形分类系统

基于波峰、波谷的支配与从属关系,对具有自嵌套结构的波形提出了一种特征层次树描述方法,并建立了相应的波形分类系统.给出了作为树结点的主导峰(谷)的概念及识别算法,和波形特征层次树的生成算法及树结点的表达方式,分析了特征层次树的表达特点,还讨论了波形分类系统中基于这种表达方法的两种分类算法.

Reachability analysis of web service compositions via NWA

In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.

基于两种嵌套方案数值模拟烟台北部海域海浪的对比研究

采用第三代海浪模式WAVEWATCHⅢ-SWAN三层嵌套以及SWAN三层自嵌套两种方式建立两套烟台市北部近岸海域的海浪数值模拟系统,利用ERA-Interim再分析风场对几次大浪过程进行后报,对比分析两种嵌套方式的模拟效果,以选取更适合烟台近岸海域海浪数值模拟的嵌套方案。结果表明:两种嵌套方案模拟的有效波高在空间分布上,除边界附近存在0.1 m左右的差异外,其他地区计算结果基本无区别,模拟的波向空间分布基本也无差别;两种嵌套方案模拟的有效波高和波向的单点时间序列也基本无区别。数值模拟结果与观测结果的对比表明,模式计算结果在整体上能反映出波浪的变化趋势,有效波高的均方根误差为0.2~0.6 m,波向的均方根误差在40°以内。