论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
该文首先概述了约束求解平台的主要思想-约束和程序设计方法,并着重给出了其分支约束满足问题的概念及求解技术.通过分析传统的二元约束满足问题求解方法的不足,提出了非二元
【机 构】
：
吉林大学
【出 处】
：
吉林大学
【发表日期】
：
2001年期
其他文献
该论文针对GIS的发展趋势,在对当前InternetGIS技术深入分析的基础上,提出了基于平衡网络负载的InternetGIS实现方案.论文分为五个部分:第一章简要概述了地理信息系统的历史
软件能力成熟度模型(CMM)是一种对软件企业开发能力的评估模型,可以通过指导开发组织如何进行过程改进,从而帮助软件企业达到更高级别,并向成熟的软件工程体系演化,并形成一
近年来，信息技术有了迅速的发展，如何及时准确地传递数字图象是其中一个重要的课题。在利用人造卫星和飞机遥感获取、传输等过程中，会造成图象的退化，使之与真实图象有一定差异。
随着IPv4地址的日益减少,使用IPv6地址替代IPv4地址已成为解决地址匮乏问题的关键,这就使IPv4向IPv6过渡成为越来越重要的课题。由中国电信提出的Lightweight address family
网络技术发展速度迅猛,越来越多的Web Services和语义Web Services遍布于网络上,人们对于服务的选择范围越来越广,对于服务的利用也越来越方便。网络上有众多服务可供选择,而
该文首先分析并研究了现有的构件模型以及构件集成方式.通过对三种不同接口形式体系结构的分析,基于有关构件模型和构件描述语言,设计实现了基于是一模型的组装工具.该文第1
本文分析了四川省卫生厅建立四川省医疗卫生信息数据仓库及联机统计分析的必要性和迫切性，阐述了数据仓库技术的来源、提出了四川省医疗卫生信息数据仓库及联机统计分析系统的
该论文主要探讨了若干关于数据仓库设计和数据挖掘实现的问题.首先,在总结前人提出了的数据仓库平台的基础上,针对其不足提出了自己的改进方法.数据仓库平台是决定数据仓库环
作为一种典型的半结构化文档,XML同时拥有内容和结构信息。如何构建表达模型,有效的表达XML文档的内容和结构信息,是对XML文档分类之前需要考虑的首要问题。本文在传统结构链