一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives

Formal methods are becoming favorable for control and verification of safety-critical systems because of the rigorous model-based computation. Relying on an over-approximated model of the original system behaviors, formal control synthesis algorithms are not often complete, which means that a controller cannot necessarily be synthesized even if there exists one. The main result of this paper shows that, for continuous-time nonlinear systems, a sample-and-hold control strategy for a reach-and-stay specification can be synthesized whenever such a strategy exists for the same system with its dynamics perturbed by small disturbances. Control synthesis is carried out by a fixed-point algorithm that adaptively partitions the system state space into a finite number of cells. In each iteration, the reachable set from each cell after one sampling time is over-approximated within a precision determined by the bound of the disturbances. To meet such a requirement, we integrate validated high-order Taylor expansion of the system solution over one sampling period into every fixed-point iteration and provide a criterion for choosing the Taylor order and the partition precision. Two nonlinear system examples are given to illustrate the effectiveness of the proposed method.     

The convergence of the Rayleigh-Ritz Method in quantum chemistry

Two sufficient criteria for the convergence of the Rayleigh-Ritz Method (RRM) with respect to the eigenvalues (E-convergence) of non-relativistic electronic Hamiltonians of molecules are discussed and compared. Moreover, a necessary and sufficient criterion is given. By example (Sect. 9) it is shown that the L ²-completeness of the basis is not sufficient to guarantee E-convergence. The convergence of the wave functions in different norms (-convergence) is also investigated. In particular, sufficient conditions for the one-particle basis functions (orbitals) are given, such that a CI calculation in this basis is both E- and -convergent.     

光子湮没算符高次幂本征态的完备性问题

本文对光子湮没算符高次幂本征态的完备性问题进行了详细研究,给出了a^k正交归一本征态的正确的完备性关系.同时,纠正了现有文献报道中所出现的一些错误.     

Completeness theorem for propositional probabilistic models whose measures have only finite ranges

A propositional logic is defined which in addition to propositional language contains a list of probabilistic operators of the form P_s (with the intended meaning the probability is at least s). The axioms and rules syntactically determine that ranges of probabilities in the corresponding models are always finite. The completeness theorem is proved. It is shown that completeness cannot be generalized to arbitrary theories.This research was supported by Ministarstvo za nauku, tehnologije i razvoj Republike Srbije, through Matematiki institut, under grant 1379Mathematics Subject Classification (2000): 03C70, 03B48     

Shifted Jacobi multiplier sequences and transplantation between sine and cosine series

It is shown that the multiplier norm of a shifted Jacobi multiplier sequence can be estimated by the (same) multiplier norm of the original sequence uniformly with respect to the shift. Muckenhoupt’s transplantation theorem for Jacobi series is used essentially, for which also a functional analytic understanding is given in terms of the minimality of the Jacobi system in weighted L ^p -spaces.      

Spectral analysis of eigenparameter dependent boundary value transmission problems

In this paper, the singular second order differential operators are considered defined on the multi-interval. Some boundary and transmission conditions are imposed on the maximal domain functions with the spectral parameter. After constructing the differential operators associated with the boundary value transmission problems on the suitable Hilbert spaces, it is proved that these operators are the maximal dissipative operators. Finally constructing the model operators which are established with the help of the scattering functions, it is proved that all root vectors of the maximal dissipative operators are complete in the Hilbert spaces.     

Unconditionally Cauchy series and Cesàro summability

In this paper we obtain new characterizations of weakly unconditionally Cauchy series and unconditionally convergent series through Cesàro summability. We study new spaces associated to a series in a Banach space; as a consequence, new characterizations of complete and barrelled normed spaces are proved.     

Wavelet-Based Estimation for Univariate Stable Laws

Stable distributions are characterized by four parameters which can be estimated via a number of methods, and although approximate maximum likelihood estimation techniques have been proposed, they are computationally intensive and difficult to implement. This article describes a fast, wavelet-based, regression-type method for estimating the parameters of a stable distribution. Fourier domain representations, combined with a wavelet multiresolution approach, are shown to be effective and highly efficient tools for inference in stable law families. Our procedures are illustrated and compared with other estimation methods using simulated data, and an application to a real data example is explored. One novel aspect of this work is that here wavelets are being used to solve a parametric problem, rather than a nonparametric one, which is the more typical context in wavelet applications.