1) mathematical markup language (MathML)
数学标记语言(MathML)
2) MathML
数学标记语言
1.
After the expatiation of MathML and WebEQ,this paper presented a design of MathML-based on-line formula editor and realized it on the platform of FCKeditor.
在阐述了数学标记语言(MathML)和公式插件WebEQ的基础上,提出了一种基于MathML的在线公式编辑器的设计,并以文本编辑器FCKeditor为平台进行了实现,最后给出了具体应用与进一步的改进,较好地解决了上述问题。
3) Chemical Markup Language(CML)
化学标记语言(CML)
4) markup language
标记语言
1.
The paper reports on our research to build machine translation markup language which is based on natural language processing and XML technology.
本文提出了一种适合机器翻译的标记语言MTML(MachineTranslationMarkupLanguage)。
2.
This paper makes an introduction of XML,the new markup language,its supreme advantages,challenges and prospect in comparison with the disadvantages of HTML.
文章介绍了新一代文档标记语言XML ,并对比HTML的缺点论述了XML的巨大优势、面临的挑战和未来发展前景。
5) linguistic signal
语言标记
1.
The present paper is a tentative inquiry into the linguistic signals or verbal markers of pow-er and solidarity.
本文通过对权势因素与等同关系的语言标记的探讨和概括,指出人与人之间的交往受到各种社会关系特别是权势因素与等同关系的影响,并在此基础上,从词汇、语法、语音三个方面简述了言语行为因人、因事、因时、因地不同而有着不同的形式和意义。
6) Linguistic Register Markers
语言标记语
1.
Furthermore,it illustrates their respective Linguistic Register Markers lying in English sounds,words,grammar and discourse.
本文从西塞罗的三种风格谈起,提出英语文体中的正式文体和非正式文体的概念和这两种文体的搭配使用形成的结果,并且从语音、词汇、语法和语篇四个方面对英语的正式文体和非正式文体的语言标记语进行阐释,通过识别这两种文体的语言标记语可以把这两种文体区分开,随之学会使用它们。
补充资料：数学
| 数学 mathematics 研究现实世界中数量关系和空间形式的科学。简单地说，是研究数和形的科学。由于生活和劳动上的需求，即使是最原始的民族，也知道简单的计数，并由用手指或实物计数发展到用数字计数。在中国，至迟在商代，即已出现用十进制数字表示大数的方法；又至迟至秦汉之际，即已出现完满的十进位值制。在成书不迟于1世纪的《九章算术 》中，已载有只有位值制才有可能的开平方、立方的计算法则，并载有分数的各种运算以及解线性联立方程组的方法，还引入了负数概念。刘徽在他注解的《九章算术》(3世纪 )中，还提出过用十进小数表示无理数平方根的奇零部分，但直至唐宋时期（欧洲则在16世纪S.斯蒂文以后）十进小数才获通用。虽然中国从来没有过无理数或实数的一般概念，但在实质上，那时中国已完成了实数系统的一切运算法则与方法，这不仅在应用上不可缺，也为数学初期教育所不可少。至于继承了巴比伦、埃及、希腊文化的欧洲地区，则偏重于数的性质及这些性质间的逻辑关系的研究。早在欧几里得的《几何原本》中，即有素数的概念和素数个数无穷及整数唯一分解等论断。古希腊发现了有非分数的数，即现称的无理数。16世纪以来，由于解高次方程又出现了复数。在近代，数的概念更进一步抽象化并依据数的不同运算规律而对一般的数系统进行独立的理论探讨，形成数学中的若干不同分支。
开平方和开立方是解最简单的高次方程。在《九章算术》中，已出现解某种特殊形式的二次方程。发展至宋元时代，引进了“天元”(即未知数)的明确观念，出现了求高次方程数值解与求多至4个未知数的高次代数联立方程组的解的方法，通称为天元术与四元术。与之相伴出现的多项式的表达、运算法则以及消去方法，已接近于近世的代数学。在中国以外，9世纪阿拉伯的花拉子米的著作阐述了二次方程的解法，通常被视为代数学的鼻祖，其解法实质上与中国古代依赖于切割术的几何方法具有同一风格。中国古代数学致力于方程的具体求解，而导源于古希腊、埃及传统的欧洲数学则不同，一般致力于探究方程解的性质。16世纪时，F.韦达以文字代替方程系数，引入了代数的符号演算。对代数方程解的性质的探讨，则从线性方程组导致行列式、矩阵、线性空间、线性变换等概念与理论的出现；从代数方程导致复数、对称函数等概念的引入以至伽罗瓦理论与群论的创立。而近代极为活跃的代数几何，则无非是高次联立代数方程组解所构成的集体的理论研究。 形的研究属于几何学的范畴。古代民族都具有形的简单概念而往往以图画来表示，形之成为数学对象是由工具的制作与测量的要求所促成。规矩以作圆方，中国古代夏禹治水时即已有规、矩、准、绳等测量工具。《墨经》中对一系列的几何概念，有抽象概括，作出了科学的定义。《周髀算经》与刘徽《海岛算经》给出了用矩观天测地的一般方法与具体公式。在《九章算术》及刘徽注解的《九章算术》中，除勾股理论外，还提出了若干一般原理以解多种问题 。例如出入相补原理以求任意多边形面积；阳马鳖臑的二比一原理（刘徽原理）以求多面体的体积；5世纪祖暅之提出“幂势既同则积不容异”的原理以求曲形体积特别是球的体积；还有以内接正多边形逼近圆周长的极限方法（割圆术）。但自五代（约10世纪）以后，中国在几何学方面的建树不多。中国几何学以测量与面积体积的量度为中心，古希腊的传统则重视形的性质与各种性质间的相互关系。欧几里得的《几何原本》，建立了用定义、公理、定理、证明构成的演绎体系，成为近代数学公理化的楷模，影响及于整个数学的发展。特别是平行公理的研究，导致了19世纪非欧几里得几何学的产生。欧洲自文艺复兴时期起出现了射影几何学。18世纪，G.蒙日应用分析方法于形的研究，开微分几何学的先河。C.F.高斯的曲面论与B.黎曼的流形理论开创了脱离周围空间以形作为独立对象的研究方法；19世纪F.克莱因以群的观点对几何学进行统一处理。此外，如G.康托尔的点集理论扩大了形的范围；H.庞加莱创立了拓扑学，使形的连续性成为几何研究的对象。这些都使几何学面目一新。
在现实世界中，数与形，如影之随形，难以分割。二次、三次方程的产生，也大都来自几何与实际问题。至宋元时代，由于天元与相当于多项式概念的引入 ，出现了几何代数化。在天文与地理中的星表与地图的绘制 ，已用数来表示地点，不过并未发展到坐标几何的地步。在欧洲，14世纪N.奥尔斯姆的著作中已有关于经纬度与函数图形表示的萌芽，而17世纪R.笛卡儿提出了系统的把几何事物用代数表示的方法及其应用，在其启迪之下，经G.W.莱布尼兹、I.牛顿等的工作，发展成了现代形式的坐标制解析几何学，使数与形的统一更臻完美，不仅改变了几何证题过去遵遁欧几里得几何的老方法，还引起了导数的产生，成为微积分学产生的根源。这是数学史上的一件大事。在20世纪中，由于科学与技术上的要求促使数学家们研究运动与变化，包括量的变化与形的变换(如投影)，还产生了函数概念和无穷小分析即现在的微积分，使数学从此进入了一个研究变量的新时代。18世纪以来，以解析几何与微积分这两个有力工具的创立为契机，数学以空前的规模迅猛发展，出现了无数分支。由于自然界的客观规律大多是以微分方程的形式表现的，微分方程的研究一开始就受到重视。微分几何基本上与微积分同时诞生，高斯与黎曼的工作又产生了内在的现代微分几何。19、20世纪之交，庞加莱创立了拓扑学，开辟了对连续现象进行定性与整体研究的途径。对客观世界中随机现象的分析，产生了概率论。由于第二次世界大战军事上的需要以及大工业与管理的复杂化，从而产生了运筹学、系统论、信息论、控制理论与数理统计学等学科。实际问题要求具体的数值解答，产生了计算数学。选择最优途径的要求又产生了各种优化的理论、方法。力学、物理学同数学的发展始终是互相影响互相促进的，特别是相对论与量子力学推动了微分几何与泛函分析的成长。此外在19世纪还只用到一次方程的化学和几乎与数学无缘的生物学，都已经用到最前沿的一些高深数学。19世纪后期，出现了集合论，还进入了一个批判性的时代，由此推动了数理逻辑的形成与发展。也产生了把数学看作一个整体的各种思潮和数学基础学派。特别是1900年D.希尔伯特关于当代数学重要问题的演讲，以及30年代开拓以结构概念统观数学的法国布尔巴基学派的兴起，对20世纪数学发展的影响至深且巨。科学的数学化一语也往往为人们所乐道。数学的外围向自然科学、工程技术甚至社会科学不断渗透扩大并从中吸取营养，出现了一些边缘数学。数学本身的内部需要也孳生了不少新的理论与分支。同时其核心部分也在不断巩固提高并有时作适当调整以适应外部需要。总之，数学这棵大树茁壮成长，既枝叶繁茂又根深蒂固。 在数学的蓬勃发展过程中，数与形的概念不断扩大，日趋抽象化 ，以至于不再有任何原始计数与简单图形的踪影。虽然如此，在新的数学分支中仍有着一些对象和运算关系借助于几何术语来表示。如把函数看成是某种空间的一个点之类。这种做法之所以行之有效，归根结蒂还是因为数学家们已经熟悉了那种简易的数学运算与图形关系。而后者又有着长期深厚的现实基础。而且，即使是最原始的数字如1、2、3、4，以及几何形象如点与直线，也已经是经过人们高度抽象化了的概念。因此，如果把数与形作为广义的抽象概念来理解，则前面提到的把数学作为研究数与形的科学这一定义，对于现阶段的近代数学，也是适用的。 中国的数学体系在宋元时期达到高峰以后，陷于停顿且几至消失。而在欧洲，经过文艺复兴、宗教革命、资产阶级革命等一系列的变革，导致了工业革命与技术革命。机器的使用，不论中外都由来已久。但在中国，则由于明初被帝王斥为奇技淫巧而受阻抑。在欧洲，则由于工商业的发展与航海的刺激而得到发展，机器使人们从繁重的体力劳动中解放出来 ， 并引导到理论力学和一般的运动和变化的科学研究。当时的数学家都积极参与了这些变革以及相应数学问题的解决，产生了积极的效果。解析几何与微积分的诞生，成为数学发展的一个转折点。17世纪以来数学的飞跃，大体上可以看成是这些成果的延续与发展。 20世纪出现各种崭新的技术，产生了新的技术革命。特别是计算机的出现，使数学又面临一个新时代。这一时代的特点之一就是部分脑力劳动的逐步机械化。与17世纪以来数学之以围绕连续、极限等概念为主导思想与方法不同，由于计算机研制与应用的需要，离散数学与组合数学开始受到重视。计算机对数学的作用已不限于数值计算，符号运算的重要性日趋明显(包括机器证明等数学研究)。计算机还广泛应用于科学实验 。为了与计算机更好配合，数学对于构造性、计算性、程序化与机械化的要求也显得颇为突出。代数几何是一门高度抽象化的数学，最近出现的计算性代数几何与构造性代数几何的提法，即其端倪之一。总之，数学正随着新的技术革命而不断发展。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条