摘要：随着 Internet应用的逐渐普及 ,互联网已经发展成为一个巨大的分布式信息空间 ,为用户提供了一个极具价值的信息源 .但因 Internet所固有的开放性、动态性与异构性 ,又使得用户很难准确快捷地从互联网上获取所需信息 .文中讨论了在互联网上进行信息采掘所使用的算法和策略 ,并介绍了一个用于网络体育信息采掘的智能 Agent设计 .

摘要：类型系统在研究程序设计语言的理论基础方面起着十分重要的作用,特别地,带子类型的多态类型系统可刻画面向对象程序设计语言核心概念,如子类型、多态性等.为研究面向对象程序设计语言的形式理论基础,探讨了一个命名为类型系统λω×≤的带高阶子类型的多态类型系统,并利用插入子和fibration理论,引入λω×≤fibration作为该类型系统的语义模型.进一步,讨论了类型系统λω×≤的等式理论,特别是与受限全称量词有关的等式,并利用插入子的性质,证明了对于该等式理论,λω×≤fibration是合理的语义模型.

摘要：类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 。

摘要：首先通过讨论时态XML查询数据模型TXQDM,提出了基于结点有效时间的前缀编码方案．以此为基础,引入TXQDM结点间的基于时态连通的等价关系和基于时态包含的拟序关系,建立了时态XML索引数据模型TXIDM,该模型的基本特征足具有二重嵌套的索引框架,适合于TXQDM这种不规则的具有较大随意性的树形结构情形．其次,在TXIDM框架内,讨论了相应时态查询算法,其中包括基于时态的路径查询和值查询,同时,还讨论了时态索引更新算法,其中包括插入和修改算法．最后,对于文中提出的模型TXIDM和时态索引操作算法进行了性能分析且设计了相应模拟实验．实验结果表明,基于TXIDM的时态查询与更新算法是可行的和有效的．

摘要：二维不规则形状物体的自动最优布局是属于NP完全的组合优化问题 ,使用传统的方法很难得到满意解答 .文章针对该问题提出了一个基于进化计算的算法 ,并以服装计算机辅助设计为例表明基于进化计算的算法卓有成效地应用到自动布局问题 .为了得到关于问题的自然和有效的编码 ,将问题变换为一种与之等价的关于多边形的运动规划问题 ,根据问题的特性设计了算法的 3个重要算子 .在解的解码和评价过程中则综合地利用了已有的最优算法 .

摘要：ＮＩＮＩＸ＋１．０操作系统实验环境是我们对美国知名学者Ａ．Ｓ．ＴＡＮＥＮＢＡＵＭ１９８６年编制的分时多任务多用户操作系统ＭＩＮＩＸ研制的改进版。和ＭＩＮＩＸ初版相比，ＭＩＮＩＸ＋１．０具有进程对换，假脱机Ｉ／Ｏ，扩展内存的管理等许多新功能。本文从功能结构，实现原理，用户环境等几个方面对ＭＩＮＩＸ＋１．０作了论述。

摘要：随着Internet的普及 ,网络广告以其独特的优势成为企业参与市场经济竞争的重要手段。如何分析广告的市场与受众 ,从而有针对性地投放广告 ,是现代企业信息化管理的必然选择。以OLAP体系结构为基础 ,设计并实现了一个网络广告投放分析系统 ,详细介绍了其设计思想和体系结构 ,并对系统的各部分功能进行了分析 。

摘要：近年兴起的面向服务的体系结构为地理信息系统(GIS)的信息共享与应用集成开辟了一条崭新道路.首先概述GIS Web服务的基本概念与开发工具,然后在Apache Axis平台上利用ESRI ArcWebServices构建一个提供位置查询、地图显示与漫游、POI(Point of Interest)标注等功能的GIS应用,通过该应用的设计与实现展示如何利用GIS Web服务的合成构建一个集成GIS数据与功能的应用程序,最后针对该实例总结了GIS Web服务在大规模资源共享方面的优点和当前存在的不足,并提出进一步利用GIS网格服务改进GIS Web服务的研究思路.

摘要：一维(有效)时间区间(VT)和二维最小限定矩形(MBR)是移动数据基本的时空单元,两者性质不同,应用中也有差异.现有移动数据查询通常是将相关数据转换为高出原空间情形"一维"的空间数据,其优势在于可充分使用现有空间数据索引技术.文中主要贡献在于研究基于过去和当前时间查询的移动数据索引模式,该索引模式能够表征时空各自特性并实现时空模块的整合配置.首先,文中将有效时间期间VT和空间MBR统一描述为广义区间,并通过区间数将其转化为平面上相点,实现了数学上的整合表述与刻画;同时,根据VT和MBR各自反映的时空特征,引入了基于时态拟序的时间相点线序划分和基于扩展KD-tree的空间相点MBR分类,建立时空相点分析基本框架;然后,在相点分析框架内实现时间和空间索引模块组建和整合配置,实现了移动数据索引模式Modim;另外,研究了基于当前与现在时间Modim数据查询以及索引增量式更新算法,并建立相点编码方案以实现最终查询结果的重构;最后,设计相关仿真以实现对Modim性能评估,与现有相关工作进行基本比较的结果表明文中工作是可行的和有效的.

摘要：（ｄ，ｍ）ｄｅＢｒｕｉｊｎ多计算机系统互连网络限制网络的规模必须为ｄｍ．本文把（ｄ，ｍ）ｄｅＢｒｕｉｊｎ网络推广到了任意顶点情形，提出了广义ｄｅＢｒｕｉｊｎ网络，研究了广义ｄｅＢｒｕｉｊｎ网络的自路由性质，设计了路由算法，研究了广义ｄｅＢｒｕｉｊｎ网络顶点度的性质和容错特性．