Direct and noisy transitions in a model shear flow

The transition to turbulence in flows where the laminar profile is linearly stable requires perturbations of finite amplitude. ＂Optimal＂ perturbations are distinguished as extrema of certain functionals, and different functionals give different optima. We here discuss the phase space structure of a 2D simplified model of the transition to turbulence and discuss optimal perturbations with respect to three criteria： energy of the initial condition, energy dissipation of the initial condition, and amplitude of noise in a stochastic transition. We find that the states triggering the transition are different in the three cases, but show the same scaling with Reynolds number.

Verification of workflow nets with transition conditions

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.

Metal-free tetra-n-butylammonium bromide-mediated aerobic oxidative synthesis of β-ketosulfones from styrenes

An efficient and broadly applicable protocol for the aerobic coupling of styrenes with sulfonylhydrazides has been developed that affords P-ketosulfones bearing various functional groups in moderate to excellent yields.The preliminary experimental results support the involvement of active benzyl radical species,and a radical pathway was therefore proposed for the reaction.

"Weather" transit is reliable? Using AVL data to explore tram performance in Melbourne,Australia

This paper uses automatic vehicle location （AVL） records to investigate the effect of weather conditions on the travel time reliability of on-road rail transit, through a case study of the Melbourne streetcar （tram） network. The datasets available were an extensive historica; AVL dataset as well as weather observations. The sample size used in the analysis included all trips made over a period of five years （2006-2010 inclusive）, during the morning peak （7 am-9 am） for fifteen randomly selected radial tram routes, all traveling to the Melbourne CBD create a linear model Ordinary least square （OLS） regression analysis was conducted to with tram travel time being the dependent variable. An alternative formulation of the model is also compared. Travel time was regressed on various weather effects including precipitation, air temperature, sea level pressure and wind speed; as well as indicator variables for weekends, public holidays and route numbers to investigate a correlation between weather condition and the on-time performance of the trams. The results indicate that only precipitation and air temperature are significant in their effect on tram travel time. The model demonstrates that on average, an additional millimeter of precipitation during the peak period adversely affects the average travel time during that period by approximately 8 s, that is, rainfall tends to increase the travel time. The effect of air temperature is less intuitive, with the model indicating that trams adhere more closely to schedule when the temperature is different in absolute terms to the mean operating conditions （taken as 15 ℃）.

A Study on Social Choice Making:the Number of Admissible Preference Orderings for SMV

In this paper, we study, mathematically speaking, the problem-the number of admissible preference orderings for the transitivity of simple majority vote(SMV) derived from Arrow’s Impossibility Theorem. In our research, we find, by computer enumerating, that some results given by Craven are not correct. By defining a set of constraints, we give the recurrence formula of the local maximal number of admissible preference orderings and some other useful results.