一类子矩阵约束下矩阵反问题的拓广

利用矩阵的广义逆和广义奇异值分解,讨论了子矩阵约束下左右逆特征值问题及其拓广,给出了其有解的充分必要条件及在有解条件下的通解表达式,并得到了此问题的最佳逼近解,而且用数值算法来验证求最佳逼近解的有效性．     

解非凸半定规划的一个Lagrange方法

基于一个求解一般非凸半定规划问题的非线性Lagrange函数,给出了其相关算法,研究了函数的性质,证明了算法的收敛性。在适当的条件下,当罚参数大于某一阈值时,算法产生的序列局部收敛,由此给出了与罚参数相关的解的误差估计。     

模糊关系数据库系统中的函数依赖与多值依赖

用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题。本文用模糊等价关系及其隶属函数来描述模糊函数依赖与多值依赖,看出经典数据依赖是模糊数据依赖的特例。并且证明相应于Armstrong公理的一套模糊数据依赖的推理规则是正确、完备的。     

一类阶段结构捕食-食饵系统的稳定性和分支

研究一类具有Holling Ⅱ型功能性反应函数和阶段结构的捕食-食饵系统,将时滞作为分支参数,通过分析特征方程根的分布,得到该系统正平衡点的局部稳定和Hopf分支存在的条件,并给出数值模拟.     

求非线性演化方程精确解的新方法

通过对文献[10]中所提出的试探函数法进行改进,提出了一种求非线性演化方程精确解的新方法,并用该方法求得了几个非线性演化方程的许多显式精确解。该方法也可用于求解其它非线性演化方程。     

一类中立时滞系统的带记忆输出反馈H_∞控制

利用Lyapunov-Krasovskii稳定性定理和线性不等式方法,研究了一类线性中立时滞系统的无记忆与带记忆相结合的静态输出反馈H∞控制器的设计问题.基于LMI正定解的存在性,首先对标称系统建立了一个时滞独立型渐近稳定性准则,然后提供了一个使系统达到渐近稳定且满足给定H∞干扰的抑制上界充分条件,最后给出满足设计要求的静态输出反馈控制器存在的充分条件及设计方案.     

多失效模式下基本变量的重要性测度及其解法

基本变量的重要性分析是工程设计及安全评估的一项必要工作．针对工程实际中经常出现的多失效模式可靠性模型,提出了基本变量对多失效模式下多维响应功能函数全局联合概率分布的重要性测度指标——重要性测度1．同时针对可靠性设计的特点,建立了多失效模式下基本变量对多维响应功能函数局部概率分布的两种重要性测度指标,即基本变量对失效域内多维响应概率分布的重要性测度——重要性测度2和对系统失效概率的重要性测度——重要性测度3,推导了其性质,比较了3种重要性测度的异同和适用范围,并给出了一种求解3种重要性测度的标准方法,从该标准方法的求解过程可以看出,在求解基本变量对多维响应功能函数重要性测度1的同时可求得重要性测度2和3,也即在不增加计算量的同时,该标准方法可为设计人员提供更多的参考信息．最后,以数值和工程算例验证了所提指标和方法的正确性和可行性．     

转动变换与转动图像

根据矢量算符在希尔伯特空间中转动变换的性质,利用转动图像给出了量子力学中与转动变换有关的常用公式.与其他证明方法相比,利用转动图像的方法更为简洁.     

基于NMF技术探寻早期AD基因表达调控网络

利用非负矩阵分解(NMF)技术,依据加强算法的稀疏性对患早期阿尔茨海默症(AD)样本的基因表达数据进行分析,提取对疾病早期诊断具有重要意义的显著基因,样本分类实验结果证明了算法的有效性.在此基础上,结合与炎症反应有重要关系的NF-κB等基因初步建立了与早期AD密切相关的基因表达调控网络结构图,为AD致病机理的探询、早期诊断与治疗等提供了有益的途径和方法.     

Lagrange中值定理的一点注记

Ｌａｇｒａｎｇｅ中值定理的一点注记以定理Ａ的形式给出了当弦的斜率ｋ大于ｍａｘ｛ｆ’＋（ａ）,ｆ’（ｂ）｝ 或小于ｍｉｎ｛ｆ’（ａ）,Ｆ’＿（ｂ）｝对;Ｌａｇｒａｎｇｅ牛值定理的相关结果．