从矩阵半张量积到逻辑控制系统

利用矩阵半张量积建立起来的逻辑系统控制理论已经成为控制论中不可忽视的一个新方向.本文的目的是对该理论从基本数学工具和分析方法到主要结果作一个综合性的介绍.首先介绍矩阵半张量积,并对其作了一个深入的探讨和评述.接着说明如何利用矩阵半张量积将逻辑表达式转化为代数表达式.继而较详细地介绍逻辑动态系统及其控制理论近年得到的一些主要成果,包括逻辑动态系统的拓扑结构,逻辑控制系统的能控性和能观性、稳定性与镇定、干扰解耦、最优控制、逻辑系统与逻辑控制系统的辨识.进而对逻辑系统从经典布尔逻辑到k值逻辑、多值逻辑和混合逻辑的推广作了比较细致的推演.这些结果构成了这一新学科的理论基础.此外,对相关概念、记号以及基本方法与工具作了统一的规范处理.然后,对目前的学科进展情形与其应用/潜在应用作了一个较为全面的整体介绍.对逻辑动态(控制)系统存在的未解问题与进一步的研究方向给出一个带有启发性的推介.最后,对学科发展的大方向提出一个个人的预测:逻辑控制系统与动力学控制系统的结合可望产生"信息-控制系统",它就是钱学森预言的"理论控制论",也是美国学科发展报告提出的下一代控制理论.     

Gabriel拓扑与相对本原代数的张量积

本文在域上代数的张量积环上定义了相应的Gabriel扑拓的张量积,讨论了相对本原代数的张量积的性质,某些结果推广了本原代数张量积的相应结果。     

R-n模张量积与张量函子

文[1]引进了左R-n模范畴_RM_n~L,本文是在_RM_n中,建立相应的张量积,证明了它的存在性与唯一性,并讨论了张量函子与Hom函子的伴随性。 文中沿用[1]的记号。     

Banach空间上算子张量积的联合谱

本文主要研究了 Banach 空间上交换算子组的张量积以及 Banach 代数的张量积中交换元组的 Taylor 联合谱,推广了 Vasilescu,F.H.及 Wrobel,V.等人结果。     

L—fuzzy模范畴的张量积与张量函子

本文在Ｌ—ｆｕｚｚｙ模范畴中，建立了相应的张量积，给出了它的结构性、存在性与唯一性定理，并讨论了张量函子与Ｈｏｍ函子的伴随性。所得结果为通常张量积的“良好推广”（ｇｏｏｄｅｘｔｅｎｓｉｏｎ）。     

关于矩阵张量积的一类问题

本文给出有限个矩阵张量积分别是正规矩阵、厄米特矩阵、正定矩阵的条件．推广了Y．E．Kuo的相关结果．另外也给出了两个亚半正定矩阵的张量积还是亚半正定矩阵的充要条件．     

Monoidal Entwined模范畴上的张量积恒等式

本文研究了monoidal entwined模范畴上的张量积恒等式.利用了monoidal entwined模范畴的性质及Doi-Hopf模范畴上的张量积恒等式的研究方法,获得了monoidal entwined模范畴上的一些张量积恒等式,并证明了entwined模范畴有足够的内射对象,结果推广了Doi-Hopf模范畴的结论.     

半无限规划的对偶性

本文对半无限凸规划提出一个新的对偶问题,它由扰动函数及其次微分刻划.同时讨论了弱对偶性、强对偶性及逆对偶性,证明强对偶性等价于鞍点准则.     

多目标无限线性规划的对偶性

本文讨论多目标无限线性规划的对偶性，它将有限多目标的结果推广到了无限信的情形。     

矩阵半张量积及换位矩阵的几点注解

矩阵半张量积是一种新的矩阵乘法,它将普通矩阵乘法推广到任意两个矩阵,同时又保留了普通矩阵乘法的主要性质.换位矩阵使矩阵乘法具有一定的交换性质,从而使得矩阵半张量积更为有效.文章首先讨论了矩阵半张量积与矩阵张量积之间的关系.然后讨论换位矩阵在矩阵张量积中的应用.最后,将换位矩阵推广到对应于任意置换σ的σ-置换矩阵.     

The Growth of Composite Meromorphic Functions

Let f be a transcendental meromorphic function of order $ \rho _f $ , g be a transcendental entire function of lower order $\lambda _g (\lambda _g \lt + \infty ) $ with $ \sum _{a\not = \infty }\delta (a,g)= 1 $ , then $$\overline {\mathop {{\rm lim}}\limits_{r \to \infty } } \log {{\left( {T\left( {r,f\left( g \right)} \right)} \right)} \mathord{\left/{\vphantom {{\left( {T\left( {r,f\left( g \right)} \right)} \right)} {T\left( {r,g} \right)}}} \right. \kern-\nulldelimiterspace} {T\left( {r,g} \right)}} = \pi \rho f.$$     

关于群的定义

群是基本的代数系统,群的定义对左(右)单位和左(右)逆元是成立的,而对左单位元和右逆元不一定成立。本文证明了群的定义对唯一左单位元和右逆元是成立的。     

Stratification method for processes with independent increments

Let \(X\left( s \right) = \gamma \left( s \right) + W\left( {\sigma \left( s \right)} \right) + \int\limits_{ - \infty }^\infty {\mathop \smallint \limits^s } \ae \Pi \left( {d\ae ,ds} \right)\) be a process with independent increments, Let W be a Wiener process, and let Π be a Poisson measure with independent values. The quasiinvariant transformations $$G_c X\left( s \right) = \gamma \left( s \right) + W\left( {\sigma \left( s \right)} \right) + \int\limits_{ - \infty }^\infty {\int\limits_o^s {g\left( {c, \ae , t} \right)} } \Pi \left( {d\ae ,ds} \right),$$ under an appropriate kernelg, form a one-parameter semigroup. One considers the partitions of a probability functional space into one-dimensional orbits of the semigroup G. One computes the conditional probabilities. The results of the computations can be used for the investigation of the distributions of the functionals of the process X. A series of results of the paper can be applied to a much wider class of processes and semigroups.     

广义FP—内射模、广义平坦模与某些环

左（右）R－模A称为GFP－内射模，如果ExtR(M,A)=0对任－2－表现R－模M成立；左（右）R－模称为G－平坦的，如果Tor1^R(M,A)=0(Tor1^R(AM)=0)对于任一2－表现右（左）R－模M成立；环R称左（右）R－半遗传环，如果投射左（右）R－模的有限表现子模是投射的，环R称为左（右）G－正而环，如果自由左（右）R－模的有限表现子模为其直和项，研究了GFP－内射模和G－平坦模的一些性质，给出了它们的一些等价刻划，并利用它们刻划了凝聚环，G－半遗传环和G－正则环。     

Order bounded local derivations on Archimedean almost <Emphasis Type="Italic">f</Emphasis>-algebras

Let A be an Archimedean almost f-algebra and let d: A → A be an order bounded local derivation. Then d is a generalized averaging operator on A, i. e.,

Jacob’s ladders,the structure of the Hardy-Littlewood integral and some new class of nonlinear integral equations

In this paper we obtain new formulae for short and microscopic parts of the Hardy-Littlewood integral, and the first asymptotic formula for the sixth-order expression $\left| {\zeta \left( {\tfrac{1} {2} + i\phi _1 \left( t \right)} \right)} \right|^4 \left| {\zeta \left( {\tfrac{1} {2} + it} \right)} \right|^2$\left| {\zeta \left( {\tfrac{1} {2} + i\phi _1 \left( t \right)} \right)} \right|^4 \left| {\zeta \left( {\tfrac{1} {2} + it} \right)} \right|^2. These formulae cannot be obtained in the theories of Balasubramanian, Heath-Brown and Ivić.     

Bounds for Hardy type differences

Let A _k be an integral operator defined by

Complete rational arithmetic sums

Let {itq} > 1 be an integer number, \(f\left( x \right) = {a_n}{x^n} + \ldots + {a_1}x + {a_0}\) be a polynomial with integer coefficients, and ({ita}{in{itn}}, . . . ,{ita}{in1},{itq}) = 1. The following estimate is valid: \(\left| {S\left( {\frac{{f\left( x \right)}}{q}} \right)} \right| = \left| {\sum\limits_{x = 1}^q \rho \left( {\frac{{f\left( x \right)}}{q}} \right)} \right| \ll {q^{1 - 1/n}}\), where \(\rho \left( t \right) = 0,5 - \left\{ t \right\}\).     

Characterizations of Strongly Regular Rings

ＣｈａｒａｃｔｅｒｉｚａｔｉｏｎｓｏｆＳｔｒｏｎｇｌｙＲｅｇｕｌａｒＲｉｎｇｓＺｈａｎｇＪｕｌｅ（章聚乐）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｎｈｕｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈｕ２４１０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉ...     

On the asymptotic behavior of a class of third order nonlinear neutral differential equations

The objective of this paper is to study asymptotic properties of the third-order neutral differential equation