基于合意空间的模糊子群

利用合意空间(ConsensusSpace)理论给出了一个群的C模糊子群的定义.指出这种模糊子群实际上是基于t范(Tm范)的模糊子群.证明了Rosenfeld的模糊子群是C模糊子群,且每一个C模糊子群都与一类特殊的C模糊子群同构.从而为模糊子群提供了新的理论基础.     

Improved versions of Tardos’ fingerprinting scheme

We study the Tardos’ probabilistic fingerprinting scheme and show that its codeword length may be shortened by a factor of approximately 4. We achieve this by retracing Tardos’ analysis of the scheme and extracting from it all constants that were arbitrarily selected. We replace those constants with parameters and derive a set of inequalities that those parameters must satisfy so that the desired security properties of the scheme still hold. Then we look for a solution of those inequalities in which the parameter that governs the codeword length is minimal. A further reduction in the codeword length is achieved by decoupling the error probability of falsely accusing innocent users from the error probability of missing all colluding pirates. Finally, we simulate the Tardos scheme and show that, in practice, one may use codewords that are shorter than those in the original Tardos scheme by a factor of at least 16.      

RCM‐TVD hybrid scheme for hyperbolic conservation laws

We describe a hybrid method for the solution of hyperbolic conservation laws. A third‐order total variation diminishing (TVD) finite difference scheme is conjugated with a random choice method (RCM) in a grid‐based adaptive way. An efficient multi‐resolution technique is used to detect the high gradient regions of the numerical solution in order to capture the shock with RCM while the smooth regions are computed with the more efficient TVD scheme. The hybrid scheme captures correctly the discontinuities of the solution and saves CPU time. Numerical experiments with one‐ and two‐dimensional problems are presented. Copyright © 2007 John Wiley & Sons, Ltd.     

Equations of Hurwitz schemes in the infinite Grassmannian

The main result proved in the paper is the computation of the explicit equations defining the Hurwitz schemes of coverings with punctures as subschemes of the Sato infinite Grassmannian. As an application, we characterize the existence of certain linear series on a smooth curve in terms of soliton equations. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Efficient construction of high‐resolution TVD conservative schemes for equations with source terms: application to shallow water flows

High‐resolution total variation diminishing (TVD) schemes are widely used for the numerical approximation of hyperbolic conservation laws. Their extension to equations with source terms involving spatial derivatives is not obvious. In this work, efficient ways of constructing conservative schemes from the conservative, non‐conservative or characteristic form of the equations are described in detail. An upwind, as opposed to a pointwise, treatment of the source terms is adopted here, and a new technique is proposed in which source terms are included in the flux limiter functions to get a complete second‐order compact scheme. A new correction to fix the entropy problem is also presented and a robust treatment of the boundary conditions according to the discretization used is stated. Copyright © 2001 John Wiley & Sons, Ltd.     

The discontinuous profile method for simulating two‐phase flow in pipes using the single component approximation

Godunov‐type algorithms are very attractive for the numerical solution of discontinuous flows. The reconstruction of the profile inside the cells is crucial to scheme performance. The non‐linear generalization of the discontinuous profile method (DPM) presented here for the modelling of two‐phase flow in pipes uses a discontinuous reconstruction in order to capture shocks more efficiently than schemes using continuous functions. The reconstructed profile is used to define the Riemann problem at cell interfaces by averaging of the components of the variable in the base of eigenvectors over their domain of dependence. Intercell fluxes are computed by solving the Riemann problem with an approximate‐state solver. The adapted treatment of boundary conditions is essential to ensure the quality of the computational results and a specific procedure using virtual cells at both extremities of the computational domain is required. Internal boundary conditions can be treated in the same way as external ones. Application of the DPM to test cases is shown to improve the quality of computational results significantly. Copyright © 2001 John Wiley & Sons, Ltd.     

Approaches to uncertainty evaluation based on proficiency testing schemes in chemical measurements

Since the advent of the Guide to the Expression of Uncertainty in Measurement (GUM) founding the principles of uncertainty evaluation, numerous projects have been carried out to develop alternative practical methods when it is impossible to model technical or economical aspects of the measurement process. These methods can use all the experimental data available to the laboratories, such as repeatability, reproducibility, quality-control charts, etc. The studies presented in this paper compare the results obtained by the modelling method from GUM with the uncertainties found by applying alternative methods. They show two examples, one in the field of environmental monitoring, the other in the biomedical field, based on the exploitation of PT schemes results. Presented at BERM-11, October 2007, Tsukuba, Japan.     

Unstructured-grid finite-volume discretization of the Navier-Stokes equations based on high-resolution difference schemes

An unstructured-grid discretization of the Navier-Stokes equations based on the finite volume method and high-resolution difference schemes in time and space is described as applied to fluid dynamics problems in two and three dimensions. The control volume is defined as the cell-vertex median dual control volume. The fluxes through the faces of internal and boundary control volumes are written identically, which simplifies their software implementation. The gradient and the pseudo-Laplacian are calculated at the midpoint of a control volume face by using relations adapted to the computations on a strongly stretched grid in the boundary layer.     

Software package for 3D viscous gas flow simulation on multiprocessor computer systems

A parallel software package designed for the numerical simulation of three-dimensional viscous gas flows is presented. The numerical algorithm is based on kinetically consistent difference schemes used on locally refined grids. The software package has been tested in various super-and subsonic flow problems. It provides an opportunity for the direct simulation of turbulent flows. The efficiency of parallelization is analyzed depending on the problem size and the number of processors.     

Locally one-dimensional difference schemes for the fractional order diffusion equation

Locally-one-dimensional difference schemes for the fractional diffusion equation in multidimensional domains are considered. Stability and convergence of locally one-dimensional schemes for this equation are proved.