955 resultados para Formal Methods
Resumo:
Image fusion is a formal framework which is expressed as means and tools for the alliance of multisensor, multitemporal, and multiresolution data. Multisource data vary in spectral, spatial and temporal resolutions necessitating advanced analytical or numerical techniques for enhanced interpretation capabilities. This paper reviews seven pixel based image fusion techniques - intensity-hue-saturation, brovey, high pass filter (HPF), high pass modulation (HPM), principal component analysis, fourier transform and correspondence analysis.Validation of these techniques on IKONOS data (Panchromatic band at I m spatial resolution and Multispectral 4 bands at 4 in spatial resolution) reveal that HPF and HPM methods synthesises the images closest to those the corresponding multisensors would observe at the high resolution level.
Resumo:
We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.
Resumo:
Foliage density and leaf area index are important vegetation structure variables. They can be measured by several methods but few have been tested in tropical forests which have high structural heterogeneity. In this study, foliage density estimates by two indirect methods, the point quadrat and photographic methods, were compared with those obtained by direct leaf counts in the understorey of a wet evergreen forest in southern India. The point quadrat method has a tendency to overestimate, whereas the photographic method consistently and ignificantly underestimates foliage density. There was stratification within the understorey, with areas close to the ground having higher foliage densities.
Resumo:
Wood is an important material for the construction and pulping industries. Using x-ray diffraction the microfibril angle of Sitka spruce wood was studied in the first part of this thesis. Sitka spruce (Picea sitchensis [Bong.] Carr.) is native to the west coast of North America, but due to its fast growth rate, it has also been imported to Europe. So far, its nanometre scale properties have not been systematically characterised. In this thesis the microfibril angle of Sitka spruce was shown to depend significantly on the origin of the tree in the first annual rings near the pith. Wood can be further processed to separate lignin from cellulose and hemicelluloses. Solid cellulose can act as a reducer for metal ions and it is also a porous support for nanoparticles. By chemically reducing nickel or copper in the solid cellulose support it is possible to get small nanoparticles on the surfaces of the cellulose fibres. Cellulose supported metal nanoparticles can potentially be used as environmentally friendly catalysts in organic chemistry reactions. In this thesis the size of the nickel and copper containing nanoparticles were studied using anomalous small-angle x-ray scattering and wide-angle x-ray scattering. The anomalous small-angle x-ray scattering experiments showed that the crystallite size of the copper oxide nanoparticles was the same as the size of the nanoparticles, so the nanoparticles were single crystals. The nickel containing nanoparticles were amorphous, but crystallised upon heating. The size of the nanoparticles was observed to be smaller when the reduction of nickel was done in aqueous ammonium hydrate medium compared to reduction made in aqueous solution. Lignin is typically seen as the side-product of wood industries. Lignin is the second most abundant natural polymer on Earth, and it possesses potential to be a useful material for many purposes in addition to being an energy source for the pulp mills. In this thesis, the morphology of several lignins, which were produced by different separation methods from wood, was studied using small-angle and ultra small-angle x-ray scattering. It was shown that the fractal model previously proposed for the lignin structure does not apply to most of the extracted lignin types. The only lignin to which the fractal model could be applied was kraft lignin. In aqueous solutions the average shape of the low molar mass kraft lignin particles was observed to be elongated and flat. The average shape does not necessarily correspond to the shape of the individual particles because of the polydispersity of the fraction and due to selfassociation of the particles. Lignins, and especially lignosulfonate, have many uses as dispersants, binders and emulsion stabilisers. In this thesis work the selfassociation of low molar mass lignosulfonate macromolecules was observed using small-angle x-ray scattering. By taking into account the polydispersity of the studied lignosulfonate fraction, the shape of the lignosulfonate particles was determined to be flat by fitting an oblate ellipsoidal model to the scattering intensity.
Resumo:
This article presents and evaluates Quantum Inspired models of Target Activation using Cued-Target Recall Memory Modelling over multiple sources of Free Association data. Two components were evaluated: Whether Quantum Inspired models of Target Activation would provide a better framework than their classical psychological counterparts and how robust these models are across the different sources of Free Association data. In previous work, a formal model of cued-target recall did not exist and as such Target Activation was unable to be assessed directly. Further to that, the data source used was suspected of suffering from temporal and geographical bias. As a consequence, Target Activation was measured against cued-target recall data as an approximation of performance. Since then, a formal model of cued-target recall (PIER3) has been developed [10] with alternative sources of data also becoming available. This allowed us to directly model target activation in cued-target recall with human cued-target recall pairs and use multiply sources of Free Association Data. Featural Characteristics known to be important to Target Activation were measured for each of the data sources to identify any major differences that may explain variations in performance for each of the models. Each of the activation models were used in the PIER3 memory model for each of the data sources and was benchmarked against cued-target recall pairs provided by the University of South Florida (USF). Two methods where used to evaluate performance. The first involved measuring the divergence between the sets of results using the Kullback Leibler (KL) divergence with the second utilizing a previous statistical analysis of the errors [9]. Of the three sources of data, two were sourced from human subjects being the USF Free Association Norms and the University of Leuven (UL) Free Association Networks. The third was sourced from a new method put forward by Galea and Bruza, 2015 in which pseudo Free Association Networks (Corpus Based Association Networks - CANs) are built using co-occurrence statistics on large text corpus. It was found that the Quantum Inspired Models of Target Activation not only outperformed the classical psychological model but was more robust across a variety of data sources.
Resumo:
In this article, the professional socialization of university educated paramedics from the United Kingdom and Australia is discussed using the anticipatory, formal and post-formal phases of socialization. Participants for this research were from universities and ambulance services in Australia and the United Kingdom, and the data were collected and analyzed by qualitative methods. The anticipatory, formal and post-formal phases were deemed to be relevant to the professional socialization of university paramedics. However a fourth phase, called the post-internship phase was identified which better accounted for the paramedic training and practice model. The findings from this research led to the development of a four phase model of professional socialization to describe the experiences of university educated paramedics making the transition from university students to qualified paramedics.
Resumo:
This study analyzes the forming of the occupational identity of the well-educated fixed-term employees. Fixed-term employment contracts amongst the well-educated labour force are exceptionally common in Finland as compared to other European countries. Two groups of modern fixed-term employees are distinguished. The first comprises well-educated women employed in the public sector whose fixed-term employment often consists of successive periods as temporary substitutes. The other group comprises well-educated, upper white-collar men aged over 40, whose fixed-term employment careers often consist of jobs of project nature or posts that are filled for a fixed period only. Method of the study For the empirical data I interviewed 35 persons (26 women and 9 men) in 33 interviews, one of which was conducted by e-mail and one was a group interview. All the interviews were electronically recorded and coded. All the interviewees have two things in common: fixed-term employment and formal high education. Thirteen (13) of them are researchers, four nurses, four midwives, four journalists, and ten project experts. I used the snowball method to get in touch the interviewees. The first interviewees were those who were recommended by the trade unions and by my personal acquaintances. These interviewees, in turn, recommended other potential interviewees. In addition, announcements on the internet pages of the trade unions were used to reach other interviewees. In analysing process I read the research material several times to find the turning points in the narrative the interviewees told. I also searched for the most meaningful stories told and the meaning the interviewees gave to these stories and to the whole narrative. In addition to that I paid attention to co-production of the narrative with the interviewees and analyzed the narrative as performance to be able to search for the preferred identities the interviewees perform. (Riesman 2001, 698-701). I do not pay much attention to the question of truth of a narrative in the sense of its correspondence with facts; rather I think a working life narrative has two tasks: On the one hand one has to tell the facts and on the other hand, he/she has to describe the meaning of these facts to herself/himself. To emphasize the double nature of the narrative about one’s working life I analyzed the empirical data both by categorizing it according to the cultural models of storytelling (heroic story, comedy, irony and tragedy) and by studying the themes most of the interviewees talked about. Ethics of the study I chose to use narrative within qualitative interviews on the grounds that in my opinion is more ethical and more empowering than the more traditional structured interview methods. During the research process I carefully followed the ethical rules of a qualitative research. The purpose of the interviews and the research was told to the interviewees by giving them a written description of the study. Oral permission to use the interview in this research was obtained from the interviewees. The names and places, which are mentioned in the study, are changed to conceal the actual identity of the interviewees. I shared the analysis with the interviewees by sending each of them the first analysis of their personal interview. This way I asked them to make sure that the identity was hidden well enough and hoped to give interviewees a chance to look at their narratives, to instigate new actions and sustain the present one (Smith 2001, 721). Also I hoped to enjoy a new possibility of joint authorship. Main results As a result of the study I introduce six models of telling a story. The four typical western cultural models that guide the telling are: heroic story, comedy, tragedy and satirical story (Hänninen 1999). In addition to these models I found two ways of telling a career filled with fixed-term employments that differ significantly from traditional career story telling. However, the story models in which the interviewees pour their experience locates the fixed term employers work career in an imagined life trajectory and reveals the meaning they give to it. I analyze the many sided heroic story that Liisa tells as an example of the strength of the fear of failing or losing the job the fixed term employee feels. By this structure it is also possible to show that success is felt to be entirely a matter of chance. Tragedy, the failure in one’s trial to get something, is a model I introduce with the help of Vilppu’s story. This narrative gets its meaning both from the sorrow of the failure in the past and the rise of something new the teller has found. Aino tells her story as a comedy. By introducing her narrative, I suggest that the purpose of the comedy, a stronger social consensus, gets deeper and darker shade by fixed-term employment: one who works as a fixed term employee has to take his/her place in his/her work community by him/herself without the support the community gives to those in permanent position. By studying the satiric model Rauno uses, I argue that using irony both turns the power structures to a carnival and builds free space to the teller of the story and to the listener. Irony also helps in building a consensus, mutual understanding, between the teller and the listener and it shows the distance the teller tells to exist between him and others. Irony, however, demands some kind of success in one’s occupational career but also at least a minor disappointment in the progress of it. Helmi tells her story merely as a detective story. By introducing Helmi’s narrative, I argue that this story model strengthens the trust in fairness of the society the teller and the listener share. The analysis also emphasizes the central position of identity work, which is caused by fixed-term employment. Most of the interviewees talked about getting along in working life. I introduced Sari’s narrative as an example of this. In both of these latter narratives one’s personal character and habits are lifted as permanent parts of the actual professional expertise, which in turn varies according to different situations. By introducing these models, I reveal that the fixed-term employees have different strategies to cope with their job situations and these strategies vary according to their personal motives and situations and the actual purpose of the interview. However, I argue that they feel the space between their hopes and fears narrow and unsecure. In the research report I also introduce pieces of the stories – themes – that the interviewees use to build these survival strategies. They use their personal curriculum vitae or portfolio, their position in work community and their work morals to build their professional identity. Professional identity is flexible and varies in time and place, but even then it offers a tool to fix one’s identity work into something. It offers a viewpoint to society and a tool to measure one’s position in surrounding social nets. As one result of the study I analyze the position the fixed-term employees share on the edge of their job communities. I summarize the hopes and fears the interviewees have concerning employers, trade unions, educational institutions and the whole society. In their opinion, the solidarity between people has been weakened by the short-sighted power of the economy. The impact the fixed-term employment has on one’s professional identity and social capital is a many-sided and versatile process. Fixed-term employment both strengthens and weakens the professional identity, social capital and the building of trust. Fixed-term employment also affects one’s day-to-day life by excluding her/him from the norm and by one’s difficulty in making long-term plans (Jokinen 2005). Regardless of the nature of the job contract, the workers themselves are experts in making the best of their sometimes less than satisfying work life and they also build their professional identity by using creatively their education, work experiences and interpersonal relations. However, a long career of short fixed-term employments may seriously change the perception of employee about his/her role. He/she may start concentrating only in coping in his/her unsatisfactory situation and leaves the active improvement of the lousy working conditions to other people. Keywords: narrative, fixed-tem employment, occupational identity, work, story model, social capital, career
Resumo:
This thesis consists of an introduction, four research articles and an appendix. The thesis studies relations between two different approaches to continuum limit of models of two dimensional statistical mechanics at criticality. The approach of conformal field theory (CFT) could be thought of as the algebraic classification of some basic objects in these models. It has been succesfully used by physicists since 1980's. The other approach, Schramm-Loewner evolutions (SLEs), is a recently introduced set of mathematical methods to study random curves or interfaces occurring in the continuum limit of the models. The first and second included articles argue on basis of statistical mechanics what would be a plausible relation between SLEs and conformal field theory. The first article studies multiple SLEs, several random curves simultaneously in a domain. The proposed definition is compatible with a natural commutation requirement suggested by Dubédat. The curves of multiple SLE may form different topological configurations, ``pure geometries''. We conjecture a relation between the topological configurations and CFT concepts of conformal blocks and operator product expansions. Example applications of multiple SLEs include crossing probabilities for percolation and Ising model. The second article studies SLE variants that represent models with boundary conditions implemented by primary fields. The most well known of these, SLE(kappa, rho), is shown to be simple in terms of the Coulomb gas formalism of CFT. In the third article the space of local martingales for variants of SLE is shown to carry a representation of Virasoro algebra. Finding this structure is guided by the relation of SLEs and CFTs in general, but the result is established in a straightforward fashion. This article, too, emphasizes multiple SLEs and proposes a possible way of treating pure geometries in terms of Coulomb gas. The fourth article states results of applications of the Virasoro structure to the open questions of SLE reversibility and duality. Proofs of the stated results are provided in the appendix. The objective is an indirect computation of certain polynomial expected values. Provided that these expected values exist, in generic cases they are shown to possess the desired properties, thus giving support for both reversibility and duality.
Resumo:
La0.5Li0.5TiO3 perovskite was synthesized by various wet chemical methods. By adopting low temperature methods of preparation lithium loss from the material is prevented. La0.5Li0.5TiO3 (LLTO) was formed with cubic symmetry at 1473 K. LLTO was formed at relatively lower temperature by using hydrothermal preparation method. PVA gel-decomposition route yield tetragonal LLTO on annealing the dried gel at 1473 K. By using gel-carbonate route LiTi2O4 minor phase was found to remain even after heat-treatment at 1473 K. The hydroxylation of LLTO was done in deionized water as well as in dilute acetic acid medium. By hydroxylation process incorporation of hydroxyls and leaching out of Li+ was observed from the material. The Li+ concentration of these compositions was examined by AAS. The electrical conductivities of these compositions were measured by dc and ac impedance techniques at elevated temperatures. The activation energies of electrical conduction for these compositions were estimated from the experimental results. The measured activation energy of Li+ conduction is 0.34 eV. Unhydroxylated samples exhibit only Li+ conduction, whereas, the hydroxylated LLTO show proton conductivity at 298-550 K in addition to Li+ conductivity. The effect of Zr or Ce substitution in place of Ti were attempted. La0.5Li0.5ZrO3 Perovskite was not formed; instead pyrochlore phase (La2Zr2O7) along with monoclinic ZrO2 phases was observed above 1173 K; below 1173 K cubic ZrO2 is stable. (La0.5Li0.5)(2)CeO4 solid solution was formed in the case of Ce substitution at Ti sublattice on heat-treatment up to 1673 K. (c) 2005 Springer Science + Business Media, Inc.
Resumo:
The possibility of applying two approximate methods for determining the salient features of response of undamped non-linear spring mass systems subjected to a step input, is examined. The results obtained on the basis of these approximate methods are compared with the exact results that are available for some particular types of spring characteristics. The extension of the approximate methods for non-linear systems with general polynomial restoring force characteristics is indicated.
Resumo:
Increasing antimicrobial resistance in bacteria has led to the need for better understanding of antimicrobial usage patterns. In 1999, the World Organisation for Animal Health (OIE) recommended that an international ad hoc group should be established to address human and animal health risks related to antimicrobial resistance and the contribution of antimicrobial usage in veterinary medicine. In European countries the need for continuous recording of the usage of veterinary antimicrobials as well as for animal species-specific and indication-based data on usage has been acknowledged. Finland has been among the first countries to develop prudent use guidelines in veterinary medicine, as the Ministry of Agriculture and Forestry issued the first animal species-specific indication-based recommendations for antimicrobial use in animals in 1996. These guidelines have been revised in 2003 and 2009. However, surveillance on the species-specific use of antimicrobials in animals has not been performed in Finland. This thesis provides animal species-specific information on indication-based antimicrobial usage. Different methods for data collection have been utilized. Information on antimicrobial usage in animals has been gathered in four studies (studies A-D). Material from studies A, B and C have been used in an overlapping manner in the original publications I-IV. Study A (original publications I & IV) presents a retrospective cross-sectional survey on prescriptions for small animals at the Veterinary Teaching Hospital of the University of Helsinki. Prescriptions for antimicrobial agents (n = 2281) were collected and usage patterns, such as the indication and length of treatment, were reviewed. Most of the prescriptions were for dogs (78%), and primarily for the treatment of skin and ear infections most of which were treated with cephalexin for a median period of 14 days. Prescriptions for cats (18%) were most often for the treatment of urinary tract infections with amoxicillin for a median length of 10 days. Study B (original publication II) was a retrospective cross-sectional survey where prescriptions for animals were collected from 17 University Pharmacies nationwide. Antimicrobial prescriptions (n = 1038) for mainly dogs (65%) and cats (19%) were investigated. In this study, cephalexin and amoxicillin were also the most frequently used drugs for dogs and cats, respectively. In study C (original publications III & IV), the indication-based usage of antimicrobials of practicing veterinarians was analyzed by using a prospective questionnaire. Randomly selected practicing veterinarians in Finland (n = 262) recorded all their antimicrobial usage during a 7-day study period. Cattle (46%) with mastitis were the most common patients receiving antimicrobial treatment, generally intramuscular penicillin G or intramammary treatment with ampicillin and cloxacillin. The median length of treatment was four days, regardless of the route of administration. Antimicrobial use in horses was evaluated in study D, the results of which are previously unpublished. Firstly, data collected with the prospective questionnaire from the practicing veterinarians showed that horses (n = 89) were frequently treated for skin or wound infections by using penicillin G or trimethoprim-sulfadiazine. The mean duration of treatment was five to seven days. Secondly, according to retrospective data collected from patient records, horses (n = 74) that underwent colic surgery at the Veterinary Teaching Hospital of the University of Helsinki were generally treated according to national and hospital recommendations; penicillin G and gentamicin was administered preoperatively and treatment was continued for a median of three days postoperatively. In conclusion, Finnish veterinarians followed well the national prudent use guidelines. Narrow-spectrum antimicrobials were preferred and, for instance, fluoroquinolones were used sparingly. Prescription studies seemed to give good information on antimicrobials usage, especially when combined with complementary information from patient records. A prospective questionnaire study provided a fair amount of valuable data on several animal species. Electronic surveys are worthwhile exploiting in the future.
Resumo:
Tieteellinen tiivistelmä Common scab is one of the most important soil-borne diseases of potato (Solanum tuberosum L.) in many potato production areas. It is caused by a number of Streptomyces species, in Finland the causal agents are Streptomyces scabies (Thaxter) Lambert & Loria and S. turgidiscabies Takeuchi. The scab-causing Streptomyces spp. are well-adapted, successful plant pathogens that survive in soil also as saprophytes. Control of these pathogens has proved to be difficult. Most of the methods used to manage potato common scab are aimed at controlling S. scabies, the most common of the scab-causing pathogens. The studies in this thesis investigated S. scabies and S. turgidiscabies as causal organisms of common scab and explored new approaches for control of common scab that would be effective against both species. S. scabies and S. turgidiscabies are known to co-occur in the same fields and in the same tuber lesions in Finland. The present study showed that both these pathogens cause similar symptoms on potato tubers, and the types of symptoms varied depending on cultivar rather than the pathogen species. Pathogenic strains of S. turgidiscabies were antagonistic to S. scabies in vitro indicating that these two species may be competing for the same ecological niche. In addition, strains of S. turgidiscabies were highly virulent in potato and they tolerated lower pH than those of S. scabies. Taken together these results suggest that S. turgidiscabies has become a major problem in potato production in Finland. The bacterial phytotoxins, thaxtomins, are produced by the scab-causing Streptomyces spp. and are essential for the induction of scab symptoms. In this study, thaxtomins were produced in vitro and four thaxtomin compounds isolated and characterized. All four thaxtomins induced similar symptoms of reduced root and shoot growth, root swelling or necrosis on micro-propagated potato seedlings. The main phytotoxin, thaxtomin A, was used as a selective agent in a bioassay in vitro to screen F1 potato progeny from a single cross. Tolerance to thaxtomin A in vitro and scab resistance in the field were correlated indicating that the in vitro bioassay could be used in the early stages of a resistance breeding program to discard scab-susceptible genotypes and elevate the overall levels of common scab resistance in potato breeding populations. The potential for biological control of S. scabies and S. turgidiscabies using a non-pathogenic Streptomyces strain (346) isolated from a scab lesion and S. griseoviridis strain (K61) from a commercially available biocontrol product was studied. Both strains showed antagonistic activity against S. scabies and S. turgidiscabies in vitro and suppressed the development of common scab disease caused by S. turgidiscabies in the glasshouse. Furthermore, strain 346 reduced the incidence of S. turgidiscabies in scab lesions on potato tubers in the field. These results demonstrated for the first time the potential for biological control of S. turgidiscabies in the glasshouse and under field conditions and may be applied to enhance control of common scab in the future.