多滞量Lotka-Volterra互惠系统的周期解(英文) 被引量：11

1

作者 陈凤德 史金麟 陈晓星 《工程数学学报》 CSCD 北大核心 2004年第3期403-409,共7页

利用重合度理论研究具有任意有限时滞的两种群非自治Lotka-Volterra互惠系统,获得了周期正 解的存在性,推广了Gopalsamy及He(1997)和杨帆等(2002)的工作。

关键词 周期正解 多时滞Lotka-Volterra互惠系统 重合度 存在性

在线阅读 下载PDF 职称材料

基于JavaRMI的分布计算系统 被引量：8

2

作者 王美清 郑文波 郑守淇 《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期908-910,共3页

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

关键词 RMI JDCS 分布计算系统 JAVA语言

在线阅读 下载PDF 职称材料

城镇土地估价多媒体信息系统研究 被引量：9

3

作者 何建农 赖建华 《计算机工程与应用》 CSCD 北大核心 2001年第2期126-129,共4页

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

关键词 土地估价 多媒体信息系统 土地使用 城镇土地

在线阅读 下载PDF 职称材料

对当前大学生消费状况的调查分析与思考 被引量：27

4

作者 黄发友 陈沙麦 《统计与信息论坛》 2003年第5期57-60,共4页

大学生消费状况是社会、学校和家长普遍关心的问题。文章通过调查研究,以新的视角分析了大学生消费状况;探讨并研究了大学生消费存在的问题;提出了引导他们走出消费误区而形成健康消费的对策。

关键词 大学生 消费状况 新特点 新情况

在线阅读 下载PDF 职称材料

JDCS:实现高性能计算的分布式计算系统 被引量：3

5

作者 王美清 郑守淇 郑文波 《计算机工程与应用》 CSCD 北大核心 2002年第21期79-82,共4页

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

关键词 JDCS 高性能计算 分布式计算系统 网络资源 客户机 计算机网络

在线阅读 下载PDF 职称材料

周期系数二阶线性微分方程的稳定性 被引量：9

6

作者 史金麟 《数学物理学报（A辑）》 CSCD 北大核心 2000年第1期130-139,共10页

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

关键词 周期系数 二阶 线性微分方程 稳定性

在线阅读 下载PDF 职称材料

扰动系统概周期解和有界解的存在性 被引量：4

7

作者 林木仁 《数学物理学报（A辑）》 CSCD 北大核心 2002年第1期61-70,共10页

该文研究扰动系统 .

关键词 概周期解 有界解 扰动系统 指数型二分性 广义指数型二分性 存在性

在线阅读 下载PDF 职称材料

系数变号时一类阿贝尔方程的极限环 被引量：2

8

作者 张剑峰 《数学年刊（A辑）》 CSCD 北大核心 1997年第3期271-278,共8页

阿贝尔方程（１．２）在Ａ（θ）与Ｂ（θ）同时变号，特别当ｎ３时，极限环存在性等问题一直未有适用的判定法，本文将给出若干判定方法；该方法对Ａ（θ），Ｂ（θ）不变号或恒等于零也适用，且在部分情况下能获得极限环的显式表达... 阿贝尔方程（１．２）在Ａ（θ）与Ｂ（θ）同时变号，特别当ｎ３时，极限环存在性等问题一直未有适用的判定法，本文将给出若干判定方法；该方法对Ａ（θ），Ｂ（θ）不变号或恒等于零也适用，且在部分情况下能获得极限环的显式表达，其结果比文［１］相应结果更深入精细． 展开更多

关键词 阿贝尔方程 极限环 存在性 微分系统

在线阅读 下载PDF 职称材料

PCF的信息系统模型 被引量：1

9

作者 王美清 《软件学报》 EI CSCD 北大核心 1994年第4期19-27,共9页

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和... 带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的． 展开更多

关键词 信息系统 程序语言 模型 PCF

在线阅读 下载PDF 职称材料

非自治系统的拓扑线性化

10

作者 邹长武 蔡国财 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第6期800-803,共4页

微分方程拓扑线性化理论是由Hart man和Grobman给出的,Pal mer把线性化理论推广到了非自治系统.对非自治系统的拓扑线性化理论进行扩展,讨论了系统x′=A(t)x+f(t,x)+g(t,y)y′=B(t)y+φ(t,x)+ψ(t,y)的线性化.当f(t,x)、φ(t,x)、g(t,y... 微分方程拓扑线性化理论是由Hart man和Grobman给出的,Pal mer把线性化理论推广到了非自治系统.对非自治系统的拓扑线性化理论进行扩展,讨论了系统x′=A(t)x+f(t,x)+g(t,y)y′=B(t)y+φ(t,x)+ψ(t,y)的线性化.当f(t,x)、φ(t,x)、g(t,y)、ψ(t,y)具有特殊结构时,通过构造适当的同胚函数,把系统x′=A(t)x+f(t,x)+g(t,y)y′=B(t)y+φ(t,x)+ψ(t,y)的解映射为系统vu′′==BA((tt))uv的解.所讨论的系统更常见,结论更实用. 展开更多

关键词 无界 全局 非自治系统 拓扑线性化

在线阅读 下载PDF 职称材料

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

11

作者 张剑峰 《数学年刊（A辑）》 CSCD 北大核心 1996年第6期693-702,共10页

二次系统 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的符号判定... 二次系统 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 展开更多

关键词 二次系统 阿贝尔方程 周期解 存在性

在线阅读 下载PDF 职称材料

关于六角系统的两个猜想

12

作者 沈健 薛梅 陈荣斯 《石河子大学学报（自然科学版）》 CAS 2001年第4期326-328,共3页

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

关键词 六角系统 1-因子 复盖 哈密顿图 平面图 正方形边 2-连通图

在线阅读 下载PDF 职称材料

在Novell网络服务器上安装两种版本的UCDOS汉字系统

13

作者 陈铭枢 《实验室研究与探索》 CAS 1997年第5期87-88,共2页

本文介绍如何在同一Ｎｏｖｅｌ网络服务器上安装两种版本的ＵＣＤＯＳ汉字系统的方法，提供给不同机型的用户使用。

关键词 NOVELL网络 UCDOS汉字系统 服务器

在线阅读 下载PDF 职称材料

概自守系统与回复系统的零解稳定性 被引量：1

14

作者 江良平 《应用数学》 CSCD 北大核心 2002年第S1期12-15,共2页

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

关键词 零解稳定性 概自守函数 回复函数

全文增补中

具有无穷时滞反馈控制的两种群竞争模型的概周期解 被引量：10

15

作者 黄振坤 陈凤德 《工程数学学报》 CSCD 北大核心 2004年第1期33-40,共8页

讨论了具有无穷时滞反馈控制的两种群竞争模型 ,通过利用微分不等式和构造适当的Lyapunov函数 。

关键词 无穷时滞 反馈控制 概周期解 LYAPUNOV函数

在线阅读 下载PDF 职称材料

分布并行的分形视频压缩技术 被引量：4

16

作者 王美清 郑守淇 《计算机工程与应用》 CSCD 北大核心 2002年第11期50-52,共3页

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

关键词 分形 视频图像压缩 图像匹配 图像编码

在线阅读 下载PDF 职称材料

一类集值映像方程的若干问题的研究 被引量：2

17

作者 黄建华 江巧洪 《工程数学学报》 CSCD 北大核心 2002年第4期57-62,共6页

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

关键词 集值映像方程 多值严格集压缩场 不动点指数 拟可微 方程正解 多正解 固有元

在线阅读 下载PDF 职称材料

Banach空间上的q-框架与p-Riesz基的稳定性 被引量：13

18

作者 朱玉灿 《数学年刊（A辑）》 CSCD 北大核心 2001年第3期359-364,共6页

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

关键词 Q-框架 p-Riesz基 稳定性 BANACH空间 对偶空间 线性算子 Riesz界

在线阅读 下载PDF 职称材料

Ezeilo概周期解存在性定理的推广 被引量：2

19

作者 陈凤德 史金麟 《应用数学》 CSCD 1999年第3期11-14,共4页

本文利用指数型二分性理论讨论了一般高维概周期系统的概周期解的存在性和唯一性。

关键词 概周期解 指数型二分性 Ezeilo概周期解 存在性

在线阅读 下载PDF 职称材料

一种带约束条件的关联规则频繁集挖掘 被引量：4

20

作者 陈晓云 《计算机工程与应用》 CSCD 北大核心 2003年第2期205-208,共4页

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

关键词 约束条件 关联规则 频繁集挖掘 数据挖掘 数据库

在线阅读 下载PDF 职称材料