MathML在数学表现上的应用

本文针对基于图像处理方法在Web上实现数学内容存在的问题，阐述、介绍了MathML的特点、内容和结构，并结合若干实例给出了MathML在数学表现上的应用的具体方法。     

基于XML实现数学内容到MathML代码的自动转换

基于XML对MathML进行了研究,实现了从数学内容到MathML语言代码的自动转换,讨论了Web上数学内容的显示、存储及交互问题。     

一种无缝的HTML+MathML通用文档

针对多种(X)HTML+MathML(数学标志语言)文档导致的数据冗余问题,提出一种无缝的HTML+MathML通用文档方案,实现一种适应多种环境的跨浏览器技术,开发独特的JMD技术。该通用文档采用标准的MathML,基于JavaScript和DOM,集成多种显示技术,扩展多个显示方案,分离MathML的内容与显示,能够流畅地应用于多种平台和浏览器,有效解决数学表达式的通用性应用问题。     

使用MathML设计数学网页

本文首先指出互联网中数学网页普遍缺乏的事实,引出有望改变此状况的相关技术XML和MathML,文中首先介绍一些基本知识,然后列举实例探讨如何使用MathML来设计数学网页和如何使用MathML工具来更加方便的设计数学网页,最后评价这些方法,得出一节有益的结论.     

使用Mathml设计数学网页

本文首先指出互联网中数学网页普遍缺乏的事实,引出有望改变此状况的相关技术XML和MathML,文中首先介绍一些基本知识,然后列举实例探讨如何使用MathML来设计数学网页和如何使用MathML工具来更加方便的设计数学网页,最后评价这些方法,得出一节有益的结论。     

基于MathML的数学公式在线编辑与传输的研究

大量公式和符号的编辑与传输处理是在线数学学术交流与教育活动中很重要的一个内容,MathML(Mathematical Markup Language)的出现为数学公式的在线编辑提供了强有力的支持.在对比分析相关技术的基础上,基于MathML设计一个在线公式编辑器并应用于数学论坛中,实现了公式的在线编辑、发布与显示等功能,具有很好的平台无关性、灵活性和可扩展性.     

数学公式与WEB

文章首先研究了数学公式在Web上的发展和问题,而后介绍了W3C组织提出的一种基于可扩展标记语言（XML）的数学标记语言（MathML）,它主要包括表现（Presentation）和表义（content）两种形式。文章认为MathML将成为数学材料计算机化的最重要的标准。最后,文章介绍了一个基于MathML的应用系统－SeeMath的设计和体系结构。SeeMath为数学公式在Web上显示提供了一个集成的解决方案。     

基于动态Web的数学文档研究及其实现

分析了LaTeX和MathML中数学文本的基本结构,提出了一种从LaTeX表示到MathML表示的转换方法,实现了基于动态Web页面的即时消息、电子公告板等上面的数学公式的编辑和显示。     

基于 MathML的在线公式编辑器的实现与应用 *

在阐述了数学标记语言 MathML和公式插件 WebEQ的基础上 ,提出了一种基于 MathML的在线公式编辑器的设计 ,并以文本编辑器 FCKeditor为平台进行了实现 ,最后给出了具体应用与进一步的改进 ,较好地解决了上述问题。     

基于HTML5的数学公式渲染研究与实现

针对目前数学公式在Web上显示方式繁琐且效果不佳的问题,介绍利用数学置标语言MathML(Mathematical Markup Language)编写数学公式,再用XML解析器对其进行解析处理,然后使用JavaScript控制获取到的MathML DOM树的节点内容和结构,结果可在无需安装任何插件的情形下,将数学公式显示在HTML5新增元素canvas上,并支持IE、Firefox、Opera、Safari等主流浏览器。     

数学模型可视化研究与实现

计算机硬件图像处理功能的增强,促进了计算机图形学的发展,进而促进了计算机的可视化研究。数学模型的可视化就是将抽象的数学函数以图形的方式表示出来,使人们对其有一个直观的认识。卫星云图,医疗成像系统都是计算机可视化的实际应用。文章介绍了在VC++6.0开发环境下,利用OpenGL来实现数学模型的可视化。该可视化系统包括数学函数的输入、识别、二维图形的输出、由二维曲线旋转生成三维立体图形以及三维图形的变换输出。     

A case study of computer gaming for math: Engaged learning from gameplay?

Employing mixed-method approach, this case study examined the in situ use of educational computer games in a summer math program to facilitate 4th and 5th graders’ cognitive math achievement, metacognitive awareness, and positive attitudes toward math learning. The results indicated that students developed more positive attitudes toward math learning through five-week computer math gaming, but there was no significant effect of computer gaming on students’ cognitive test performance or metacognitive awareness development. The in-field observation and students’ think-aloud protocol informed that not every computer math drill game would engage children in committed learning. The study findings have highlighted the value of situating learning activities within the game story, making games pleasantly challenging, scaffolding reflections, and designing suitable off-computer activities.     

An evolutionary approach to incorporating intradepartmental flow into facilities design

Minimizing material transportation is an important design object for many facilities. In traditional facility design, departments and work centers have been located based on interdepartmental flow patterns. We introduce a methodology that extends the planning process to also consider intradepartmental flow patterns. A math programming approach is developed that uses an objective function and constraints that specifically addresses both the intradepartmental and the interdepartmental material flows together. The math programming approach can be used to solve small problems but it is difficult to scale this method to problems with realistic sizes. Therefore, we devise an evolutionary optimization methodology for this same problem. The evolutionary method can readily solve both large and small problems. The effectiveness of the evolutionary approach is demonstrated on a suite of test problems.     

A hierarchical/relational approach to modeling

We describe a hierarchical/relational approach to math programming modeling. The approach transforms free-form generic modeling constructs into linear and nonlinear models which are independent of end-user data structures. The underlying relationships with graph-based interfaces and the inherent aggregation/disaggregation capabilities of the approach are also discussed.The modeling approach will be illustrated with several process industry applications including distribution planning, operations planning, and production scheduling.     

Cognitive and synthetic behavior of avatars in intelligent virtual environments

In intelligent virtual environments (IVEs), it is a challenging research issue to provide the intelligent virtual actors (or avatars) with the ability of visual perception and rapid response to virtual world events. Modeling an avatar’s cognitive and synthetic behavior appropriately is of paramount important in IVEs. We propose a new cognitive and behavior modeling methodology that integrates two previously developed complementary approaches. We present expression cloning, walking synthetic behavior modeling, and an autonomous agent cognitive model for driving an avatar’s behavior. Facial expressions are generated using our own-developed rule-based state transition system. Facial expressions are further personalized for individuals by expression cloning. An avatar’s walking behavior is modeled using a skeleton model that is implemented by seven-motion sequences and finite state machines (FSMs). We discuss experimental results demonstrating the benefits of our approach.     

用面向对象方法设计并实现数据库的动态查询

该文用面向对象方法分析了SQL的SELECT语句的语法结构,概括出基于表达式类的面向对象模型。在查询界面中,用户可以灵活地创建、销毁、组合或拆分这些对象,构造出复杂多样的表达式树,有效地实现了数据库的动态查询。     

Using digital technologies to redress inequities for English language learners in the English speaking mathematics classroom

This study examined the question, ‘What is the impact of a digital math intervention on secondary ELL students’ mathematical capabilities and perceptions of their future possibilities?’ The hypothesis was that through its direct effect on increasing students’ math ability and its indirect effect on increasing students’ perceived math self-efficacy, the digital intervention affects students’ perceptions of their functionings and future possibilities. A path analysis, with qualitative data nested into the design, was used to analyze the conceptualized relationships. The study was conducted with 50 ninth-and-10th-grade Hispanic students in a Colorado high school, over 6 months. The primary finding was that through its direct effect on increasing students’ math ability and its indirect effect on increasing students’ perceived math self-efficacy, the digital intervention improved students’ perceptions of their functionings and future possibilities. What this study specifically underscores is the importance of taking a coherent and purposeful approach toward the design of digital student-directed educational technology, especially for ELL students who may have specific learning needs.     

基于神经网络和模糊理论的智能控制技术

将神经网络方法和模糊理论结合起来，讨论一种基于神经网络（NN）和模糊理论实现智能控制的方法。仿真表明这类智能控制器可用于难以建立数学模型的控制系统。     

Using interval arithmetic to prove that a set is path-connected

In this paper, we give a numerical algorithm able to prove whether a set S$\mathbb{S}$ described by nonlinear inequalities is path-connected or not. To our knowledge, no other algorithm (numerical or symbolic) is able to deal with this type of problem. The proposed approach uses interval arithmetic to build a graph which has exactly the same number of connected components as S$\mathbb{S}$. Examples illustrate the principle of the approach.