Approaches to measuring inconsistency for stratified knowledge bases

A number of proposals have been proposed for measuring inconsistency for knowledge bases. However, it is rarely investigated how to incorporate preference information into inconsistency measures. This paper presents two approaches to measuring inconsistency for stratified knowledge bases. The first approach, termed the multi-section inconsistency measure (MSIM for short), provides a framework for characterizing the inconsistency at each stratum of a stratified knowledge base. Two instances of MSIM are defined: the naive MSIM and the stratum-centric MSIM. The second approach, termed the preference-based approach, aims to articulate the inconsistency in a stratified knowledge base from a global perspective. This approach allows us to define measures by taking into account the number of formulas involved in inconsistencies as well as the preference levels of these formulas. A set of desirable properties are introduced for inconsistency measures of stratified knowledge bases and studied with respect to the inconsistency measures introduced in the paper. Computational complexity results for these measures are presented. In addition, a simple but explanatory example is given to illustrate the application of the proposed approaches to requirements engineering.     

S‐inequality for certain product measures

In this paper we prove the S‐inequality for certain product probability measures and ideals in . As a result, for the Weibull and Gamma product distributions we derive concentration of measure type estimates as well as optimal comparison of moments.     

Numerical solution of volterra functional integral equation by using cubic B‐spline scaling functions

In this article, we consider a class of nonlinear functional integral equations which has rather general form and contains a lot of particular cases such as functional equations and nonlinear integral equations of Volterra type. We use a combination of a fixed point method and cubic semiorthogonal B‐spline scaling functions to solve the integral equation numerically. We provide an error analysis for the method which shows that the approximate solution converges to the exact solution. Some numerical results for several test problems are given to confirm the accuracy and the ease of implementation of the method. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 30: 699–722, 2014     

Asymptotics of Christoffel functions on arcs and curves

For a system of smooth Jordan curves and arcs asymptotics for Christoffel functions is established. A separate new method is developed to handle the upper and lower estimates. In the course to the upper bound a theorem of Widom on the norm of Chebyshev polynomials is generalized.     

具有非倍测度的参数型Marcinkiewicz积分交换子在Hardy空间的有界性

主要证明了由参数型Marcinkiewicz积分M~p和Lipschitz函数b生成的交换子M_b~p的有界性.在M的核满足一定的条件下,证明了M_b~p不仅从Lebesgue空间L~(n/(n-β))(μ)到Hardy空间H~1(μ)有界,而且从Lebesgue空间L~(n/β)(μ)到RBMO(μ)有界.     

Generalized area operators on L^p（R^n）

We introduce the generalized area operators by using nonnegative measures defined on upper half-spaces R＋^n＋1. The characterization of the boundedness and compactness of the generalized area operator from LP（]Rn） to Lq（IRn） is investigated in terms of s-Carleson measures with 1 〈 p, q 〈 ＋∞. In the case of p = q = 1, the weak type estimate is also obtained.     

On intensities of perturbed random measures on Hausdorff spaces

Abstract

This article studies classes of random measures on topological spaces perturbed by stochastic processes (a.k.a. modulated random measures). We render a rigorous construction of the stochastic integral of functions of two variables and showed that such an integral is a random measure. We establish a new Campbell-type formula that, along with a rigorous construction of modulation, leads to the intensity of a modulated random measure. Mathematical formalism of integral-driven random measures and their stochastic intensities find numerous applications in stochastic models, physics, astrophysics, and finance that we discuss throughout the article.     

A baire approach to quantitative resonance principles

The main purpose of this paper is to give a proof of quantitative resonance and condensation principles via Baire category arguments in contrast to the gliding hump method used previously. Thereby a new nonquantitative resonance principle is established which is concerned with dominated convergence in Frechet spaces, by the way yielding more detailed information on the structure of the underlying spaces. On the other hand, Baire's approach is an easy tool to develop condensation principles by considering residual sets. Finally, some typical applications concerning trigonometric Fourier partial sums may illustrate the result received.     

Occupation measure functionals in merging phase space

This paper deals with the averaging and diffusion approximation for occupation time of general phase space semi-Markov processes under split with simple and double merging in a series scheme. These results seem to be particularly interesting since the variance coefficient is obtained in a simple form. The method of proof of weak convergence results here is based on the construction of the compensating operator of the extended Markov renewal processes and on the solution of the singular perturbation problem of this operator acting on test functions.