检索结果-内蒙古大学图书馆

软件学报 2001年第2期12卷 241-248页

作者：李必信李宣东郑国梁南京大学计算机软件新技术国家重点实验室

提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出... 详细信息

提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出了构造面向对象系统依赖图的一般算法以及应用分析 .

关键词：系统依赖图构造算法程序分析程序切片面向对象

来源：评论

学校读者我要写书评

暂无评论

紧支撑二元正交小波滤波器的构造

引用

应用数学学报 2004年第2期27卷 246-253页

作者：杨建伟程正兴郭秀兰西安交通大学理学院

高维小波是处理多维信号的有力工具,张量积小波有其自身的缺点。本文给出矩形域上二元正交小波滤波器的一种参数化构造算法,二元小波滤波器的这种构造方法使我们能更方便地研究非张量积的二元正交小波。最后给出算例。

关键词：高维小波紧支撑滤波器构造算法数学归纳法

来源：评论

学校读者我要写书评

暂无评论

一种基于粗集理论的概念格构造方法

引用

华中师范大学学报（自然科学版） 2001年第2期35卷 146-149页

作者：邹先霞杜威魏长华华中师范大学计算机科学系人工智能研究所武汉430079 广东省司法管理干部学院技术系广州510232

概念格是数据分析与规则提取的一种有效工具 .但是在实际应用中由于需要处理的数据是海量的 ,使得直接基于概念格上提取规则的冗余度过大 ,造成机器计算时间和空间的浪费 .而粗集理论在数据预处理和不确定性规则提取等方面表现出很强的... 详细信息

概念格是数据分析与规则提取的一种有效工具 .但是在实际应用中由于需要处理的数据是海量的 ,使得直接基于概念格上提取规则的冗余度过大 ,造成机器计算时间和空间的浪费 .而粗集理论在数据预处理和不确定性规则提取等方面表现出很强的优势 .因此 ,为了减少人力物力的浪费 ,本文提出了一种应用粗集理论构造概念格的算法。

关键词：概念格粗集理论知识约简数据分析规则提取构造算法

来源：评论

学校读者我要写书评

暂无评论

构造性层状神经网络集成方法

引用

计算机工程与应用 2008年第18期44卷 41-43页

作者：徐敏南通大学计算机科学与技术学院江苏南通226019

在分析构造性神经网络集成和层状神经网络集成方法的基础上,提出了一种构造性层状神经网络集成方法。该方法自动确定神经网络集成中成员神经网络的数目,以及成员神经网络的结构等。集成在保证成员神经网络精度的同时,又保证了成员网络... 详细信息

在分析构造性神经网络集成和层状神经网络集成方法的基础上,提出了一种构造性层状神经网络集成方法。该方法自动确定神经网络集成中成员神经网络的数目,以及成员神经网络的结构等。集成在保证成员神经网络精度的同时,又保证了成员网络之间的差异度。用户只需要简单定义一些参数,就可以构造出性能较好的神经网络集成。

关键词：神经网络集成层状模型构造算法

来源：评论

学校读者我要写书评

暂无评论

多维状态驱动的需求工程过程方法研究

引用

四川大学学报（工程科学版） 2007年第S1期39卷 32-36页

作者：郭树行兰雨晴金茂忠北京航空航天大学计算机学院北京100083

采用适用的过程模型有助于保证需求过程的需求开发效果。然而构造新过程模型仍然是一项富有挑战性的任务,即便对已有通用过程模型进行定制也需要大量的工作。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需... 详细信息

采用适用的过程模型有助于保证需求过程的需求开发效果。然而构造新过程模型仍然是一项富有挑战性的任务,即便对已有通用过程模型进行定制也需要大量的工作。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需求过程模型。多维需求过程模型的构造方法能够有效支持过程定义和定制。总结了已有多维需求过程模型的构造方法现状;针对其存在的不足,进一步提出了一种多维状态驱动的需求工程过程方法(multi-dimension State-Driven Requirement Engineerlng Pricess Method)SDREPM,并给出了SDREPM方法的形式化定义和基于SDREPM的过程模型构造算法。最后给出了SDREPM方法在实际项目中的一个应用实例。

关键词：多维度状态驱动方法需求工程过程构造算法向量代数

来源：评论

学校读者我要写书评

暂无评论

与给定的多边形相切的闭(C^2-连续)Bézier曲线

引用

计算数学 1991年第1期13卷 34-37页

作者：方逵国防科大应用数学系

Bezier曲线已广泛应用到汽车、航空、造船等许多工业领域中.[1]描述了以给定凸多边形的所有边为切线的.平面三次分段C^2-连续的闭Bezier曲线的构造,并且给出了实际应用. [1]描述的算法有如下缺点:(a)需要解一个大型线性方程组,计算量很... 详细信息

Bezier曲线已广泛应用到汽车、航空、造船等许多工业领域中.[1]描述了以给定凸多边形的所有边为切线的.平面三次分段C^2-连续的闭Bezier曲线的构造,并且给出了实际应用. [1]描述的算法有如下缺点:(a)需要解一个大型线性方程组,计算量很大;(b)

关键词： Bezier曲线凸多边形构造算法

来源：评论

学校读者我要写书评

暂无评论

控制网络协议的实时性能分析与应用研究

控制网络协议的实时性能分析与应用研究

引用

作者：茹锋西安交通大学

学位级别：博士

论文的主要内容包括四大部分:控制网络协议实时性能的Petri网形式化分析理论及相关理论拓展研究;控制网络典型协议的实时性能分析计算及分类比较;基于实时性能优化的控制网络介质访问层协议改进研究;控制网络异构协议转换器的综合设计研... 详细信息

论文的主要内容包括四大部分:控制网络协议实时性能的Petri网形式化分析理论及相关理论拓展研究;控制网络典型协议的实时性能分析计算及分类比较;基于实时性能优化的控制网络介质访问层协议改进研究;控制网络异构协议转换器的综合设计研究.论文系统研究了随机Petri网在性能分析领域的基本理论和方法,完善了各种特殊功能弧的定义,在广义随机Petri网(GSPN)和着色随机Petri网(CSPN)基础上,提出了两种拓展模型:拓展随机Petri网模型(EDSPN)和拓展着色随机Petri网模型(EDCSPN),给出了相应的模型求解算法.论文针对控制网络协议实时性能参数指标,给出了基于拓展随机Petri网模型的协议实时性能分析计算方法,并进一步提出了基于层次分解思想的性能参数简化计算方法.论文采用面向对象的程序设计方法,结合Matlab仿真实验工具,设计出了拓展随机Petri网性能仿真分析工具软件.协议的性能分析是协议实时性能改进和优化的基础,为此,针对控制网络典型的几种现场总线协议的实时性能,论文进行了深入的分析和研究,给出了分类比较的分析结果,总结了各种协议的性能特点和存在问题.在分析目前各种协议中存在的缺陷和共性问题基础上,论文提出了基于负载检测机制的控制网络介质访问(MAC)层改进协议,详细分析了改进协议的切换机制,建立了协议的随机Petri网仿真模型,并给出了协议的软硬件设计实现方法.?针对控制网络多种协议标准共存这一事实,论文对异构协议转换问题作了深入的研究,提出了基于EDSPN模型的异构协议转换器综合设计方法,给出了重要信息对偶集合的随机Petri确定算法和协议并行组合的构造算法.

关键词：控制网络现场总线随机Petri网实时性能异构协议转换 EDSPN模型构造算法

来源：评论

学校读者我要写书评

暂无评论

OTIS（Swapped）网络及Biswapped网络容错性与并行路算法研究

OTIS（Swapped）网络及Biswapped网络容错性与并行路算法研究

引用

作者：陈卫东华南理工大学

学位级别：博士

互连网络中构造点不相交路径（即并行路）是并行与分布式系统设计与实现的基本问题之一。根据Menger的定理，连通度为k的网络中任两不同节点之间存在至少有k条并行路。对于一般的网络，找出其中两节点间最大数目的并行路一般使用时间复... 详细信息

互连网络中构造点不相交路径（即并行路）是并行与分布式系统设计与实现的基本问题之一。根据Menger的定理，连通度为k的网络中任两不同节点之间存在至少有k条并行路。对于一般的网络，找出其中两节点间最大数目的并行路一般使用时间复杂度为O（N3）的最大流方法，其中Ⅳ是网络的规模。如果进一步要求所构造的并行路的最大长度或平均长度达到最小，则问题是NP-hard的。评价并行路构造算法的性能指标通常包括时间复杂度和所得并行路的长度。\n OTIS（Optical Transpose Interconnection Systems）网络--也称作Swapped网络，是一类两层结构的网络，可使用任意图作为因子网络来构建复合网络。因子网络之间的简单交换互连规则使得OTIS网络具有规则性、模块化、容错性、算法高效等优点，因而近年来受到广泛关注，是少数被实现的互连网络体系结构之一。为了弥补OTIS网络结构的不对称性，肖文俊教授最近提出了一类新的两层复合网络即Biswapped网络（简称为BSN）。BSN中因子网络之间的互连规则与OTIS网络中的类似，但要更为一致，这使得在许多方面BSN的性能更好。针对OTIS网络和BSN这些一般复合网络方案的性能分析结论和设计的算法适用于这类网络中的每个具体网络。\n 目前，OTIS网络的研究集中于OTIS网络如何继承其因子网络的特性（如Hamilton圈性等）以及如何利用因子网络中的算法来设计OTIS网络中的相应算法。Sahni和Parhami等人在这方面做了许多研究。Day和Al-Ayyoub的最新研究表明，极大容错的因子网络构建的OTIS网络也是极大容错的，并根据因子网络中并行路的构造得到相应OTIS网络中的并行路的构造。\n 本文旨在获得OTIS网络的容错性和并行路构造算法的普遍性结果，即得到与因子网络无关的一般容错性质和有效构造并行路的一般方法。基本研究思路就是利用OTIS网络的互连规则，直接构造OTIS网络中任两不同节点之间的最大数目的并行路，由此得出任意OTIS网络的连通度（容错性）和构造并行路的有效算法，最后将这些研究推广到BSN上。论文主要研究工作如下：\n 1、提出构造两点间最大数目并行路的一般方法，由此证明连通OTIS网络一定是极大容错的，而与因子网络的容错性无关。所得结论及算法具有理论意义。其一，极大容错性的证明及相应的并行路构造方法具有一般性，适用于由任意的连通因子网络构建的OTIS网络，这改进并推广了前人的相关结论及算法。其二，确定了任意OTIS网络的连通度。其三，首次表明OTIS网络享有某种与因子网络无关的新的理想特性（如极大容错性），这与以往文献中集中于研究OTIS网络如何继承因子网络的理想特性是完全不同的。此外，为了进一步探讨OTIS网络的容错性，本文中还引入比极大容错性更强的一致极大容错性的概念，并获得了OTIS网络是一致极大容错的充要条件。\n 2、分别设计了在任意的连通OTIS网络中构造点到点（Node-to-Node）并行路和点到点集（Node-to-Set）并行路的一般算法。对算法时间复杂度和所构造的并行路长度进行理论分析，表明这些算法是有效的，具有实用价值。\n 3、证明BSN继承因子网络的点传递性，这推广了BSN继承因子网络的Cayley图特性的结论；证明任意的连通BSN具有一致极大容错性，设计了点到点（Node-to-Node）并行路的一般算法。\n 4、以图同态和同构为工具，研究了BSN、OTIS网络、笛卡尔积网络结构间的关系。

关键词：互连网络连通度极大容错性并行路算法点不相交路径构造算法

来源：评论

学校读者我要写书评

暂无评论

快速自底向上构造神经网络的方法

引用

数学的实践与认识 2004年第9期34卷 114-118页

作者：杨钟瑾史忠科西北工业大学自动化学院陕西西安710072

介绍了一种构造神经网络的新方法 .常规的瀑流关联 (Cascade-Correlation)算法起始于最小网络(没有隐含神经元 ) ,然后逐一地往网络里增加新隐含神经元并训练 ,结束于期望性能的获得 .我们提出一种与构造算法 (Constructive Algorithm)... 详细信息

介绍了一种构造神经网络的新方法 .常规的瀑流关联 (Cascade-Correlation)算法起始于最小网络(没有隐含神经元 ) ,然后逐一地往网络里增加新隐含神经元并训练 ,结束于期望性能的获得 .我们提出一种与构造算法 (Constructive Algorithm)相关的快速算法 ,这种算法从适当的初始网络结构开始 ,然后不断地往网络里增加新的神经元和相关权值 ,直到满意的结果获得为止 .实验证明 ,这种快速方法与以往的常规瀑流关联方法相比 ,有几方面优点 :更好的分类性能 ,更小的网络结构和更快的学习速度 .

关键词：自底向上构造算法神经网络权值学习速度网络结构快速算法神经元常规增加

来源：评论

学校读者我要写书评

暂无评论

一种新的自动机构造理论（PFA）

一种新的自动机构造理论（PFA）

引用

作者：敬茂华东北大学

学位级别：博士

正则表达式灵活、高效,具有极其强大的表达能力,在众多领域被广泛应用。在基于正则表达式为模式描述工具的应用中,需要将正则表达式转换成与之等价的有限状态自动机,运行自动机来实现应用。将给定的正则表达式转换成等价的有限状态自动... 详细信息

正则表达式灵活、高效,具有极其强大的表达能力,在众多领域被广泛应用。在基于正则表达式为模式描述工具的应用中,需要将正则表达式转换成与之等价的有限状态自动机,运行自动机来实现应用。将给定的正则表达式转换成等价的有限状态自动机称为自动机构造。通常从两个方面来评价构造理论的有效性:一是其所获得的自动机的规模,其规模越小越好:另一个是构造算法本身的算法复杂性,其复杂性越低越好。论文提出了一种新的自动机构造理论和方法,并将其命名为PFA:Postfix Automata。PFA理论包含了最基本的定义及概念,确保理论完备性和正确性的各种定理和定律。论文给出了定理和定律正确性和有效性的证明,分析了 PFA构造算法计算复杂性;提出了利用PFA构造正则引擎的一套方法和算法;研究了将NFA转换成DFA的算法,提出了一种优化的NFA确定化为DFA的算法;并将PFA方法在FPGA硬件正则引擎上进行仿真。理论计算科学是计算机科学的根本和基石,形式语言与自动机理论在理论计算科学中占据着极其重要的地位,尤其是有限状态自动机和正则表达式,在自然语言理解、模式识别、交换理论、自动控制、编译器构造、蛋白质序列比对、光学字符识别、数据压缩及加密处理、通信协议分析等各种领域得到了广泛的应用。有限自动机理论所研究的内容包括正则文法及正则集、有限自动机的性质及其可判定性原理、正则表达式与有限自动机的等价性、正则表达式与有限自动机之间的等价互转换、不确定的有限自动机的确定化以及确定的有限自动机的最小化处理、构造有限自动机的算法及其复杂性分析等。这里的等价是指它们所表示或识别的是相同的正规语言。这些基础理论的研究及成果对正则表达式和有限自动机在各个领域的应用都有着重要的理论指导意义。执行模式匹配的有限自动机称为正则引擎。正则引擎的效率低下,是正则表达式和有穷自动机技术和应用中亟需解决的迫切问题。国内外大量专家和学者都在研究如何有效提高正则引擎匹配效率的问题,提出了规则改写、分组匹配、状态合并、混合自动机等多种能在一定程度上改善大规模正则表达式应用效率的方法和措施。在众多针对正则引擎效率的研究方法中,从有限自动机本身的理论入手,通过有效地减少有限自动机的规模的途径来提升正则引擎的效率,是一种能够从根本上解决正则引擎瓶颈问题的研究方法和途径。本文提出了一套新的自动机构造理论和算法,从基础理论着手,从根本上解决各种基于正则表达式的模式匹配技术和应用中的效率低下问题。本文首先给出了 PFA理论所包含的基本概念和定义,然后提出了一套完备的定律,包括规模最小性定理、恒等元定理、幂等律和吸收律,这些定理和定律保证了 PFA理论中运算的封闭性和正则性,也就保障了理论的正确性和完备性。基于上述基本概念和定理,本文提出了一系列的构造算法,论证了算法的正确性和有效性,对比分析了算法的计算复杂度。正则表达式和有限自动机技术在各个领域都得到了广泛的应用,本文所提出的PFA理论及其系列算法和方法,适用于任何采用正则表达式作为模式描述工具运行其等价自动机实现应用的各种领域。本文从有限自动机构造算法本身的理论和原理出发,围绕如何能够采用更加简单的方法来构造出更小规模的有限自动机的核心问题展开一系列的研究,最终达到从根本上简化正则引擎的实现、提升正则引擎匹配效率的最终目的。本文的研究工作和贡献主要体现在如下几个方面:(1)深入研究了已有的4大类自动机构造算法的原理及优缺点,提出了一种全新的自动机构造理论——PFA理论。PFA是一套完备、有效的有限自动机构造理论,规模最小性定理、恒等元定理、幂等律和吸收律这四个定理或定律从数学理论上证明了 PFA在将正则表达式转换成NFA的过程中所有操作的封闭性、正则性和同态性,从而也就证明了理论的正确性和完备性,以及这套理论在等价同态转换过程中对自动机规模压缩的有效性。(2)由于自动机的规模直接影响到正则引擎的效率。针对有效地减少自动机规模的问题,提出了一种基于后缀解析树的优化编码算法。该算法能够在保证同态性和封闭性的前提下,有效地缩减自动机的状态数目,并且能够非常简单地实现对状态的标识。状态标识的处理尽管简单并且看似与状态合并和空间压缩无关,实际上却直接实现了等价状态的合并和冗余转换弧的消除。由于自动机构造算法本身的难易程度影响了 IDS、IPS、DPI等众多系统中正则引擎的实现。针对算法本身尽可能简单易于实现的问题,提出了基于后缀编码树遍历操作来构造规模更小的有限状态自动机的算法。该算法不但算法本身的时间空间复杂度较现有的各种自动机构造算法要小,并且能够获得比当前实践中最常用的Thompson构造法和Glushkov构造法规模更小的自动机,一般情况下,该算法能够获得接近当前规模最小的后跟自动机构造法的自动机的规模。(3)折中NFA引擎和DFA引擎的优缺点,采用混合正则引

关键词：有限状态自动机正则表达式构造算法 PFA FPGA

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：