基于XML描述的数学公式编辑器实施方案

本文通过对常用数学公式编辑器采用的技术进行分析比较,提出了一种基于XML描述的具有符号计算功能的公式编辑器解决方案,并对提出的方案做出详细的分析,给出了设计框架,对关键的技术进行了探讨。     

基于XSLT的XML文档转换技术

XML因为它在可扩展性和灵活性上的优点以及W3C不遗余力的为它制定各种标准,已经成为Internet上的主要语言。如何对XML文档进行转换以满足不同用户的需要,成为一个非常重要的问题,利用XSLT可以很好的解决这个问题。本文详细描述了基于XSLT转换XML文档的方法,深入讨论其工作原理,并结合一个具体应用实例,进一步阐明了基于XSLT转换XML文档的过程。     

Mathematical Knowledge Management in HELM

The paper describes the general philosophy and the main architectural and technological solutions adopted in the HELM Project for the management of large repositories of mathematical knowledge. The leitmotiv is the extensive use of XML technology, and the exploitation of information in the Web way, that is without a central authority, with few basic rules, in a scalable, adaptable, and extensible manner.     

利用XML与XSLT实现异构数据库间的数据转换

异构数据库系统的差异对数据交流和各部门间的协调带来了很多困难.通过对异构数据库操作方法的研究,以及对已有解决方案的分析,提出了基于XML与XSLT的新方案.此方案通过生成异构数据库转换所需的SQL脚本,从而实现异构数据库间数据的转换.     

XML文档的范式

给出了 XML函数依赖、部分函数依赖和传递函数依赖的概念 ,然后据此提出了三种 XML范式 :1XNF、2 XNF和 3XNF.提出了 DTD无损联接分解的概念 ,给出了两个把 DTD无损联接地分解成 2 XNF和 3XNF的算法     

基于XSLT的XML文档节点间约束关系验证

提出一种基于W3C XSLT技术标准的验证方法,利用XSLT和XPath相关技术,通过定义规范化的输入输出信息结构以及约束规则,完成了对XML文档节点之间约束关系的验证.     

基于MathML描述的数学公式编辑器的实现

对Web教学应用开发中数学公式的显示和编辑的实现技术进行分析,给出一个使用有向树型数据结构和MathML描述的实际解决方案。对关键的实现技术进行了详细的讨论,为设计功能完善的Web教学系统提供有力的支持。     

基于MathML的在线符号运算的设计与实现

当今网络教育技术发展迅速,但数学表达式的在线智能处理等应用尚未出现.本文阐述一种基于MathML的新应用,该应用以XSLT技术为主要手段.能够在线实现初等数学的符号运算,为网络教育提供了新支持.     

基于量子框架的代码自动生成技术研究

量子框架是基于有限状态机理论,完整的嵌入式系统实现技术,用以设计能与任何RTOS一起工作的活动对象.本文在研究量子框架的基础上,采用UML中的状态图对AMT系统中的活动对象进行行为建模.模型数据经XSLT转换为符合QF规范的嵌入式代码,实现了从建模到嵌入式代码的自动生成的功能,大大提高了嵌入式系统的开发效率.     

数学内容处理系统的实现及应用

针对目前处理数学内容的需要,本文设计和实现了数学内容处理系统MMPS(Mathematieal Material Processing System),有效地解决了数学内容在Ot~ee文档操作测试中的考核问题和数学内容在Web上的存储表示和交互问题。     

采用标记语言构造数学公式编辑器的方法

讨论了XML以及由它创建的MathML的一些基本技术知识,在此基础上提出并实现了一个基于标记语言、用面向对象技术构造的数学公式编辑器ST32Formula。ST32Formula使得数学公式能够以不同于传统交流的方法在Web上传送、处理,它克服了以往在Web上的数学信息只能显示而不能被查询和重用的缺点,具有现实的应用意义。     

基于敏捷方式的Java代码生成方法的设计

为了使程序员在软件开发过程中能够加快开发的速度,减少人为的错误,提高整个项目开发效率,提出了基于敏捷方式的Java代码生成方法.该方法结合XSLT技术与模板引擎技术,通过创建装配容器,读取模板文件,灵活地自动生成代码,实现代码的复用.经过测试,该方法提高了生成代码的效率,可较大地提高代码的复用度并有效地降低代码的出错率,这对实现敏捷化管理具有较大的实际意义,可运用于大量的企业应用开发.     

组态软件流程图Web化可行性技术实现

介绍利用XML、XSLT以及微软的VML技术实现组态软件流程图的Web化。在对主流的网络化技术进行比较的基础上,详细讲解了一套包括图形的导出、描述,图形的转换和重现的可行性技术的原理和实践。     

一种从关系数据库到XML映射方法的研究及应用

提出了一种将关系数据库向XML映射的新方法——“反规范化及合并”方法，分析了该方法的基本思想和实现步骤。即将规范化的关系模式还原成原来冗余的关系模式，并转换成相应的XML DOM；最后将各个XML DOM合并。最后。通过在银行贷款中的应用归纳和总结了该方法的特点和优势。     

一种从关系数据库到XML映射方法的研究及应用

提出了一种将关系数据库向XML映射的新方法——“反规范化及合并”方法,分析了该方法的基本思想和实现步骤,即将规范化的关系模式还原成原来冗余的关系模式,并转换成相应的XMLDOM;最后将各个XMLDOM合并。最后,通过在银行贷款中的应用归纳和总结了该方法的特点和优势。     

用XSLT实现XML文档的查询

首先介绍用XSLT实现SML文档查询时,采用的处理模型以及相关XSLT指令在XML文档查询中的运用,接着给出一个查询示例,最后针对XML文档的查询,比较了XSLT与XQUERY的差别。     

基于XML和XSLT的Web报表解决方案的研究与实现

就Web报表生成系统分析了基于XML和XSLT技术的应用现状,提出了一种新的轻量级报表解决方案并予以实现。结合XML技术和XSLT技术的优势,讨论了本解决方案的总体设计以及实现流程。最后给出了在具体应用中遇到的若干技术难点的解决方法。     

XSLT在XML向HTML转换中的作用

XML是一种显示数据的标记语言,它能使数据通过网络无障碍地进行传输,并显示在用户的浏览器上.XML实现了数据与表示的分离,需要通过样式表来显示XML数据.介绍XSLT的特性及功能,通过示例,介绍通过XSLT如何将一个XML文档转换为HTML文档的方法.并说明该方法的用途.     

用JSP技术实现XML方案

介绍了网络应用中的 XML、JSP及其二者相互结合的技术 ,讨论了在 JSP中使用 XML数据源的方法和如何使用 JSP生成 XML数据格式。通过学习 ,使读者能了解怎样实现 XML和 JSP的完美结合     

作战系统接口协议辅助设计软件的设计与实现

随着舰艇作战系统的发展,传统的作战系统接口协议制订方法会造成协议数量众多,不同协议之间内容重复,管理维护困难等问题。文章利用XML技术,基于数据模型模板的思想设计实现了一个辅助作战系统接口协议设计的软件,提供作战系统接口协议相关信息的提交和管理功能,建立元数据注册库,并通过可扩展样式表转换技术生成接口协议文档,或者生成报文数据模型等有用的内容。该软件可以应用于作战系统接口协议的设计过程和接口信息的仿真等方面。