周期特征值问题的Wilkinson型定理

通过引入周期特征值问题的单特征值的偏条件数,运用周期Schur分解定理,得到了周期特征值问题的Wilkinson型定理。     

关于整系数不可约多项式

在文[1]中，作者推广了著名的Eisenstein的判别法，给出了在有理数上判断整系数不可约多项式的两个定理，并且形式比较简单，应用也比较方便。本文把文[1]中的定理作了进一步的推广，推广到更为一般的形式，相应也给出了几个判断整系数不可约多项式的定理，而形式与文[1]中的形式同样简单，比文[1]中给出的定理更具有一般性。     

命题逻辑紧致性定理的拓扑证明与一阶逻辑紧致性定理在拓扑空间中的等价形式

我们通过引入拓扑结构给出命题逻辑紧致性定理的拓扑证明,并给出一阶逻辑紧致性定理在拓扑空间中的等价形式。     

台劳公式的新证明及其推广

中值定理及其台劳公式的证明一般采用构造辅助函数的方法。利用行列式构造了一个统一格式的辅助函数,利用该辅助函数可以证明各中值定理及台劳公式,而且很容易得出台劳公式的推广形式。     

加权型中值定理

本文给出了Cauchy和Lagrange中值定量的一种推广形式：加权型中值定理。     

一般数列的两个不确定上极限定理

从数学分析中研究特定的数列收敛性质的数学思想和数学方法出发，对其所具备的数学形式和数学结构进行研究，来探讨一般的一个任意正数序列问题，得到两个不确定的上极限定理。     

一个均衡调整算法

本文对任务分配问题提出一个新算法－均衡调整算法，该算法具有变异性，均稀性以及均衡持久性，并以均衡定理的形式加以论述和证明，从而证明了均衡调整算法的正确性。     

一维钝体竖向拍振非线性涡激力识别

基于Scanlan经验非线性模型,推导一维钝体竖向涡激振动拍振响应.借鉴Wilkinson涡激力相关性函数,探讨节段模型拍振状态下气动参数、涡激力识别方法,分析相关性对涡激力识别的作用.以一大跨度桥梁主梁断面为例,识别气动参数及其非线性涡激力,结果表明在节段模型试验分析中考虑相关性作用后,可更准确地识别其非线性涡激力.     

弹道可调的落角约束分数阶滑模制导律设计

针对制导弹道带落角约束的末制导问题,提出了一种基于分数阶微积分理论的时变滑模制导律。可通过提前设置参数调整制导弹道,分数阶的引入增加了制导弹道的可变性和多样性。利用李雅普诺夫稳定性理论证明了制导律的稳定性。采用分数阶积分中值定理,将分数阶微分方程转化为一阶线性微分方程,并求解出状态误差的解析式,最后利用夹逼定理证明了制导律的收敛性。数值仿真结果表明,该制导律在保证高制导精度的同时,可大范围改变弹道形式,使制导弹道复杂多变难以预测。     

一个新非线性方程组解的存在性定理

作为微积分中连续函数介值定理在n维欧氏空间Rn中的推广,G.Aumann建立了一个定义于n维矩形上非线性方程组解的存在性定理,J.Rohn利用Brouwer不动点定理,把定理推广到定义域为紧凸集的情形。利用Brouwer拓扑度理论,证明定理中凸性条件进一步减弱为星形区域时,其结论仍然成立。     

电压／频率变换电路实现A／D转换

数据的采集与处理广泛的应用在自动化领域中，由于应用的场合不同，对数据采集与处理所要求的精度也不相同。考虑到测量精度要求，详细的阐述了以MSP430F149为主控芯片的系统软硬件的研究、设计和实现，介绍了如何采用压控振荡器LM331与控制器MSP430F149内部Timer模块构成ADC，即线性放电法（威尔金逊法）ADC。     

环形磁铁空间磁场的解析计算与仿真

从永磁体的磁荷模型出发,运用标量磁位法、广义二项式定理、矢量叠加原理等建立了环形磁铁在磁体外部空间磁场分布的解析表达式,并在MATLAB仿真软件中进行了计算。利用三维数字式特斯拉计实际测量了两种规格的永磁体的磁场分布,利用Ansoft Maxwell电磁场分析软件建立了两种永磁体在磁体外部空间的磁场分布,通过对比解析计算结果、实际测量结果和Ansoft Maxwell仿真结果发现解析表达式很好地反映了永磁环空间磁场的分布规律,误差不超过7％,从而验证了解析表达式的正确性。     

Hilbert空间上Lipschitz伪压缩映像族的强收敛定理

给出并证明了一个Lipschitz伪压缩映像族的强收敛算法,推广了Yao等人的结果。     

Extension of Euler's theorem to n-dimensional spaces

Euler's theorem states that any sequence of finite rotations of a rigid body can be described as a single rotation of the body about a fixed axis in three-dimensional Euclidean space. The usual statement of the theorem in the literature cannot be extended to Euclidean spaces of other dimensions. Equivalent formulations of the theorem are given and proved in a way which does not limit them to the three-dimensional Euclidean space. Thus, the equivalent theorems hold in other dimensions. The proof of one formulation presents an algorithm which shows how to compute an angular-difference matrix that represents a single rotation which is equivalent to the sequence of rotations that have generated the final n-D orientation. This algorithm results also in a constant angular velocity which, when applied to the initial orientation, eventually yields the final orientation regardless of what angular velocity generated the latter. The extension of the theorem is demonstrated in a four-dimensional numerical example. The issue of the correct n-D representation of angular velocity is discussed     

一类带两参数的高维脉冲泛函微分方程周期解的存在性

利用不动点指标定理,研究了下列带两参数的高维脉冲泛函微分方程:x′=A(t)x(t) λf(t,xt),t≠τk,△x|x=t k=μIk(x(τk)),t=τk,k∈Z ,建立了其周期解存在和不存在的一些充分条件。     

A Note on Integral Equations and Wolf's Theorem

The operation of a large class of physical systems ems can be described through application of singular integral equations written in the time domain. This correspondence shows that Wolf's theorem and a general form of Parseval's theorem can be used to transform the integral equation to the S-plane, the result being an integral equation which readily yields the complex frequency response of the system.     

Banach空间上非扩张映像的一个不动点定理

设X为满足Opial条件的自反Banach空间,D包含X为一闭星形集。证明了非扩张映像G：D→D的一个新的不动点定理,这一定理推广了已有相关结果。