动态地图服务管理对象模型研究

传统地图服务发布采用静态定制一个或少量几个地图服务的方式,海洋环境遥感数据具有海量、动态、更新快的特点,传统的静态地图服务发布方式无法满足要求.在分析了海洋环境遥感数据特点的基础上,设计了动态地图服务管理对象模型,以实现服务器端大量地图服务的动态创建、监测以及服务冗余状态下的调度.     

数字地图规范性质量评价探讨

遥感信息的广泛应用使数字地图的生产和更新周期明显加快,同时,因制图不规范而导致的数据产品质量问题也日益突出.基于地图制图规范和地图数字化技术规范,建立数字地图的规范性质量评价指标数据库,开发相应的分析评价模型和软件,实现数字地图规范性质量评价的定量化和自动化,有助于提高数字地图产品的规范化水平,提升数字地图产品的应用价值.     

一种基于动态模糊Kohonen网络的聚类模型及应用

提出一种基于动态模糊Kohonen神经网络聚类模型,针对传统的Kohonen神经网络(KNN)聚类需要预先确定聚类数的问题,提出采用树形动态自组织映射网络算法(TGSOM)来确定聚类数,并且利用模糊Kohonen神经网络(FKNN)聚类结果与输入顺序无关的优势进行网络优化,得到更优的聚类结果。该模     

对称函数的dj图表示及其应用

根据对称函数的性质,在对称函数K图/bj图的基础上提出了部分对称函数/全对称函数的dj图表示.给出了利用对称函数dj图检测对称性的方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计较传统设计更简单、更有效.     

一种基于或-符合展开的新颖通用逻辑门

提出了一种新颖的基于或-符合展开的三变量通用逻辑门(ULG3),讨论了逻辑函数或符合展开的图形表示--dj图,利用降维dj图分析了所有3变量NPN型特征函数的降维dj图的特点.从而验证了该通用逻辑门能实现所有3变量的逻辑函数.     

基于大型对象关系型数据库的无缝时空图库集研究

海量时空数据组织是下一代GIS平台所要解决的关键技术．突破了传统地图库的数据管理模式,提出了基于大型对象关系型数据库的时空图库集模型,实现了海量时空数据的逻辑与物理无缝数据组织与存储．首先分析了新技术背景下地图库概念的存亡问题,然后秉承继承与发展的思想,提出了新一代时空图库集模型,并分空间无缝数据组织和时态无缝数据组织两方面对数据组织方式进行了讨论．采用20GB的时空数据测试表明,系统实现了面向实体的无缝海量时空数据组织与管理,以及高效的数据查询与分析等主要目标,同时也验证了图库集模型的正确性．     

一类高阶代数微分方程的亚纯允许解

利用亚纯函数的Nevanlinna值分布理论,研究了一类高阶微分方程具有亚纯允许解时,它所具有的形式,得到了一个Malmquist型定理。     

树映射具有正拓扑熵的几个等价条件

本文讨论树映射的拓扑熵,得到树映射具有正拓扑熵的几个等价条件。     

Bifurcations of rough heteroclinic loop with two saddle points

The bifurcation problems of rough 2-point-loop are studied for the case p11 > λ11, p21 < λ21, P11p21 <λ111λ21. where - pi1 < 0 and λi1 > 0 are the pair of principal eigenvalues of unperturbed system at saddle point pi, i = 1,2. Under the transversal and nontwisted conditions, the authors obtain some results of the existence of one 1-periodic orbit, one 1-periodic and one 1-homoclinic loop, two 1-periodic orbits and one 2-fold 1-periodic orbit. Moreover, the bifurcation surfaces and the existence regions are given, and the corresponding bifurcation graph is drawn.     

On Shifts along Trajectories

The extension of the theory of boundary-value problems to ordinary differential equations and inclusions with discontinuous right-hand sides based on the construction of a new version of the method of shifts along trajectories is continued.