Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

An unstructured CVFEM and moving interface algorithm for non-Newtonian Hele-Shaw flows in injection molding

Purpose - The purpose of this paper is to develop a novel unstructured simulation approach for injection molding processes described by the Hele-Shaw model. Design/methodology/approach - The scheme involves dual dynamic meshes with active and inactive cells determined from an initial background pointset. The quasi-static pressure solution in each timestep for this evolving unstructured mesh system is approximated using a control volume finite element method formulation coupled to a corresponding modified volume of fluid method. The flow is considered to be isothermal and non-Newtonian. Findings - Supporting numerical tests and performance studies for polystyrene described by Carreau, Cross, Ellis and Power-law fluid models are conducted. Results for the present method are shown to be comparable to those from other methods for both Newtonian fluid and polystyrene fluid injected in different mold geometries. Research limitations/implications - With respect to the methodology, the background pointset infers a mesh that is dynamically reconstructed here, and there are a number of efficiency issues and improvements that would be relevant to industrial applications. For instance, one can use the pointset to construct special bases and invoke a so-called ""meshless"" scheme using the basis. This would require some interesting strategies to deal with the dynamic point enrichment of the moving front that could benefit from the present front treatment strategy. There are also issues related to mass conservation and fill-time errors that might be addressed by introducing suitable projections. The general question of ""rate of convergence"" of these schemes requires analysis. Numerical results here suggest first-order accuracy and are consistent with the approximations made, but theoretical results are not available yet for these methods. Originality/value - This novel unstructured simulation approach involves dual meshes with active and inactive cells determined from an initial background pointset: local active dual patches are constructed ""on-the-fly"" for each ""active point"" to form a dynamic virtual mesh of active elements that evolves with the moving interface.

Coherent states of non-relativistic electron in the magnetic-solenoid field

In the present work we construct coherent states in the magnetic-solenoid field, which is a superposition of the Aharonov-Bohm field and a collinear uniform magnetic field. In the problem under consideration there are two kinds of coherent states, those which correspond to classical trajectories which embrace the solenoid and those which do not. The constructed coherent states reproduce exactly classical trajectories, maintain their form under the time evolution and form a complete set of functions, which can be useful in semiclassical calculations. In the absence of the solenoid field these states are reduced to the well known in the case of uniform magnetic field Malkin-Man`ko coherent states.

Transition to quantum turbulence in finite-size superfluids

A novel concept of quantum turbulence in finite size superfluids, such as trapped bosonic atoms, is discussed. We have used an atomic (87)Rb Bose-Einstein condensate (BEC) to study the emergence of this phenomenon. In our experiment, the transition to the quantum turbulent regime is characterized by a tangled vortex lines formation, controlled by the amplitude and time duration of the excitation produced by an external oscillating field. A simple model is suggested to account for the experimental observations. The transition from the non-turbulent to the turbulent regime is a rather gradual crossover. But it takes place in a sharp enough way, allowing for the definition of an effective critical line separating the regimes. Quantum turbulence emerging in a finite-size superfluid may be a new idea helpful for revealing important features associated to turbulence, a more general and broad phenomenon. [GRAPHICS] Amplitude versus elapsed time diagram of magnetically excited BEC superfluid, presenting the evolution from the non-turbulent regime, with well separated vortices, to the turbulent regimes, with tangled vortices (C) 2011 by Astro Ltd. Published exclusively by WILEY-VCH Verlag GmbH & Co. KGaA

Non-homogeneous liver distribution of photosensitizer and its consequence for photodynamic therapy outcome

Background: Photodynamic therapy is mainly used for treatment of malignant lesions, and is based on selective location of a photosensitizer in the tumor tissue, followed by light at wavelengths matching the photosensitizer absorption spectrum. In molecular oxygen presence, reactive oxygen species are generated, inducing cells to die. One of the limitations of photodynamic therapy is the variability of photosensitizer concentration observed in systemically photosensitized tissues, mainly due to differences of the tissue architecture, cell lines, and pharmacokinetics. This study aim was to demonstrate the spatial distribution of a hematoporphyrin derivative, Photogem(R), in the healthy liver tissue of Wistar rats via fluorescence spectroscopy, and to understand its implications on photodynamic response. Methods: Fifteen male Wistar rats were intravenously photosensitized with 1.5 mg/kg body weight of Photogem(R). Laser-induced fluorescence spectroscopy at 532nm-excitation was performed on ex vivo liver slices. The influence of photosensitizer surface distribution detected by fluorescence and the induced depth of necrosis were investigated in five animals. Results: Photosensitizer distribution on rat liver showed to be greatly non-homogeneous. This may affect photodynamic therapy response as shown in the results of depth of necrosis. Conclusions: As a consequence of these results, this study suggests that photosensitizer surface spatial distribution should be taken into account in photodynamic therapy dosimetry, as this will help to better predict clinical results. (C) 2010 Elsevier B.V. All rights reserved.

COMMUTATIVE FINITE-DIMENSIONAL ALGEBRAS SATISFYING x(x(xy))=0 ARE NILPOTENT

We investigate the structure of commutative non-associative algebras satisfying the identity x(x(xy)) = 0. Recently, Correa and Hentzel proved that every commutative algebra satisfying above identity over a field of characteristic not equal 2 is solvable. We prove that every commutative finite-dimensional algebra u over a field F of characteristic not equal 2, 3 which satisfies the identity x(x(xy)) = 0 is nilpotent. Furthermore, we obtain new identities and properties for this class of algebras.

UNIFORM APPROXIMATION ON IDEALS OF MULTILINEAR MAPPINGS

For each ideal of multilinear mappings M we explicitly construct a corresponding ideal (a)M such that multilinear forms in (a)M are exactly those which can be approximated, in the uniform norm, by multilinear forms in M. This construction is then applied to finite type, compact, weakly compact and absolutely summing multilinear mappings. It is also proved that the correspondence M bar right arrow (a)M. IS Aron-Berner stability preserving.

Acoustic Variability in the Production of English Vowels by Native and Non-Native Speakers

The features of non-native speech which distinguish it from native speech are often difficult to pin down. It is possible to be a native speaker of any of a vast number of varieties of English. These varieties each have their phonetic characteristics which allow them to be identified by speakers of the varieties in question and by others. The phonetic differences between the accents represented by these varieties are very great. It is impossible to indicate any particular configuration of vowels in the acoustic vowel space or set of consonant articulations which all native-speaker varieties of English have in common and which non-native speakers do not share. This study considers the vowel quality in a single word by native and non-native speakers.

Professional and Non-Professional Written Travel Texts – Do They Have Common Features? : A Comparative Investigation on Travel Texts on Trysil, Norway

This study aims to investigate possible distinctions between professional and non-professional written travel texts all treating the same destination: the Norwegian ski resort Trysil. The study will investigate to what extent the different texts correlate with the genre of travel texts, as the travel texts are treated as personal narratives, and how they conform to a given structure for narratives and with guidelines for professional writers. Furthermore, the investigation aims to explore to what extent there are similarities and differences between the texts regarding the given structure. The texts will first be analysed and organized separately by macrorules and a news schema that are constructed specifically for these sorts of texts, in order to reveal their discourse structure, and then compared to each other. As the discourse structure of the different texts is revealed, it is seen that there are certain differences between the two different text types. Finally, seen that the text types differ in their structure, this study will show that despite the fact that journalists write stories, and that non-professional written stories are narratives, they do not share the same structure, and are constructed in different ways.

Identification and estimation of interventions using changes in inequality measures

This paper presents semiparametric estimators of changes in inequality measures of a dependent variable distribution taking into account the possible changes on the distributions of covariates. When we do not impose parametric assumptions on the conditional distribution of the dependent variable given covariates, this problem becomes equivalent to estimation of distributional impacts of interventions (treatment) when selection to the program is based on observable characteristics. The distributional impacts of a treatment will be calculated as differences in inequality measures of the potential outcomes of receiving and not receiving the treatment. These differences are called here Inequality Treatment Effects (ITE). The estimation procedure involves a first non-parametric step in which the probability of receiving treatment given covariates, the propensity-score, is estimated. Using the inverse probability weighting method to estimate parameters of the marginal distribution of potential outcomes, in the second step weighted sample versions of inequality measures are computed. Root-N consistency, asymptotic normality and semiparametric efficiency are shown for the semiparametric estimators proposed. A Monte Carlo exercise is performed to investigate the behavior in finite samples of the estimator derived in the paper. We also apply our method to the evaluation of a job training program.

A general lagrangian approach for non-concave moral hazard problems

We establish a general Lagrangian for the moral hazard problem which generalizes the well known first order approach (FOA). It requires that besides the multiplier of the first order condition, there exist multipliers for the second order condition and for the binding actions of the incentive compatibility constraint. Some examples show that our approach can be useful to treat the finite and infinite state space cases. One of the examples is solved by the second order approach. We also compare our Lagrangian with 1\1irrlees'.

A general lagrangian approach for non-concave moral hazard problems

We establish a general Lagrangian for the moral hazard problem which generalizes the well known first order approach (FOA). It requires that besides the multiplier of the first order condition, there exist multipliers for the second order condition and for the binding actions of the incentive compatibility constraint. Some examples show that our approach can be useful to treat the finite and infinite state space cases. One of the examples is solved by the second order approach. We also compare our Lagrangian with 1\1irrlees'.

Non- parametric specification tests for conditional duration models

This paper deals with the estimation and testing of conditional duration models by looking at the density and baseline hazard rate functions. More precisely, we foeus on the distance between the parametric density (or hazard rate) function implied by the duration process and its non-parametric estimate. Asymptotic justification is derived using the functional delta method for fixed and gamma kernels, whereas finite sample properties are investigated through Monte Carlo simulations. Finally, we show the practical usefulness of such testing procedures by carrying out an empirical assessment of whether autoregressive conditional duration models are appropriate to oIs for modelling price durations of stocks traded at the New York Stock Exchange.

Inequality treatment effects

This paper presents semiparametric estimators for treatment effects parameters when selection to treatment is based on observable characteristics. The parameters of interest in this paper are those that capture summarized distributional effects of the treatment. In particular, the focus is on the impact of the treatment calculated by differences in inequality measures of the potential outcomes of receiving and not receiving the treatment. These differences are called here inequality treatment effects. The estimation procedure involves a first non-parametric step in which the probability of receiving treatment given covariates, the propensity-score, is estimated. Using the reweighting method to estimate parameters of the marginal distribution of potential outcomes, in the second step weighted sample versions of inequality measures are.computed. Calculations of semiparametric effciency bounds for inequality treatment effects parameters are presented. Root-N consistency, asymptotic normality, and the achievement of the semiparametric efficiency bound are shown for the semiparametric estimators proposed. A Monte Carlo exercise is performed to investigate the behavior in finite samples of the estimator derived in the paper.

Differences in the perception of interest representation: a comparision of Brasília and Brussels lobbying activity

The research topic of this paper is focused on the analysis of how trade associations perceive lobbying in Brussels and in Brasília. The analysis will be centered on business associations located in Brasília and Brussels as the two core centers of decision-making and as an attraction for the lobbying practice. The underlying principles behind the comparison between Brussels and Brasilia are two. Firstof all because the European Union and Brazil have maintained diplomatic relations since 1960. Through these relations they have built up close historical, cultural, economic and political ties. Their bilateral political relations culminated in 2007 with the establishment of a Strategic Partnership (EEAS website,n.d.). Over the years, Brazil has become a key interlocutor for the EU and it is the most important market for the EU in Latin America (European Commission, 2007). Taking into account the relations between EU and Brazil, this research could contribute to the reciprocal knowledge about the perception of lobby in the respective systems and the importance of the non-market strategy when conducting business. Second both EU and Brazilian systems have a multi-level governance structure: 28 Member States in the EU and 26 Member States in Brazil; in both systems there are three main institutions targeted by lobbying practice. The objective is to compare how differences in the institutional environments affect the perception and practice of lobbying, where institutions are defined as ‘‘regulative, normative, and cognitive structures and activities that provide stability and meaning to social behavior’’ (Peng et al., 2009). Brussels, the self-proclaimed "Capital of Europe”, is the headquarters of the European Union and has one of the highest concentrations of political power in the world. Four of the seven Institutions of the European Union are based in Brussels: the European Parliament, the European Council, the Council and the European Commission (EU website, n.d.). As the power of the EU institutions has grown, Brussels has become a magnet for lobbyists, with the latest estimates ranging from between 15,000 and 30,000 professionals representing companies, industry sectors, farmers, civil society groups, unions etc. (Burson Marsteller, 2013). Brasília is the capital of Brazil and the seat of government of the Federal District and the three branches of the federal government of Brazilian legislative, executive and judiciary. The 4 city also hosts 124 foreign embassies. The presence of the formal representations of companies and trade associations in Brasília is very limited, but the governmental interests remain there and the professionals dealing with government affairs commute there. In the European Union, Brussels has established a Transparency Register that allows the interactions between the European institutions and citizen’s associations, NGOs, businesses, trade and professional organizations, trade unions and think tanks. The register provides citizens with a direct and single access to information about who is engaged in This process is important for the quality of democracy, and for its capacity to deliver adequate policies, matching activities aimed at influencing the EU decision-making process, which interests are being pursued and what level of resources are invested in these activities (Celgene, n.d). It offers a single code of conduct, binding all organizations and self-employed individuals who accept to “play by the rules” in full respect of ethical principles (EC website, n.d). A complaints and sanctions mechanism ensures the enforcement of the rules and addresses suspected breaches of the code. In Brazil, there is no specific legislation regulating lobbying. The National Congress is currently discussing dozens of bills that address regulation of lobbying and the action of interest groups (De Aragão, 2012), but none of them has been enacted for the moment. This work will focus on class lobbying (Oliveira, 2004), which refers to the performance of the federation of national labour or industrial unions, like CNI (National Industry Confederation) in Brazil and the European Banking Federation (EBF) in Brussels. Their performance aims to influence the Executive and Legislative branches in order to defend the interests of their affiliates. When representing unions and federations, class entities cover a wide range of different and, more often than not, conflicting interests. That is why they are limited to defending the consensual and majority interest of their affiliates (Oliveira, 2004). The basic assumption of this work is that institutions matter (Peng et al, 2009) and that the trade associations and their affiliates, when doing business, have to take into account the institutional and regulatory framework where they do business.