We are developing a measurement device by means of which gait information can be obtained that cannot be obtained by existent devices. We are also evaluating the effectiveness of the device in rehabilitation programs....
详细信息
Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the π it -ca...
详细信息
Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the π it -calculus, a new variant of the π-calculus, in this paper. The good feature of the π it -calculus is that its execution can be interrupted and can handle timing events as well. We provide both syntax and semantics of the π it -calculus and define a strong bisimulation relation that specifies when two processes can be considered as the same. With the new calculus, we then model the activities of BPEL and BPEL4People, and give their precise semantics. Our formal framework may facilitate the reliability and consistency analysis in a BPEL or BPEL4People design process.
The concept of Prognostic and Health Management (PHM) on machinery attracts a lot of attention during these years, as a key technique of PHM, the prediction of Remaining Useful Life (RUL) of equipment is well studied....
详细信息
The concept of Prognostic and Health Management (PHM) on machinery attracts a lot of attention during these years, as a key technique of PHM, the prediction of Remaining Useful Life (RUL) of equipment is well studied. As a method with reasonable assumption, Health Index (HI) is successfully applied in RUL prediction. However, in the scenario of large mechanical equipment, there are some disadvantages in tradition HI method. So the notion of Core State is raised and some improvements are introduced, and furthermore, a unified framework for the RUL prediction of large equipment, which mainly based on similarity metric of HI, is then presented. Finally, the proposed idea was carried out through a real-data experiment. The result indicated the signification effect of Core State in RUL prediction and verified the validity of the framework as well.
Robust scheduling is an effective way to solve job-shop scheduling problem (JSP) under a dynamic and stochastic environment with uncertainties, which may lead to numerous schedule disruptions. Maintaining the optimiza...
详细信息
Robust scheduling is an effective way to solve job-shop scheduling problem (JSP) under a dynamic and stochastic environment with uncertainties, which may lead to numerous schedule disruptions. Maintaining the optimization obtained, the robust schedule is more stable in execution. The vast majority of the researches on robust scheduling concentrate on the development of the robustness and stabilization with an optimization target that minimizes makespan. However, other optimization targets are needed in reality, and in this paper, we introduce another optimization target that maximizes the payload of the machine, which can reflect the capacity of machine. This work applies a two-step way to achieve a robust schedule. A baseline schedule in the deterministic environment is generated first, which pursues standard optimization criterions, and then the temporal buffers are inserted into the baseline schedule which make the schedule absorb some level of unexpected disruption without rescheduling. According to the payload of each machine which should be close to the maximum at any time in execution, we can get each size of the temporal buffers inserted into the different operations. An extensive experiment is used to show the relative performance of the proposed robust schedule. It is shown that the schedule is robust and stable under the stochastic disturbance coupling with minimal makespan tardiness and symmetry payload.
Although biometrics technology has progressed substantially, its performance is still to be improved for real applications. This paper aims to improve the accuracy of personal identification, when only single sample i...
详细信息
Although biometrics technology has progressed substantially, its performance is still to be improved for real applications. This paper aims to improve the accuracy of personal identification, when only single sample is registered as template, by integrating multiple hand-based biometrics. To make fusion much easier, the same feature, so called fusion code, and decision level fusion strategy are used. Two fusion cases, face & palmprint and FKP & palmprint were taken as examples to verify the effectiveness. Experimental results show that much better performance than single modal biometrics has been achieved.
The concept of Prognostic and Health Management (PHM) on machinery attracts a lot of attention during these years, as a key technique of PHM, the prediction of Remaining Useful Life (RUL) of equipment is well studied....
详细信息
This paper applies an approximate multi-parametric Nonlinear Programming approach to explicitly solve output-feedback Nonlinear Model Predictive Control (NMPC) problems for constrained nonlinear systems described by b...
详细信息
SOA migration is a complicated task. To ensure the migration performance, some directions on modeling migration approaches are needed. A user-oriented SOA migration model is proposed in this paper. The model is define...
详细信息
SOA migration is a complicated task. To ensure the migration performance, some directions on modeling migration approaches are needed. A user-oriented SOA migration model is proposed in this paper. The model is defined as a 6-tuple. The detailed descriptions on each tuple are addressed. Especially, the concrete algorithm on matching scheme and final SOA migration scheme are provided. The model can benefit the planning and deployment of a SOA migration project. A case study on the migration schemes of an internal management system for primary and secondary schools is provided to further depict this model. Through analyzing the results, we conclude that the performance of this model is promising.
In spite of social and political efforts to achieve equal opportunities, women remain a minority in natural sciences, technical and related fields. We hereby present the gender concept of the University of Stuttgart. ...
详细信息
ISBN:
(纸本)9781424465682;9781424465712
In spite of social and political efforts to achieve equal opportunities, women remain a minority in natural sciences, technical and related fields. We hereby present the gender concept of the University of Stuttgart. First, the steps for promotion of female students within natural sciences and technical fields are developed.
We are developing a measurement device by means of which gait information can be obtained that cannot be obtained by existent devices. We are also evaluating the effectiveness of the device in rehabilitation programs....
详细信息
ISBN:
(纸本)9781424476428
We are developing a measurement device by means of which gait information can be obtained that cannot be obtained by existent devices. We are also evaluating the effectiveness of the device in rehabilitation programs. The final goal of our work is to realize a space where patients can execute their rehabilitation routines at any time. In this paper, we report the outline of our novel measurement device. That is to say, we describe our realtime measurement technique for measuring the position and angle of the feet to obtain the gait information, as well as our method of presenting the gait information.
暂无评论