检索结果-南通市图书馆

数学学报（中文版） 2008年第1期51卷 115-122页

作者：王培合沈纯理曲阜师范大学数学科学学院曲阜273165 华东师范大学数学系上海200062

紧致流形上Laplacian的第一特征值的下界估计一直以来是人们非常感兴趣的问题之一.本文在整体曲率Pinching较小的条件之下考虑这个问题,得到了相应几何条件之下的Laplacian第一特征值的一个下界估计.

关键词： Moser迭代第一特征值结点集结点域

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

网树状图象识别的数学模型

华中工学院学报 1980年第4期 23-28页

作者：周冠雄胡必锦

本文把图论的思想引入模式识别,在某种程度上解决了一类模式的识别问题。在满足对预处理通常所要求的条件下,提出了网树状图象的特征矩阵及特征向量的概念,从而给出了识别网树状图象的数学模型及算法,并证明了其与图象对应关系的若干结果。

关键词：图象识别结点集周冠图形识别模式识别特征矩阵树状图特征向量本征向量排序变换连接关系数学模型试验模型

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关于传递闭包算法的研究

山东大学学报(工学版) 1984年第2期 52-58页

作者：仲肇铭

本文分两部分:(一)对计算B~+的某些算法作了具体评价,特别论证了L=1的n阶布尔方阵并非特例,而是普遍存在的。(二)当n≤30时,给出了计算B~+的两个简单有效的算法。

关键词：布尔矩阵算法传递闭包所有方阵有向树结点集

一类含时间因素的 Petri 网及其在工程上的应用

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

应用数学学报 1987年第3期 289-299页

作者：吴哲辉王美琴山东矿业学院

Petri 网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型.一个Petri 网实质上是一个带标识的有向偶图.有向偶图描述系统的静态结构,而标识指出系统所处的状态.当一个 Petri 网的标识按一定规律发生变化时,就形象地模拟了... 详细信息

Petri 网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型.一个Petri 网实质上是一个带标识的有向偶图.有向偶图描述系统的静态结构,而标识指出系统所处的状态.当一个 Petri 网的标识按一定规律发生变化时,就形象地模拟了系统的动态行为.自1962年被提出以来,Petri 网理论得到了迅速的发展和广泛的应用.如今,Petri网已被用作对大型操作系统、分布式数据库、通讯协议、并行程序以及许多计算机系统进行分析和设计的手段.此外,在化学、工程技术、法律及其他领域里,也不乏 Petri 网应用的实例.

关键词：一网最短时间网模型关联矩阵结点集 Petri 时间因素

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

用Petri网模拟Turing机

电子科技大学学报 1981年第4期 18-26页

作者：江明德

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。由于Turing机的带子是潜在无穷长的,因而所用的Petri网的p结点集和t结点集也不可能是有限的,该Petri网将是无限的ZP网[1](具禁止弧的Petri网)。

关键词：禁止弧信息变换结点集 Turing Petri 定义影卷起始状态

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

生成平面区域三角网格的一种算法

数值计算与计算机应用 1988年第3期 144-152页

作者：田春松胡健伟南开大学

§1.概述对区域进行三角剖分是实现有限元方法中必不可少的一步,但它往往导致使用者填写大量的网格信息,不仅过程繁琐、耗费人力,而且难以保证数据的准确性。为了减少有限元方法在前处理上所花费的代价,用计算机来实现区域的自动剖分... 详细信息

§1.概述对区域进行三角剖分是实现有限元方法中必不可少的一步,但它往往导致使用者填写大量的网格信息,不仅过程繁琐、耗费人力,而且难以保证数据的准确性。为了减少有限元方法在前处理上所花费的代价,用计算机来实现区域的自动剖分是十分必要的。目前已有不少讨论有限元网格自动生成的文章。Thacker已有文总结了八十年代

关键词：三角网格小单元顶点三角剖分平面区域有向距离内结点结点集算法正则性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

论函数式程序设计语言的固有并行性

小型微型计算机系统 1983年第1期 1-9页

作者：江明德成都电讯工程学院

本文旨在探明函数式程序设计(FP)语言这类非常高级语言所固有的表达并行计算的能力。先形式地引入图程序这样一类具有高度并行性、构造性和递归性的程序(熟知的数据流程序仅仅是它的一种简单特例)。之后,形式地论述了“FP语言能够表达... 详细信息

本文旨在探明函数式程序设计(FP)语言这类非常高级语言所固有的表达并行计算的能力。先形式地引入图程序这样一类具有高度并行性、构造性和递归性的程序(熟知的数据流程序仅仅是它的一种简单特例)。之后,形式地论述了“FP语言能够表达图程序”,而且表达得较为自然。

关键词：函数程序结点集 FP 数据类型定义并行性

串行FORTRAN向量化时凝聚识别图的规范化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

哈尔滨工业大学学报 1984年第3期 37-44页

作者：王国鸣哈尔滨工业大学计算机软件教研室

文[2]提出了一种将串行FORTRAN内层DO循环向量化的方法,在运用这种方法对串行FORTRAN程序向量化时,要把识别图规范化,本文在文[2]的基础上,提出了凝聚识别图和强最大路长的概念,根据图中各点的强最大路长即可很方便地将凝聚识别图规范... 详细信息

文[2]提出了一种将串行FORTRAN内层DO循环向量化的方法,在运用这种方法对串行FORTRAN程序向量化时,要把识别图规范化,本文在文[2]的基础上,提出了凝聚识别图和强最大路长的概念,根据图中各点的强最大路长即可很方便地将凝聚识别图规范化。本文作者用BASIC语言编出了程序,且已在机器上通过,并对文中的例子作了实际验证。

关键词：结点集一般点内层 DO FORTRAN 矩阵数学分析时序图预备定理源点入度向量化所有

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关于联结集合的一个定理

厦门大学学报(自然科学版) 1979年第3期 21-26页

作者：黄重器龙岩师范大专班

关于联结拓朴空间上的联结点集,有下面这样一个定理: 定理（*）假定A是联结拓朴空间T上的联结点集,那么,对T—A的每个成分θ,T—θ联结。这定理的逆一般当然不成立,例如文末举的例子。不过,这里要在单黏连（unico-herent）的局部联结... 详细信息

关于联结拓朴空间上的联结点集,有下面这样一个定理: 定理（*）假定A是联结拓朴空间T上的联结点集,那么,对T—A的每个成分θ,T—θ联结。这定理的逆一般当然不成立,例如文末举的例子。不过,这里要在单黏连（unico-herent）的局部联结的尺度空间上证明这定理的逆定理。

关键词：定理开集结点集

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

化工流程的拓扑分析程序

上海化工学院学报 1979年第Z1期 29-38页

作者：居德华

对化工流程的拓扑分析,提出了一种改进算法,并用ALGOL 60语言编写了程序。在识别部份,作者通过对比研究选用可达矩阵技术,使存贮量和计算时间都有显著压缩。在最佳切流的选择上,提出了两种启发式方法:一种以最小权重因子作判据,一种用... 详细信息

对化工流程的拓扑分析,提出了一种改进算法,并用ALGOL 60语言编写了程序。在识别部份,作者通过对比研究选用可达矩阵技术,使存贮量和计算时间都有显著压缩。在最佳切流的选择上,提出了两种启发式方法:一种以最小权重因子作判据,一种用于避免“二次切断”。方法的特点是简单有效,很容易编写程序,可分解结点数达700个的大系统,程序本身可用作为化工模拟系统的拓扑分析模块。

关键词：可达矩阵切流所有改进算法结点集邻接矩阵输出流对角元素结点数单元模块行向量拓扑分析消去排序表输入流程序