论文部分内容阅读
分析了LaTeX和MathML中数学文本的基本结构,提出了一种从LaTeX表示到MathML表示的转换方法,实现了基于动态W eb页面的即时消息、电子公告板等上面的数学公式的编辑和显示。
基于动态Web的数学文档研究及其实现
【摘 要】
：
分析了LaTeX和MathML中数学文本的基本结构,提出了一种从LaTeX表示到MathML表示的转换方法,实现了基于动态W eb页面的即时消息、电子公告板等上面的数学公式的编辑和显示。
【机 构】
：
四川师范大学计算机软件实验室,中国科学院成都计算机应用研究所
【出 处】
：
计算机应用研究
【发表日期】
：
2006年12期
其他文献
在数控加工领域，通常需要用尽量少段数的圆弧样条来对曲线进行拟合。采用二分查找算法，用G^1连续的双圆弧样条对二次Bézier曲线进行拟合。该算法在给定误差范围内所需的圆
设计了一个教委财务共享系统,系统使用W eb服务、数据集成、触发器等技术来共享学校各种财务系统,保证教委可以随时得到各学校的财务信息。
利用微观交通模型的仿真现实交通,在模型中进行短期的交通预测,预测交通道路在未来某一个时刻的行车状况。在这个基础上运用改进栅格法的D ijstra算法演化方法进行动态的路径规划。
基于数据手套的机械手控制是一种新的机械手控制模式。与传统的机器人控制方法作比较,分析了各自的优势,介绍了系统框架,讨论了系统实现中的关键技术,最后实现了原型系统。应用表明,这种方法操作简单、交互性好,有广泛的应用前景。
建立资源模型是开发实时系统的基础,用UML描述实时系统的资源模型将把实时系统的开发过程纳入标准化、规范化的轨道上来。从核心资源模型、驱动模型、资源使用模型、资源类型、资源管理和实现模型六方面讨论了实时资源模型的结构和特性。在资源的实现和对独占资源的调用方面对UML做了适当的扩展。
为适应目前我国电子政务系统建设的发展,使用最新的网格技术,提出了一种电子政务网格的层次体系结构,说明了该体系结构的设计原理,介绍了实现该体系结构使用的一些关键技术和该体系结构的特点。
采用灰度图像创建Max-tree的基本思想,提出一种新的二值图像连通区域标记算法。该算法主要采用8-邻域搜索及排序队列方式实现,通过一次扫描二值图像即可完成连通区域标记。提出一种新的8-邻域搜索策略,可以将邻域搜索次数由八次减少到平均四次以下,从而提高了系统效率。此外,还给出一种排序队列的快速实现方法,并将其应用到标记算法中。而且,该算法的运行时间仅与待标记图像的大小有关,与连通区数目和图像内容无
研究了一种基于分叉点脊线相似度的指纹匹配算法,利用可靠性较高的分叉点所在脊线的相似程度寻找出可能的基准细节点对;同时为解决基准点筛选受噪声影响的问题,提出使用基准点与周围四个特征点组成子集之间的相互关系来确定最终的基准点对和变换参数的方法;最后利用可变限界盒来实现两枚指纹的匹配。实验结果表明,本算法可以快速、准确地定位基准点,精确地求取变换参数,能够正确、快速地实现指纹匹配。
介绍一种基于本体的非结构化信息访问机制,为现有系统应用中的非结构化信息提取提供统一的语义级解决方案。该方案克服了目前基于关键词检索方法所引起的信息冗余和信息不足,提供更为合理且更符合人们思维的查询方法与结果,从而有效地提高系统性能及其实际应用价值。介绍了该信息访问机制的整体框架,并重点介绍了信息访问语言FL-Plus、推理引擎及优化算法的实现。
显式拥塞指示(ECN)是指在主动队列管理技术中,借助路由器的标记功能给出显式的拥塞反馈信息,它能有效提高网络的吞吐量,在网络的传输控制中将起到至关重要的作用。下一代网络使用的传输控制协议必然是基于ECN机制的,目前ECN算法的研究主要集中在公平性和效率性上的。介绍并分析了ECN算法及其典型的改进算法并给出了今后的研究方向。