In order to describe approximate equivalence among processes, a notion of λ-bisimilarity has been introduced in the field of process algebra. In this paper, we provide a modal characterization of λ- bisimilarity without the assumption that the metric is an ultra-metric or λ = 0, which is a generalization of one obtained by [M. Ying, Theoret. Comput.Sci., Vol. 275, 1{68]. 相似文献
In many modern enterprises, explicit business process de nitions facilitate the pursuit of business goals in such ways as best practice reuse, process analysis, processe ciency improvement, and automation. Most real-world business processes are large and
complex. Successfully capturing, analysing, and automating these processes requires process de nition languages that capture a variety of process aspects with a wealth of details. Mostcurrent process modelling languages, such as Business Process Modelling Notation (BPMN),focus on structural control ows among activities while providing inadequate support for other process de nition needs. In this paper, we rst illustrate these inadequacies through our experiences with a collection of real-world reference business processes from the Aus-tralian lending industry. We observe that the most signi cant inadequacies include lack of resource management, exception handling, process variation, and data ow integration.These identi ed shortcomings led us to consider the Little-JIL language as a vehicle forde ning business processes. Little-JIL addresses the afore-mentioned inadequacies with a number of innovative features. Our investigation concludes that these innovative features are e ective in addressing a number of key reference business process de nition needs. 相似文献
The flow field is a pivotal part to manage the transport of water and gas in proton exchange membrane fuel cell. However, the reported water measurement methods (e.g., X-ray and electrochemical impedance spectroscopy (EIS)) cannot give a comprehensive understanding water distribution in the flow field, resulting in challenges in optimizing the channel design and enhancing fuel cell performance. Therefore, we propose a water measurement method combining the X-ray radiography with EIS to investigate the effect of different operating conditions on the growth law and distribution of liquid water in parallel and serpentine flow fields. The attenuation coefficient of liquid water to X-ray is calibrated with constant tube-current and tube-voltage of X-ray generator. Besides, the parallel flow field with hydrophobic treatment is studied. The results show that the water accumulation of the parallel flow field is far more than the serpentine flow field, and the water content of the middle region is higher than that of other regions in the parallel flow field. Furthermore, operating conditions (cathode inlet gas flow rate, inlet gas humidity, and back pressure) have little effect on the liquid water content of the middle region in the parallel flow field. The polarization curve, EIS result, and X-ray radiography show that the performance and water drainage capacity of the hydrophobic parallel flow field are better than the normal one.
Silicon - Nowadays, casted multicrystalline silicon is the most important material in photovoltaic industry. In order to reduce the cost of silicon ingots, the recycle of silicon ingot tailings is... 相似文献