远程教育系统中知识表示的研究

针对现有远程教育系统智能化低、知识表达能力差、结构化不清晰等方面的问题,引进了基于扩展标记语言XML(extesiblemarkuplanguage)的表示方法,并通过分析指出基于XML的表示方法在远程教育系统中的巨大优势;给出了一个通用的远程教育系统的体系结构,并用形式化的语言描述了该系统,最后将该形式化的语言转换为XML语言.     

XML技术在现代远程教育中的应用

现代远程教育的发展，对其依赖的基于传统文本为主的HTML语言提出了严峻挑战。XML作为一种“智能”化语言，在网络时代逐渐显示其优越性，并有取代HTML之势。在对XML的技术特点和优势作了详细介绍的基础上，重点探讨了XML技术在现代远程教育中的应用。     

XML技术在现代远程教育中的应用

现代远程教育的发展,对其依赖的基于传统文本为主的HTML语言提出了严峻挑战.XML作为一种"智能"化语言,在网络时代逐渐显示其优越性,并有取代HTML之势.在对XML的技术特点和优势作了详细介绍的基础上,重点探讨了XML技术在现代远程教育中的应用.     

XML技术在现代远程教育中的应用

现代远程教育的发展,对其依赖的基于传统文本为主的HTML语言提出了严峻挑战.XML作为一种"智能"化语言,在网络时代逐渐显示其优越性,并有取代HTML之势.在对XML的技术特点和优势作了详细介绍的基础上,重点探讨了XML技术在现代远程教育中的应用.     

基于远程教育的数据迁移策略

如何有效的管理和利用复杂多样的教学资源是远程教育中非常重要的问题．根据实际应用，讨论了利用动态迁移策略对远程教育系统中的资源进行整合，提出了利用中间语言技术实现数据迁移的方法，并给出了一种XML的实现方案，对充分有效管理教学资源提供了一个可供参考的方法．     

基于web的自适应学习系统的研究与设计

目前,基于Web的自适应学习系统是远程教育领域研究的热点。文章在分析了当前远程教学系统存在问题的基础上,探讨了利用Agent、Java、XML等技术来构建自适应学习系统的方法,并设计了一个基于Web的远程自适应学习系统的原型,同时给出了该系统的实现方案。     

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。     

一种基于KAOS和XML的横切关注点识别方法

提出了基于自动规范中的知识获取KAOS和可扩展标记语言XML的识别方法,该方法首先对待开发系统进行需求建模,然后将需求模型映射于可扩展标记语言XML文件中,最后给出横切关注点识别算法,该算法在案例系统中的实验结果表明此方法的可行性和稳定性.     

基于对象的XML知识表示方法

目的 为智能系统寻求一种较好的知识表示方法。方法 分析现有的各种知识表示方法，尤其是面向对象表示法和XML的知识表示方法。结果提示了基于对象的XML知识表示方法。结论 基于对象的XML知识表示方法将在知识表示中占据重要地位。     

用CLIPS实现基于二叉树知识的汽车故障诊断

故障树是一种倒置的逻辑关系图，具有标准的知识结构．同时也是故障诊断专家系统问题求解策略的形式化方法．基于这种形式化方法的故障诊断专家系统可在一定程度上减小知识表示和获取的难度．主要介绍了如何用CLIPS语言实现基于二叉故障树知识的汽车故障诊断推理．     

一种面向领域基于XMI的模型映射方法

在开发特定业务领域系统时，为实现领域模型向通用模型的映射，往往会产生领域失配问题。为解决此问题，提出了一种面向领域基于XMI的模型映射方法。采用XMI技术，将领域模型首先映射成为领域相关的XML文件，然后通过基于领域元模型的XSL映射器，将其映射成为UML对应的XML文件，最后生成UML通用模型；并在此基础上给出了这一方法的形式化描述和应用实例。     

基于远程教育的数据迁移策略

如何有效的管理和利用复杂多样的教学资源是远程教育中非常重要的问题.根据实际应用,讨论了利用动态迁移策略对远程教育系统中的资源进行整合,提出了利用中间语言技术实现数据迁移的方法,并给出了一种XML的实现方案,对充分有效管理教学资源提供了一个可供参考的方法.     

行为协调知识的形式化研究

近年来,关于协调已有大量的研究成果,但对于协调问题中依赖关系及协调策略多是作定性的表述,给出的一般都是非形式化的结果,难以实现协调问题的计算机求解.针对这一难题,利用形式化和图形化的建模工具Petri网对协调问题中的依赖关系及协调机制进行研究,提出任务之间基于资源的3种基本依赖关系,并用Petri网对这3种依赖关系相应的协调机制进行了表述,最后用XML语言时Petri网表示的协调机制进行了形式化,为协调问题的可计算化提供了一种新的思考角度.     

基于WWW的远程教育课件系统的开发研究

基于WWW的远程教育课件系统，是利用各种WWW技术、多媒体技术和软件工程等技术，用HTML、Java语言开发而成的《计算机系统结构》课件系统。重点论述了该系统的功能模型及WWW课件开发中的关键技术，并就课件制作中的主要问题及解决方法进行了介绍。     

基于对象的 XML 知识表示方法

目的为智能系统寻求一种较好的知识表示方法. 方法分析现有的各种知识表示方法, 尤其是面向对象表示法和 XML 的知识表示方法. 结果提出了基于对象的 XML 知识表示方法. 结论基于对象的 XML 知识表示方法将在知识表示中占据重要地位.     

同步多媒体合成语言SMIL在远程教育中的应用

同步多媒体合成语言(SMIL)是新一代的web语言XML的一个重要应用,可以同步多种媒体、节省网络带宽,支持超连结。网络多媒体课件制作合成系统是基于同步多媒体合成语言(SMIL)的网络教学课件制作编辑工具。它利用SMIL语言在制作网络多媒体上的优势,在课件制作过程中引入模块化的思想,向教师和学生提供了一个功能强大、使用简单的网络远程教育环境,具有节省带宽、易于同步等许多优点。     

基于CORBA与XML的课程实验程序自动测试系统

说明了课程实验程序自动测试系统的意义，提出并实现了该系统基于CORBA与XML的三层B／S结构模型，分析了XML的技术优势并用DTD构建了系统试题库的结构模型，实现了DOM技术访问XML试题库的方法，提出和实现了一种自动测试过程的控制模型。     

基于XML的关系数据转换适配器的研究与实现

作者提出了一种基于XML技术的XML数据与关系数据库相互转化的框架 ,并在该框架下具体实现了XML数据和关系数据的双向转换。通过XML对关系数据进行形式化描述 ,使该框架具有很好的可扩展性 ,能够实现在多层分布式系统中的数据转换和在大容量数据库中快速提取结果 ,提高访问效率。文章最后指出了存在的问题和需要进一步完善的工作     

结合本体论和统计方法的跨语言信息检索模型

为了更有效地提高跨语言信息检索的性能,结合本体论和统计方法的特性,提出一种混合的跨语言信息检索模型.在该语言模型的结构上,提出一种本体描述框架,构造了一个形式化的语言本体知识表示,通过典型语料学习,融合了语法、语义、句法等多元信息,建立了源语言本体知识库.在跨语言信息检索的实际应用中,利用本体表示,获得初始的检索文档集,再基于源语言本体知识库,对全部候选文档重新排序,以提高TopN排列的精确度.利用NTCIR-3Workshop中的中英文跨语言信息检索数据集对该语言模型进行了评价,相关实验结果表明,该方法取得了较满意的实验效果.     

Java语言程序设计题自动阅卷技术研究

程序设计题自动阅卷技术是程序设计语言考试实现无纸化的重点与难点所在.分析了现有自动阅卷技术的特点,提出基于XML的采分点匹配技术,将标准答案引入XML结构、采用正则表达式匹配的方法进行评分.实验结果证明,该系统运行稳定,与人工评分的结果大致相符.