二维空间的离散W变换

利用一维离散Walsh变换的性质与结果,定义了二维离散Walsh变换及二维Walsh变换的逻辑卷积,证明了二元W系的完整性,给出二维Walsh变换的基本运算性质及二维Walsh变换下1≤p≤2时的Hausdorff-Young不等式。     

C[0,1]上完备的三角形正交函数系

基于W alsh函数,建立一个新的函数系T n n∈N.它是一个分段线性函数序列,在0,1的子区间上其函数图像呈现三角形。并且证明了它是C[0,1]上一个完备的正交函数系。在此函数系上展成的Fourier级数有许多与三角Fourier级数相似的性质,三角形Fourier级数的部分和在作为函数的逼近工具时确实要比三角Fourier级数优越一些。     

次Mackey空间与对偶局部完备性

次Mackey空间与广义次Mackey空间被引进．对于次Mackey空间E，其强对偶(E’，β(E’，E))为局部完备等价于E为C-拟桶形也等价于E为C0-拟桶形．对于广义次Mackey空间E，强对偶(E’，β(E’，E))为局部完备等价于E为C0-拟桶形．     

Resplendent models and $${\Sigma_1^1}$$ -definability with an oracle

In this article we find some sufficient and some necessary -conditions with oracles for a model to be resplendent or chronically resplendent. The main tool of our proofs is internal arguments, that is analogues of classical theorems and model-theoretic constructions conducted inside a model of first-order Peano Arithmetic: arithmetised back-and-forth constructions and versions of the arithmetised completeness theorem, namely constructions of recursively saturated and resplendent models from the point of view of a model of arithmetic. These internal arguments are used in conjunction with Pabion’s theorem that ensures that certain oracles are coded in a sufficiently saturated model of arithmetic. Examples of applications are provided for the theories of dense linear orders and of discrete linear orders. These results are then generalised to other ω-categorical theories and theories with a unique countable recursively saturated model.      

Analyzing completeness of axiomatic functional systems for temporal × modal logics

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The first-order perturbed SBS equations

Summary Using standard multiscale techniques, a first-order perturbation theory for SBS is developed. In the presence of small damping, we find that there is a stationary solution for a soliton which is a fixed point. The velocity of this soliton is determined by the damping coefficients. In addition, there is also a constant shift in the pump intensity in the region between the front of the backward moving soliton and the forward light cone of the pump.     

运用因子分析法建立教学质量评估指标体系

在大量抽样调查的基础上，本文运用因子分析（Ｆａｃｔｏｒ Ａｎａｌｙｓｉｓ）的方法，在Ｍ—３４０计算机上利用ＡＮＡＬＹＳＴ统计分析软件包中因子分析软件程序，求得因子载荷矩阵．依据因子载荷矩阵，并结合教学质量评估的特点，建立起适用于学生为参评者的教学质量评估指标体系．     

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic.     

Modified Moment Problem in Complex Domains

We study the moment problem in a complex domain. The results obtained generalize and sharpen the well-known Kaz'min result. We also consider applications of these results to the Abel--Goncharov problem (the uniqueness and construction problem) and to the completeness problem for systems of analytic functions.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.