The construction of generalized B-spline low-pass filters related to possibility density

Starting from piecewise constant functions, a novel family of generalized symmetric B-splines, with realizable ideal low-pass filters, are constructed. The first order generalized B-spline low-pass filter is closely related to functions analytic in a neighborhood of the unit disc and the generalized sinc functions. The properties of this kind of low-pass filters are investigated. The behavior of the generalized B-spline low-pass filter related to normalized Gaussian distribution is considered.     

Convolution kernels implementation of cardinalized probability hypothesis density filter

The probability hypothesis density （PHD） propagates the posterior intensity in place of the poste- rior probability density of the multi-target state. The cardinalized PHD （CPHD） recursion is a generalization of PHD recursion, which jointly propagates the posterior intensity function and posterior cardinality distribution. A number of sequential Monte Carlo （SMC） implementations of PHD and CPHD filters （also known as SMC- PHD and SMC-CPHD filters, respectively） for general non-linear non-Gaussian models have been proposed. However, these approaches encounter the limitations when the observation variable is analytically unknown or the observation noise is null or too small. In this paper, we propose a convolution kernel approach in the SMC-CPHD filter. The simuIation results show the performance of the proposed filter on several simulated case studies when compared to the SMC-CPHD filter.     

LARGE SAMPLE PROPERTIES OF THE SIR IN CDMA WITH MATCHED FILTER RECEIVERS

The output signal-to-interference (SIR) of conventional matched filter receiver in random environment is considered. When the number of users and the spreading factors tend to infinity with their ratio fixed, the convergence of SIR is showed to be with probability one under finite fourth moment of the spreading sequences. The asymptotic distribution of the SIR is also obtained.     

A remark on Kac’s scattering length formula

The scattering length formula was formulated and proved in special cases by Kac in 1974 and 1975.It was discussed by a series of authors,including Taylor 1976,Tamura 1992 and Takahashi 1990.The formula was proved by Takeda 2010 in symmetric case and by He 2011 assuming weak duality.In this article,we shall use the powerful tool of Kutznetsov measures to prove this formula in the general framework of right Markov processes without further assumptions.     

α-FUZZY PAIRWISE RETRACT OF L-VALUED PAIRWISE STRATIFICATION SPACES

The notion of a fuzzy retract was introduced by Rodabaugh (1981). The notion of a fuzzy pairwise retract was introduced in 2001. Some weak forms and some strong forms of α-continuous mappings were introduced in 1988 and 1997. The authors extend some of these forms to the L-fuzzy bitopological setting and construct various α-fuzzy pairwise retracts. The concept of weakly induced spaces in the case L = [0,1] was introduced by Martin (1980). Liu and Luo (1987) generalized this notion to the case that L is an arbitrary F-lattice and introduced the notion of induced L-fts. Several results are obtained, especially, for L-valued pairwise stratification spaces.     

Forward

The second International Conference on Inverse Problems-Recent Theoretical Development and Numerical Approaches was held at Fudan University in Shanghai from June 16-21, 2004. The first one was held at the City, University of Hong Kong in January of 2002 and it was agreed to hold the conference once per two years in the Pan-Pacific Asian countries. The next conference is scheduled to hold at Hokkaido University, Sapporo,     

ON WEAK FILTER CONVERGENCE AND THE RADON-RIESZ TYPE THEOREM

The author shows a characterization of a(unbounded) weakly filter convergent sequence which is parallel to that every weakly null sequence(x_n) in a Banach space admits a norm null sequence(y_n) with y_n∈ co(x_k)_k≥n for all n ∈ N. A version of the Radon-Riesz type theorem is also proved within the frame of the filter convergence.     

My Mathematical Education

1 Early Education in China I entered Fulun Middle School in Tientsin in January 1923. It was a four-year high school and I was admitted to the second semester of the first year. The mathematical curriculum consisted of:     

R_0-代数的(∈, ∈ ∨ q_k)-模糊滤子格（英文）

The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice.     

Problems of Data

1. A survey was carried out to find the number of children in each of 400 families. The results are shown in the following table:     

关于剩余格中滤子的格结构

This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice. Also, the concept of prime filter in residuated lattice was proposed and some equivalent conditions about prime filter were given.     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

预线性与对合非结合剩余格

非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。     

Strong NMV-algebras, commutative basic algebras and naBL-algebras

The aim of the paper is to investigate the relationship among NMV-algebras, commutative basic algebras and naBL-algebras (i.e., non-associative BL-algebras). First, we introduce the notion of strong NMV-algebra and prove that

1. a strong NMV-algebra is a residuated l-groupoid (i.e., a bounded integral commutative residuated lattice-ordered groupoid)
2. a residuated l-groupoid is commutative basic algebra if and only if it is a strong NMV-algebra.

Secondly, we introduce the notion of NMV-filter and prove that a residuated l-groupoid is a strong NMV-algebra (commutative basic algebra) if and only if its every filter is an NMV-filter. Finally, we introduce the notion of weak naBL-algebra, and show that any strong NMV-algebra (commutative basic algebra) is weak naBL-algebra and give some counterexamples.     

Join-semilattices whose sections are residuated PO-monoids

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras. This work was supported by the Czech Government via the project MSM6198959214.     

强正则剩余格值逻辑系统L~N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

强正则剩余格值逻辑系统（L）N及其完备性

正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张.     

Conical residuated lattice-ordered idempotent monoids

In this paper, we study some special residuated lattices, namely, conical idempotent residuated lattices. After obtaining some properties of such residuated lattices, we establish a structure theorem for conical idempotent residuated lattices. This work is supported by a grant of NSF, China # 10471112 and a grant of Shaanxi Provincial Natural Science Foundation # 2005A15.     

BCC-algebras and residuated partially-ordered groupoid

The aim of the paper is to investigate the relationship between BCC-algebras and residuated partially-ordered groupoids. We prove that an integral residuated partially-ordered groupoid is an integral residuated pomonoid if and only if it is a double BCC-algebra. Moreover, we introduce the notion of weakly integral residuated pomonoid, and give a characterization by the notion of pseudo-BCI algebra. Finally, we give a method to construct a weakly integral residuated pomonoid (pseudo-BCI algebra) from any bounded pseudo-BCK algebra with pseudo product and any group.