Workflow management is concerned with automated support for business processes. Workflow management systems are driven by process models specifying the tasks that need to be executed, the order in which they can be executed, which resources are authorised to perform which tasks, and data that is required for, and produced by, these tasks. As workflow instances may run over a sustained period of time, it is important that workflow specifications be checked before they are deployed. Workflow verification is usually concerned with control-flow dependencies only; however, transition conditions based on data may further restrict possible choices between tasks. In this paper we extend workflow nets where transitions have concrete conditions associated with them, called WTC-nets. We then demonstrate that we can determine which execution paths of a WTC-net that are possible according to the control-flow dependencies, are actually possible when considering the conditions based on data. Thus, we are able to more accurately determine at design time whether a workflow net with transition conditions is sound.

We synthesize animations from a single image by transferring fluid motion of a video example globally. Given a target image of a fluid scene, an alpha matte is required to extract the fluid region. Our method needs to adjust a user-specified video example for producing the fluid motion suitable for the extracted fluid region. Employing the fluid video database, the flow field of the target image is obtained by warping the optical flow of a video frame that has a visually similar scene to the target image according to their scene correspondences, which assigns fluid orientation and speed automatically. Results show that our method is successful in preserving large fluid features in the synthesized animations. In comparison to existing approaches, it is both possible and useful to utilize our method to create flow animations with higher quality.

As a result of noise and intensity non-uniformity, automatic segmentation of brain tissue in magnetic resonance imaging (MRI) is a challenging task. In this study a novel brain MRI segmentation approach is presented which employs Dempster-Shafer theory (DST) to perform information fusion. In the proposed method, fuzzy c-mean (FCM) is applied to separate features and then the outputs of FCM are interpreted as basic belief structures. The salient aspect of this paper is the interpretation of each FCM output as a belief structure with particular focal elements. The results of the proposed method are evaluated using Dice similarity and Accuracy indices. Qualitative and quantitative comparisons show that our method performs better and is more robust than the existing method.

We present a novel control approach for trajectory tracking of an autonomous airship. First, the dynamics model and the trajectory control problem of an airship are formulated. Second, the sliding mode control law is designed to track a time-varying reference trajectory. To achieve better control performance, fuzzy adaptive sliding mode control is proposed in which the control gains are tuned according to fuzzy rules, and an adaptation law is used to guarantee that the control gains can compensate for model uncertainties of the airship. The stability of the closed-loop control system is proven via the Lyapunov theorem. Finally, simulation results illustrate the effectiveness and robustness of the proposed control scheme.

To design a high reliability multilevel grid-connected inverter, a high performance simulation methodology based on Saber is proposed. The simulation methodology with optimized simulation speed can simulate the factors that have significant impacts on the stability and performance of the control system, such as digital delay, dead band, and the quantization error. The control algorithm in the simulation methodology is implemented using the C language, which facilitates the future porting to an actual system since most actual digital controllers are programmed in the C language. The modeling of the control system is focused mainly on diode-clamped three-level grid-connected inverters, and simulations for other topologies can be easily built based on this simulation. An example of designing a proportional-resonant (PR) controller with the aid of the simulation is introduced. The integer scaling effect in fixed-point digital signal processors (DSPs) on the control system is demonstrated and the performance of the controller is validated through experiments.

A wideband composite right/left handed transmission line (CRLH TL) in conjunction with its corresponding equivalent circuit model is studied based on a cascaded complementary single split ring resonator (CCSSRR). The characterization is performed by theory analysis, circuit simulation, and full-wave electromagnetic (EM) simulation. The negative refractive index (NRI) and backward wave propagation performance of the CRLH TL are demonstrated. For application, a bandpass filter (BPF) with enhanced out-of-band selectivity and harmonic suppression operating at the wireless local area network (WLAN) band is designed, fabricated, and measured by combining the CRLH TL with a complementary electric inductive-capacitive resonator (CELC). Three CELC cells with wideband stopband performance in the conductor strip and ground plane, respectively, are utilized in terms of single negative permeability. The design concept has been verified by the measurement data.