求解大型特征值问题的块Davidson方法的精化技术

块Davidson方法是求解大型对称矩阵特征值问题的一种有效的方法.但对一些特征值问题,当Ritz值收敛以后,该方法并不能保证Ritz向量也同时收敛.因此,为加速块Davidson方法的收敛性,研究了块Davidson方法的重新开始技术,提出了精化块Davidson方法,并对精化块Davidson方法进行了收敛性分析.数值试验和理论分析均表明,新方法对计算大型对称矩阵的一些极端特征对是有效的.     

单圈图的次小特征值

设Ｇ为ｎ阶简单连通单圈图,λｎ－１（Ｇ）为Ｇ的次小特征值,给出了同构于Ｓ３ｎ的Ｇ的次小特征值及λｎ－１（Ｇ）的一个上界．     

非线性算子方程变号解的存在性与多解性及其应用

利用Banach空间中的锥理论和不动点理论讨论了非线性算子方程变号解的存在性和多解性,通过一个上解给出了非线性算子方程变号解的存在性定理,进而又在一个上解和一个下解的条件下得到了四解存在定理,同时还针对一种重要的非线性算子方程即一类Sturm-Liouville两点边值问题,具体讨论了其变号解的存在性及四解的存在性,相应得到了变号解存在定理和四解存在定理.最后通过一个具体的例子给出定理的应用.     

导弹武器模拟训练考评系统设计

为提高某导弹模拟训练系统中评估的客观性与准确性,确立以准确性、熟练度和操作人员状态为主的评价指标体系,构建适当的数学模型计算各子指标分值,将子指标定量化,解决由考官进行评判时存在的主观性强、标准不统一等缺点。利用专家系统,对考评过程中需要的专业知识和评价规则进行存储,实现了评分过程的自动化。针对层次分析法(analytic hierarchy process, AHP)需要多次赋值保证一致性和群组决策特征根法(group eigenvalue method, GEM)结构模糊的缺点,提出了基于AHP和GEM融合算法的权重设置方案,利用AHP-GEM算法对各子指标得分进行加权评估,最终形成了一套合理有效的模拟训练评估系统。最后,通过与考官人工评分的方法进行比较,验证了所提评分系统的合理性和准确性。     

一类奇异鞍点问题的特征值界

鞍点问题在最优化理论和方法、计算流体力学等领域具有重要应用.通过巧妙地利用SVD(奇异值分解),讨论了一类奇异鞍点问题的特征值分布,给出了特征值的分布区间估计,推广了T.Rusten和R.Winther的结果.     

Cooperative Sensor Anomaly Detection Using Global Information

Sensor networks are deployed in many application areas nowadays ranging from environment monitoring, industrial monitoring, and agriculture monitoring to military battlefield sensing. The accuracy of sensor readings is without a doubt one of the most important measures to evaluate the quality of a sensor and its network. Therefore, this work is motivated to propose approaches that can detect and repair erroneous (i.e., dirty) data caused by inevitable system problems involving various hardware and software components of sensor networks. As information about a single event of interest in a sensor network is usually reflected in multiple measurement points, the inconsistency among multiple sensor measurements serves as an indicator for data quality problem. The focus of this paper is thus to study methods that can effectively detect and identify erroneous data among inconsistent observations based on the inherent structure of various sensor measurement series from a group of sensors. Particularly, we present three models to characterize the inherent data structures among sensor measurement traces and then apply these models individually to guide the error detection of a sensor network. First, we propose a multivariate Gaussian model which explores the correlated data changes of a group of sensors. Second, we present a Principal Component Analysis (PCA) model which captures the sparse geometric relationship among sensors in a network. The PCA model is motivated by the fact that not all sensor networks have clustered sensor deployment and clear data correlation structure. Further, if the sensor data show non-linear characteristic, a traditional PCA model can not capture the data attributes properly. Therefore, we propose a third model which utilizes kernel functions to map the original data into a high dimensional feature space and then apply PCA model on the mapped linearized data. All these three models serve the purpose of capturing the underlying phenomenon of a sensor network from its global view, and then guide the error detection to discover any anomaly observations. We conducted simulations for each of the proposed models, and evaluated the performance by deriving the Receiver Operating Characteristic (ROC) curves.     

一个供应链系统的可靠性模型的解的渐近性质

运用C0-半群理论来研究一个供应链系统可靠性模型当μi(x)=μi时的解的渐近性质。首先证明在虚轴上除了0之外其他所有点都属于该算子的豫解集,其次证明0是对于该系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,由此推出该系统的时间依赖解当时间趋向于无穷时强收敛于系统的稳态解。     

图谱理论中一些定理的新证明

利用非负矩阵理论并结合图论性质,给出图谱理论中3个重要定理的证明,给出的证明方法比之前文献的证明更为简洁、易懂.     

基于小波包与Elman神经网络的整流电路故障诊断

引入了一种针对电励磁双凸极发电机的整流电路故障的小波和Elman神经网络相结合的诊断方法.根据整流电压波形的畸变规律,将2个以内的二极管故障分为7类共计22种故障元.选用Daubechies小波作为小波基,对实测的整流电压进行小波包分析,利用小波系数,在各个频带上进行小波信号重构.提取全频带能量特征值,并以此构造故障模式向量作为神经网络的输入,实现了故障的分类和定位.以一台840W、12/8极的电励磁双凸极发电机为实验样机,通过采集大量故障信号并进行信号处理,以故障特征值的容差范围作为误差判别标准,力求诊断误差最小化.实验结果表明,该方法对被分析信号的频率波动和幅值变化均具有良好的鲁棒性,是一种有效的故障诊断方法,具有较高的故障诊断正确率.     

第二个大根不超过2~(1/2)的树

1982 年Cvetkovic D 提出“求出图的第二大根λ2( G) ≤1 的所有图”这一问题,1993 年,Hong Y 和Cao D 给出了λ2(G)≤13 的所有图,紧接着Miroslav P给出了λ2( G) ≤2 - 1 的所有图,但对Cvetkovic D 的问题的解决还需进一步的努力。1998 年,作者给出了第二个大根不超过1 的所有树。该文分别给出了第二个大根小于2 的所有树和第二个大根等于2 的所有树。