On the expressive power of behavioral profiles

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business process modeling. A behavioral profile can be seen as a complete graph over a set of task labels, where each edge is annotated with one relation from a given set of binary behavioral relations. Since their introduction, behavioral profiles were argued to provide a convenient way for comparing pairs of process models with respect to their behavior or computing behavioral similarity between process models. Still, as of today, there is little understanding of the expressive power of behavioral profiles. Via counter-examples, several authors have shown that behavioral profiles over various sets of behavioral relations cannot distinguish certain systems up to trace equivalence, even for restricted classes of systems represented as safe workflow nets. This paper studies the expressive power of behavioral profiles from two angles. Firstly, the paper investigates the expressive power of behavioral profiles and systems captured as acyclic workflow nets. It is shown that for unlabeled acyclic workflow net systems, behavioral profiles over a simple set of behavioral relations are expressive up to configuration equivalence. When systems are labeled, this result does not hold for any of several previously proposed sets of behavioral relations. Secondly, the paper compares the expressive power of behavioral profiles and regular languages. It is shown that for any set of behavioral relations, behavioral profiles are strictly less expressive than regular languages, entailing that behavioral profiles cannot be used to decide trace equivalence of finite automata and thus Petri nets.

On Minimization of Peak Power for Scan Circuit during Test

Scan circuit generally causes excessive switching activity compared to normal circuit operation. The higher switching activity in turn causes higher peak power supply current which results into supply, voltage droop and eventually yield loss. This paper proposes an efficient methodology for test vector re-ordering to achieve minimum peak power supported by the given test vector set. The proposed methodology also minimizes average power under the minimum peak power constraint. A methodology to further reduce the peak power below the minimum supported peak power, by inclusion of minimum additional vectors is also discussed. The paper defines the lower bound on peak power for a given test set. The results on several benchmarks shows that it can reduce peak power by up to 27%.

Calm or storm? : Wind power actors perceptions of Finnish wind power and its future

Wind power has grown fast internationally. It can reduce the environmental impact of energy production and increase energy security. Finland has turbine industry but wind electricity production has been slow, and nationally set capacity targets have not been met. I explored social factors that have affected the slow development of wind power in Finland by studying the perceptions of Finnish national level wind power actors. By that I refer to people who affect the development of wind power sector, such as officials, politicians, and representatives of wind industries and various organisations. The material consisted of interviews, a questionnaire, and written sources. The perceptions of wind power, its future, and methods to promote it were divided. They were studied through discourse analysis, content analysis, and scenario construction. Definition struggles affect views of the significance and potential of wind power in Finland, and also affect investments in wind power and wind power policy choices. Views of the future were demonstrated through scenarios. The views included scenarios of fast growth, but in the most pessimistic views, wind power was not thought to be competitive without support measures even in 2025, and the wind power capacity was correspondingly low. In such a scenario, policy tool choices were expected to remain similar to ones in use at the time of the interviews. So far, the development in Finland has followed closely this pessimistic scenario. Despite the scepticism about wind electricity production, wind turbine industry was seen as a credible industry. For many wind power actors as well as for the Finnish wind power policy, the turbine industry is a significant motive to promote wind power. Domestic electricity production and the export turbine industry are linked in discourse through so-called home market argumentation. Finnish policy tools have included subsidies, research and development funding, and information policies. The criteria used to evaluate policy measures were both process-oriented and value-based. Feed-in tariffs and green certificates that are common elsewhere have not been taken to use in Finland. Some interviewees considered such tools unsuitable for free electricity markets and for the Finnish policy style, dictatorial, and being against western values. Other interviewees supported their use because of their effectiveness. The current Finnish policy tools are not sufficiently effective to increase wind power production significantly. Marginalisation of wind power in discourses, pessimistic views of the future, and the view that the small consumer demand for wind electricity represents the political views of citizens towards promoting wind power, make it more difficult to take stronger policy measures to use. Wind power has not yet significantly contributed to the ecological modernisation of the energy sector in Finland, but the situation may change as the need to reduce emissions from energy production continues.

A cyclostationary multi-domain analysis of fluid instability in Kaplan turbines

Hydraulic instabilities represent a critical problem for Francis and Kaplan turbines, reducing their useful life due to increase of fatigue on the components and cavitation phenomena. Whereas an exhaustive list of publications on computational fluid-dynamic models of hydraulic instability is available, the possibility of applying diagnostic techniques based on vibration measurements has not been investigated sufficiently, also because the appropriate sensors seldom equip hydro turbine units. The aim of this study is to fill this knowledge gap and to exploit fully, for this purpose, the potentiality of combining cyclostationary analysis tools, able to describe complex dynamics such as those of fluid-structure interactions, with order tracking procedures, allowing domain transformations and consequently the separation of synchronous and non-synchronous components. This paper will focus on experimental data obtained on a full-scale Kaplan turbine unit, operating in a real power plant, tackling the issues of adapting such diagnostic tools for the analysis of hydraulic instabilities and proposing techniques and methodologies for a highly automated condition monitoring system. © 2015 Elsevier Ltd.

The envelope-based cyclic periodogram

Cyclostationary analysis has proven effective in identifying signal components for diagnostic purposes. A key descriptor in this framework is the cyclic power spectrum, traditionally estimated by the averaged cyclic periodogram and the smoothed cyclic periodogram. A lengthy debate about the best estimator finally found a solution in a cornerstone work by Antoni, who proposed a unified form for the two families, thus allowing a detailed statistical study of their properties. Since then, the focus of cyclostationary research has shifted towards algorithms, in terms of computational efficiency and simplicity of implementation. Traditional algorithms have proven computationally inefficient and the sophisticated "cyclostationary" definition of these estimators slowed their spread in the industry. The only attempt to increase the computational efficiency of cyclostationary estimators is represented by the cyclic modulation spectrum. This indicator exploits the relationship between cyclostationarity and envelope analysis. The link with envelope analysis allows a leap in computational efficiency and provides a "way in" for the understanding by industrial engineers. However, the new estimator lies outside the unified form described above and an unbiased version of the indicator has not been proposed. This paper will therefore extend the analysis of envelope-based estimators of the cyclic spectrum, proposing a new approach to include them in the unified form of cyclostationary estimators. This will enable the definition of a new envelope-based algorithm and the detailed analysis of the properties of the cyclic modulation spectrum. The computational efficiency of envelope-based algorithms will be also discussed quantitatively for the first time in comparison with the averaged cyclic periodogram. Finally, the algorithms will be validated with numerical and experimental examples.