Navier-Stokes方程简单分歧点的谱Galerkin逼近

针对分歧难以数值计算的问题，通过分析Navies-Stokes方程简单分歧点的性质，构造出定常Navies-Stokes方程非退化简单分歧点的扩充系统及其谱Galerkin逼近扩充系统，证明了谱Galerkin逼近扩充系统解的存在性和收敛性。运用Stokes算子的特征值，给出了谱速近的误差估计。由于所构造的扩充系统的导数具有分块下三角形式，采用分块迭代的方法进行数值求解，不仅减少了计算量，而且是二次收敛的，从而为Navies-Stokes方程非退化简单分歧点的数值逼近提供了有效的算法。     

简单高阶对称破坏分歧点的数值分析

本文构造了逼近简单高阶对称破坏分歧点的扩充系统，并给出了数值算例。     

一类分歧问题的扩充系统

对一类典型分歧问题进行了研究，构造了计算此类分歧问题的扩充系统，使待求的分歧点转化为扩充系统的正则点，不但对扩充系统的正则性进行了证明，而且给出了扩充系统构造的一般原则，从而为分歧数值计算提供了一种有效的方法。     

一类含非线性参数方程的分歧点

本文研究含非线性参数方程在参数的某个值线性化方程有偶数维解空间时的分歧点。所得结果扩充了М.А.краснасильский的工作。     

一类滞时微分方程的Hopf分歧

应用Liapunov-Schmidt约化方法，研究了一类滞时微分方程的Hopf分歧问题，在Hopf分歧点的附近，给出了周期解枝的近似解析表达式，同时用Liapunov-Schmidt约化方法结合分片Hermite插值多项式的配置法求解了Hopf分歧点附近的周期解枝，发现理论分析结果和数值结果吻合，证实了用Liapunov-Schmidt约化方法求解滞时微分方程周期解的有效性与可行性．     

基于内容的图像查询系统模型设计与分析

本文提供了一种基于网络的小型图像查询系统。为了克服传统查询方法的一些局限性，该查询系统综合使用了基于文本的和基于内容的图像查询技术。当用户提交查询，系统运行检索程序。和查询图像相似的查询结果会通过网络浏览器提供给用户。实验显示，这样的系统具有简单，有效和易于扩充的优点。     

简易总线型分布式微机控制系统

本文介绍了由微机和单片机组成的一种简易总线型局域分布式微机控制系统．提出系统硬件和软件的实现方法．并讨论了有关的具体问题．这类系统的结构简单、通用可靠、扩充灵活以及成本低廉，具有很好的实用价值，不失为控制工程中的一种有效技术手段．     

求非线性方程分歧点的一种新的预估-校正法

提出了求非线性方程简单分歧点的一种新的预估-校正法.该法采用Seydel方法的第一步做预估,其次在与其正交方向上用Newton迭代法进行校正,数值算例表明了该方法的有效性.     

求解刚柔耦合系统动力学方程的迭代法

该文提出了一种求解刚柔耦合系统动力学方程的迭代法。该方法借了结构分析中的子结构法的基本思想，并将子结构间的协调条件做了扩充。通过子是的力传递使子结构发生联系，从而降低了耦合程度，得到了收敛的数值解，文中给出的一个简单系统的例了显示了该方法的可行性。     

含有非对称线性算子的变分不等方程的分歧定理

Ｐ．Ｑｕｉｔｔｎｅｒ＾「３」给出分歧点的估计,但仅限于线性部分是对称的,对线性晨对称的情形进行了讨论,并给出分歧点的估计。     

中等气象条件下热成象系统对面目标极限作用距离的近似解

本文从单个探测器的几何分辨率出发,并考虑到大气传输损失对系统信噪比的影响,提出了热成象系统对面目标的极限作用距离的近似解,并对目标和背景的幅射亮度的计算方法进行了详尽的讨论。最后,作为一个例子,计算了某一实际热成象系统的极限作用距离。     

用扩展传递矩阵法计算多体系统的稳态响应

以一个简单的多体系统为例，介绍了用于计算多体系统稳态响应的扩展传递矩阵法。建立了等截面Euler—Bernoulli梁的扩展传递矩阵。通过依次拼凑各个元件的扩展传递矩阵，形成系统的总体扩展传递矩阵，代入边界条件，然后求解代数方程组即可得到系统的稳态响应。对比模态叠加法的求解结果和计算过程，扩展传递矩阵法具有过程简单、计算量小、易编程等优点，且无需建立系统的总体动力学方程。扩展传递矩阵法特别适合于计算多体系统的稳态响应，能直接得到稳态响应的解析表达式。     

射影点的几何作图

在射影平面的扩大平面模型上的已知射影坐标系下，本文解决了已知射影坐标，几何地作出它所对应的点；已知一射影点，几何地求出这个点的射影坐标三数组这两类基本问题。     

一类高阶奇点的数值计算方法

通过构造扩大方程组的方法，解决了一类高阶奇点的数值确定问题     

一类四次系统的极限环的唯一性和无穷远奇点的结构

研究了一类与二次系统相伴的四次系统.证明了它至多有一个极限环,并得到了奇点的性态和拓扑结构,把相伴系统的极限环的唯一性推广到了四次系统.     

近海平台K型搭接管状接头的应力分析与实验研究

本文将用于简单管状接头应力分析的变分解法推广运用于结构形式较为复杂的 K 型和 TY 型搭接接头,完成了对复杂的空间交贯线的处理。根据本文提供的计算机程序,只需输入管接头的主要几何参数,便可迅速求得整个管接头区内的应力场及各点的主座力,从而获得接头的应力集中系数及热点坐标。为了验证计算的可靠性,本文对管接头模型进行了光弹性应力分析,将计算结果与试验结果作了比较,同时还参考了国外发表的有关试验报告。结果表明,本文的计算是可靠的,变分解法对复杂管接头应力分析的运用是可行的。为了研究在支管受轴向载荷作用条件下搭接接头的性能,本文还将搭接 K 型接头与普通 K 型接头作了计算比较,证明,在一定的搭接范围内,搭接接头的应力集中系数远比普通 K 型接头低。最后,本文还就搭接形式的优化问题进行了一系列数值计算,对搭接接头的设计提出了一些参考意见。     

Navier—Stokes方程的非退化转向点的谱Galerkin逼近

利用非退化转向点的扩充系统，证明了如下结论：设（λ0,u0)是Navier-Stokes方程的非退化转向点，则存在正整数m1,当m大于m1时，在（λ0,u0)的某个领域内，谱Galerkin逼近方程存在惟一解，且为谱Galerkin逼近方程的非退化转向点，并给出了L^2范数和H^1范数下的误差估计。     

基于扩张状态观测器的轮式移动机器人全阶滑模控制

针对存在模型参数摄动和外部有界扰动不确定因素影响下的非完整移动机器人轨迹跟踪控制问题,提出一种基于扩张状态观测器的全阶滑模移动机器人轨迹跟踪控制方法.通过坐标变换将耦合的系统动力学模型转化为2个独立的子系统,再将模型参数摄动和外部有界扰动不确定因素扩张为一个新的变量,进而分别对2个子系统设计扩张状态观测器用于估计并补偿系统的总和扰动,抑制其对系统控制性能的影响,结合滑模控制理论设计基于扩张状态观测器的全阶滑模控制器,保证系统输出稳定跟踪给定信号且消除传统滑模控制中抖振突出的问题,提高系统滑动模态的品质.仿真对比结果验证了所设计控制方法的优越性和有效性.     

智能家居远程控制系统的设计

文章介绍了一种新的智能家居远程控制系统的设计方案。系统采用蓝牙无线通信技术实现了方便、灵活的家庭内部组网,可以通过电话和网络远程控制连入家庭网络的网络家电,在家中通过无线控制终端实现对家庭联网设备的集中控制。该系统简单易用,扩展性好。     

扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。