论文部分内容阅读
本文对MathML编辑及显示技术进行了研究。文章对基于XML语言标准的数学标记语言(MathML)进行了介绍，围绕数学公式输入方法及数学公式的显示方法进行了论述。
MathML编辑及显示技术研究
【摘 要】
：
本文对MathML编辑及显示技术进行了研究。文章对基于XML语言标准的数学标记语言(MathML)进行了介绍，围绕数学公式输入方法及数学公式的显示方法进行了论述。
【机 构】
：
兰州大学,信息科学与工程学院,兰州,730000
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年期
其他文献
从技术审评角度,提出目前以子宫内膜异位症为适应症的中药新药研究中应特别关注的几个问题:临床定位,腹腔镜检查诊断,疗程、对照组设置及安全性研究等。
From the technical
移动自组网络是一种自组织、多跳的无线网络,其特性使得移动Ad hoc网络面临着比现有网络更大的安全挑战,其中密钥管理服务是整个网络能够提供安全服务的基础也是难点.采用资
在信息论假定下,本文给出了主动性分享函数的定义和主动性可验证秘密分享及其鲁棒性的数学模型.在此基础上分析了给定一个单调扩张程序的一般性的设计的安全性,给出了实现鲁
目的:观察米氮平与SSRIs类抗抑郁药对伴有性功能障碍的男性抑郁症患者的治疗效果和不良反应情况及性功能随药物治疗的变化情况.方法:采用开放性非随机对照研究方法,将120例伴
本文介绍了CO2激光器工作气体的组成及工作原理,阐述了TLF12000t激光器的工作气体组成及其杂质气体对激光输出功率的影响.
KSR案是美国最高法院审理的为数不多的专利上诉案件之一,也是2007年最具影响的专利案件。该案对生物医药行业的专利尤其对纳米医药专利产生了极其重要的影响。本文分析了KSR
本文对工作流逻辑模型进行了分析。文章从工作流过程逻辑人手，用向量的形式来表示活动间的逻辑关系，利用迹(变迁序列)理论讨论了工作流的模型性质，并用规约的思想分析了结构的正
本文从恶意代码发展现状出发，首先分析了恶意代码的变形技术，然后提出了相应的恶意代码变形引擎框架结构，最后实现了恶意代码变形引擎原型，并对试验结果进行了相应分析。
本文对部分四值逻辑中3元正则可离关系的分类进行了研究。文章在固定BT算法模型下证明了几个图论问题的指数下界，探讨了其基本定义，阐述了主要结果。
目的:建立测定人血浆中灯盏乙素浓度的HPLC-MS/MS法。方法:采用Platisil ODS色谱柱(250 mm×4.6 mm,5μm),流动相为0.3%甲酸水溶液-甲醇(40∶60),流速为1.0 mL.min-1,以黄芩