基于模糊数学的数字图像模糊度 被引量：20

1

作者 徐锬 王超 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期747-749,共3页

图像的品质评定是图像处理领域的一项重要课题 ,难以对其给出客观的评价 .文中引进模糊数学中的三角模算子与非模糊基数等概念 ,定义了数字图像模糊度 .理论与实验表明 :该定义比模糊指数更符合人眼的视觉特性 ,并可用于评价图像品质 .

关键词 模糊数学 数字图像 模糊度 数字图像处理 计算机 非模糊基数 三角模算子

在线阅读 下载PDF 职称材料

产品需求种类不确定条件下制造柔性价值研究 被引量：1

2

作者 朱少英 徐渝 薄立军 《运筹与管理》 CSCD 2008年第5期141-145,共5页

将Karsak&Ozogul的产品需求数量不确定条件下的制造柔性价值模型推广为产品需求种类不确定性条件下的制造柔性价值模型,并把不确定源服从几何布朗运动的假设条件放松到服从随机微分方程的一般情形。通过构建产品需求种类不确定性条... 将Karsak&Ozogul的产品需求数量不确定条件下的制造柔性价值模型推广为产品需求种类不确定性条件下的制造柔性价值模型,并把不确定源服从几何布朗运动的假设条件放松到服从随机微分方程的一般情形。通过构建产品需求种类不确定性条件下制造柔性价值的数学模型,对不确定性因素进行了比较静态分析,并给出了一个实例分析。结果表明:制造柔性价值随着产品需求种类不确定性增加而增加。 展开更多

关键词 制造柔性 价值 转换期权 产品需求种类 不确定性

在线阅读 下载PDF 职称材料

一类代数免疫度达到最优的布尔函数的构造 被引量：8

3

作者 孟强 陈鲁生 符方伟 《软件学报》 EI CSCD 北大核心 2010年第7期1758-1767,共10页

给出了一种具有最优代数免疫度的偶数元布尔函数的构造,同时还给出了一种具有最优代数免疫度的平衡旋转对称偶数元布尔函数的构造.在构造过程中用到了线性代数和组合计数中的有关结论,这些函数对代数攻击均有很强的抵抗能力.构造的平衡... 给出了一种具有最优代数免疫度的偶数元布尔函数的构造,同时还给出了一种具有最优代数免疫度的平衡旋转对称偶数元布尔函数的构造.在构造过程中用到了线性代数和组合计数中的有关结论,这些函数对代数攻击均有很强的抵抗能力.构造的平衡旋转对称布尔函数还可用在Hash算法的轮函数中,增加了算法的安全性. 展开更多

关键词 代数攻击 代数免疫度 非线性度 旋转对称 布尔函数

在线阅读 下载PDF 职称材料

数据依赖的蕴涵问题 被引量：4

4

作者 胡久稔 李星野 《小型微型计算机系统》 EI CSCD 北大核心 1995年第12期38-43,共6页

本文介绍数据库理论中重要的多值依赖，连接依赖和生成元组依赖及其蕴涵问题，同时给出了比较全面和新的研究进展。

关键词 多值依赖 数据库 数据依赖 逻辑蕴涵

在线阅读 下载PDF 职称材料

具有奇性的非线性椭圆方程的边值问题 被引量：2

5

作者 孙义静 吴绍平 《数学年刊（A辑）》 CSCD 北大核心 2000年第4期427-436,共10页

本文研究奇异椭圆方程的边值问题．利用变分方法和锥理论中的混合单调方法，证明了奇异方程正解的存在性。

关键词 混合单调 非线性椭圆型方程 边值问题 奇性

在线阅读 下载PDF 职称材料

运用同伦连续法求解二阶时标边值问题 被引量：1

6

作者 卢秀双 常小军 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2010年第6期949-950,共2页

用同伦连续法证明了时标动力学边值问题的连续性定理,并给出了寻找解的全局收敛方法.

关键词 连续性定理 同伦映射 动力学方程 时标

在线阅读 下载PDF 职称材料

具有较一般分支特征的超布朗运动轨道性质 被引量：1

7

作者 郭军义 《数学年刊（A辑）》 CSCD 北大核心 1997年第6期673-686,共14页

本文研究具有较一般分支特征的超布朗运动｛Ｘ（ｔ）｝ｔ０的轨道性质．首先给出了它的一个击中概率的表达式，其次找到了它的支集蔓延速度的估计式及证明了支撑过程的右连续性，从而验证了Ｄａｗｓｏｎ，Ｄ．Ａ．

关键词 超布朗运动 模连续性 支集 分支特征 轨道性质

在线阅读 下载PDF 职称材料

次线性可逆系统的Aubry-Mather集 被引量：1

8

作者 汪小明 《数学年刊（A辑）》 CSCD 北大核心 2015年第4期355-366,共12页

通过引进合适的作用-角变量变换并结合新的估计方法,对次线性可逆系统的Poincare映射,应用推广的平面可逆系统的Aubry-Mather定理,在系统光滑性为C^1的情形下,获得了一类次线性可逆系统的Aubry-Mather集存在的充分条件.

关键词 次线性 可逆系统 Aubry—Mather集 无扭周期解

在线阅读 下载PDF 职称材料

一种改进的码书型边缘检测方法

9

作者 周杰 彭嘉雄 周性伟 《信号处理》 CSCD 北大核心 1996年第2期129-133,共5页

由于越来越多的图象数据采用压缩状态存储，为了减少运算量，研究直接从压缩状态进行图象分析受到了广泛的重视．文献[2]提出了这样一种方法一码书型边缘检测算法，通过对所谓“边缘码书”进行简单查表就能完成对矢量量化编码的图象数... 由于越来越多的图象数据采用压缩状态存储，为了减少运算量，研究直接从压缩状态进行图象分析受到了广泛的重视．文献[2]提出了这样一种方法一码书型边缘检测算法，通过对所谓“边缘码书”进行简单查表就能完成对矢量量化编码的图象数据的边缘检测．但其不足之处是检测效果不理想，不能达到实用要求．针对这一问题，本文提出一种改进的码书型边缘检测方法，实验结果证明其检测结果非常接近对解压缩图象进行边缘检测的理想效果，大大优于原来方法． 展开更多

关键词 边缘检测 图象压缩 矢量量化 图象编码

在线阅读 下载PDF 职称材料

奇异性核物理的现状与展望

10

作者 李磊 谭玉红 宁平治 《中国科学院研究生院学报》 CAS CSCD 2003年第1期85-91,共7页

奇异性核物理主要研究带奇异性(包含s夸克)的原子核系统.这个领域近年来有了长足的发展,大大深化了人们对物质结构和强相互作用的认识.指出奇异性核物理研究的重要意义,并从实验和理论两个方面简要介绍奇异性核物理的研究现状和研究方法。

关键词 奇异性核物理 超核 奇异夸克物质 奇异强子物质 奇异粒子 物质结构 原子核系统

在线阅读 下载PDF 职称材料

诱导推理的一种计算模型

11

作者 胡久稔 王克文 《小型微型计算机系统》 EI CSCD 北大核心 1996年第11期46-50,共5页

基子辩论推理模式，本文提出了诱导推理的一种计算模型，其特点简洁、直观，并且包含了多种现有的诱导框架。该诱导模型为常识推理的计算机实现提供了一种新的途径。

关键词 诱导推理 计算模型 人工智能

在线阅读 下载PDF 职称材料

Chandrasekhar方程之拉氏形式、Neother流及其反散射方程

12

作者 王均义 葛墨林 《南京大学学报（自然科学版）》 CAS CSCD 1989年第4期711-715,共5页

文中给出了Chandrasckhar方程的拉氏形式,由此导出了三种类型的Neother守恒流并将此方程化为手征形式,进而给出其反散射方程。

关键词 拉氏形式 Neother流 反散射方程

在线阅读 下载PDF 职称材料

Lagrange嵌入与余切丛上的Weinstein猜想

13

作者 卢广存 《数学年刊（A辑）》 CSCD 北大核心 1997年第2期159-162,共4页

本文首先证明了带边紧流形可Ｌａｇｒａｎｇｅ嵌入到某个辛流形中当且仅当它可几乎Ｌａｇｒａｎｇｅ浸入到该辛流形中，其次利用Ｇｒｏｍｏｖ的ｈ－原理证明一类辛流形（包括π－流形）的余切丛上Ｗｅｉｎｓｔｅｉｎ猜测成立．

关键词 余切丛 Weinstein猜想 拉格朗日嵌入 紧流形

在线阅读 下载PDF 职称材料

序佩特里(Petri)网计算能力分析 被引量：1

14

作者 王永革 《软件学报》 EI CSCD 北大核心 1993年第3期35-41,共7页

本文通过引进序Petri网的概念,定义了序Petri网计算机,最后讨论该机器的计算能力:它可以计算所有的一般递归函数。

关键词 PETRI网 序佩特里 计算能力 分析

在线阅读 下载PDF 职称材料

动力学压缩真空中的Van der Waals力 被引量：1

15

作者 景辉 解炳昊 《原子与分子物理学报》 CAS CSCD 北大核心 2000年第4期715-718,共4页

基于参数动力学过程产生的压缩效应 ,利用Millonni源理论方法研究了动力学压缩真空中VanderWaals力的性质及其与真空压缩的关系。所得结果表明 :VanderWaals力的性质依赖于真空压缩的程度 ;在一定的临界条件下 ,VanderWaals力由通常的... 基于参数动力学过程产生的压缩效应 ,利用Millonni源理论方法研究了动力学压缩真空中VanderWaals力的性质及其与真空压缩的关系。所得结果表明 :VanderWaals力的性质依赖于真空压缩的程度 ;在一定的临界条件下 ,VanderWaals力由通常的吸引性作用转化为排斥性作用。当压缩系数为零时 ,所得结果与通常文献完全一致。 展开更多

关键词 压缩真空 VAN der Waals力 动力学 量子化

在线阅读 下载PDF 职称材料

面向对象并发程序设计的基础理论

16

作者 胡国定 王永革 《计算机科学》 CSCD 北大核心 1993年第4期1-6,29,共7页

1.引言面向对象是一种程序设计方法学,面向对象的程序设计风范受到了国内外计算机专家的密切关注,各种面向对象的语言也应运而生。为了探讨面向对象的并发理论,对面向对象的基础理论进行研究势在必行,本文介绍的演员系统(Actor System)... 1.引言面向对象是一种程序设计方法学,面向对象的程序设计风范受到了国内外计算机专家的密切关注,各种面向对象的语言也应运而生。为了探讨面向对象的并发理论,对面向对象的基础理论进行研究势在必行,本文介绍的演员系统(Actor System)就是作为面向对象的基本模型而提出来的。我们的目标是建立一种并发模型,它将在并发结构中起到图灵机在冯·诺依曼体系结构中所起的作用。下面,先回顾一下各种计算模型,比较它们可作为通用并发计算模型的可能性。 展开更多

关键词 程序设计 面向对象

在线阅读 下载PDF 职称材料

G_(5,2)的同调群 被引量：1

17

作者 冯惠涛 《重庆工学院学报》 2007年第21期1-6,共6页

利用Witten复形计算了实Grassmann流形G5,2的同调群,从而给出该方法的一个非平凡的例子.

关键词 GRASSMANN流形 Morse函数 Witten复形 不变流形 连接轨线

在线阅读 下载PDF 职称材料

几个新的数据流模型

18

作者 李忠杰 胡久稔 《小型微型计算机系统》 CSCD 北大核心 1997年第12期59-65,共7页

数据流是一种与ｖｏｎＮｅｕｍａｎｎ计算机全然不同的新的计算模型，它是高度并行化的计算模型，然而由于其本身存在着一些问题，特别是数据通信问题，影响了它的发展。本文提出了几个新的数据流模型：时序通信模型、有限资源条件下的... 数据流是一种与ｖｏｎＮｅｕｍａｎｎ计算机全然不同的新的计算模型，它是高度并行化的计算模型，然而由于其本身存在着一些问题，特别是数据通信问题，影响了它的发展。本文提出了几个新的数据流模型：时序通信模型、有限资源条件下的处理器分配模型和一种结合数据流与控制流的机器模型。这些模型不但具有理论上的意义，对设计新的数据流机器亦有重要的现实意义。 展开更多

关键词 数据流 数据流模型 数据通信

在线阅读 下载PDF 职称材料

加速定理与函数分层

19

作者 徐书润 王永革 《软件学报》 EI CSCD 北大核心 1993年第4期38-43,共6页

本文引进一种O(F)—LOOP算子,通过该算子可对一般递归函数集进行分层,且该算子对应于计算复杂性中的加速定理,由此我们得到加速度理的定量描述。

关键词 加速定理 函数分层 程序

在线阅读 下载PDF 职称材料

传统数据流模型的分析及改进

20

作者 王永革 《软件学报》 EI CSCD 北大核心 1994年第3期43-48,共6页

数据流计算机作为新一代并行机迅速发展起来，但由于数据流模型本身的局限性，使得商用数据流机器的制造还难于普及．本文通过分析运算的操作字符与非操作字符，改进传统模型的点火规则、引入变量并拓广变量的概念，定义了粗粒度数据流... 数据流计算机作为新一代并行机迅速发展起来，但由于数据流模型本身的局限性，使得商用数据流机器的制造还难于普及．本文通过分析运算的操作字符与非操作字符，改进传统模型的点火规则、引入变量并拓广变量的概念，定义了粗粒度数据流模型ＣＤＦＭ（ＣｏａｒｓｅｇｒａｎｕｌａｒｉｔｙＤａｔａＦｌｏｗＭｏｄｅｌ）． 展开更多

关键词 数据流模型 并行计算机

在线阅读 下载PDF 职称材料