一类正则Hamilton系统反问题的判别方法

针对正则Ｈａｍｉｌｔｏｎ系统反问题，从变分理论和偏微分方程一般解理论角度出发，给出了关于一类偏微分方程组可由正则Ｈａｍｉｌｔｏｎ系统有序置换解析表示的充要条件，并进一步给出此类方程组的判别检验程序，最后结合弹性力学问题给出了应用。     

人口发展方程边值问题的H~(3/2,3/2)(Ω)解

为深入研究人口控制系统,利用函数分析方法讨论人口发展方程非齐次边值问题,在Sobolev空间内得到新的级数解,进一步证明了解的稳定性.该解的表达式为定量人口学的某些理论研究提供了新的关系式,并为进一步研究人口方程边值问题的正则解提供理论基础.     

具有多孔介质细胞扩散和矩阵敏感性的二维趋化Navier - Stokes系统的全局有界性

本文研究了具有多孔介质细胞扩散和矩阵敏感性的趋化-流体耦合模型的初边值问题弱解的全局有界性.在二维有界区域上，本文首先构造了问题对应的正则化系统，建立系统经典解的全局存在性，然后借助能量估计建立了解的有界性，最后对正则化系统取极限得到了原问题弱解的整体存在性.所得结果推广了Tao和Winkler的相应结果.     

Stokes耦合系统解的存在性与正则性

运用紧性方法证明了Stokes耦合系统解的存在性,用能量方法建立了解的正则性.     

Landweber迭代正则解的最优渐近阶估计

应用紧算子的奇异系统得到了Landweber迭代正则解的级数表达式,通过先验选取正则参数,证明了正则解具有最优的渐近收敛阶。     

离散型对称奇异系统的显解

利用群逆可以求得离散型对称奇异系统的显解.当离散型对称奇异系统满足正则条件时通解即可求得.并讨论了奇异系统的一些主要性质.     

非正则约束流及其对应的有限维可积Hamiltonain系统

利用规范变换把ＡＫＮＳ族与经典Ｂｏｕｓｓｉｎｇｅｓｑ族的正则约束流变换为对方的非正则约束流，从而得到与非正则约束流对应的有限维可积Ｈａｍｉｌｔｏｎｉａｎ系统。     

带Neumann边界条件的Extended Fisher-Kolmogorov系统的定态分歧

运用规范化的Lyapunov-Schmidt约化方法,得到了带Neumann边界条件的Extended FisherKolmogorov系统产生超临界和次临界分歧的完整判据,给出了分歧解的具体表达式,并进一步讨论了分歧解的正则性.     

双解析函数一类含参变未知函数的Riemann边值问题

给出双解析函数含参变未知函数的Riemann边值问题及其正则型与非正则型的提法．基于双解析函数的正则型与非正则型Riemann边值问题，讨论了双解析函数含参变未知函数的Riemann边值问题正则型与非正则型情况的可解性，得到了该边值问题的可解性结论：正则型问题的一般解具有2κ 1个自由度，非正则型问题的一般解具有2(κ-μ) 1．     

带有logistic源的三维趋化系统弱解的最终光滑性

基于三维趋化系统弱解的整体存在性的结果,进一步考虑了一类带有 logistic 源抛物-抛物型趋 化方程组在三维情形时对应的齐次诺依曼初边值条件下弱解的最终光滑性;通过构造能量泛函并利用 Sobolev 最大正则性理论、Sobolev嵌入定理、Gagliardo-Nirenberg不等式、Young 不等式、 H?lder 不等式、Poincaré不等式、紧嵌入定理以及 Gronwall 不等式得到解的高阶正则性估计;结果表明:对于任意非负且适 当的初始值,可以证明到系统的弱解在一定的等待时间后变成经典解。     

一类耗散动力系统的有限维约化

考虑一类定义在无限维Banach空间上的半线性耦合发展方程组.利用方程组生成无限维动力系统的一个有限维不变流形,研究有限维约化问题.更详细地,利用有限维不变流形得到一个有限维系统(称之为约化系统),并澄清了原系统和约化系统之间吸引子和平衡解的关系.     

浅析操作系统内核体系结构

操作系统内核是整个计算机系统的核心，负责管理整个计算机系统的资源及控制系统的运行，而操作系统内核的不同实现又会影响整个系统的高效运行，从体系结构的角度出发，对UNIX、Linux、Windows2000等3种操作系统内核结构进行了较为详细的分析，并对它们的内核结构进行了比较。     

客户关系管理系统表示层的设计

客户关系管理(CRM)系统的实施是一个持续性的过程中，需要不断提高和完善。本文通过对CRM系统表示层功能的分析，依据组件化程序设计思想，建立了其结构模型和基于XML格式的数据模型，实现了表示层的动态可配置性，从而增强了系统的灵活性和扩展性。     

非完整力学系统的Hamilton对称性

研究非完整力学系统的Hamilton对称性与守恒量.将非完整系统纳入广义Birkhoff系统,建立了用正则变量表示的运动微分方程,给出了系统的Hamilton对称性的定义和判据,导出了非完整力学系统的Hamilton对称性导致守恒量的条件及其形式.作为特例,文章给出了非保守力学系统和Hamilton系统的Hamilton对称性与守恒量.文末举例说明结果的应用.     

一类四阶非线性系统的稳定性

本文在四阶常系数线性系统李雅普诺夫函数的基础上,将四阶非线性系统化成它的等价系统,然后利用“类比法”构造了一类四阶非线性系统的李雅普诺夫函数,并给出该系统的零解稳定性条件。     

自然保护区社会生态复合系统信息传递过程理论研究

自然保护区是一个由社会经济系统与自然生态系统组成的社会-经济复合系统,本文通过对自然保护区进行系统抽象和结构分区,指出自然保护区社会生态复合系统包含天然生态系统、人工生态系统、社区系统、旅游产品开发运行系统以及管理系统,并把保护区区域按照功能结构划分为核心区、过渡区、外围区与居住区。在对自然保护区复合系统分区的基础上分析了社会生态复合系统中的物质能量反馈机理,从而为进一步研究自然保护区系统论奠定基础,为科学管理和规划自然保护区提供理论依据。     

CIPS体系结构的研究

对比了离散工业和连续工业的生产特点,从系统功能结构和控制结构两个方面对ＣＩＰＳ体系结构进行了探讨,分析了ＣＩＰＳ中经营管理、安全经济运行、过程自动化、计算机网络和数据库支撑４个分系统的功能组成,归纳了ＣＩＰＳ的二维体系结构     

一类区间切换系统的鲁棒稳定性

讨论了一类区间切换系统的鲁棒稳定性.区间切换系统是一类含有不确定参数的切换系统.作为一个切换系统,标称系统的稳定性决定了这类区间切换系统的鲁棒稳定性.充分利用结构特点,通过标称系统各部分的稳定性获得这类系统的鲁棒稳定性.当标称系统的各子系统均渐近稳定时,给出区间切换系统在任意切换下渐近稳定的条件.进一步,在标称系统的各子系统都不渐近稳定的情形下,利用凸组合技术,讨论了实现区间切换系统在某一切换律下的渐近稳定性.     

人工智能在林分经营中的应用

应用人工智能技术编制了高岩子林场的具有部分专家系统功能的林分经营系统，该系统包含知识库、推理机以及空系统，知识库与推理机可据不同的经营对象而变化，将空系统转变成实系统，任何一种计算机高级语言均可实现该功能。     

一类连续线性系统的完全辨识

在一般情况下，对于连续线性系统可以获得其代数等价系统或传递函数的辨识。本文对这种线性系统的一个特例，即由高阶方程描述的一类线性系统，依据系统的观测数据，用该系统的特征值构造出唯一的变换矩阵，解决这类系统辨识中，由离散辨识结果返回连续系统的反问题，进而实现这一类线性系统的完全辨识。