关键词： 中国教育   展示会   装备   行业信息化   整体解决方案   移动计算   经济社会   教育信息化  

摘要： 当今世界,信息技术创新日新月异,以数字化、网络化、智能化为特征的信息化浪潮蓬勃兴起。云计算、大数据、物联网、移动计算等新技术逐步广泛应用,经济社会各行业信息化步伐不断加快,社会整体信息化程度不断加深,信息技术对教育的革命性影响日趋明显。第72届中国教育装备展示会于2017年5月7日,在福建省福州市盛大开幕。天喻教育携教育信息化整体解决方案和智慧教育系列产品闪亮登场,点亮第72届中国教育装备展示会。

关键词： 移动数据库技术   移动计算   复制缓存技术   数据广播技术   应用领域  

摘要： 进入21世纪以来,移动终端已经逐渐成为人们最熟悉的工具,计算机技术与IT技术的迅猛发展也为移动数据库技术的发展提供了有力支持,移动数据库技术逐渐拓展到众多领域。对移动数据库技术与移动计算技术进行了阐述,并对移动数据库的复制缓存技术、数据广播技术、移动事务处理技术等进行了分析,同时对在某些领域和行业实现移动数据库技术的应用进行了探讨。

关键词： Single board mobile computing devices   3D graphics library   Debug output  

摘要： With modern integrated development environment, support for error reporting and debugging features becomes more important. In the case of 3D graphics libraries, the most widely used 3D graphics library of Open Graphics Library (OpenGL) has introduced the KHR debug extension, and it becomes the core feature of OpenGL version 4.3 and later. In contrast, existing OpenGL family implementations are lack of these features and hard to update the existing device drivers, including Raspberry Pi, Odroid, Arduino, etc. Especially, single board mobile computing devices are easy to lack up-to-date extensions for their existing system libraries. In this paper, we represent a dynamically-linked library (DLL) wrapping approach to support the KHR debug extension even on the old OpenGL ES 1.1 versions, which are most widely used on single board mobile computing devices. Our prototype implementation shows full features of the KHR debug extension and works well with existing OpenGL ES 1.1 application programs. This enhancement to the OpenGL ES 1.1 enables the application programmers to use more up-to-date debugging features with traditional graphics drivers.

关键词： Safety management   Construction sites   Safety inspection   Information technology   Mobile computing   iPad application   Australia  

摘要： Site safety inspection is an essential task to ensure that construction operations are carried out in a safe manner, in accordance with relevant health and safety policies and standards of a particular jurisdiction. It is also critical to the smooth execution, monitoring, and controlling of construction activities. The evidence gathered from construction experts as well as from previous studies suggests that the efficiency and effectiveness of current inspection processes are less than satisfactory. This paper reports an Australian research project that develops an innovative safety inspection approach to incorporate mobile computing technologies into safety inspection processes in order to facilitate more effective data collection, processing, and control practices. The paper also discusses the interview results of safety practitioners about the proposed inspection approach. The approach was implemented through the development and test of a prototype mobile inspection tool. The feasibility and usefulness of the tool was evaluated and recognized by industry practitioners. The results show that the developed approach and tool have the potential to improve safety inspection performance on construction sites as well as enhance the integration of safety management systems. The research efforts will also enrich the current knowledge on construction safety.

关键词： Chemical shift   Optimal scaling factor   Praziquantel   RMN  

摘要： The ¹³C chemical shifts of 18 molecules are used with the aim of decreasing the error generated by computational approach in the chemical shift calculation. In this work, we use two approaches: minimizing of the residual error and linear correlation. We compute the optimal scaling factors, λ, to minimize the residual error of the chemical shift, δ, and their result will be compared with the values obtained from linear correlation. The comparisons between the two approaches are comparable in accuracy and in degree of reliability. Moreover, the use of optimal scaling factor demanding less computational time within an expected error. © Copyright 2017 American Scientific Publishers All rights reserved.

关键词： 移动计算   web服务   远程证明   可信第三方  

摘要： 为便于移动设备对Web服务进行可信证明,基于可信第三方作为证明代理,通过公钥密码算法对通信消息进行签名,设计了轻量级的可信证明方案.通过可信第三方进行代理证明,能够保护证明方的隐私信息,实现方便的Web服务器平台定位,同时能够降低终端的验证负担.最后,建立了仿真实验环境.实验结果表明,该方法能够使终端较轻松地对Web服务进行可信性证明,满足了移动计算环境下较弱处理能力终端的需求.

关键词： 移动计算机   网络通信   技术  

摘要： 移动计算机通信网络也被叫做游牧计算机网络,作为主机能够在网中漫游的计算机网络,将综合计算机和电信技术,提供给用户移动环境以及新的计算模式,保证移动当中用户可以进行访问和使用多种计算机资源,移动计算机网络通信技术就是一个比较活跃的领域,文中将重点分析这个领域。

关键词： 5G移动   计算机   网络通信   安全防护  

摘要： 计算机通信网络的安全性不仅关系着通信效率和通信质量,而且对于用户自身信息的安全性和社会秩序的稳定性也具有重要影响。在当前互联网时代下,如何在了解和掌握计算机通信技术与通信网络安全内涵的基础上,加大对计算机通信网络的安全防护力度已成为计算机及各行业领域需要着重开展的关键工作。

关键词： 移动计算   恶意软件   静态检测系统   用户移动终端  

摘要： 移动终端在互联网中下载到恶意软件的几率非常高,这对用户信息私密性造成了严重的威胁,但科研组织曾研究出的恶意软件检测系统往往误报率过高、实用性不强。为此,设计移动计算环境下恶意软件静态检测系统,其由特性提取与预处理模块和移动计算终端组成。特性提取与预处理模块根据静态检测特性数据库中的恶意软件标志特性,对用户移动终端软件的安装包特性、资源特性和编译特性进行提取,并使用静态检测函数对提取出的特性进行预处理,给出恶意与非恶意软件的特性分类结果。系统通过移动计算终端对特性分类结果中的恶意软件特性进行位置检测,隔离出用户移动终端中的恶意软件,防止恶意软件继续入侵。经实验分析可知,所设计的系统误报率较低、实用性较强。

关键词： 程序设计语言   计算机系统   计算机领域   专题   移动计算   软件定义   安全理论   机器人  

摘要： 程序设计语言和系统是计算机领域的奠基性学科之一.近年来,随着计算机系统的广泛应用,本领域的研究形成一波新的高潮,其中,新的研究热点包括面向大数据、云计算、移动计算、软件定义网络、机器人等特定领域的领域专用程序设计语言和系统、基于程序设计语言的安全理论和技术、