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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

该文研究扰动系统 .

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

非自治系统的拓扑线性化

9

作者 邹长武 蔡国财 《厦门大学学报（自然科学版）》 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 职称材料

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

10

作者 张剑峰 《数学年刊（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 职称材料

高阶奇异积分的小波逼近及数值计算 被引量：7

11

作者 陈泽文 王传荣 朱玉灿 《数学物理学报（A辑）》 CSCD 北大核心 2002年第2期281-288,共8页

该文所讨论的是在 H adamard主值意义下 ,高阶奇异积分(Sf ) (t) =∫ f (x)(x - t) n+ 1dx,　　 n≥ 1的小波逼近及数值计算 .特别是当小波函数未知时 ,借助于方程 (3.1) ,对高阶奇异积分作数值计算 。

关键词 奇异积分 HADAMARD主值 小波 勒让德多项式

在线阅读 下载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)是概自守函数和回复函数时也成立 .

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

全文增补中

基于区域小波统计特征的遥感图像融合方法 被引量：6

15

作者 曾宇燕 何建农 《计算机工程》 CAS CSCD 北大核心 2011年第19期198-200,共3页

提出一种基于区域小波统计特征的遥感图像融合方法,对多光谱图像的I分量与直方图匹配后的高分辨率图像进行小波变换融合。对分解后的低频分量采用加权平均的融合规则,高频分量则根据其区域的小波系数特征,采用基于区域方差匹配度的融合... 提出一种基于区域小波统计特征的遥感图像融合方法,对多光谱图像的I分量与直方图匹配后的高分辨率图像进行小波变换融合。对分解后的低频分量采用加权平均的融合规则,高频分量则根据其区域的小波系数特征,采用基于区域方差匹配度的融合规则。对SPOT多光谱图像和高分辨率图像进行融合实验,并利用信息熵和相关系数对融合结果进行客观评价与比较分析。仿真实验结果表明,基于区域小波统计特征的融合方法能达到较好的融合效果。 展开更多

关键词 直方图匹配 小波变换 区域特征 方差匹配度 图像融合

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载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 职称材料

一种时间分数阶扩散方程初边值问题的隐式有限差分格式 被引量：4

19

作者 陈春华 卢旋珠 《东华理工学院学报》 CAS 2006年第3期289-293,共5页

通过Caputo型与G runwald型的分数阶导数的转化关系以及利用G runwald型的标准数值近似公式对Caputo型分数阶导数进行离散,可构建时间分数阶扩散方程初边值问题的隐式有限差分格式。此差分格式是无条件稳定和无条件收敛的。

关键词 时间分数阶扩散方程 差分格式 稳定性 收敛性

在线阅读 下载PDF 职称材料

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

20

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

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

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

在线阅读 下载PDF 职称材料