Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Spallation product distributions and neutron multiplicities for accelerator-driven system using the CRISP code

Neutron multiplicities for several targets and spallation products of proton-induced reactions in thin targets of interest to an accelerator-driven system obtained with the CRISP code have been reported. This code is a Monte Carlo calculation that simulates the intranuclear cascade and evaporationl fission competition processes. Results are compared with experimental data, and agreement between each other can be considered quite satisfactory in a very broad energy range of incitant particles and different targets.

The dynamics of cargo driven by molecular motors in the context of asymmetric simple exclusion processes

We consider the dynamics of cargo driven by a collection of interacting molecular motors in the context of ail asymmetric simple exclusion process (ASEP). The model is formulated to account for (i) excluded-volume interactions, (ii) the observed asymmetry of the stochastic movement of individual motors and (iii) interactions between motors and cargo. Items (i) and (ii) form the basis of ASEP models and have already been considered to study the behavior of motor density profile [A. Parmeggiani. T. Franosch, E. Frey, Phase Coexistence in driven one-dimensional transport, Phys. Rev. Lett. 90 (2003) 086601-1-086601-4]. Item (iii) is new. It is introduced here as an attempt to describe explicitly the dependence of cargo movement on the dynamics of motors in this context. The steady-state Solutions Of the model indicate that the system undergoes a phase transition of condensation type as the motor density varies. We study the consequences of this transition to the behavior of the average cargo velocity. (C) 2009 Elsevier B.V. All rights reserved.

Orbitally driven east-west antiphasing of South American precipitation

The variations of tropical precipitation are antiphased between the hemispheres on orbital timescales. This antiphasing arises through the alternating strength of incoming solar radiation in the two hemispheres, which affects monsoon intensity and hence the position of the meridional atmospheric circulation of the Hadley cells(1-4). Here we compare an oxygen isotopic record recovered from a speleothem from northeast Brazil for the past 26,000 years with existing reconstructions of precipitation in tropical South America(5-8). During the Holocene, we identify a similar, but zonally oriented, antiphasing of precipitation within the same hemisphere: northeast Brazil experiences humid conditions during low summer insolation and aridity when summer insolation is high, whereas the rest of southern tropical South America shows opposite characteristics. Simulations with a general circulation model that incorporates isotopic variations support this pattern as well as the link to insolation-driven monsoon activity. Our results suggest that convective heating over tropical South America and associated adjustments in large-scale subsidence over northeast Brazil lead to a remote forcing of the South American monsoon, which determines most of the precipitation changes in the region on orbital timescales.

Fibroblast growth factor 2 restrains ras-driven proliferation of malignant cells by triggering RhoA-mediated senescence

Fibroblast growth factor 2 (FGF2) is considered to be a bona fide oncogenic factor, although results from our group and others call this into question. Here, we report that exogenous recombinant FGF2 irreversibly inhibits proliferation by inducing senescence in Ras-dependent malignant mouse cells, but not in immortalized nontumorigenic cell lines. We report the following findings in K-Ras-dependent malignant YI adrenocortical cells and H-Ras V12-transformed BALB-3T3 fibroblasts: (a) FGF2 inhibits clonal growth and tumor onset in nude and immunocompetent BALB/c mice, (b) FGF2 irreversibly blocks the cell cycle, and (c) FGF2 induces the senescence-associated -galactosidase with no accompanying signs of apoptosis or necrosis. The tyrosine kinase inhibitor PD173074 completely protected malignant cells from FGF2. In Yl adrenal cells, reducing the constitutively high levels of K-Ras-GTP using the dominant-negative RasN17 mutant made cells resistant to FGF2 cytotoxicity. In addition, transfection of the dominant-negative RhoA-N19 into either YI or 3T3-B61 malignant cell lines yielded stable clonal transfectants that were unable to activate RhoA and were resistant to the FGF2 stress response. We conclude that in Rasdependent malignant cells, FGF2 interacts with its cognate receptors to trigger a senescence-like process involving RboAGTP. Surprisingly, attempts to select FGF2-resistant cells from the Yl and 3T3-B61 cell lines yielded only rare clones that (a) had lost the overexpressed ras oncogene, (b) were dependent on FGF2 for proliferation, and (c) were poorly tumorigenic. Thus, FGF2 exerted a strong negative selection that Rasdependent malignant cells could rarely overcome.

Versatile microanalytical system with porous polypropylene capillary membrane for calibration gas generation and trace gaseous pollutants sampling applied to the analysis of formaldehyde, formic acid, acetic acid and ammonia in outdoor air

The analytical determination of atmospheric pollutants still presents challenges due to the low-level concentrations (frequently in the mu g m(-3) range) and their variations with sampling site and time In this work a capillary membrane diffusion scrubber (CMDS) was scaled down to match with capillary electrophoresis (CE) a quick separation technique that requires nothing more than some nanoliters of sample and when combined with capacitively coupled contactless conductometric detection (C(4)D) is particularly favorable for ionic species that do not absorb in the UV-vis region like the target analytes formaldehyde formic acid acetic acid and ammonium The CMDS was coaxially assembled inside a PTFE tube and fed with acceptor phase (deionized water for species with a high Henry s constant such as formaldehyde and carboxylic acids or acidic solution for ammonia sampling with equilibrium displacement to the non-volatile ammonium ion) at a low flow rate (8 3 nLs(-1)) while the sample was aspirated through the annular gap of the concentric tubes at 25 mLs(-1) A second unit in all similar to the CMDS was operated as a capillary membrane diffusion emitter (CMDE) generating a gas flow with know concentrations of ammonia for the evaluation of the CMDS The fluids of the system were driven with inexpensive aquarium air pumps and the collected samples were stored in vials cooled by a Peltier element Complete protocols were developed for the analysis in air of NH(3) CH(3)COOH HCOOH and with a derivatization setup CH(2)O by associating the CMDS collection with the determination by CE-C(4)D The ammonia concentrations obtained by electrophoresis were checked against the reference spectrophotometric method based on Berthelot s reaction Sensitivity enhancements of this reference method were achieved by using a modified Berthelot reaction solenoid micro-pumps for liquid propulsion and a long optical path cell based on a liquid core waveguide (LCW) All techniques and methods of this work are in line with the green analytical chemistry trends (C) 2010 Elsevier B V All rights reserved

Surfactant degradation by a catechol-driven Fenton reaction

The addition of 0.5 mM catechol is shown to accelerate the degradation and mineralization of the anionic surfactant DOWFaX (TM) 2A1 (sodium dodecyldiphenyloxide disulfonate) under conventional Fenton reaction conditions (Fe(II) plus H(2)O(2) at pH 3). The catalytic effect causes a 3-fold increase in the initial rate (up to ca. 20 min) of conversion of the surfactant to oxidation products (apparent first-order rate constants of 0.021 and 0.061 min(-1) in the absence and presence of catechol, respectively). Although this catalytic rate increase persists for a certain amount of time after complete disappearance of catechol itself (ca. 8 min), the reaction rate begins to decline slowly after the initial 20 min towards that observed in the absence of added catechol. Total organic carbon (TOC) measurements of net mineralization and cyclic voltammetric and high performance liquid chromatographic (HPLC) measurements of the initial rate of reaction of catechol and the surfactant provide insight into the role of catechol in promoting the degradation of the surfactant and of degradation products as the eventual inhibitors of the Fenton reaction. (C) 2010 Elsevier B.V. All rights reserved.

Iodine(III)-promoted ring expansion of 1-vinylcycloalkanol derivatives: A metal-free approach toward seven-membered rings

A versatile and metal-free approach for the synthesis of molecules bearing seven- and eight-membered rings is described. The strategy is based on the ring expansion of 1-vinylcycloalkanols (or the corresponding silyl or methyl ether) mediated by the hypervalent iodine reagent HTIB (Phl(OH)OTs). The reaction condition can be easily adjusted to give seven-membered rings bearing different functional groups. A route to medium-ring lactones was also developed.

Verksamhetsanalys vid ett snickeriföretag – behov av organisationsanpassningvid expansion

Vårt examensarbete i informatik är utfört på ett producerande företag som expanderat och därför sett behov av att förändra sin organisation. Ägarna upplever att personalplanering och tillverkningsplanering är alltför tidskrävande och de hinner inte med viktiga arbetsuppgifter som marknadsföring och företagsutveckling.Examensarbetet har innefattat teoristudier, en analys av företagets verksamhet samt utformning av förändringsförslag för att förbättra företagets organisation. Våra litteraturstudier har bestått av inläsning av teorier om problem som kan uppstå i expanderande företag samt datainsamling genom intervjuer av företagets ägare och några av de anställda. Detta har legat till grund för den verksamhetsanalys vi genomfört med hjälp av delar ur metoden FA/SIM. Denna analys ligger till grund för de förändringsförslag som har arbetats fram.I analysen har problem som rör följande fyra aktiviteter identifierats. - Arbetsledning - Planering - Tillverkning - VaruleveransDe åtgärdsförslag vi anser viktigast att genomföra för att effektivisera och underlätta arbetssituationen för ägare och anställda är att börja registrera ordrar dagligen och införa rutiner för att registrera produktion och lagerhållning. Ytterligare åtgärder är att anställa kvalificerad personal på kontoret samt utbilda fler i personalen i att köra lackeringen.Vi kan konstatera att företagets övergripande problem till stor del orsakas av att organisationen inte anpassats till företagets expansion. Det är vanligt att insikt om detta kommer först när problemen börjar kännas oöverstigliga.

Meningsfull sysselsättning i två typer av dagliga verksamheter : -en jämförelse mellan en brukarstyrd och en kommunalt driven daglig verksamhet för människor med psykiska funktionshinder

Daglig sysselsättning för människor med ett psykiskt funktionshinder drivs av olika huvudmän såsom kommuner, intresseorganisationer och kooperativ. Psykiatrireformens syfte är att förbättra livsvillkoren för den studera målgruppen samt att öka delaktigheten i samhällslivet . Vi som genomför denna studie har tidigare varit yrkesverksamma inom kommunal socialpsykiatri. Genom dessa erfarenheter har vi också erhållit ett intresse av människor med ett långvarigt psykiskt funktionshinder. Vår förförståelse bygger på tidigare erfarenheter i yrket som säger oss att det finns ett begränsat utbud till aktivitet och sysselsättning för den studerade gruppen. I vårt arbete har strävan varit att ta reda på vad det är som gör att människor med ett psykiskt funktionshinder känner meningsfullhet i sin dagliga sysselsättning. Vår ambition har också varit att jämföra mellan en brukarstyrd och en kommunalt driven verksamhet. Detta för att se om det finns likheter och/eller skillnader i vad människor anser meningsfullt i den dagliga sysselsättningen.

First-principle data-driven models for assessment of motor disorders in Parkinson’s disease

Parkinson’s disease (PD) is an increasing neurological disorder in an aging society. The motor and non-motor symptoms of PD advance with the disease progression and occur in varying frequency and duration. In order to affirm the full extent of a patient’s condition, repeated assessments are necessary to adjust medical prescription. In clinical studies, symptoms are assessed using the unified Parkinson’s disease rating scale (UPDRS). On one hand, the subjective rating using UPDRS relies on clinical expertise. On the other hand, it requires the physical presence of patients in clinics which implies high logistical costs. Another limitation of clinical assessment is that the observation in hospital may not accurately represent a patient’s situation at home. For such reasons, the practical frequency of tracking PD symptoms may under-represent the true time scale of PD fluctuations and may result in an overall inaccurate assessment. Current technologies for at-home PD treatment are based on data-driven approaches for which the interpretation and reproduction of results are problematic.  The overall objective of this thesis is to develop and evaluate unobtrusive computer methods for enabling remote monitoring of patients with PD. It investigates first-principle data-driven model based novel signal and image processing techniques for extraction of clinically useful information from audio recordings of speech (in texts read aloud) and video recordings of gait and finger-tapping motor examinations. The aim is to map between PD symptoms severities estimated using novel computer methods and the clinical ratings based on UPDRS part-III (motor examination). A web-based test battery system consisting of self-assessment of symptoms and motor function tests was previously constructed for a touch screen mobile device. A comprehensive speech framework has been developed for this device to analyze text-dependent running speech by: (1) extracting novel signal features that are able to represent PD deficits in each individual component of the speech system, (2) mapping between clinical ratings and feature estimates of speech symptom severity, and (3) classifying between UPDRS part-III severity levels using speech features and statistical machine learning tools. A novel speech processing method called cepstral separation difference showed stronger ability to classify between speech symptom severities as compared to existing features of PD speech. In the case of finger tapping, the recorded videos of rapid finger tapping examination were processed using a novel computer-vision (CV) algorithm that extracts symptom information from video-based tapping signals using motion analysis of the index-finger which incorporates a face detection module for signal calibration. This algorithm was able to discriminate between UPDRS part III severity levels of finger tapping with high classification rates. Further analysis was performed on novel CV based gait features constructed using a standard human model to discriminate between a healthy gait and a Parkinsonian gait. The findings of this study suggest that the symptom severity levels in PD can be discriminated with high accuracies by involving a combination of first-principle (features) and data-driven (classification) approaches. The processing of audio and video recordings on one hand allows remote monitoring of speech, gait and finger-tapping examinations by the clinical staff. On the other hand, the first-principles approach eases the understanding of symptom estimates for clinicians. We have demonstrated that the selected features of speech, gait and finger tapping were able to discriminate between symptom severity levels, as well as, between healthy controls and PD patients with high classification rates. The findings support suitability of these methods to be used as decision support tools in the context of PD assessment.

Evaluation of a thermally driven heat pump for solar heating and cooling applications

Exploiting solar energy technology for both heating and cooling purposes has the potential of meeting an appreciable portion of the energy demand in buildings throughout the year. By developing an integrated, multi-purpose solar energy system, that can operate all twelve months of the year, a high utilisation factor can be achieved which translates to more economical systems. However, there are still some techno-economic barriers to the general commercialisation and market penetration of such technologies. These are associated with high system and installation costs, significant system complexity, and lack of knowledge of system implementation and expected performance. A sorption heat pump module that can be integrated directly into a solar thermal collector has thus been developed in order to tackle the aforementioned market barriers. This has been designed for the development of cost-effective pre-engineered solar energy system kits that can provide both heating and cooling. This thesis summarises the characterisation studies of the operation of individual sorption modules, sorption module integrated solar collectors and a full solar heating and cooling system employing sorption module integrated collectors. Key performance indicators for the individual sorption modules showed cooling delivery for 6 hours at an average power of 40 W and a temperature lift of 21°C. Upon integration of the sorption modules into a solar collector, measured solar radiation energy to cooling energy conversion efficiencies (solar cooling COP) were between 0.10 and 0.25 with average cooling powers between 90 and 200 W/m2 collector aperture area. Further investigations of the sorption module integrated collectors implementation in a full solar heating and cooling system yielded electrical cooling COP ranging from 1.7 to 12.6 with an average of 10.6 for the test period. Additionally, simulations were performed to determine system energy and cost saving potential for various system sizes over a full year of operation for a 140 m2 single-family dwelling located in Madrid, Spain. Simulations yielded an annual solar fraction of 42% and potential cost savings of €386 per annum for a solar heating and cooling installation employing 20m2 of sorption integrated collectors.

A data driven approach for automating vehicle activated signs

Vehicle activated signs (VAS) display a warning message when drivers exceed a particular threshold. VAS are often installed on local roads to display a warning message depending on the speed of the approaching vehicles. VAS are usually powered by electricity; however, battery and solar powered VAS are also commonplace. This thesis investigated devel-opment of an automatic trigger speed of vehicle activated signs in order to influence driver behaviour, the effect of which has been measured in terms of reduced mean speed and low standard deviation. A comprehen-sive understanding of the effectiveness of the trigger speed of the VAS on driver behaviour was established by systematically collecting data. Specif-ically, data on time of day, speed, length and direction of the vehicle have been collected for the purpose, using Doppler radar installed at the road. A data driven calibration method for the radar used in the experiment has also been developed and evaluated. Results indicate that trigger speed of the VAS had variable effect on driv-ers’ speed at different sites and at different times of the day. It is evident that the optimal trigger speed should be set near the 85th percentile speed, to be able to lower the standard deviation. In the case of battery and solar powered VAS, trigger speeds between the 50th and 85th per-centile offered the best compromise between safety and power consump-tion. Results also indicate that different classes of vehicles report differ-ences in mean speed and standard deviation; on a highway, the mean speed of cars differs slightly from the mean speed of trucks, whereas a significant difference was observed between the classes of vehicles on lo-cal roads. A differential trigger speed was therefore investigated for the sake of completion. A data driven approach using Random forest was found to be appropriate in predicting trigger speeds respective to types of vehicles and traffic conditions. The fact that the predicted trigger speed was found to be consistently around the 85th percentile speed justifies the choice of the automatic model.