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.
Optimization is an integral part of any grinding or finishing operation related to development and design process steps as it is crucial for quality, competence thus to improve design of optimal design of grinding sys...
详细信息
Optimization is an integral part of any grinding or finishing operation related to development and design process steps as it is crucial for quality, competence thus to improve design of optimal design of grinding systems with use of mathematical models of external cylindrical grinding with axial feed. The article describes the methodology for designing optimal cycles of control of feeds, resistant to non-stable conditions of workpiece during different grinding stages. Models of formation of radiuses surface on basis of mathematical modelling and experiments with a simultaneous at radial and axial feeds for multi-stages to ensure quality control of designing grinding. (C) 2020 Elsevier Ltd. All rights reserved.
Optimization is an integral part of any grinding or finishing operation related to development and design process steps as it is crucial for quality, competence thus to improve design of optimal design of grinding sys...
详细信息
Optimization is an integral part of any grinding or finishing operation related to development and design process steps as it is crucial for quality, competence thus to improve design of optimal design of grinding systems with use of mathematical models of external cylindrical grinding with axial feed. The article describes the methodology for designing optimal cycles of control of feeds, resistant to non-stable conditions of workpiece during different grinding stages. Models of formation of radiuses surface on basis of mathematical modelling and experiments with a simultaneous at radial and axial feeds for multi-stages to ensure quality control of designing grinding.
User-centric service is wildly adopted in the Cloud environment, but its comprehensible composition is still challenge. On the one hand, intuitive programming perspective is required to hide low-level details with the...
详细信息
ISBN:
(数字)9783319491783
ISBN:
(纸本)9783319491783;9783319491776
User-centric service is wildly adopted in the Cloud environment, but its comprehensible composition is still challenge. On the one hand, intuitive programming perspective is required to hide low-level details with the reasonable abstract;on the other hand, effective guarantee is necessary to verify the application's legality. In this paper, we present a service composition method through multiple user-centric views in which different abstract is provided by orthogonal and orderly views. Domain applications can be synthesized and their consistency is guaranteed coordinately.
The hydraulic manifold block is designed by using virtual design method to provide the designer with a complete, image geometric model. Design process is simulated by using the method of physical modeling. Designers c...
详细信息
The hydraulic manifold block is designed by using virtual design method to provide the designer with a complete, image geometric model. Design process is simulated by using the method of physical modeling. Designers can directly see the results of design, the relationship between the observation holes and the assembly result on the virtual model. It reduces the labor of designers and increases the reliability of the calibration process. The programming method is carried out. Taking Visual Basic as the integrated development environment, the database as well as the macro recording and decompilation technology is used for the secondary development of Solid Works, in order to realize three-dimensional parametric design of the hydraulic manifold block.
Proposed three modeling methods for the numerical calculation of the foam material, the method of single cell deposition modeling is simple, but the assumptions of the foam cell structure become complicated, which don...
详细信息
ISBN:
(纸本)9783038350071
Proposed three modeling methods for the numerical calculation of the foam material, the method of single cell deposition modeling is simple, but the assumptions of the foam cell structure become complicated, which don't reflect the position and shape of the bubble holes adequately;the method of three dimensional reconstruction can truly reflect the shape of the foam material's microstructure only for sliced section foam material, and it involves multiple softwares which leads to become difficult to accomplish;the method of programming enables cell distribute within the foam matrix material anywhere and be able to control the bubble shape of the hole, and it can also control the porosity by the program.
Under the concept of smart grid,a novel programming method is proposed in the paper for customer friendly distribution system considering the uncertainty of short time power *** to the uncertainty of power quality dur...
详细信息
Under the concept of smart grid,a novel programming method is proposed in the paper for customer friendly distribution system considering the uncertainty of short time power *** to the uncertainty of power quality during the change of power system structure,the assessment of potential cost caused by customers’ equipment failures under possible disturbances for different planning schemes is *** programming method based on customer cost including the potential costs is correlated with the disturbances and voltage tolerant level of customer *** on maximum entropy principle and fuzzy analysis method,the compatibility between system disturbance and equipment is studied *** method has been applied to RBT Bus2 distribution *** results validate that the planned distribution system considering the customer potential losses is with more comprehensive benefit.
A new interpretation of software engineering from scientific, engineering, and practical standpoints is proposed. Software engineering is defined as a successor of programming and computer science, namely, its managem...
详细信息
A new interpretation of software engineering from scientific, engineering, and practical standpoints is proposed. Software engineering is defined as a successor of programming and computer science, namely, its management theory. Features and attributes of software engineering as an original discipline are founded. The structure, content, and concepts of this discipline and its basic elements are presented.
暂无评论