多民族文字有声课件写作工具MCAI及其实现

MCAI是一个有多种文字处理的超文本写作工具,具有声、图、文等多种信息处理能力和面向对象的用户面界面。本文主要介绍MCAI的系统结构、主要功能和设计中一些特殊问题的实现方法。     

企业清洁生产审计评估系统

运用PHP网络编程技术设计出一套适合企业清洁生产的经济评估系统,实现了清洁生产方案的筛选、可行性分析以及显示数据清单等功能,为企业提供高效、可行和最佳的项目生产方案.     

网页制作技术探讨

根据物理系网页的制作实践,浅谈网页制作的技能和几点技巧.     

超媒体文档处理系统的设计与实现

通过对应用于Ｉｎｔｅｒｎｅｔ的现有的一些多媒体文本编辑处理软件的分析,介绍了超媒体文档处理系统的开发设计思想,并给出一种具体的实现方案,较好地实现了编辑和浏览超媒体文档的功能。     

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

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

路径修饰学

介绍一种所谓的“路径修饰学”［１］,从符号学的角度来阐述超文本应用模型的原理．并提供了一些设想。     

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.     

HMCAIC的系统设计

本文主要论述ＨＭＣＡＩＣ软件的系统设计,说明软件中引入“超媒体”的作用和预防检索信息过程中“迷路”的措施。     

超文本知识库及其在CAI中的应用

本文提出了超文本知识库的概念，给出了其数学描述，讨论了其存储结构和访问机制．探索了应用于ＣＡＩ课件设计中的几个问题．     

论网络书写行为的后现代特性

网络书写作为在网络空间(cyberspace)这一后现代社会时一空架构中展开的社会行为，是一种发生在主客体边界及主体间边界上的书写活动，具有临界性、非物质性、非个人化、实时性、流动性、不确定性、非线性、碎片化等后现代特征。这种以口头语言与书面语言二元交织为基本特征的后现代书写行为，对网络空间的知识主体与知识状态有着深刻的影响。