含有非线性电阻的动态电路唯一稳态研究

为了扩展非线性动态电路的唯一稳态条件,以向量比较原理为工具,研究含有非线性电阻的动态电路唯一稳态问题,结果表明,含有非线性电阻的动态电路的唯一稳态,可以用一个常数矩阵的HURWITZ条件来决定,结论可以适用于任何高阶的系统,大大扩展了已有的经典结果。     

具有滞环的非线性非自治电路唯一稳态研究

采用一种新的向量比较法 ,建立了确定具有滞环的非线性非自治电路唯一稳态的条件 ,结果表明 ,具有滞环的非线性非自治电路的唯一稳态可以用一个常数矩阵的Hurwitz条件来决定 .这一结果适用于含有任意个滞环元件的非线性非自治电路 ,通过算例验证表明理论预测是正确的 ,并扩展了已有的经典结果     

利用单位解矩阵估计判定滞环多值电路唯一稳态

利用微分方程单位解矩阵估计的相关方法,得到了确定具有滞环的非线性非自治电路唯一稳态的新条件。结果表明,该类电路的唯一稳态可以用矩阵的测度来决定．对电路元件的约束仅要求其斜率有界即可。这大大放松了经典结果中要求电路元件斜率为正的限制,扩展了已有的结果。     

基于向量比较原理的唯一稳态消谐法及在消除中性点接地电力系统铁磁谐振中的应用

唯一稳态消谐法是近年出现的消除非线性系统谐振新的分析方法。该方法的基本思想是如果非线性系统存在一个非谐振的正常解,并且该系统具有唯一的稳态,则此时对应的条件就是系统不发生谐振的条件。将这一方法应用在消除中性点接地电力系统的铁磁谐振的分析中,以向量比较原理为工具,得到了相应的消谐条件。其结果表明,消除谐振的条件可以用一个常数矩阵的Hurwitz条件来决定,并用数值模拟进行验证,表明结果正确,同时也说明唯一稳态消谐法的有效性。     

Mobile IPv6协议一致性测试研究

针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。     

利用单位解矩阵估计判定含有非线性电阻的动态电路唯一稳态

利用微分方程单位解矩阵估计的相关方法,得到了确定含有非线性电阻的动态电路唯一稳态的条件.结果表明,含有非线性电阻的动态电路的唯一稳态,可以用一个矩阵测度决定.由于目前已有的经典结果只能处理含有线性电阻的动态电路的唯一稳态,因此本文的工作大大扩展了已有的经典结果.     

基于支持向量机的多类蛋白质折叠子预测

基于支持向量机，以氨基酸组成成分、氨基酸组成成分与氨基酸残基指数自相关函数组合两种特征提取方法构成的特征向量表示蛋白质序列，对多类蛋白质折叠子问题进行了相关研究。结果表明，由氨基酸组成成分与氨基酸残基指数自相关函数组合构成的特征参数集(其参数集以符号HOPT、PARJ、PONP、WOLS表示)，其预测精度比氨基酸组成成分特征参数集有不同程度的提高。对于独立测试样本集，HOPT、结果较好，采用“唯一的一对多”策略，其总预测精度为41．91％，比氨基酸组成成分提高6．94个百分点，这些结果说明自相关函数含有一定的蛋白质空间折叠信息，支持向量机对于小样本分类预测是一种非常有效的方法。     

弱结构扰动唯一稳态消谐法在铁磁谐振中的应用

唯一稳态消谐法是近年出现的消除非线性系统谐振新的分析方法.该方法的基本思想是如果非线性系.统存在1个非谐振的正常解,并且该系统具有唯一的稳态,则此时对应的条件就是系统不发生谐振的条件.将这一方法应用在消除中性点接地电力系统的铁磁谐振分析中,以弱结构扰动理论为工具,得到了相应的消谐条件.研究结果表明,消除谐振的条件可以用矩阵的HURWITZ条件来决定,并用数值模拟进行验证,表明结果正确,同时也说明唯一稳态消谐法的有效性.     

集控站微机防误操作系统的设计

根据集控站微机防误操作系统的现状、自身特点及功能要求,结合现场实际运行经验,对集控站微机防误操作系统和单站微机防误操作系统的运行模式进行了比较,说明集控站微机防误操作系统更适合无人值班变电站运行的要求,并设计了一套符合集控站使用要求和特点的微机防误操作系统。     

极大平面图的结构与着色理论(3)纯树着色与唯一4-色极大平面图猜想

一个极大平面图若是从K4出发,不断地在三角面上嵌入3度顶点得到的,则称此极大平面图为递归极大平面图。唯一4-色极大平面图猜想是指：一个平面图是唯一4-可着色的当且仅当它是递归极大平面图。此猜想已有43年历史,是图着色理论中继四色猜想之后另一个著名的未解猜想。为此,该文相继深入研究了哑铃极大平面图与递归极大平面图的结构与特性,结合该系列文章(2)的扩缩运算,给出了证明唯一4-色极大平面图猜想的一种思路。