动态构造相关论文
线性时态逻辑(LTL)是目前被广泛应用的系统性质规范语言,被应用在模型检查、程序综合等领域。本文主要讨论的是有限线性时态逻辑公式......
提出了一种基于主动网络技术的动态构造的网络管理模型和与之对应的体系结构,这种新的管理模型将网络服务/应用看作一种网络软设备......
数据挖掘(Data Mining)作为数据库研究领域中的热点,正受到越来越多的关注,其任务是从大量数据中发现有用的数据,提取隐含在其中的......
Web服务增长迅速和动态变化使得从用户需求动态构造服务流程成为一项亟待解决的问题。针对此问题,提出一种面向用户需求的服务流程......
以形式背景的概念全体形成一个完备格这一理论基础设计算法;主要采用概念的外延交运算驱动其内涵更新并逐步生成概念格,并从理论上......
本文评述了有代表性的折半分治递归凸壳算法,并利用同构化凸壳构造基本定理提出效率更高的动态基线最大倾角的凸壳新算法.本新算法......
本文利用动态微液层模型对双组分混合物的沸腾换热现象进行了理论预测.本模型认为沸腾换热的机理主要是由于在气泡的周期生长......
实体数控仿真是CAD/CAM研究热点.构造实体螺纹是实体车削仿真中的难点,针对这一难点研究了实体螺纹的构造方法.实体螺纹构造分为动......
本文分析了现阶段指挥自动化系统中软件体系结构的局限性,给出了基于C/S/S(客户/应用服务器/服务器)架构的一种系统构造方法,旨在......
P2P网络是一个动态网络,静态模型并不适用于构造P2P网络。针对目前的动态模型都存在一定局限性,不能够根据需要调节不同的网络特征......
当路段的位置关系很复杂时,加权网络Voronoi图是很难构建的。在传统的算法中,计算对象之间的距离必须选择最小距离为共同边界的权数,......
乘权Voronoi图由于权值的设定公式非常复杂,因此通常很难构造。在传统的算法中,当生成元或乘积发生改变时,程序运行会异常复杂。乘......
在动态构造的网络管理中,管理功能与被管对象的关联机制是核心关键技术.这种关联机制采用被管对象集MOS(Managed Objects Sets)的......
随着互联网规模的不断扩大和网络应用的日益丰富,传统网管已经难以适应对大型、异构、动态变化的网络和种类繁多的网络应用的管理......
加利福尼亚南部横跨主要地壳构造板块边界。这个边界由圣安德烈断层和延伸主要地区的许多相关断层确定的。这一动态构造环境创造了......
物流配送路线优化是物流活动中重要的环节,能短时高效的配送货物是空间数据优化问题。在空间数据处理方面,Voronoi图理论已经成为......
期刊
乘权Voronoi图由于权值的设定公式非常复杂,在传统的算法中,当生成元或乘积发生改变时,程序运行会异常复杂。本文给出了乘权Vorono......
期刊
本文提出了物流园区选址的点和直线段加权Voronoi图的界定模型,改进了加权Voronoi图的以往局限性,实现了物流系统内空间服务范围的......
序列构造神经网络是一种新的神经网络的方法模型,是基于神经网络中神经元的动态构造技术来构建的。这种方法模型更加符合机器对数......
<正>This paper presents a new trajectory linearization control scheme for a class of nonlinear systems subject to harmon......
本文提出了物流园区选址的点和直线段加权Voronoi图的界定模型,改进了加权Voronoi图的以往局限性,实现了物流系统内空间服务范围的......
20世纪汉字结构的理论研究余延作为汉字结构研究两个主要方面的理论研究与实践考察,长期以来形成了畸轻畸重的不平衡局面。本世纪大量......
继面向服务计算(SOC)和面向服务体系结构(SOA)发展出一系列网络服务技术之后,新兴的云计算正在加速软件资源的服务化和虚拟化进程,......
针对图片数据的分类问题,从动态构造网络的思想出发,讨论了序列构造神经网络的基本方法,并且把其应用于图片分类中,最后给出标准测......
平原裂陷区内的基底构造运动所导致的地表垂直、水平形变,是通过大地测量进行定量描述的。本文根据华北平原裂陷区大地测量资料,结......