Sasaki流形上调和映射的第二变分算子的谱几何

假设目标流形是Sasaki空间形式或三维Sasaki流形,我们讨论所有调和态射集合中黎曼下浸的谱特征,同时也研究关于反不变子流形和Sasaki子流形的调和映射能量的Hessian的谱问题。     

关于曲面到复Grassmann流形的调和映射及其uniton数

本文对讨论从曲面到复Ｇｒａｓｓｍａｎｎ流形中的调和映射，证明了如果其生成的调和序列中存在一个映射共形极小，则序列中所有映射共形极小，文中还讨论具有限阶的调和映射的扩张解及其ｕｎｉｔｏｎ数。     

关于从曲面到李群中的调和映射

用活动标架法描述从曲面到紧李群中的调和映射和积分流,给出光滑映射φ:R2→G为调和映射所满足的微分方程以及用积分流产生调和映射的方法.作为本文结果的应用,给出了一个从曲面到李群SO(3)中的有限型调和映射的例子.     

下层带扰动参数的二层多目标最优化问题有效点集的锥次微分稳定性

关于集值映射最优化问题有效点集的稳定性问题,一些学者在半连续意义下得到比较系统的结果。近年,在锥次微分意义下又获得更深入的描述。借助集值映射最优化问题有效解(点)的锥次微分稳定性理论,讨论了上层无扰动,下层带扰动参数的二层多目标最优化问题有效点集的锥次微分稳定性。     

黎曼映射及高斯映射的调和性

本文研究了黎曼流形间的黎曼映射及其高斯映射，得到了黎曼映身的基本方程，讨论了黎曼映射及其高斯映射的调和性，从而推广了等距浸入与黎曼淹没的相应结果。     

带边流形的内接半径估计及其几何应用

本文运用强极大值原理给出紧致带边Riemann流形的内接半径的下界估i卜并用它来研究极小子流形与调和映射的区域稳定性.     

集态FU空间的一个注记

集态FU空间是由Arhangel’skii引入的一类弱第一可数空间.本文讨论了强集态FU空间、集态FU空间以及弱FU空间之间的关系:①具有可数紧度的集态FU空间是强集态FU空间;②利用紧集列给出了强集态FU空间成为弱FU空间的一个充分条件.给出了集态FU空间的一个映射性质:集态FU空间被有限到一、满的连续闭映射所保持与逆保持.     

向量均衡问题弱有效解的稳定性

利用集合序列的P-K收敛的概念,讨论可行集扰动而向量值映射不扰动、可行集扰动而向量值映射扰动、可行集扰动而集值映射不扰动、可行集扰动而集值映射扰动下的4种情况下的向量均衡问题弱有效解的稳定性。提出了一个新的集值映射序列的收敛概念。利用这一概念,讨论了可行集和集     

关于调和映射的第二基本形式

本文确定了利齐曲率为共变常数的黎曼流形到具有常数截面曲率的黎曼流形的调和映射的一个积分不等式,从而获得调和映射为全测地映射的一些充分条件。     

调和映射的全纯性

研究Ｋａｅｈｌｅｒ流形之间的调和映射。证明当映射在某点的达到３时，紧Ｋａｅｈｌｅｒ流形到双曲复空间形的调和映射必是全纯映射或反全纯映射。     

B/S架构下通用的代码实时校验解决方案

针对目前流行的B／S架构，分析用户数据录入的交互情况，提出一套通用的代码实时校验方案，该方案把数据代码校验下移至客户端，减少了网络访问次数，从而提高了整体的校验效率，同时方案具有简洁明了，易实现等优点，经过实际的工程使用表明，该方案适用于一般性的大批量数据录入的环境，起到了有效防止垃圾数据的输入，提出数据库中的数据正确性。     

风力发电系统简单建模及稳定性分析

应用劳斯稳定羊据原理和小振荡法原理对含风力发电机的电力系统建立了各元件的数学模型并进行了静态稳定计算与分析,并以一计算实例验证其方法的可行性。     

广义KKM映射的通有稳定性及本质连通区的存在性

讨论广义KKM映像的通有稳定性及一定条件下本质连通区的存在性,又在杨彦龙的基础上讨论了比其更一般的空间上的广义KKM映像的通有稳定性,并得到了广义KKM映像一定条件下本质连通区的存在性定理。证明了在由广义KKM映像构成的M中,存在一个稠密剩余集Q,使得广义KKM映像的点集映射     

声光双稳态混沌特性的研究

对声光双稳态系统的稳定性进行了理论分析,用图解方式研究了不动点的稳定性,用数值求解的方法,确定了分岔点的具体位置,同时对系统经过倍周期分岔和阵法混沌途径产生混沌进行了分析.通过对系统状态随参数变化的分岔图和最大Lyapunov指数变化情况的比较分析发现本文的结果是自洽的.     

多指标约束的斜拉索滑模非脆弱减振控制

为了提高斜拉索-磁流变阻尼器减振控制系统的稳定性, 提出了一种多指标约束的滑模非脆弱减振控制算法. 基于线性矩阵不等式(LMI), 利用H∞性能指标和保性能指标分别用来抑制外界扰动, 保证系统渐近稳定且具有一定上界指标, 并以区域极点配置表征减振控制稳定性与快速性, 方差表征小振幅和振动速度. 将非脆弱状态反馈控制与滑模控制相结合, 得到了多指标约束的滑模非脆弱减振控制算法设计形式及方法. 在强度为0.1002高斯白噪声随机扰动下, 对某跨海大桥C18、C13号斜拉索进行算例仿真. 结果表明, 该算法不仅使减振控制系统具有较优的保性能上界指标和较小的抗扰性能指标, 同时使拉索振动状态幅值降低91.11%~92.50%, 收敛时间缩短76.67%~84.00%.     

船舶参-强激励非线性动力学系统模型的研究

摘要：运用定性分析方法,系统地研究了船舶参 强激励横摇动力学系统的周期与混沌运动表现.首先运用Poincaré定理讨论了系统模型的调和解分岔,给出了近似调和解;随后讨论了系统模型次调和解分岔,给出了相应的近似次调和解;最后运用Melnikov函数法讨论了系统的混沌运动表现.     

一种计算r-循环矩阵平方根的新算法(英文)

研究了r-循环矩阵的简化形式,提出了一种计算r-循环矩阵平方根的新算法,该方法无需计算r-循环矩阵的特征值,计算时只需要矩阵乘法的迭代.     

形变映射法在求解非线性Klein-Gordon方程中的应用——以Φ

非线性Klein-Gordon方程在场论中具有十分重要的物理意义, 且通常是不可积的. 形变映射法利用场论中可积场方程的已知孤子解、周期解等共同特征, 通过建立一般特解间的联系来求解不可积场的新解析解. 形变映射法可以将一个非线性系统的某些重要的严格解和其他系统互相联系起来, 从而得到这些非线性系统的新类型严格解, 例如多个椭圆周期波的相互作用解或椭圆周期波和孤立波的相互作用解; 也可以利用系统自身的形变映射关系, 得到同一个系统不同解之间的形变映射关系, 从而得到系统的新严格解. 将严格解映射到系统自身, 就是系统的贝克隆变换.     

基于混合技术的时序电路等价性验证

时序电路的等价性验证比组合电路更复杂,尤其是状态变量多的电路;一种有效方法是通过寄存器匹配,将部分时序电路验证转化为组合电路验证问题,降低验证的复杂度.因此,提出了一种结合多种方法的时序电路等价性验证算法,该算法结合随机仿真、局部BDD、寄存器匹配以及状态遍历.算法中的随机仿真和寄存器匹配技术能对寄存器作快速匹配,局部BDD技术减少了内存爆炸的可能,状态遍历可对电路进行最后的输出验证.实验结果表明：此算法能更快对电路进行验证.     

多粒度通信优化的MPSoC调度映射策略

随着嵌入式系统处理器核数的增加,映射与调度成为软件开发的关键.为了提升系统性能,需要格外关注映射与调度过程中的通信开销.现有的粗粒度系统级或细粒度线程级通信优化虽然能提升性能,但都各有缺陷.为此,提出了基于整数线性规划的用于Simulink模型的多粒度通信优化映射与调度策略,将不同粒度的通信优化方法相结合,实现优势互补.实验结果表明,该方法能有效提高系统的整体性能.