动态构造相关论文
线性时态逻辑（LTL）是目前被广泛应用的系统性质规范语言,被应用在模型检查、程序综合等领域。本文主要讨论的是有限线性时态逻辑公式......
数据挖掘(Data Mining)作为数据库研究领域中的热点,正受到越来越多的关注,其任务是从大量数据中发现有用的数据,提取隐含在其中的......
为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求,提出一种基于两阶段规划模型的跨域服务流程动态构造方法.......
P2P网络是一个动态网络,静态模型并不适用于构造P2P网络。针对目前的动态模型都存在一定局限性,不能够根据需要调节不同的网络特征......
当路段的位置关系很复杂时，加权网络Voronoi图是很难构建的。在传统的算法中，计算对象之间的距离必须选择最小距离为共同边界的权数，......
乘权Voronoi图由于权值的设定公式非常复杂,因此通常很难构造。在传统的算法中,当生成元或乘积发生改变时,程序运行会异常复杂。乘......
在动态构造的网络管理中,管理功能与被管对象的关联机制是核心关键技术.这种关联机制采用被管对象集MOS(Managed Objects Sets)的......
随着互联网规模的不断扩大和网络应用的日益丰富,传统网管已经难以适应对大型、异构、动态变化的网络和种类繁多的网络应用的管理......
乘权Voronoi图由于权值的设定公式非常复杂,在传统的算法中,当生成元或乘积发生改变时,程序运行会异常复杂。本文给出了乘权Vorono......
期刊
本文提出了物流园区选址的点和直线段加权Voronoi图的界定模型,改进了加权Voronoi图的以往局限性,实现了物流系统内空间服务范围的......
序列构造神经网络是一种新的神经网络的方法模型,是基于神经网络中神经元的动态构造技术来构建的。这种方法模型更加符合机器对数......
本文提出了物流园区选址的点和直线段加权Voronoi图的界定模型,改进了加权Voronoi图的以往局限性,实现了物流系统内空间服务范围的......
２０世纪汉字结构的理论研究余延作为汉字结构研究两个主要方面的理论研究与实践考察，长期以来形成了畸轻畸重的不平衡局面。本世纪大量......
介词作为一种古老的词类,很早就受到了语言学界的关注。生成语法、格语法等理论均对介词进行过研究,然而由于这些理论以句法为中心......
继面向服务计算(SOC)和面向服务体系结构(SOA)发展出一系列网络服务技术之后,新兴的云计算正在加速软件资源的服务化和虚拟化进程,......
针对图片数据的分类问题,从动态构造网络的思想出发,讨论了序列构造神经网络的基本方法,并且把其应用于图片分类中,最后给出标准测......
平原裂陷区内的基底构造运动所导致的地表垂直、水平形变,是通过大地测量进行定量描述的。本文根据华北平原裂陷区大地测量资料,结......
