n-李代数的结构

主要研究特征为2的代数闭域上(n+1)维n-李代数的结构,给出了(n+1)维n-李代数的分类,描述了其可解性与幂零性,刻画了(n+1)维n-李代数的导子代数与内导子代数的结构.     

具有holling Ⅲ类功能反应的捕食者食系统差分方程周期解的存在性[英文]

本文利用重合度理论研究了一类具有holling Ⅲ类功能反应捕食者食差分方程的正周期解的存在性问题。     

线性系统的输出反馈特征结构配置——具有不可控不可观模态的情形

本文考虑具有不可控不可观模态的线性系统的输出反馈特征结构配置问题。根据文中给出的矩阵方程AV＋BW＝VF的一种显式参数解，得到了线性系统的输出反馈特征结构配置的一种参数化方法，本文没有对系统附加能控能观条件，在[AB]能控的条件下，本文得到的矩阵方程的解是文[5]中定理2的结果，在[AB]能控且[AC]能观的条件下，本文得到的输出反馈特征结构配置方法是文[6]在系统为定常时算法Ⅱ的结果。     

哈密顿系统的低维环面的保存性

本文给出了关于哈密顿系统低维环面的一个推广的KAM定理,它适用于同时存在法向频率和双曲法向分量的情况.其证明基于尤建功的一个定理的光滑性表述及法向双曲不变流形理论的应用.文中还给出了另外两种情况下的推广.     

利他偏好下供应链效率和公平度动态演进研究

根据零售商利他偏好信息非对称性和动态演进特征,将零供博弈信息结构分为4个演进过程,采用逆向归纳法求解各个过程中供应链主观效率和客观效率、以"公平熵"计算供应链主观公平度和客观公平度,从主观与客观2个维度分析供应链利他偏好行为对供应链效率和公平度动态演进的影响.通过对比分析得出:信息对称下零售商利他偏好行为不改变供应链利润但会改变各个成员在供应链中的利润分配比例,起到"供应链利润分配机制"的作用;供应链主观效率总是不低于客观效率,供应链主观公平度总是不低于客观公平度;从主观评价供应链能够实现协调且供应链能够兼顾效率和公平.     

多态系统部件维修成本评估分析

多态系统是可靠性理论中的一种重要系统,是指部件和系统具有多个状态。随着部件的劣化,系统的性能随之下降。为了提高系统的性能,部件需要进行一定的维修。本文考虑部件状态转移率与停留时间的关系,利用重要度理论来分析部件维修成本的变化规律,得出对系统维修成本影响最大的部件。首先,基于维修成本的函数关系,给出了重要度的表达式;其次,针对典型串联系统和并联系统,随着时间推移,给出维修成本的变化规律;最后算例仿真验证了提出方法的有效性和正确性。     

求解稀疏逻辑回归问题的嵌套BB算法的分裂增广拉格朗日算法

逻辑回归是经典的分类方法,广泛应用于数据挖掘、机器学习和计算机视觉.现研究带有程。模约束的逻辑回归问题.这类问题广泛用于分类问题中的特征提取,且一般是NP-难的.为了求解这类问题,提出了嵌套BB(Barzilai and Borwein)算法的分裂增广拉格朗日算法(SALM-BB).该算法在迭代中交替地求解一个无约束凸优化问题和一个带程。模约束的二次优化问题.然后借助BB算法求解无约束凸优化问题.通过简单的等价变形直接得到带程。模约束二次优化问题的精确解,并且给出了算法的收敛性定理.最后通过数值实验来测试SALM-BB算法对稀疏逻辑回归问题的计算精确性.数据来源包括真实的UCI数据和模拟数据.数值实验表明,相对于一阶算法SLEP,SALM-BB能够得到更低的平均逻辑损失和错分率.     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

泄漏发射信息的同步信号提取与信息重建

由于环境噪声对信息还原的影响很大,导致重建的信息无法辨认,为了获得清晰的图像,必须进行后期软件处理.但通常采用外同步发生器提供的行、场同步信号频率点容易漂移,使后期软件处理无法进行.本文着重讨论了行同步信息泄漏的机理,提出了获取行、场同步信号的方法,以及对获取的泄漏发射信号的软件处理方法.     

广义对称正则长波方程的守恒差分格式

文章考虑了具有齐次边界条件的广义对称正则长波方程的有限差分格式.提出了一个守恒并且线性非耦合的三层有限差分格式,由于格式在计算中只需要解三对角线性方程组,从而避免了其中的迭代计算.文中先讨论了一个离散守恒量,然后我们利用离散泛函分析方法证明了格式的收敛性和稳定性,从理论上得到了收敛阶为O(h~2+τ~2).通过数值试验表明,所提的方法是可靠有效的.