一类带有非线性阻尼项和源项的四阶波动方程整体解的存在性与不存在性

考虑一类带有非线性阻尼项和源项的四阶波动方程的初边值问题.通过结合Galerkin逼近,势井方法和单调紧致方法,在最少的先验估计下获得了整体解的存在性.此外,在初始能量为负的情况下,证明了存在有限时间内爆破的解.     

小时滞梯度系统的动力学行为

该文研究下列具有小时滞的一般非线性梯度型发展方程_tu+Au=f(u(t),u(t-τ)).证明了当时间趋于无穷大时,时滞方程的每一个有界解将收敛于某一个平衡点,只要时滞足够小,这意味着时滞系统的行为非常类似非时滞系统.这里的方法主要是基于梯度系统不变集的Morse结构和发展方程的几何理论.这个结果的证明分两步完成:首先,在梯度系统和有限个孤立平衡点的假设下,证明了一定存在一个足够小的时滞使得时滞方程的任一个有界解将会最终进入并停留在某一个平衡点的邻域里面;其次,在双曲平衡点的假设下,运用指数二分性和一系列的估计,证明了一定存在ε0和足够小的τ0使得任一个落于某个平衡点ε-邻域内的解最终收敛于该平衡点,当时间趋于无穷大时.     

有阻尼的二阶脉冲无穷时滞泛函微分方程解的存在性

应用Kuratowski非紧性测度和分段估计方法,研究Banach空间中有阻尼的二阶脉冲无穷时滞泛函微分方程mild解的存在性和正则性.脉冲项的紧性条件,先验估计和非紧性测度估计的限制条件没有被使用,所得结果不同于许多已知的结果.作为应用,举了两个例子说明该文的结果.     

环状硅酸盐图的友好指数集

Let G be a graph with vertex set V(G) and edge set E(G). A labeling f : V(G) →Z2 induces an edge labeling f*: E(G) → Z2 defined by f*(xy) = f(x) + f(y), for each edge xy ∈ E(G). For i ∈ Z2, let vf(i) = |{v ∈ V(G) : f(v) = i}| and ef(i) = |{e ∈ E(G) : f*(e) =i}|. A labeling f of a graph G is said to be friendly if |vf(0)- vf(1)| ≤ 1. The friendly index set of the graph G, denoted FI(G), is defined as {|ef(0)- ef(1)|: the vertex labeling f is friendly}. This is a generalization of graph cordiality. We investigate the friendly index sets of cyclic silicates CS(n, m).     

带拯救的两参数Markov碰撞过程的遍历性

本文考虑了一类带拯救的两参数Markov碰撞过程.首先讨论了带拯救的两参数Markov碰撞q-矩阵发生函数的性质,通过发生函数给出了过程的正则性和唯一性判别准则,得到了过程的常返性和遍历性的充分必要条件,并给出了几个易于验证的充分条件.最后,给出了遍历情形下该过程平稳分布的发生函数,并给出了过程强遍历的判别准则.     

防空导弹自动驾驶仪测试性建模研究与应用

为了得到防空导弹自动驾驶仪的故障检测与诊断策略,减少自动驾驶仪的测试费用,建立了自动驾驶仪的测试性模型并进行分析,解决了建模的难点。通过多层抽象混合推理故障建模方法推导了自动驾驶仪结构与测试点之间的关系,根据测试点的特征和自动驾驶仪工作原理建立信息流模型,在此基础上,利用故障与测试间的相关性矩阵来描述测试性模型。基于此模型设计了诊断策略构建方法。实际应用表明,建立测试性模型的方法完全正确,通过模型能够构建有效的检测与诊断策略,缩短测试时间。     

针对限制幅值磁共振脉冲的优化设计

在磁共振脉冲优化领域,优化脉冲普遍存在幅值过大的问题,这极大地限制了优化脉冲的使用范围。为了限制优化脉冲的幅值,扩大其应用范围,提出了一种基于L-BFGS-B数值算法的脉冲优化设计方法。首先基于Liouville-von Neuman方程,使用最优控制思想构建优化模型;然后使用L-BFGS-B算法,在限制幅值的条件下对优化模型进行数值迭代求解;最后以脉冲的激发效率以及激发轮廓的均匀性作为衡量优化脉冲优劣的标准对该方法进行仿真和实验验证。结果表明,采用该方法获得的优化脉冲在幅值被限制的前提下,仍能获得较传统磁共振脉冲更好的共振激发效果,进而增强信号的灵敏度,提高图像的质量。     

一种金融双界面卡可测试性设计研究

由于安全性好,存储容量大等方面的优点,金融IC卡代替传统的磁条卡已经成为一种必然趋势。由于电路的复杂性,在金融卡的设计过程中必需注意可测试性设计。论文对一种金融双界面卡进行可测试性设计,主要关注嵌入式存储器、振荡器电路和非接触模拟前端电路的可测试性设计,在进行理论分析的基础上提出测试结构,并对电路进行设计。最终基于V777系统对流片以后的金融双界面卡进行测试,测试结果表明本设计具有很好的功能。     

基于故障注入的测试性验证试验样本量确定方法

试验样本量的确定是基于故障注入的测试性验证试验中的关键技术之一。样本量的确定是为了解决样本充分性要求与故障不能穷尽注入的限制条件之间的矛盾。目前确定试验样本量的方法包括最小样本量估计法以及按照不同的试验方案所确定的方法。通过对这些方法的优点、缺点以及使用条件进行对比,总结出了样本量确定方法的研究现状以及目前工程上进行基于故障注入的测试性验证试验时的普遍情况,并且从矛盾的两方面展望了进一步研究的发展。     

测试性与性能一体化设计方法研究

现代武器装备的复杂化的发展趋势使武器系统的设计逐渐由单一的性能设计向全面考虑武器系统的性能与测试性等特性扩展;根据现代复杂武器系统的设计需求,结合工程实际,基于一体化理论建立了复杂武器系统的测试性与性能一体化设计体系;详细论述了复杂武器系统一体化体系的组成和各部分具体内容,并给出了测试性与性能一体化设计方法的通用流程与设计步骤;文章的工作对现代复杂武器系统的设计有较好的参考价值,可用于武器系统测试性与性能的一体化设计。