地球化学模拟在高放废物地质处置中的应用与发展

随着核能事业的发展,高放废物的处理和处置问题日益突出.其中,研究高放废物在环境介质中的吸附、扩散和迁移行为是获取放射性核素对周围环境和人群健康影响的基础参数的最重要和最直接的途径.近年来,人们利用已有的实验数据及核素的基础热力学和动力学数据,附以相应的数学模型,建立了一些地球化学模拟软件,用于分析核素在地质介质中可能发生的连续性和长期性变化.目前,国内外常用的地球化学模拟软件有十多种.本文从热力学平衡计算原理、种态分布计算方法和表面配位模型假设等几个方面对地球化学模拟软件进行了简要介绍,对近年来地球化学模拟软件在核素种态分布计算和表面配位模型模拟两方面的应用进行了举例分析,并以Ca-U-CO3配合物为例,说明完备的热力学数据对地球化学模拟软件发展的重要性,以期促进我国地球化学模型的应用和发展.     

Kinematics of layered reinforced-concrete planar beam finite elements with embedded transversal cracking

In this work crack formation and development is addressed and implemented in a planar layered reinforced-concrete beam element. The crack initiation and growth is described using the strength criterion in conjunction with exact kinematics of the interlayer connection. In this way a novel embedded-discontinuity beam finite element is derived in which the tensile stresses in concrete at the crack position reaching the tensile strength will trigger a crack to open. Since the element is multi-layered, in this way the crack is allowed to propagate through the depth of the beam. The cracked layer(s) will involve discontinuity in the cross-sectional rotation equal to the crack-profile angle, as well as a discontinuity in the position vector of the layer’s reference line. A bond–slip relationship is superimposed onto this model in a kinematically consistent manner with reinforcement being treated as an additional layer of zero thickness with its own material parameters and a constitutive law implemented in the multi-layered beam element.     

Application of the transmission line matrix method for outdoor sound propagation modelling – Part 1: Model presentation and evaluation

The present paper deals with an original time-domain approach applied to outdoor sound propagation under meteorological effects. The transmission line matrix method, based on the Huygens’ principle, had already been validated over impedant grounds and complex topography. The presented formulation proposes to take into account meteorological effects (wind speed and temperature) through the relative sound speed. The necessary wavefront direction is determined through the calculation of the averaged intensity vector direction. A good agreement is found between simulations of both the transmission line matrix and parabolic equation methods. A relevant use of the method is shown in the framework of environmental acoustics and initial applications are proposed in Part 2.     

New application of human eye model in the verification of spot diagram with refractive diopter

In response to the rapid advancement of auto-refractor technology, most optometry shops provide refraction services. Despite their speed and convenience, the measurement values provided by auto-refractors include a significant degree of error due to psychological and physical factors. Therefore, there is a need for repetitive testing to obtain a smaller mean error value. However, even repetitive testing itself might not be sufficient to ensure accurate measurements. Therefore, research on a method of measurement that can complement auto-refractor measurements and provide confirmation of refraction results needs to be conducted. The customized optometry model described herein can satisfy the above requirements. From the existing optical technologies, using human eye measurement devices to obtain individual relevant optical feature parameters is no longer difficult. These parameters allow us to construct an optometry model for individual eyeballs. They also allow us to compute spot diagrams produced from the optometry model using the CODE V macro programming language before recognizing the geometrical spot diagram with the back-propagation neural network algorithm to obtain the accurate refractive diopter. Results show that the accuracy achieved was above 98% and that this application could significantly enhance the service quality of refraction.     

Hydrogen Spillover Enhanced Hydroxyl Formation and Catalytic Activity Toward CO Oxidation at the Metal/Oxide Interface

H₂‐promoted catalytic activity of oxide‐supported metal catalysts in low‐temperature CO oxidation is of great interest but its origin remains unknown. Employing an FeO(111)/Pt(111) inverse model catalyst, we herewith report direct experimental evidence for the spillover of H(a) adatoms on the Pt surface formed by H₂ dissociation to the Pt?FeO interface to form hydroxyl groups that facilely oxidize CO(a) on the neighboring Pt surface to produce CO₂. Hydroxyl groups and coadsorbed water play a crucial role in the occurrence of hydrogen spillover. These results unambiguously identify the occurrence of hydrogen spillover from the metal surface to the noble metal/metal oxide interface and the resultant enhanced catalytic activity of the metal/oxide interface in low‐temperature CO oxidation, which provides a molecular‐level understanding of both H₂‐promoted catalytic activity of metal/oxide ensembles in low‐temperature CO oxidation and hydrogen spillover.     

Dynamic stability of a class of fractional-order nonlinear systems via fixed point theory

In this paper, the problem of the uniform stability for a class of fuzzy fractional-order genetic regulatory networks with random discrete delays, distributed delays, and parameter uncertainties is studied. Although there is a portion of literature on using fixed point theorems to study the stability of fractional neural networks, most of them required the fractional order to be in $\left(\frac{1}{2},1\right)$. However, the case of the fractional-order belonging to $(0,\frac{1}{2})$ has not been discussed. To solve it, this work proposes a novel idea of using fixed point theory to study the stability of fuzzy (0,1) order neural networks, the problem of the uniqueness of the solution of the considered genetic regulatory networks is resolved, and a novel sufficient condition to guarantee the uniform stability of above genetic regulatory networks is also derived. Eventually, an example is given to demonstrate that the obtained result is effective.     

Estimator of a change point in single index models

This paper considers the problem of change point in single index models. In order to obtain asymptotically valid confidence intervals for the estimation of the change point, the convergence rate and asymptotic distribution of the change point estimate is studied. Some simulation results are presented which show that the numerical performance of our estimator is satisfactory.     

Explicit uniform bounds on integrals of Bessel functions and trace theorems for Fourier transforms

Explicit and partly sharp estimates are given of integrals over the square of Bessel functions with an integrable weight which can be singular at the origin. They are uniform with respect to the order of the Bessel functions and provide explicit bounds for some smoothing estimates as well as for the L² restrictions of Fourier transforms onto spheres in which are independent of the radius of the sphere. For more special weights these restrictions are shown to be Hölder continuous with a Hölder constant having this independence as well. To illustrate the use of these results a uniform resolvent estimate of the free Dirac operator with mass in dimensions is derived.     

The (S−1,S) inventory model and its counterparts in queueing theory

We explore the relationship between the ($S?1,S$) inventory model and three well-known queueing models: the Erlang loss system, the machine-repair model and a two-node Jackson network. Exploiting this relationship allows us to obtain key performance measures of the ($S?1,S$) model, like the so-called virtual outdating time, the number of items on the shelf in steady state, the long-run rate of unsatisfied demands and the distribution of the empty shelf period.