978 resultados para formal method
Resumo:
In our earlier work [1], we employed MVDR (minimum variance distortionless response) based spectral estimation instead of modified-linear prediction method [2] in pitch modification. Here, we use the Bauer method of MVDR spectral factorization, leading to a causal inverse filter rather than a noncausal filter setup with MVDR spectral estimation [1]. Further, this is employed to obtain source (or residual) signal from pitch synchronous speech frames. The residual signal is resampled using DCT/IDCT depending on the target pitch scale factor. Finally, forward filters realized from the above factorization are used to get pitch modified speech. The modified speech is evaluated subjectively by 10 listeners and mean opinion scores (MOS) are tabulated. Further, modified bark spectral distortion measure is also computed for objective evaluation of performance. We find that the proposed algorithm performs better compared to time domain pitch synchronous overlap [3] and modified-LP method [2]. A good MOS score is achieved with the proposed algorithm compared to [1] with a causal inverse and forward filter setup.
Resumo:
Randomness in the source condition other than the heterogeneity in the system parameters can also be a major source of uncertainty in the concentration field. Hence, a more general form of the problem formulation is necessary to consider randomness in both source condition and system parameters. When the source varies with time, the unsteady problem, can be solved using the unit response function. In the case of random system parameters, the response function becomes a random function and depends on the randomness in the system parameters. In the present study, the source is modelled as a random discrete process with either a fixed interval or a random interval (the Poisson process). In this study, an attempt is made to assess the relative effects of various types of source uncertainties on the probabilistic behaviour of the concentration in a porous medium while the system parameters are also modelled as random fields. Analytical expressions of mean and covariance of concentration due to random discrete source are derived in terms of mean and covariance of unit response function. The probabilistic behaviour of the random response function is obtained by using a perturbation-based stochastic finite element method (SFEM), which performs well for mild heterogeneity. The proposed method is applied for analysing both the 1-D as well as the 3-D solute transport problems. The results obtained with SFEM are compared with the Monte Carlo simulation for 1-D problems.
Resumo:
We describe the synthesis and structure of Barium sulfate nanoparticles by precipitation method in the presence of water soluble inorganic stabilizing agent, sodium hexametaphosphate, (NaPO3)(6). The structural parameters were refined by the Rietveld refinement method using powder X-ray diffraction data. Barium sulfate nanoparticles were crystallized in the orthorhombic structure with space group Pbnm (No. 62) having the lattice parameters a = 7.215(1) (angstrom), b = 8.949(1) (angstrom) and c = 5.501 (1) (angstrom) respectively. Transmission electron microscopy study reveals that the nanoparticles are size range, 30-50 nm. Fourier transform infrared spectra showed distinct absorption due to the SO42- moiety at 1115 and 1084 cm(-1) indicating formation of barium sulfate nanoparticles free from the phosphate group from the stabilizer used in the synthesis. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
By detecting leading protons produced in the Central Exclusive Diffractive process, p+p → p+X+p, one can measure the missing mass, and scan for possible new particle states such as the Higgs boson. This process augments - in a model independent way - the standard methods for new particle searches at the Large Hadron Collider (LHC) and will allow detailed analyses of the produced central system, such as the spin-parity properties of the Higgs boson. The exclusive central diffractive process makes possible precision studies of gluons at the LHC and complements the physics scenarios foreseen at the next e+e− linear collider. This thesis first presents the conclusions of the first systematic analysis of the expected precision measurement of the leading proton momentum and the accuracy of the reconstructed missing mass. In this initial analysis, the scattered protons are tracked along the LHC beam line and the uncertainties expected in beam transport and detection of the scattered leading protons are accounted for. The main focus of the thesis is in developing the necessary radiation hard precision detector technology for coping with the extremely demanding experimental environment of the LHC. This will be achieved by using a 3D silicon detector design, which in addition to the radiation hardness of up to 5×10^15 neutrons/cm2, offers properties such as a high signal-to- noise ratio, fast signal response to radiation and sensitivity close to the very edge of the detector. This work reports on the development of a novel semi-3D detector design that simplifies the 3D fabrication process, but conserves the necessary properties of the 3D detector design required in the LHC and in other imaging applications.
Resumo:
The aim of this study was to develop and trial a method to monitor the evolution of clinical reasoning in a PBL curriculum that is suitable for use in a large medical school. Termed Clinical Reasoning Problems (CRPs), it is based on the notion that clinical reasoning is dependent on the identification and correct interpretation of certain critical clinical features. Each problem consists of a clinical scenario comprising presentation, history and physical examination. Based on this information, subjects are asked to nominate the two most likely diagnoses and to list the clinical features that they considered in formulating their diagnoses, indicating whether these features supported or opposed the nominated diagnoses. Students at different levels of medical training completed a set of 10 CRPs as well as the Diagnostic Thinking Inventory, a self-reporting questionnaire designed to assess reasoning style. Responses were scored against those of a reference group of general practitioners. Results indicate that the CRPs are an easily administered, reliable and valid assessment of clinical reasoning, able to successfully monitor its development throughout medical training. Consequently, they can be employed to assess clinical reasoning skill in individual students and to evaluate the success of undergraduate medical schools in providing effective tuition in clinical reasoning.
Resumo:
α-Manganese dioxide is synthesized in a microemulsion medium by a redox reaction between KMnO4 and MnSO4 in presence of sodium dodecyl sulphate as a surface active agent. The morphology of MnO2 resembles nanopetals, which are spread parallel to the field. The material is further characterized by powder X-ray diffraction, energy dispersive analysis of X-ray, and Brunauer–Emmett–Teller surface area. Supercapacitance property of α-MnO2 nanopetals is studied by cyclic voltammetry and galvanostatic charge–discharge cycling. High values of specific capacitance are obtained.
Resumo:
We evaluated trained listener-based acoustic sampling as a reliable and non-invasive method for rapid assessment of ensiferan species diversity in tropical evergreen forests. This was done by evaluating the reliability of identification of species and numbers of calling individuals using psychoacoustic experiments in the laboratory and by comparing psychoacoustic sampling in the field with ambient noise recordings made at the same time. The reliability of correct species identification by the trained listener was 100% for 16 out of 20 species tested in the laboratory. The reliability of identifying the numbers of individuals correctly was 100% for 13 out of 20 species. The human listener performed slightly better than the instrument in detecting low frequency and broadband calls in the field, whereas the recorder detected high frequency calls with greater probability. To address the problem of pseudoreplication during spot sampling in the field, we monitored the movement of calling individuals using focal animal sampling. The average distance moved by calling individuals for 17 out of 20 species was less than 1.5 m in half an hour. We suggest that trained listener-based sampling is preferable for crickets and low frequency katydids, whereas broadband recorders are preferable for katydid species with high frequency calls for accurate estimation of ensiferan species richness and relative abundance in an area.
The partition of unity finite element method for elastic wave propagation in Reissner-Mindlin plates
Resumo:
This paper reports a numerical method for modelling the elastic wave propagation in plates. The method is based on the partition of unity approach, in which the approximate spectral properties of the infinite dimensional system are embedded within the space of a conventional finite element method through a consistent technique of waveform enrichment. The technique is general, such that it can be applied to the Lagrangian family of finite elements with specific waveform enrichment schemes, depending on the dominant modes of wave propagation in the physical system. A four-noded element for the Reissner-indlin plate is derived in this paper, which is free of shear locking. Such a locking-free property is achieved by removing the transverse displacement degrees of freedom from the element nodal variables and by recovering the same through a line integral and a weak constraint in the frequency domain. As a result, the frequency-dependent stiffness matrix and the mass matrix are obtained, which capture the higher frequency response with even coarse meshes, accurately. The steps involved in the numerical implementation of such element are discussed in details. Numerical studies on the performance of the proposed element are reported by considering a number of cases, which show very good accuracy and low computational cost. Copyright (C)006 John Wiley & Sons, Ltd.
Resumo:
In this paper the approach for automatic road extraction for an urban region using structural, spectral and geometric characteristics of roads has been presented. Roads have been extracted based on two levels: Pre-processing and road extraction methods. Initially, the image is pre-processed to improve the tolerance by reducing the clutter (that mostly represents the buildings, parking lots, vegetation regions and other open spaces). The road segments are then extracted using Texture Progressive Analysis (TPA) and Normalized cut algorithm. The TPA technique uses binary segmentation based on three levels of texture statistical evaluation to extract road segments where as, Normalizedcut method for road extraction is a graph based method that generates optimal partition of road segments. The performance evaluation (quality measures) for road extraction using TPA and normalized cut method is compared. Thus the experimental result show that normalized cut method is efficient in extracting road segments in urban region from high resolution satellite image.
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:
Properties of nanoparticles are size dependent, and a model to predict particle size is of importance. Gold nanoparticles are commonly synthesized by reducing tetrachloroauric acid with trisodium citrate, a method pioneered by Turkevich et al (Discuss. Faraday Soc. 1951, 11, 55). Data from several investigators that used this method show that when the ratio of initial concentrations of citrate to gold is varied from 0.4 to similar to 2, the final mean size of the particles formed varies by a factor of 7, while subsequent increases in the ratio hardly have any effect on the size. In this paper, a model is developed to explain this widely varying dependence. The steps that lead to the formation of particles are as follows: reduction of Au3+ in solution, disproportionation of Au+ to gold atoms and their nucleation, growth by disproportionation on particle surface, and coagulation. Oxidation of citrate results in the formation of dicarboxy acetone, which aids nucleation but also decomposes into side products. A detailed kinetic model is developed on the basis of these steps and is combined with population balance to predict particle-size distribution. The model shows that, unlike the usual balance between nucleation and growth that determines the particle size, it is the balance between rate of nucleation and degradation of dicarboxy acetone that determines the particle size in the citrate process. It is this feature that is able to explain the unusual dependence of the mean particle size on the ratio of citrate to gold salt concentration. It is also found that coagulation plays an important role in determining the particle size at high concentrations of citrate.
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:
This paper proposes a control method that can balance the input currents of the three-phase three-wire boost rectifier under unbalanced input voltage condition. The control objective is to operate the rectifier in the high-power-factor mode under balanced input voltage condition but to give overriding priority to the current balance function in case of unbalance in the input voltage. The control structure has been divided into two major functional blocks. The inner loop current-mode controller implements resistor emulation to achieve high-power-factor operation on each of the two orthogonal axes of the stationary reference frame. The outer control loop performs magnitude scaling and phase-shifting operations on current of one of the axes to make it balanced with the current on the other axis. The coefficients of scaling and shifting functions are determined by two closed-loop prportional-integral (PI) controllers that impose the conditions of input current balance as PI references. The control algorithm is simple and high performing. It does not require input voltage sensing and transformation of the control variables into a rotating reference frame. The simulation results on a MATLAB-SIMULINK platform validate the proposed control strategy. In implementation Texas Instrument's digital signal processor TMS320F24OF is used as the digital controller. The control algorithm for high-power-factor operation is tested on a prototype boost rectifier under nominal and unbalanced input voltage conditions.
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