城镇土地估价多媒体信息系统研究

随着我国土地使用制度改革的深入和地产市场的逐步培育、完善，土地估价以及地价信息的管理和利用显得越来越重要了。该文介绍了将城镇土地估价、地价信息管理与先进的计算机技术有机结合，研制开发多功能可视化城镇土地估价多媒体信息系统的设计思想及实现方法。该系统的使用将大大提高土地估价和地价信息管理的科学化和自动化水平。

基于JavaRMI的分布计算系统

本文利用 JAVA语言的平台无关性 ,可移植性以及它的 RMI特性即远程方法调用 ,给出在网络上进行分布计算的系统 JDCS.

JDCS:实现高性能计算的分布式计算系统

分布对象计算技术提供了充分利用现有网络资源的有效途径。JavaRMI是当前比较成熟的一种分布对象技术,它提供了使用Java对象的简单和直接的方法。该文建立基于JavaRMI方法的适用于高性能计算的分布式计算系统JDCS。在JDCS中由网络上的计算结点构成服务器池,为用户提供高性能的计算服务。实现结果表明该系统可以获得较高的加速比。

周期系数二阶线性微分方程的稳定性

讨论周期系数二阶线性微分方程的稳定性问题．给出了判定稳定性较精确的方法，利用这个方法，获得了判定稳定性简洁而实用的若干准则．

扰动系统概周期解和有界解的存在性

该文研究扰动系统 .

一维变系数概周期方程的概周期解

本文给出一维变系数概周期微分方程概周期解存在性的判定方法和一系列充分条件,其结论可很好地用于判定某些特殊Abel方程概周期解的存在性,推广了文献[1-4]的相关结果.

二次系统对应的阿贝尔方程周期解

二次系统 x′=-y+δx+ P2 ( x,y) ,y′=x+ Q2 ( x,y)化为阿贝尔方程 dz/dθ=A(θ) z3 + B(θ) z2 + C(θ) z之后 ,在 A( θ)变号时 ,能够由∫θ-∞ exp -2∫θs C(τ) dτ A( s) ds与∫+∞θ exp -2∫θs C(τ) dτ A( s) ds的符号判定周期解的不存在性与存在唯一性 ;在 A(θ)≡ 0及 A(θ)不变号情况下也得到若干结果 ,比文 [1

一类非线性大系统的周期解

本文讨论了一类非线性大系统周期解的存在性． 利用指数型二分性和不动点方法，建立了保证周期解存在性的条件，所得结果推广了文［１］的主要结果．

关于六角系统的两个猜想

对Gutman提出的关于六角系统的三个猜想 ,举例说明了该六角系统中的复盖与 1 因子关系的两个猜想是不成立的 。

基于Java的网上教学系统的设计与实现

本文在以超文本页面学习为主的网上教学系统基础上,增加了网上教学讨论、练习与测试等模块,设计并实现了一个交互式网上教学系统。通过该系统可使教师与学生更好地进行交流、讨论,以解决学生的疑问,同时教师也能通过测试了解学生的学习进度。该系统较好地解决了交互性问题。

概自守系统与回复系统的零解稳定性

方程x′=f(t,x)零解渐近稳定的经典判据是存在定正函数V ,而dV/dt定负 .前人已证当f(t,x)是概周期函数时dV/dt定负这一条件可减弱为dV/dt小于或等于 0 .本文将证明该结论对f(t,x)是概自守函数和回复函数时也成立 .

一类集值映像方程的若干问题的研究

首先研究了多值严格集压缩场的不动点指数计算的一些结果,并且利用了映像的拟微分性结合边界条件(Sw,A,u)及(Lw,u)研究多值映像方程的正解、多正解与固有元等问题。

分布并行的分形视频压缩技术

分形视频压缩建立在静止图像分形压缩的基础上,其压缩思想主要是对Jacquin分块方法的扩充,把二维的值域块和定义域块扩充成三维值域立方体和定义域立方体,或者采用帧间的分形压缩和帧内运动补偿相结合的办法。这两种方法所具有的大计算量限制了分形视频压缩的研究和应用。该文沿这两个思路引入了分布并行计算机制,从而缩短了压缩时间。

Banach空间上的q-框架与p-Riesz基的稳定性

本文在Ｂａｎａｃｈ空间上引入ｑ－框架与ｐ－Ｒｉｅｓｚ基的概念，讨论它们的稳定性．

时延细胞神经网络的概周期解的存在性和指数稳定性

研究时延细胞神经网络的概周期解存在性和全局指数稳定性问题 ,巧妙地引入可调实参数di>0 (i =1,2 ,… ,n) ,获得了该神经网络存在唯一的概周期解的充分条件和所有其它解均指数地收敛于此概周期解的充分条件 .

一种带约束条件的关联规则频繁集挖掘

论文先提出顺序单调约束和反顺序单调约束的概念并对其所包含的数学性质进行了讨论,在此基础上将其运用于频繁集挖掘过程中,给出挖掘基于顺序反单调性约束的频繁集算法和挖掘基于顺序单调约束的频繁集算法。带约束条件的关联规则频繁集挖掘可减少生成无意义的规则;同时,在频繁集生成过程,利用约束条件对搜索空间进行修剪,可提高挖掘算法的效率。

带非局部源的退化奇异半线性抛物方程组解的存在性和爆破

主要研究带有Dirichlet边界条件的非局部退化半线性抛物方程组ut-(xαux)x=∫0ag(v)dxvt-(xαvx)x=∫0af(u)dx在(0,a)×(0,T)内正解的爆破性质.证明了古典解的存在性与唯一性,并得到当初值充分大时,解在有限时刻爆破.

Banach空间上的框架与Riesz基

本文讨论Banach空间上框架、无冗框架与Riesz基之间的关系及它们的稳定性．

微分方程-u"=λ~2u+|u'|~β边值问题正解的存在唯一性

本文讨论一类不满足 Ｎａｇｕｍｏ条件的微分方程边值问题－ｕ＂＝λ２＋｜ｕ＇｜β，ｕ（０）＝ｕ（１）＝０正解的存在唯一性问题，其中β＞２为常数，λ＞０为参数．证明了对每一β＞２，存在λ＝λ（β）∈（０，π），边值问题存在属于Ｃ１［０，１］正解当且仅当λ∈（λ，π），此时正解唯一，当λ＝λ（β）时，边值问题存在正解。 ｕ∈Ｃ１（０，１）∩Ｃ［０，１］，ｕ＇（０）＝∞，ｕ＇（１）＝－∞。

弱横截与弱混沌

在保留混沌基本特征的前提下，该文引进弱横截与弱混沌概念．证明了弱横截的平面微分同胚必产生弱混沌．