基于MQTT的手机设备接入和管理功能设计与开发

随着物联网的飞速发展以及其越来越广泛的应用,一大批如智能家居、智慧出行之类的新兴领域产业迅速崛起.物联网因其越来越广阔的发展前景而被人们看好.系统采用MQTT作为通信协议设计与开发了一个手机设备接入和管理的平台,使用Java语言进行Android客户端以及服务端Web应用后端的开发,采用Springboot作为服务端框架.用户可以在手机客户端与服务端之间建立连接,客户端发布设备状态信息,用户在服务端监控所有连接的设备的实时状态信息,同时还可以进行管理操作.     

基于Rampart模块的Axis2 Web服务安全研究

随着Web Service技术与应用的发展,Web Service 安全问题日益突出.Axis2 作为新一代的Web服务开发平台,具有模块化和可扩展的新特性.首先介绍Axis2 和Rampart 的工作原理,然后通过一个应用场景具体说明Rampart 作为Axis2的一个安全模块,在客户端与服务端安全配置方法和回调函数的设计,以及模块是如何实现WS-Security 规范中的XML加密来保证Web服务的安全.     

移动设备上实现Web Services技术的研究及应用

J2ME主要针对资源受限设备进行应用程序的开发。Web服务是电子商务发展的下一个阶段，它能够让任何平台上的用任何语言编写的服务进行交互。文中主要介绍了在这两种技术的基础上，完成一个以J2ME和Web Service技术相结合的拍卖系统项目，其中J2ME用于手机端客户程序的开发，而Web Service技术则用于处理服务器端和客户端之间的交互，以及后台服务端程序的发布。     

基于Web Service的车险移动查勘系统

随着移动通信技术的高速发展以及移动通信设备的普及,各种移动应用系统应运而生,给人们的工作、生活带来了极大的方便.实现基于Web Service的车险移动查勘系统,该系统基于Android系统,采用3G通信技术.以Web Service处理车险业务.客户端使用JSR172调用Web Service来传递车险数据,从而实现移动客户端和服务器端的通信.系统有良好的交互界面,操作简单、方便,不仅能提高查勘效率和理赔服务质量,还可以进一步拓展其它业务.     

基于XML Web Services的异构平台通信研究

基于XML的分布式Web Service是Internet应用的一项技术性变革,它可以跨越应用系统的组件模型、操作系统、编程语言的界限,供客户端或其他服务器调用。文中介绍了Web Service的基本概念,深入分析了基于XML Web Service的多平台之间通信的可能性及其通信的技术基础,并以.Net和Java为例论述了不同技术平台之间通信的基本方法。     

基于WEB SERVICE的在线图象处理系统

通过网络进行分布式计算是计算机应用发展的一大趋势,现有的本地图象处理将不适应这一趋势.针对这种现状,提出并实现了一种先进的、架构在微软.NET平台之上的、基于Web Service的在线图象处理系统.本系统是对未来图象处理软件应用模式的一种大胆探索.系统在服务器端实现图象处理功能并充分利用Web Service技术发布,提供Web服务;客户端则利用Web Application实现对提供服务端的调用,二者共同构成在线图象处理系统.实验证明,该系统具备松散耦合、面向组件的特点,软件更新、维护方便,使用上突破本地限制,能够适应分布式计算的需要.     

基于．NET的Web Service与SQL Server2000交互通信的研究

微软．NET平台是一个建立和开发各种Web应用的主流平台，SQL Server是一个已被许多公司和企业广泛应用的功能强大的、可缩放的、高性能的关系型数据库管理系统．Web Service是最新的程序间协作交互技术．本文介绍通过利用．NET这个平台和SQL的存储技术如何实现以解决WEB服务端和客户端间的交互通信问题。实现空间信息服务的共享。     

嵌入式服务器在智能家居系统中的应用

智能家居正逐步融人大众的生活,改变着我们的生活方式;嵌入式处理器的性能不断的提高,使得智能家居系统可加入更多的功能,进行更复杂的运算;基于高性能的嵌入式处理器硬件平台,设计了一种基于Linux软件系统的服务器作为智能家居系统的数据交换与监控中心;并且采用Nginx服务器、PHP编程语言和SQLite数据库,实现了智能家居系统的Web远程监控平台,此Web站点符合HTML5规范,并且使用HTML5规范中的WebSocket协议,实现了浏览器端和服务器端之间的全双工实时通信;这是一种更为便捷的跨平台兼容的智能家居系统远程监控平台.     

基于物联网的智能家居远程无线监控系统设计

基于ARM920T内核的S3C2440、嵌入式Web服务、QT技术、无线组网技术,设计了智能家居监控系统,系统由智能家居主机、ZigBee/Wi-Fi无线传感控制网络、智能家居客户端软件组成。系统完成了智能家居主机的硬件和软件设计：在ARM平台上移植嵌入式Linux操作系统;使用gSOAP工具建立嵌入式Web服务;配置USB转串口驱动、无线Wi-Fi网卡驱动;组建ZigBee无线传感控制网络,完成对协调器节点以及终端节点的程序设计,制定了数据通信协议;使用QT技术设计客户端程序。最后,重点测试ZigBee网络的建立、终端节点入网和传感器节点数据传输。测试结果表明网络中的传感器节点能够将检测的信息传送到协调器中,智能家居客户端软件能够通过智能家居主机完成对家居环境的远程监测和控制。     

基于JSP和Android的C/S结构问卷系统

为了方便问卷调查的实施过程,提高统计数据采集过程的效率,提出一种基于Android平台的手机问卷调查系统实现方法。该问卷系统是客户端/服务器结构的,服务端包括基于JSP的问卷设计模块、问卷信息统计模块、数据库,以及基于C#的Web Service用于实现数据库访问接口; 客户端是Android平台上的问卷交互系统,从数据库获取问卷信息,在手机上显示问题和选项供用户回答并把回答结果提交到数据库。该系统在Android模拟器上以及真机上都进行了测试,结果表明该系统能有效实现问卷调查功能。由于客户端可以运行在移动设备之上,该系统的实现可以使问卷过程随时随地进行,使调查过程更加便利和高效,拓宽问卷调查的客户群,因此可以为需要市场调查或社会调研的企业或机构所采用。     

基于网络的并行计算系统模型

随着Internet迅速发展,利用网上资源构筑分布式并行计算环境进行中、大粒度任务的分布式并行计算已呈现出重要研究价值。另外,Agent理论的日益成熟及多Agent系统MAS(Multi-Agent System)的出现,为开放式分布系统的开发和应用提供了新的模式。结合移动Agent在并行计算中的任务特性,对网络并行计算进行了抽象的分析和描述,然后给出了一个基于移动Agent计算的任务流模型实例。     

LVT: a layered verification technique for distributed computing systems

This paper presents a layered verification technique, called LVT, for the verification of distributed computing systems with multiple component layers. Each lower layer in such a system provides services in support of functionality of the higher layer. By taking a very general view of programming languages as interfaces of systems, LVT treats each layer in a distributed computing system as a distributed programming language. Each relatively higher‐level language in the computing system is implemented in terms of a lower‐level language. The verification of each layer in a distributed computing system can then be viewed as the verification of implementation correctness for a distributed language. This paper also presents the application of LVT to the verification of a distributed computing system, which has three layers: a small high‐level distributed programming language; a multiple processor architecture consisting of an instruction set and system calls for inter‐process message passing; and a network interface. Programs in the high‐level language are implemented by a compiler mapping from the language layer to the multiprocessor layer. System calls are implemented by network services. LVT and its application demonstrate that the correct execution of a distributed program, most notably its inter‐process communication, is verifiable through layers. The verified layers guarantee the correctness of (1) the compiled code that makes reference to operating system calls, (2) the operating system calls in terms of network calls, and (3) the network calls in terms of network transmission steps. The specification and verification involved are carried out by using the Cambridge Higher Order Logic (HOL) theorem proving system. Copyright © 1999 John Wiley & Sons, Ltd.     

面向SOA的电力分布式计算总线的应用研究

为了实现数据资源广域分布的电网系统分布式分解协调计算,提出了面向服务架构的电力分布式计算总线(EDCB)协调机制。采用主从分层分区方法,把互联的电力网络划分成主区和从区,在分区环境下分析电力分布式计算的数据需求、计算环境和计算结构,设计电力分布式计算总线模型,进行分布式分解协调计算。通过Ward等值方法,把电网数据转换成数据量较小的等值数据,并利用SOA技术实现分布式计算总线。     

基于Internet的分布式网络精馏计算系统

文章简要叙述了近10年来化工领域网络计算技术的发展状况,提出了一种基于分布式计算的网络计算模型,并将这一模型应用到化工精馏模拟计算领域。文章对分布式网络计算模型的成员结构及成员间的关系和通信方式进行了仔细分析,给出了一个模型结构框图,同时,对如何选择开发平台、开发语言和开发工具提出了一些建议。并给出了一个采用分布式网络计算模型的化工精馏模拟网络计算系统的设计实例,并列举了采用这个模型进行实际模拟计算应用的两个具体例子。最后对网络计算的发展前景做了一些展望。     

网络机群计算的负载指标研究与实现

针对利用网上空闲机进行非专用机群分布式并行计算的环境,研究复杂通用网络上用什么指标发现空闲处理机及如何实时衡量处理机的负载变化以调度分配处理机.在研究现有分布式系统和专用机群负载指标的基础上,提出了一种适用于网络机群计算环境的复合型负载指标,详细讨论了它在系统中的作用和实现,并通过大量测试分析实验,得出了一个合理的负载指标更新周期.     

面向Web服务的分布式本体系统

智能Web服务,即IWS(IntelligentWebServices)是网络计算模式不断发展创新的必然结果。而本体技术的引入是IWS发展的必然。为适应IWS对本体,尤其是本体分布性的新要求,该文提出了一个面向Web的分布式本体系统的模型———WODOS(WebOrientedDistributedOntologySystem),这个模型的特点是在Web的环境下,保证本体所必需的唯一性与一致性的前提下,对本体进行分布存储、引用、处理。该文讨论了这个模型的结构、机制和算法。     

A performance model for analysis of heterogeneous multi-cluster systems

This paper addresses the problem of performance modeling for large-scale heterogeneous distributed systems with emphases on multi-cluster computing systems. Since the overall performance of distributed systems is often depends on the effectiveness of its communication network, the study of the interconnection networks for these systems is very important. Performance modeling is required to avoid poorly chosen components and architectures as well as discovering a serious shortfall during system testing just prior to deployment time. However, the multiplicity of components and associated complexity make performance analysis of distributed computing systems a challenging task. To this end, we present an analytical performance model for the interconnection networks of heterogeneous multi-cluster systems. The analysis is based on a parametric family of fat-trees, the m-port n-tree, and a deterministic routing algorithm, which is proposed in this paper. The model is validated through comprehensive simulation, which demonstrated that the proposed model exhibits a good degree of accuracy for various system organizations and under different working conditions.     

Efficient Distributed Skyline Queries for Mobile Applications

In this paper, we consider skyline queries in a mobile and distributed environment, where data objects are distributed in some sites (database servers) which are interconnected through a high-speed wired network, and queries are issued by mobile units (laptop, cell phone, etc.) which access the data objects of database servers by wireless channels. The inherent properties of mobile computing environment such as mobility, limited wireless bandwidth, frequent disconnection, make skyline queries more complicated. We show how to efficiently perform distributed skyline queries in a mobile environment and propose a skyline query processing approach, called efficient distributed skyline based on mobile computing (EDS-MC). In EDS-MC, a distributed skyline query is decomposed into five processing phases and each phase is elaborately designed in order to reduce the network communication, network delay and query response time. We conduct extensive experiments in a simulated mobile database system, and the experimental results demonstrate the superiority of EDS-MC over other skyline query processing techniques on mobile computing.     

一种分布式数字海洋云系统研究

海洋数据分布区域广泛且数据量庞大,现有数字海洋系统相对独立,海洋数据信息共享度低,制约了大规模海洋数据的高性能计算。为"数字海洋"系统提供有力的数据支持和计算服务。本文提出一种基于云的分布式数字海洋系统,把不同的海洋数据通过高速网络连接起来建立一个存储云,使用一个专用的网络服务协议,用于高性能广域网络连接的计算机集群所进行的大型分布式数据集的高性能计算。实验结果表明,与现有基于Hadoop分布式数字海洋系统相比,该系统的性能有显著提高、数据高度共享。     

JDCS:实现高性能计算的分布式计算系统

分布对象计算技术提供了充分利用现有网络资源的有效途径。JavaRMI是当前比较成熟的一种分布对象技术,它提供了使用Java对象的简单和直接的方法。该文建立基于JavaRMI方法的适用于高性能计算的分布式计算系统JDCS。在JDCS中由网络上的计算结点构成服务器池,为用户提供高性能的计算服务。实现结果表明该系统可以获得较高的加速比。