基于H-GPS的工程施工索赔决策求解方法

在分析工程施工索赔决策的过程、特点以及决策支持的需求、现有问题求解方法不足的基础上,提出了综合超文本技术与通用问题求解系统的问题求解方法,研究了该方法应用于索赔问题求解的工作机理,具体探讨了其信息模型和操作规则,并给出应用实例。     

谈超媒体技术在CAI课件中的应用

计算机辅助教学（CAI）是计算机技术的一个非常重要的应用领域,在计算机辅助教学中,多媒体课件担当了重要的角色,超媒体是超本和多媒体的结合,在CAI课件制作中应用超媒体技术可以大大改善辅助教学环境。     

数据挖掘及其在 SXWG_EIS 中的应用

探讨了数据挖掘技术及其在ＳＸＷＧ－ＥＩＳ中的应用,从实践角度分析了数据挖掘技术的特征和数据仓库的形成,为数据挖掘技术在ＥＩＳ中的实际应用提供了思路．     

一个通用ICAI系统的设计与实现

结合超文本的优点和ICAI的特点,给出了一个基于超文本的ICAI系统结构有其教学流程,建立了超文本知识库模型,教师模型和学生模型,并对其主要设计思想与实现方法作了详细介绍,将该模型应用于实际ICAI教学软件设计,开发出一个完实用的“数据结构”多媒体ICAI系统,实现该系统时,首先利用多媒体制作工具开发出一个CAI系统,然后在该CAI系统的基础上引入人人工智能技术,加入智能控制部分,从而将一个普通的CAI系统变为ICAI系统。     

Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

超文本与人工智能

以专家超文本为例介绍了与超文本技术、人工智能技术相关的技术问题，并从面向用户的角度侧重讨论了在任务实施过程中用户与计算机系统间的智能的分布。     

基于Solidworks API的从BOM到XML的转换原理

主要介绍采用面向对象的编辑语言VB对SolidWorks进行二次开发，把与设计产品相关联的材料明细表(BOM)输出为XML文件格式，借助企业内部网络为后续的生产、管理、物流提供无缝接1：2。．     

超文本标记语言Html及脚本技术Script在多媒体课件中的应用

多媒体课件要求将文字、声音、图形、图象、动画、视频等多媒体教学素材组织辑成一个有机的整体，从而为教学服务。超文本标记语言Html及脚本技术Script为多媒体课件制作提供了新的形式及方法。文章结合欧姆定律多媒体课件的设计与制作，展示了超文本标记语言Html及脚本技术Script在多媒体课件中的应用。     

基于 CIMS 应用集成平台的企业 Internet/Intranet 接口技术

Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术的发展促进了市场的世界化进程,企业对从Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ上获取信息与采用该技术管理企业内部资源的需求越来越迫切。本文从ＣＩＭＳ应用的角度出发,阐述了Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术在制造业企业中的作用,结合ＣＩＭＳ应用集成平台的研究,介绍了集成平台Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ接口技术的设计特点,给出了Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ应用系统的客户服务器（Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ）体系结构;描述了ＣＩＭＳ应用集成平台Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ应用系统的设计与实现模型。该项目的研究最终能够使企业的计算机应用系统与Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术有机的结合起来,为企业通过Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术实现虚拟制造奠定良好的理论基础。     

基于GPS的三维因特网超文本信息系统的研究

在“数字地球”概念发展的驱动下,利用GPS系统和宽带无线网络系统,把GPS定位坐标作为互联网的统一资源定位器(URL),使现实空间点成为可以存储和发布数据的信息点,建立了一种全新的网络信息浏览和发布方式;论述了GPS系统与无线网络系统的整合方式,探讨了基于GPS的三维因特网超文本信息系统实现的原理和关键问题,最后指明这一全新的技术具有巨大的潜力和广阔的应用前景。