信息系统诱导出的形式背景及其性质

信息系统和形式背景是数据库中对象与属性之间关系的两种不同表现形式,是数据挖掘与知识发现的重要内容.本文基于粗糙集理论对两者进行了研究,指出了每个信息系统均存在一个与之对应的形式背景,通过这个形式背景可以确定信息系统的分类知识及由此划分形成的集代数.最后,文中给出了形式背景中所有概念外延组成的集合与信息系统中由划分形成的集代数相等的充分必要条件。由此,利用形式背景中的外延即可获得相应的粗近似。

X-BASE 环境下管理信息系统的实现方法

分析了Ｘ－ＢＡＳＥ下管理信息系统的实现，提出了一种通用的系统设计方法。

线性不确定奇异摄动系统的稳定控制鲁棒界

对于具有不确定量的奇异摄动系统 ,利用 L yapunov稳定性理论研究其稳定鲁棒控制问题。在一定条件下得到了任一理想奇异摄动系统的稳定鲁棒控制 ,也是不确定奇异摄动系统具有一定鲁棒界的稳定控制。给出了闭环奇异摄动系统渐近稳定的条件 ,讨论了鲁棒界及其变化范围。

具有匹配不确定的奇异摄动系统的鲁棒控制

对于同时具有结构匹配不确定和系统不确定量的奇异摄动系统 ,利用Lyapunov稳定性理论进行了鲁棒性研究。给出了 1个理想奇异摄动系统的稳定鲁棒控制也是不确定奇异摄动系统稳定控制的稳定条件和鲁棒界 ,讨论了鲁棒界及其随参数变化的变化范围。本文是王宪杰 ,高存臣已有结果的推广。

一类中立型高维周期微分系统的周期解

文中利用指数型二分法,结合不动点定理考虑如下形式的中立型高维周期系统:d/dt[x(t)+cx1]=A(t,x(t))x(t)+f(t,x),得到其T-周期解存在的充分性条件,所得结论改进或推广了早先文献中周期解存在的相应结论.

一类三阶非线性系统的全局渐近稳定性

Lyapunov第二方法在非线性系统的稳定性研究中是十分有效的,然而在非线性系统中Lyapunov函数的构造却没有什么通用的方法.本文运用类比法构造Lyapunov函数,讨论了三阶非线性系统…x+g(x¨)+f(x,x.)x.+cx=0和…x+g(x.)x¨+f(x,x.)x.+cx=0的稳定性,并给出其零解全局渐近稳定的充分性准则,文末一个简洁的例子说明本文主要结果的有效性.

基于Web的分布式消防执法办公系统设计与实现

分析了消防执法办公系统的业务需求,针对业务特点提出了建立分布式系统的解决方案。介绍了办公系统中公文固定流程和自由流程的概念,阐述了系统中案卷和公文之间的关系。对在Web环境下分布式消防执法办公系统的设计与实现方法进行了介绍,讨论整个系统的分布式体系结构、数据模型和文档流。重点分析了在网络环境中使用.NET框架和WebSer-vice通过SOAP实现分布式系统的过程,以及整个系统的数据库设计。

一类无界时滞微分大系统的稳定性

给出了一个具有无界时滞的时滞微分不等式,并通过不等式手段研究了一类无界时滞非线性微分大系统的稳定性问题,给出了系统渐近稳定的一些充分条件.

高校文科高等数学教学的认识和实践

面向文科学生开设高等数学课程的主要用目的在于培养和加强其思维方式和能力,提高他们的综合素质。文科高等数学的内容应适合对象专业,教师应注重思想教学和教学方法。

一类三阶非线性时滞系统的全局稳定性

运用“类比法”,构造了一类三阶非线性时滞系统的李雅普诺夫函数,从而推出了这类系统的零解全局渐近稳定的充分 条件。它同时也给出了一些具有一般意义的三阶非线性系统推广而成的时滞系统零解全局渐近稳定的结果。

Banach空间中若干几何性质之间的关系

Banach空间X的许多几何性质在不动点理论中都具有重要的作用,1997年,Garcia Falset证明了当R(X)<2时,Banach空间X具有不动点性质.本文通过研究了Banach空间X的(L)性质与Opial性质,一致Opial性质,Non strictOpial性质及R(X)几何常数之间的关系,得出了(L)性质与一致Opial性质的等价条件,并得到自反且具有一致Opial性质的Banach空间X具有不动点性质.

具有有界扰动的奇异摄动系统鲁棒稳定性

对于高频寄生、外部扰动及高频参考输入共存的奇异摄动系统进行了鲁棒性稳定性研究。为了得到较小的残差集,采用新的自适应律作为控制输入的理论法则。利用Lyapunov稳定性理论,给出了误差系统的状态偏差向量、高频变量及失配参数向量的有限上界。结果表明,新的自适应律的引入,得到了更小的参差集,从而增强了系统的鲁棒性与稳定性。

具有有界扰动的MRAC系统的稳定鲁棒控制

对于具有有界扰动的模型参考控制系统,采用Narendra直接法设计思想,利用Lya punov稳定性理论研究了稳定鲁棒控制问题.作为控制器设计的理论法则,引入变结构自适应律,给出了闭环控制系统的稳定条件及稳定范围.在较弱的条件下得到了较小的残差集,从而提高了控制系统的鲁棒性.

卫星遥感资料存档系统的研究

卫星遥感资料存档系统是３Ｓ系统研究领域之一．分析了由作者设计的存档分析试验系统的基本框架、数据结构、索引方式及查询方式，讨论了资料存档及常规处理方法的结合，对于图象、图形及属性数据显示采用了统一的处理过程．

企业诊断专家系统的实现

给出了用数据库技术实现企业诊断专家系统的方法，包括知识表示和推理机．

一类三阶非线性系统的全局渐近稳定性

对一类三阶非线性系统构造了较好的Lyapunov函数,去掉要求Lyapunov函数具有无穷大的较强的限制条件,只要求系统正半轨线有界,得到其零解全局渐近稳定的充分性准则.所得结果包含并改进了已有的结果.

具无穷时滞中立型周期微分系统的周期解(英文)

讨论了具无穷时滞中立型周期微分系统ddt(x(t)-∫-0∞Q(s)x(t+s)ds)=A(t,x(t-r(t)))x(t)+∫-0∞C(t,s)x(s)ds+f(t,xt)+b(t)的周期解问题.引入BCh空间,并利用矩阵测度和Krasnoselskii不动点定理,得到了此系统周期解的存在定理.特别地,当A(t,x)=A(t)时,给出了存在唯一周期解的条件.所得结论推广了相应文献的结果.

带变号系数的半线性边值问题的非负解(英文)

利用Schauder不动点定理和上下解方法 ,对边值问题 1p(t) (p(t) y′(t) ) +a(t) f(t,y(t) ) =0 ,limt→ 0 +p(t) y′(t) =0 =y(1)讨论非负解的存在性 .其中 p∈C1(0 ,1)且在 (0 ,1)上 p>0 ,f≥ 0 ,对固定的 y函数 f(t,y)关于t是单调递减的 ,对固定的t函数f(t,y)关于 y是单调递增的 ,a∈C(0 ,1) 可以改变其符号 .

逆半直积上的自然序关系

利用逆半直积的性质刻划了逆半直积的自然序关系,讨论了逆半直积的闭包.

一类差分系统的稳定性

对一类差分系统稳定性的李雅普诺夫直接法作了推广．