基于Petri网的BPEL4WS模型的分析

描述了Web服务业务流程执行语言（BPEL4WS）的Petri网模型，并提出了模型的化简规则，用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例，进行建模和化简。     

Validation of martian meteorological data assimilation for MGS/TES using radio occultation measurements

We describe an assimilation of thermal profiles below about 40 km altitude and total dust opacities into a general circulation model (GCM) of the martian atmosphere. The data were provided by the Thermal Emission Spectrometer (TES) on board the Mars Global Surveyor (MGS) spacecraft. The results of the assimilation are verified against an independent source of contemporaneous data represented by radio occultation measurements with an ultra-stable radio oscillator, also aboard MGS. This paper describes a comparison between temperature profiles retrieved by the radio occultation experiments and the corresponding profiles given by both an independent, carefully tuned GCM simulation and by an assimilation of TES observations performed over the period of time from middle, northern summer in martian year 24, corresponding to May 1999, until late, northern spring in martian year 27, corresponding to August 2004. This study shows that the assimilation of TES measurements improves the overall agreement between radio occultation observations and the GCM analysis, in particular below 20 km altitude, where the radio occultation measurements are known to be most accurate. Discrepancies still remain, mostly during the global dust storm of year 2001 and at latitudes around 60° N in northern winter-early spring. These are the periods of time and locations, however, for which discrepancies between TES and radio occultation profiles are also shown to be the largest. Finally, a further direct validation is performed, comparing stationary waves at selected latitudes and time of year. Apart from biases at high latitudes in winter time, data assimilation is able to represent the correct wave behaviour, which is one major objective for martian assimilation.     

Hamiltonian Dynamics of a Gyrostat in the N-Body Problem: Relative Equilibria

We consider the non-canonical Hamiltonian dynamics of a gyrostat in Newtonian interaction with n spherical rigid bodies. Using the symmetries of the system we carry out two reductions. Then, working in the reduced problem, we obtain the equations of motion, a Casimir function of the system and the equations that determine the relative equilibria. Global conditions for existence of relative equilibria are given. Besides, we give the variational characterization of these equilibria and three invariant manifolds of the problem; being calculated the equations of motion in these manifolds, which are described by means of a canonical Hamiltonian system. We give some Eulerian and Lagrangian equilibria for the four body problem with a gyrostat. Finally, certain classical problems of Celestial Mechanics are generalized.     

天测与测地VLBI资料处理中的剩余钟行为建模

利用实测资料和模拟数据，分析了在天测与测地VLBI数据处理软件CALC／SOLVE中，剩余钟行为连续分段线性拟合的局限性和周期函数拟合的可行性．对CALC／SOLVE系统增配了周期函数拟合模块，并选取了1990年至2001年的1567次天测与测地VLBI实验，进行了剩余钟行为两种拟合模型情况下的实测资料综合解算．结果表明，在获得同等水平的时延拟合残差加权均方根(wrms)的情况下，对剩余钟行为采用周期函数拟合，使得解算参数的个数相比于连续分段线性拟合有显著减少，提高了解算的自由度．虽然在两种模型情况下的台站和射电源坐标以及地球定向参数等的解算精度无显著差异，但周期函数拟合存在可以识别的优势，85％以上的台站坐标和74％以上的源坐标以及51％以上的EOP精度均有所提高，均值分别为0．02mm、0．3μas和1．5μas．     

基于自然的解决方案：林业增汇减排路径、潜力与经济性评价

林业作为实施“基于自然的解决方案（NbS）”的重要领域和路径选择,在落实NbS行动中越来越受到各国政府和专家学者的广泛支持。文中在回顾国内外NbS相关资料的基础上,总结分析了林业领域NbS的内涵和路径、国际和国内相关政策及已采取的措施,重点分析了林业NbS路径的减排潜力、成本与效益。从全球范围看,造林和再造林路径具有较高的技术减排潜力,而减少毁林和森林经营管理是相对更具有成本效益的增汇减排路径。中国对林业NbS的实践及科学研究等尚显不足,但已有的重大林业生态工程已经产生了显著的减排效益和经济效益。未来需要在林业NbS相关标准与计量体系建设、减排技术与经济潜力研究、激励与保障机制等政策研究,以及增强公众意识等方面进一步深化和发展。     

Influence of seismic wave type and incident direction on the dynamic response of tall concrete-faced rockfill dams

Owing to the stochastic behavior of earthquakes and complex crustal structure, wave type and incident direction are uncertain when seismic waves arrive at a structure. In addition, because of the different types of the structures and terrains, the traveling wave effects have different influences on the dynamic response of the structures. For the tall concrete-faced rockfill dam (CFRD), it is not only built in the complex terrain such as river valley, but also its height has reached 300 m level, which puts forward higher requirements for the seismic safety of the anti-seepage system mainly comprising concrete face slabs, especially the accurate location of the weak area in seism. Considering the limitations of the traditional uniform vibration analysis method, we implemented an efficient dynamic interaction analysis between a tall CFRD and its foundation using a non-uniform wave input method with a viscous-spring artificial boundary and equivalent nodal loads. This method was then applied to investigate the dynamic stress distribution on the concrete face slabs for different seismic wave types and incident directions. The results indicate that dam-foundation interactions behave differently at different wave incident angles, and that the traveling wave effect becomes more evident in valley topography. Seismic wave type and incident direction dramatically influenced stress in the face slab, and the extreme stress values and distribution law will vary under oblique wave incidence. The influence of the incident direction on slab stress was particularly apparent when SH-waves arrived from the left bank. Specifically, the extreme stress values in the face slab increased with an increasing incident angle. Interestingly, the locations of the extreme stress values changed mainly along the axis of the dam, and did not exhibit large changes in height. The seismic safety of CFRDs is therefore lower at higher incident angles from an anti-seepage perspective. Therefore, it is necessary to consider both the seismic wave type and incident direction during seismic capacity evaluations of tall CFRDs.     

地铁隧道爆破施工影响的邻近居民楼质点峰值振速研究

地铁隧道爆破施工时严重威胁邻近居民楼的结构安全,因此研究邻近居民楼爆破峰值振速是非常必要的。文章基于群孔荷载简化模型、柱面波理论及传统的应力波衰减理论,在考虑高程效应影响下推导质点峰值振速公式。依托乌鲁木齐地铁一号线工程,对一邻近六层居民楼的爆破施工响应进行监测,并将实测质点峰值振速、提出的修正公式预测振速和传统萨道夫公式预测的振速进行对比分析。研究结果表明:采用修正公式预测的质点峰值振速与现场实测值的分布规律一致,呈现出随着高程增大而逐渐增大的趋势;而且现场实测值与修正公式预测值相对误差较小,表明考虑高程因子的修正公式是可行的。     

工业开采诱发地震的应力降研究现状和主要科学议题

诱发地震及其灾害风险已成为非常规油气资源开发和废水回注等新型工业活动顺利实施的重要威胁。应力降是反映地震破裂前后断层上平均应力差的物理量,对诱发地震中应力降的系统研究有助于揭示诱发地震的震源特征、高频地震动特征、构造背景和地震危险性。本文系统地总结了近20年来工业开采诱发地震中应力降的相关研究进展,分别从计算所用理论方法、获得的平均应力降数值、影响应力降数值的主客观因素、围绕应力降的重要科学讨论等方面做了归纳分析。介绍了直接进行谱拟合、经验格林函数(EGF)、谱叠加和广义反演3种适用性的计算方法,通过案例考察了工业开采诱发地震的应力降平均值,分析影响应力降测定数值的主客观因素,并总结应力降空间分布依赖性、与震源机制类型相依性、自相似性、深度依赖性等4个主要科学问题。同时,阐述了诱发地震应力降的测定可靠性仍未突破、主要科学问题存在广泛争议、在新型工业开采活动中具有重要应用潜力等现状。本文的总结分析可为从事新型能源开发、地震安全监管和科学研究领域的企业、管理人员和科学研究人员提供参考。     

Overview of the seismic input at dam sites in China

The current Chinese national standard, the Standard for Seismic Design of Hydraulic Structures (GB51247), released in 2018, is strictly based on China’s national conditions and dam engineering features. A comprehensive and systematic overview of the basis of the seismic fortification requirements, the framework of the fortification criteria, and the mechanisms of seismic input related to the seismic design of dams are presented herein. We first analyzed and clarified several conceptual aspects in traditional seismic design of dams. Then, for the seismic input at the dam site described in the first national standard for hydraulic structures, we expounded innovative concepts, ideas, and methods to make relevant provisions more realistic and practical and discussed whether reservoir earthquakes must be included in the seismic fortification framework of dams. This study seeks to incorporate seismic input at the dam site into traditional seismic design practice to promote its improvement from the quasi-static method to the dynamic method and from the closed vibration system to an open wave propagation system, to ensure that the seismic design of dams becomes more reasonable, reliable, scientific, and economic.     

新时代防震减灾科普宣传优化策略研究

本文汇总近年来全国及安徽省防震减灾科普宣传开展情况及其效果,结合未来经济社会和技术发展的趋势,通过多种形式的调查研究并结合传播学的相关理论进行分析,提出新时代防震减灾科普宣传优化策略。