A computational method for large‐scale differential symmetric Stein equation

We propose a numerical method for solving large‐scale differential symmetric Stein equations having low‐rank right constant term. Our approach is based on projection the given problem onto a Krylov subspace then solving the low dimensional matrix problem by using an integration method, and the original problem solution is built by using obtained low‐rank approximate solution. Using the extended block Arnoldi process and backward differentiation formula (BDF), we give statements of the approximate solution and corresponding residual. Some numerical results are given to show the efficiency of the proposed method.     

Simultaneous iterative methods of asymptotically quasi‐nonexpansive semigroups for split equality common fixed point problem in Banach spaces

In this paper, we present iteration methods to find a solution of asymptotically quasi‐nonexpansive semigroups for a split equality common fixed point in Banach spaces. The results show weak and strong convergence theorem of iteration that improve and extend some recent results.     

A-拓扑以及A-拓扑空间的相关性质

设E是一个A rch im edean R iesz空间,a∈E,Φ≠A E,则有如下的两个结论:1)由a生成的a-拓扑空间E是一个H ausdorff空间;2)若以下条件之一成立,则由A生成的A-拓扑空间E是一个H ausdorff空间:(a)子集{a:a∈A}有上界;(b)E具有强单位元;(c)若E=C(X),其中X是一个局部紧H ausdorff空间.     

自由Abel群上的超群结构的再研究

在研究一个生成元的自由Abel群上超群结构的基础上，建立了两个生成元的自由Abel群上的超群结构理论，并进行了分析与研究，同时给出了两个生成元的自由Abel群到实数加群的同态方法，并对自由Abel群上的超群结构进行了研究与分类．在此基础上给出了正规超群的分类．证明得出：自由Abel群同构于实数加群及其子群．     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此,提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中,验证结果表明,该平台可以缩短仿真验证时间大约55％～65％左右,有效地提高了验证的效率和质量．     

单位球上βp 空间到Zα 型空间的加权Cesàro算子

利用泛函分析多复变的方法, 研究了单位球上β^p 空间到Z^α 空间的加权 Cesàro算子的有界性和紧性问题. 获得了单位球上β^p 空间到Z^α 空间的加权 Cesàro算子为有界算子和紧算子的充要条件.     

基于三角Bézier-like的过渡曲线构造

在形状调配过程中,过渡曲线的连续性往往是很难保证的.首先给出三角Bézier-like曲线的定义,然后从过渡曲线满足一定拟连续性的角度出发,利用三角Bézier-like曲线的端点性质, 研究形状参数曲线的参数拟连续特征保持问题.给出了线性混合过程中一阶和二阶参数拟连续保持条件,从而得出一般的三角Bézier-like曲线在形状调配中参数拟连续的保持方法. 同时构造出2种过渡曲线(C-形状和S-形状)的使用方法. 在工程设计中,该方法对机器人的行走、道路的设计和某些造型的软件设计具有一定的指导意义.     

REMARKS ON QUASI-PERFECT RINGS AND FC-RINGS

设Ｒ是有单位元的环，Ｓ是Ｒ的几乎优越扩张，Ｇ是有限群且｜Ｇ｜－１∈Ｒ．证明了Ｒ是ＦＣ－环（拟完备环，凝聚环）当且仅当Ｓ是ＦＣ－环（拟完备环，凝聚环），也当且仅当Ｓｍａｃｈ积Ｒ＃Ｇ＊是ＦＣ－环（拟完备环，凝聚环）．     

Finitely Extendable Functionals on Vector Lattices

A general extended functional is a functional which is allowed to take on infinite values; in other words such functionals are similar to the Lebesgue integral on the space of all integrable functions. The problem of representing a general extended functional f on a vector lattice X as an operator with finite values only has been solved in [12]. In fact, this problem has been solved for a larger class of general extended operators on an ordered vector space. The solution of this problem was given by means of an extension of the range R of the functional f to some ultrapower of R. Notice, however, that it is not always the case that a functional f can be considered as a trace of some internal functional *f:*XR. (We remark, without going into details, that such an internal functional exists exactly in the case when the results of the nonstandard analysis can be used for investigation of the given functional.) In [12] a standard necessary and sufficient condition was given for solving this latter problem on the existence of *f. Namely, f is a trace of an internal *f if and only if it is finitely extendable. This result makes the finite extendability problem worthy of study. The present paper is a first attempt in this direction. Simultaneously we introduce and study a more general notion of weak finite extendability that coincides with finite extendability, for instance, for vector lattices with a strong unit.     

自抗扰控制器在气压伺服控制系统中的应用

为提高控制系统的鲁棒性,增强干扰抑制能力,提出了适用于气压伺服系统的自抗扰控制器方案,并讨论了控制参数的整定.自抗扰控制器为非线性控制器,由跟踪微分器、扩张状态观测器和非线性状态误差反馈控制律3部分构成.扩张状态观测器可以实时观测系统状态和扩张状态,从而实现全状态反馈及系统不确定性和外扰的补偿控制.自抗扰控制器的设计不依赖于被控系统的精确数学模型,并对内外扰有较强的抑制能力,在整个系统工作区间都有良好的鲁棒性.仿真结果表明,自抗扰控制器对气动伺服系统模型的不确定性以及外干扰的鲁棒性较好,且具有较优的动态性能.