In many pervasive computing applications, the users' requirements on environment are highly dependent on specific user activities. We refer to these applications as activity-oriented context-aware (AOCA) applicati...
详细信息
ISBN:
(纸本)9781467372114
In many pervasive computing applications, the users' requirements on environment are highly dependent on specific user activities. We refer to these applications as activity-oriented context-aware (AOCA) applications. In this paper, we propose a programming method which focuses on requirements related to each activity. This method supports lightweight and incremental development of AOCA applications. In order to enhance the reliability of the developed applications especially for safety-critical applications, we further propose an Ambient Calculus based formal model to specify AOCA applications. We describe properties for the verification based on Ambient Logic. Finally, we present a case study to demonstrate the developing process of the proposed method and the usability of the formalization.
Hadoop is a software framework that allows for the distributed processing of large data sets across clusters of computers using simple programming models. Hadoop is widely used due to its scalability, high reliability...
详细信息
ISBN:
(纸本)9783319238623;9783319238616
Hadoop is a software framework that allows for the distributed processing of large data sets across clusters of computers using simple programming models. Hadoop is widely used due to its scalability, high reliability, low-cost, high efficiency and so on. Hadoop Distributed File System (HDFS) and MapReduce programming model are respectively used for storing and processing of the data. This paper firstly carries depth research and detailed introduction on HDFS and MapReduce, then proposing a programming method that can sort output according to the order input. Experimental results demonstrate that the proposed method is feasible and effective. Through such output, it will bring great convenience in data processing on the later work.
In the proposed method, the requirements of different customer connected to the distribution system are determined and measured by customer satisfaction degree, where, the direct and indirect economic losses caused by...
详细信息
ISBN:
(纸本)9781479950324
In the proposed method, the requirements of different customer connected to the distribution system are determined and measured by customer satisfaction degree, where, the direct and indirect economic losses caused by the power quality disturbances occurring in the distribution system can be determined by the customer satisfaction degree. By the help of customer losses, a high supply quality system programming model and method are developed. Considering the compatibility between power quality disturbances caused by distribution system fault and customer requirements, maximum entropy method is used. The proposed method is validated by a test system. The results have shown that the proposed method can insure the power supply quality with appropriate cost.
1. Taking the example of a large refinery, we have shown that it is possible to select the most optimal operating variants of process units with the help of linear programming methods. 2. The optimization of the opera...
详细信息
暂无评论