【摘 要】
：
该文主要研究了数学内容的MathML表现形式的标记表示和识别.第一,实现了数学内容到其MathML代码的自动转换输出,并生成其对应的XHTML文件的数学内容处理系统MMPS(Mathematica
论文部分内容阅读
该文主要研究了数学内容的MathML表现形式的标记表示和识别.第一,实现了数学内容到其MathML代码的自动转换输出,并生成其对应的XHTML文件的数学内容处理系统MMPS(Mathematical Material Processing System).第二,将MMPS应用在全国计算机等级考试上机测试系统上,实现了含有数学内容的试卷自动评阅系统和数学内容的试题答案自动生成系统.第三,将MMPS应用在WWW实现Web上数学内容的有效显示、交互和传输,从而大大地丰富了网络教学资源,并有效地保证了网络教育资源的稳定性.第四,该文设计和实现了一个集Linux防火墙和代理服务为一体的安全系统,不仅保护了南阳理工学院网络教学资源的安全,而且也有效地保证了整个内部网络资源的安全.该文设计和实现的对数学内容试卷进行了自动评阅系统已在全国计算机等级考试系统上测试通过,保证网络教学资源安全的集Linux防火墙和代理服务为一体的安全系统已在南阳理工学院校园网上试运行,状态稳定,效果较好.
其他文献
论文来源于为大庆油田有限责任公司勘探部开发的勘探战略数据库综合应用系统(MP-SYS),该系统用于管理油田数据,并在此基础上进行分析研究,最后在网上展现.MP-SYS系统所管理的
该论文详细介绍了我们在音频算法开发中使用的一些关键技术和方法:首先文章通过分析Windows/UNIX和C55x DSP平台之间的差异,阐述了算法代码的移植方法;其次从代码的可重入性
密码技术特别是加密技术是信息安全技术中的核心技术,是目前国内外最为活跃的研究领域之一.新一代密码算法的研究具有重大的政治意义以及重要的科学价值.加密技术分为对称加
监控视频中的异常行为检测与目标跟踪是模式识别领域长期以来的研究热点之一。近年来,随着各种视频监控设备的日益普及,现有检测与跟踪算法的性能已有了长足进步。但是,由于
在目前广泛应用决策支持系统的企业中,大规模流水线型生产企业是其中重要的一类.而这类企业的决策支持系统中最核心的一环就是分规格成本核算.由于很多国有企业保留着传统的
该文对航天型号软件配置管理的理论、技术和工具进行了研究.首先作者针对中国航天型号软件的特点进行了综合调研,完成了型号软件配置管理工具的需求分析工作,接下来进行了由
该文对软件静态分析技术进行了深入的研究,分析了软件静态分析技术的起源和发展,特别讨论了手工静态分析技术与计算机自动静态分析技术的不同特点和关系,对静态分析技术的发
绘制技术是将几何模型转变成人们视觉上清晰直观图像的手段,它的研究内容非常广泛,该文主要集中研究如下三个方面:一、辐射度技术及其工程应用,辐射度技术是全局光照的主要算
随着Internet技术的成熟和计算机应用的广泛深入，越来越多的企业选择通过互联网进行产品的宣传和介绍。目前，常见的作法是在一些知名的网站运用它们已设计好的固定模式来进行产
该文首先阐述了基于CSCW技术的协同创作系统CAS的特点,并通过比较目前CAS并发机制几种常用的方法,选用了实现复杂度较小的加锁方法.针对目前加锁法较难解决的封锁粒度选择问