Systematic Management of Variability in UML-based Software Product Lines

This paper presents SMarty, a variability management approach for UML-based software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a process for managing variabilities, the SMartyProcess. SMartyProfile aims at representing variabilities, variation points, and variants in UML models by applying a set of stereotypes. SMartyProcess consists of a set of activities that is systematically executed to trace, identify, and control variabilities in a PL based on SMarty. It also identifies variability implementation mechanisms and analyzes specific product configurations. In addition, a more comprehensive application of SMarty is presented using SEI's Arcade Game Maker PL. An evaluation of SMarty and related work are discussed.

Quantitative constraints on the transport properties of hot partonic matter from semi-inclusive single high transverse momentum pion suppression in Au plus Au collisions at root S(NN)=200 GeV

The PHENIX experiment has measured the suppression of semi-inclusive single high-transverse-momentum pi(0)'s in Au+Au collisions at root s(NN) = 200 GeV. The present understanding of this suppression is in terms of energy loss of the parent (fragmenting) parton in a dense color-charge medium. We have performed a quantitative comparison between various parton energy-loss models and our experimental data. The statistical point-to-point uncorrelated as well as correlated systematic uncertainties are taken into account in the comparison. We detail this methodology and the resulting constraint on the model parameters, such as the initial color-charge density dN(g)/dy, the medium transport coefficient <(q) over cap >, or the initial energy-loss parameter epsilon(0). We find that high-transverse-momentum pi(0) suppression in Au+Au collisions has sufficient precision to constrain these model-dependent parameters at the +/- 20-25% (one standard deviation) level. These constraints include only the experimental uncertainties, and further studies are needed to compute the corresponding theoretical uncertainties.

Noncommutativity due to spin

Using the Berezin-Marinov pseudoclassical formulation of the spin particle we propose a classical model of spin noncommutativity. In the nonrelativistic case, the Poisson brackets between the coordinates are proportional to the spin angular momentum. The quantization of the model leads to the noncommutativity with mixed spatial and spin degrees of freedom. A modified Pauli equation, describing a spin half particle in an external electromagnetic field is obtained. We show that nonlocality caused by the spin noncommutativity depends on the spin of the particle; for spin zero, nonlocality does not appear, for spin half, Delta x Delta y >= theta(2)/2, etc. In the relativistic case the noncommutative Dirac equation was derived. For that we introduce a new star product. The advantage of our model is that in spite of the presence of noncommutativity and nonlocality, it is Lorentz invariant. Also, in the quasiclassical approximation it gives noncommutativity with a nilpotent parameter.

Twisted Poincare invariant quantum field theories

It is by now well known that the Poincare group acts on the Moyal plane with a twisted coproduct. Poincare invariant classical field theories can be formulated for this twisted coproduct. In this paper we systematically study such a twisted Poincare action in quantum theories on the Moyal plane. We develop quantum field theories invariant under the twisted action from the representations of the Poincare group, ensuring also the invariance of the S-matrix under the twisted action of the group. A significant new contribution here is the construction of the Poincare generators using quantum fields.

Multiclass Hammersley-Aldous-Diaconis process and multiclass-customer queues

In the Hammersley-Aldous-Diaconis process, infinitely many particles sit in R and at most one particle is allowed at each position. A particle at x, whose nearest neighbor to the right is at y, jumps at rate y - x to a position uniformly distributed in the interval (x, y). The basic coupling between trajectories with different initial configuration induces a process with different classes of particles. We show that the invariant measures for the two-class process can be obtained as follows. First, a stationary M/M/1 queue is constructed as a function of two homogeneous Poisson processes, the arrivals with rate, and the (attempted) services with rate rho > lambda Then put first class particles at the instants of departures (effective services) and second class particles at the instants of unused services. The procedure is generalized for the n-class case by using n - 1 queues in tandem with n - 1 priority types of customers. A multi-line process is introduced; it consists of a coupling (different from Liggett's basic coupling), having as invariant measure the product of Poisson processes. The definition of the multi-line process involves the dual points of the space-time Poisson process used in the graphical construction of the reversed process. The coupled process is a transformation of the multi-line process and its invariant measure is the transformation described above of the product measure.

THE LOWER CENTRAL AND DERIVED SERIES OF THE BRAID GROUPS OF THE SPHERE

In this paper, we determine the lower central and derived series for the braid groups of the sphere. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is important in its own right. The braid groups of the 2-sphere S(2) were studied by Fadell, Van Buskirk and Gillette during the 1960s, and are of particular interest due to the fact that they have torsion elements (which were characterised by Murasugi). We first prove that for all n epsilon N, the lower central series of the n-string braid group B(n)(S(2)) is constant from the commutator subgroup onwards. We obtain a presentation of Gamma(2)(Bn(S(2))), from which we observe that Gamma(2)(B(4)(S(2))) is a semi-direct product of the quaternion group Q(8) of order 8 by a free group F(2) of rank 2. As for the derived series of Bn(S(2)), we show that for all n >= 5, it is constant from the derived subgroup onwards. The group Bn(S(2)) being finite and soluble for n <= 3, the critical case is n = 4 for which the derived subgroup is the above semi-direct product Q(8) (sic) F(2). By proving a general result concerning the structure of the derived subgroup of a semi-direct product, we are able to determine completely the derived series of B(4)(S(2)) which from (B(4)(S(2)))(4) onwards coincides with that of the free group of rank 2, as well as its successive derived series quotients.

Direct evidence of singlet molecular oxygen generation from peroxynitrate, a decomposition product of peroxynitrite

The decomposition of peroxynitrite to nitrite and dioxygen at neutral pH follows complex kinetics, compared to its isomerization to nitrate at low pH. Decomposition may involve radicals or proceed by way of the classical peracid decomposition mechanism. Peroxynitrite (ONOOH/ONOO(-)) decomposition has been proposed to involve formation of peroxynitrate (O(2)NOOH/O(2)NOO(-)) at neutral pH (D. Gupta, B. Harish, R. Kissner and W. H. Koppenol, Dalton Trans., 2009, DOI: 10.1039/b905535e, see accompanying paper in this issue). Peroxynitrate is unstable and decomposes to nitrite and dioxygen. This study aimed to investigate whether O(2)NOO(-) formed upon ONOOH/ONOO(-) decomposition generates singlet molecular oxygen [O(2) ((1)Delta(g))]. As unequivocally revealed by the measurement of monomol light emission in the near infrared region at 1270 nm and by chemical trapping experiments, the decomposition of ONOO(-) or O(2)NOOH at neutral to alkaline pH generates O(2) ((1)Delta(g)) at a yield of ca. 1% and 2-10%, respectively. Characteristic light emission, corresponding to O(2) ((1)Delta(g)) monomolecular decay was observed for ONOO(-) and for O(2)NOOH prepared by reaction of H(2)O(2) with NO(2)BF(4) and of H(2)O(2) with NO(2)(-) in HClO(4). The generation of O(2) ((1)Delta(g)) from ONOO(-) increased in a concentration-dependent manner in the range of 0.1-2.5 mM and was dependent on pH, giving a sigmoid pro. le with an apparent pK(a) around pD 8.1 (pH 7.7). Taken together, our results clearly identify the generation of O(2) ((1)Delta(g)) from peroxynitrate [O(2)NOO(-) -> NO(2)(-) + O(2) ((1)Delta(g))] generated from peroxynitrite and also from the reactions of H(2)O(2) with either NO(2)BF(4) or NO(2)(-) in acidic media.

Fermentation of cacao (Theobroma cacao L.) seeds with a hybrid Kluyveromyces marxianus strain improved product quality attributes

Fermentation of Theobroma cacao (cacao) seeds is an absolute requirement for the full development of chocolate flavor precursors. An adequate aeration of the fermenting cacao seed mass is a fundamental prerequisite for a satisfactory fermentation. Here, we evaluated whether a controlled inoculation of cacao seed fermentation using a Kluyveromyces marxianus hybrid yeast strain, with an increased pectinolytic activity, would improve an earlier liquid drainage (`sweatings`) from the fermentation mass, developing a superior final product quality. Inoculation with K. marxianus increased by one third the volume of drained liquid and affected the microorganism population structure during fermentation, which was detectable up to the end of the process. Introduction of the hybrid yeast affected the profile of total seed protein degradation evaluated by polyacrylamide gel electrophoresis, with improved seed protein degradation, and reduction of titrable acidity. Sensorial evaluation of the chocolate obtained from beans fermented with the K. marxianus inoculation was more accepted by analysts in comparison with the one from cocoa obtained through natural fermentation. The increase in mass aeration during the first 24 h seemed to be fundamental for the improvement of fermentation quality, demonstrating the potential application of this improved hybrid yeast strain with superior exogenous pectinolytic activity.

The physical education teacher's competences and professional formation

This study has as objective identifies the necessary competences to the physical education teachers of the basic education, in the teachers` of the public network of teaching of the Sao Paulo state perspective, licentiates and exits of the Physical Education School and Sport of the Sao Paulo University starting from 1995. It is a qualitative research, of nature no experimental, consisting of two studies (diagnostic and deepening). As instruments, questionnaire and semi-structured interview were used. It happened what the teachers judge importantly mobilize determined knowledges placed in a hierarchy or associated during the teaching practice, such as: knowledges pedagogic-educational, technical knowledges and cultural luggage, inserted in the current context and considering the cultural, social, political, economical and education transformations occurred along the history. There was shown up in this study the relevance of the formation continued for the teachers of Physical Education, who found her essential and basic added to the initial formation.

Analysis of coaches objectives in artistic gymnastics

The present study is a piece of the main project entitled ""Diagnosis of the Artistic Gymnastics Developing Program in Brazil"". Among many issues included in the main study, we analyzed and discussed the coach`s objectives who are coaching incoming gymnasts who are potential to be representative at the national teams. We interviewed 46 coaches from 29 sports institutions in Brazil. As data collection we used a semi-structured interview, and as data treatment we used the content analysis proposed by Bardin ( 2004). We could evidence that many coaches` objectives is focused on the competition and the highest level, and that the institutions` emphasis on the results in all levels of categories.

Competitive artistic gymnastics: reflections about gymnasts` development

The current study is a piece from the original project entitled ""Diagnosis of the Developing Program of Artistic Gymnastics in Brazil"". Among other issues discussed in this main project, our objective was to investigate the development of the gymnast who are entering the intensive training and are potential to be representative to national teams. We interviewed 46 coaches from 29 sports institutions in Brazil. Regarding methodology, we used a semi-structured interview and for data treatment we adopted the content analysis proposed by Bardin (2004). We could evidence that coaches have concern regarding many aspects of the children development, and have been trying to equate sports demands with gymnasts characteristics and needs.

A Semi-Tethered Test for Power Assessment in Running

We analyzed the usefulness of a semi-tethered field running test (STR) and the relationships between indices of anaerobic power, anaerobic capacity and running performance in 9 trained male sprinters (22.2 +/- 2.9 yrs, 176 +/- 1 cm, 68.0 +/- 9.4 kg). STR involved an all out 120 m run attached to an apparatus that enabled power calculation from force and velocity measures. Subjects also carried out a cycloergometer Win-gate Anaerobic Test (WT), an all out 300 m run and had accessed their maximal accumulated oxygen deficit (MAOD) on a treadmill. Peak and mean powers attained in STR (1 720 +/- 221 and 1 391 +/- 201 W) were greater but significantly related (r=0.82; P<0.01) to those in the WT (808 +/- 130 and 603 +/- 87 W). In addition, power measures derived from the STR were stronger related to running performance compared to those from the WT (r=0.81-0.94 vs. 0.68-0.84; P<0.05). Relationships between MAOD and most power indices were only weak to moderate. These results support the usefulness of STR for specific power assessment in field running and suggest that anaerobic power and capacity are not related entities, irrespective of having been evaluated using similar or dissimilar exercise modes.

ETHANOL PRODUCTION FROM XYLOSE BY Pichia stipitis NRRL Y-7124 IN A STIRRED TANK BIOREACTOR

The ethanol production by Pichia stipitis was evaluated in a stirred tank bioreactor using semi-defined medium containing xylose (90.0 g/l) as the main carbon source. Experimental assays were performed according to a 2(2) full factorial design to evaluate the influence of aeration (0.25 to 0.75 vvm) and agitation (150 to 250 rpm) conditions on ethanol production. In the studied range of values, the agitation increase and aeration decrease favored ethanol production, which was maximum (26.7 g/l) using 250 rpm and 0.25 vvm, conditions that gave a volumetric oxygen transfer coefficient (k(L)a value) of 4.9 h(-1). Under these conditions, the ethanol yield factor, ethanol productivity, and the process efficiency were 0.32 g/g, 0.32 g/l.h, and 63%, respectively. These results are promising and contribute to the development of a suitable process for ethanol production from xylose by Pichia stipitis.

City tuberculosis control coordinators` perspectives of patient adherence to DOT in Sao Paulo State, Brazil, 2005

SETTING: Thirty-six priority cities in Sao Paulo State, Brazil, with a high incidence of tuberculosis (TB) cases, deaths and treatment default. OBJECTIVE: To identify the perspectives of city TB control coordinators regarding the most important components of adherence strategies adopted by health care teams to ensure patient adherence in 36 priority cities in the State of Sao Paulo, Brazil. DESIGN: Qualitative research with semi-structured interviews conducted with the coordinators of the National TB Control Programme involved in the management of TB treatment services in the public sector. RESULTS: The main issues thought to influence adherence to directly observed treatment (DOT) by coordinators include incentives and benefits delivered to patients, patient-health care worker bonding and comprehensive care, the encouragement given by others to follow treatment (family, neighbours and health professionals), and help provided by health professionals for patients to recover their self-esteem. CONCLUSION: The main aspects mentioned by city TB control coordinators regarding patient adherence to treatment and to DOT in Sao Paulo are improvements in communications, relationships based on trust, a humane approach and including the patients in the decision-making process concerning their health.

Efficiency and feasibility of product disassembly: A case-based study

The productivity associated with commonly available disassembly methods today seldomly makes disassembly the preferred end-of-life solution for massive take back product streams. Systematic reuse of parts or components, or recycling of pure material fractions are often not achievable in an economically sustainable way. In this paper a case-based review of current disassembly practices is used to analyse the factors influencing disassembly feasibility. Data mining techniques were used to identify major factors influencing the profitability of disassembly operations. Case characteristics such as involvement of the product manufacturer in the end-of-life treatment and continuous ownership are some of the important dimensions. Economic models demonstrate that the efficiency of disassembly operations should be increased an order of magnitude to assure the competitiveness of ecologically preferred, disassembly oriented end-of-life scenarios for large waste of electric and electronic equipment (WEEE) streams. Technological means available to increase the productivity of the disassembly operations are summarized. Automated disassembly techniques can contribute to the robustness of the process, but do not allow to overcome the efficiency gap if not combined with appropriate product design measures. Innovative, reversible joints, collectively activated by external trigger signals, form a promising approach to low cost, mass disassembly in this context. A short overview of the state-of-the-art in the development of such self-disassembling joints is included. (c) 2008 CIRP.