Toward multimodal notation for mathematics: Why and how

Notation is a tool of thought, recording and communicating concepts and activities related to a domain of knowledge. In the history of mathematical notation, written notation is usually considered. However, to be an effective thinking tool, notation must be properly perceived. Blind and partially sighted people run into difficulty in making, exploring and understanding mathematical concepts conceived for being represented in multi-dimensional space. In this paper, we capitalize on the multifaceted nature of digital symbols to define multimodal digital notation for graph structures that allows blind and partially sighted people to represent graph structures, reason about them and communicate their reasoning with sighted people as well as each other. As support tool for notation proposed we have designed a multimodal interactive system, in which haptic signals play a crucial role. An evolutionary prototype of the system has been developed and evaluated according to the star life cycle model.     

Effect of cobalt oxide on surface structure of alumina supported molybdena catalysts studied by in situ Raman spectroscopy

A set of Co promoted 10% Mo/Al₂O₃ samples have been characterized by means of Raman spectroscopy under ambient as well as in situ dehydrated conditions. Under ambient conditions, the degree of the polymerization of surface molybdenum oxide species decreases with increasing Co loading. Under dehydrated conditions, the polymeric molybdenum oxide species is absent with the addition of only 0.2% Co. At low Co loadings (2%), before the formation of CoMoO₄ compound, the spectral features are very similar under ambient conditions. Dehydration causes the upward shift of the Mo=O symmetric stretching mode. A broad band around 920–930 cm^–1 was thus observed. This band has been suggested to be associated with the Co-Mo interaction species. In contrast to crystalline CoMoO₄, this species shows a reversibility on H₂ reduction-O₂ reoxidation treatments. From the results obtained, it is proposed that cobalt oxide interacts with the most polymerized molybdenum oxide species to form Co-Mo interaction species and/or crystalline CoMoO₄; therefore, the amount of the surface molybdenum oxide species decreases with a change in the molecular structure as a function of the Co concentration.     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。