999 resultados para Formulated


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The WiFiRe (WiFi Rural Extension) proposal for rural broadband access is being developed under the aegis of CEWIT. The system leverages the widely available, and highly cost-reduced, WiFi chipsets. However, only the physical layer from these chipsets is retained. A single base station carries several WiFi transceivers, each serving one sector of the cell, and all operating on the same WiFi channel in a time division duplex (TDD) manner. We replace the contention based WiFi MAC with a single-channel TDD multisector TDM MAC similar to the WiMax MAC. In this paper we discuss in detail the issues in designing such a MAC for the purpose of carrying packet voice telephony and for Internet access. The problem of determining the optimal spatial reuse is formulated and the optimal spatial reuse and the corresponding cell size is derived. Then the voice and data scheduler is designed. It is shown how throughput fairness can be implemented in the data scheduler. A capacity assessment of the system is also provided.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, we generalize the existing rate-one space frequency (SF) and space-time frequency (STF) code constructions. The objective of this exercise is to provide a systematic design of full-diversity STF codes with high coding gain. Under this generalization, STF codes are formulated as linear transformations of data. Conditions on these linear transforms are then derived so that the resulting STF codes achieve full diversity and high coding gain with a moderate decoding complexity. Many of these conditions involve channel parameters like delay profile (DP) and temporal correlation. When these quantities are not available at the transmitter, design of codes that exploit full diversity on channels with arbitrary DIP and temporal correlation is considered. Complete characterization of a class of such robust codes is provided and their bit error rate (BER) performance is evaluated. On the other hand, when channel DIP and temporal correlation are available at the transmitter, linear transforms are optimized to maximize the coding gain of full-diversity STF codes. BER performance of such optimized codes is shown to be better than those of existing codes.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper we study two problems in feedback stabilization. The first is the simultaneous stabilization problem, which can be stated as follows. Given plantsG_{0}, G_{1},..., G_{l}, does there exist a single compensatorCthat stabilizes all of them? The second is that of stabilization by a stable compensator, or more generally, a "least unstable" compensator. Given a plantG, we would like to know whether or not there exists a stable compensatorCthat stabilizesG; if not, what is the smallest number of right half-place poles (counted according to their McMillan degree) that any stabilizing compensator must have? We show that the two problems are equivalent in the following sense. The problem of simultaneously stabilizingl + 1plants can be reduced to the problem of simultaneously stabilizinglplants using a stable compensator, which in turn can be stated as the following purely algebraic problem. Given2lmatricesA_{1}, ..., A_{l}, B_{1}, ..., B_{l}, whereA_{i}, B_{i}are right-coprime for alli, does there exist a matrixMsuch thatA_{i} + MB_{i}, is unimodular for alli?Conversely, the problem of simultaneously stabilizinglplants using a stable compensator can be formulated as one of simultaneously stabilizingl + 1plants. The problem of determining whether or not there exists anMsuch thatA + BMis unimodular, given a right-coprime pair (A, B), turns out to be a special case of a question concerning a matrix division algorithm in a proper Euclidean domain. We give an answer to this question, and we believe this result might be of some independent interest. We show that, given twon times mplantsG_{0} and G_{1}we can generically stabilize them simultaneously provided eithernormis greater than one. In contrast, simultaneous stabilizability, of two single-input-single-output plants, g0and g1, is not generic.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

From the considerations of the truncated diffuse double layer due to partial saturation, an equilibrium equation is written in terms of the soil state parameter viz. void ratio, e, void ratio at liquid limit, e=wG, degree of saturation, S and external applied stress, p. The type of fine grained soil is subdued by its liquid limit. The viability of the formulated approach has been experimentally verified. This approach, essentially eliminates the difficulty in the measurement of pore air pressure, u pore water pressure, u and computation of \Gv parameter.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A finite element analysis of laminated shells of revolution reinforced with laminated stifieners is described here-in. A doubly curved quadrilateral laminated anisotropic shell of revolution finite element of 48 d.o.f. is used in conjunction with two stiffener elements of 16 d.o.f. namely: (i) A laminated anisotropic parallel circle stiffener element (PCSE); (ii) A laminated anisotropic meridional stiffener element (MSE). These stifiener elements are formulated under line member assumptions as degenerate cases of the quadrilateral shell element to achieve compatibility all along the shell-stifiener junction lines. The solutions to the problem of a stiffened cantilever cylindrical shell are used to check the correctness of the present program while it's capability is shown through the prediction of the behavior of an eccentrically stiffened laminated hyperboloidal shell.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Talking about symptoms during medical consultation. A conversation analytical study of doctors questions This linguistically oriented conversation analytic study investigates doctors questions and patients answers during medical consultation. The focus is on 1) the syntactic constructions of the doctors questions concerning the patients symptoms, 2) the function of different types of syntactic constructions, and 3) the sequential placement of the questions. The data used in the study consist of 57 videotaped doctor patient encounters in Finnish primary health care. The study shows that the traditional division between open and closed questions is vague and needs to be examined further. Open wh-questions and closed yes/no questions form heterogeneous classes: some of the closed questions can be treated as open and vice versa. Wh-questions which occur during the physical examination are often constructed to elicit short answers. These questions can consist of one word (e.g. milloin when ) which does not move to a new topic but supports the unfinished activity of palpation. During the verbal examination, wh-questions are formulated to elicit long descriptions as answers. For example, by asking mites + X ( what about + X), the doctor can open up a new topic and simultaneously give the patient the opportunity to discuss the topic from his/her perspective. Almost half of the yes/no questions project longer than just a minimal answer (e.g. a short confirmation or rejection). In these questions, the doctors use verbal elements which show that more than just a minimal answer is required. They can, for example, add an indefinite element (joku some or mitään any ) to a yes/no question, add a conjunctive vai ( or ) to the end of the question and thus open a space for various types of answers, or add a suggested answer to the question. In addition, the results show that declarative questions not only check understanding, but display the doctor s diagnosing process, check whether the doctor can move on to the next topic or action, and display implicitly the doctor s idea of what is connected and what is relevant. One aim of the study is to describe how different syntactic structures work together. A typical question chain consists of two or three questions. The first question is an open wh-question that elicits a new topic and creates different types of presuppositions. Contingent questions are constructed as yes/no questions that seek an affirmative answer or as declarative sentences that seek confirmation. Contingent questions can function as repair initiators and thus support achieving mutual understanding. Therefore, they are tools for the doctor to construct a description of the medical problem collaboratively with the patient. The results add to the results of previous studies on questions in medical consultation, but also suggest some corrections. They provide additional evidence for the idea that different types of syntactic constructions are useful in different types of settings. However, they also show that the variety of questions that doctors use is more manifold and diverse than the variety introduced in earlier studies and textbooks.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

As part of preliminary work aimed at the development of a formulated diet for the mud crab, Scylla serrata, an experiment was conducted with juvenile mud crabs (95.65±2.17 g) to determine apparent digestibility coefficients (ADC) for cellulose, fish meal, shrimp meal, blood meal, soybean meal, wheat flour and cod liver oil. Apparent digestibility coefficients for dry matter (ADCdm), energy (ADCenergy) and protein (ADC protein) were in the ranges 70.0-95.7%, 77.4-97.1% and 57.7-97.9% respectively. Soybean meal had the highest ADCdm and wheat flour had the lowest value (P<0.05), while the ADCdm for fish meal, blood meal and shrimp meal were not different (P?0.05). Similarly, soybean meal had the same ADCenergy as that of fish meal, but higher than those of cod liver oil, blood meal and shrimp meal (P<0.05). Moreover, the ADC protein for blood meal or shrimp meal were not significantly different from fish meal (P?0.05); nevertheless, they were lower than that of soybean meal and higher than that of wheat flour (P<0.05). Of significant interest was the ADCdm (78.0%) and ADCenergy (77.4%) for cellulose, which indicates that plant-based nutrient sources may well be a useful component of formulated diets for mud crabs.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thirty-one isolates of Metarhizium anisopliae were bioassayed against the cattle tick (Boophilus microplus). More than half of the isolates showed a high degree of virulence to ticks. Radial growth curves for growth between 20 °C and 40 °C were obtained for all isolates. This information together with information on virulence will be important for the selection of isolates suitable to kill ticks on the surface of cattle. A biopesticide for cattle ticks must kill ticks rapidly at temperatures within the upper end of most isolates' growth curves. It was also found that the time taken to achieve 100% tick mortality in vitro using a virulent isolate could be halved by applying conidia in a 10% oil emulsion. Scanning electron microscopy and light microscopy were used to investigate and compare the germination and penetration of conidia formulated in aqueous and oil formulations. It was found that conidia in both formulations were able to germinate and produce appressoria on the surface of ticks in less than 11 h. Marked weakness within 26 h, followed by extensive hyphal growth on the cuticle characterised the invasion of ticks by M. anisopliae.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Three field trials were conducted over 12 months to assess the pathogenicity of Metarhizium anisopliae to parasitic stages of Rhipicephalus (Boophilus) microplus on dairy heifers under different environmental conditions. Two isolates were selected based on their high optimal growth temperature (30 °C), good spore production characteristics and ability to quickly kill adult engorged ticks in the laboratory. Spores were formulated in an oil emulsion and applied using a motor driven spray unit. Surface temperatures of selected animals were monitored, as were the ambient temperature and relative humidity. Unengorged ticks sampled from each animal immediately after treatment were incubated in the laboratory to assess the efficacy of the formulation and application. Egg production by engorged ticks collected in the first 3 days after treatment was monitored. Side counts of standard adult female ticks were conducted daily, before and after treatment to assess the performance of the fungus against all tick stages on the animals. In each trial the formulation rapidly caused 100% mortality in unengorged ticks that were removed from cattle and cultured in the laboratory. A significant reduction in egg production was recorded for engorged ticks collected in the 3 days post-treatment. However, there was little effect of the formulation on the survival of ticks on cattle, indicating that there is an interaction between the environment of the ticks on the cattle and the biopesticide, which reduces its efficacy against ticks.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Openness and reflexivity of university education in the analysis of structuration of Finnish university adult education This research has been organised on three levels around a specific theoretical theme of the reflexivity of schooling. The argument developed has the same layered structure. At the first level, within the theoretical disposition of structuration, I develop methodological solutions, which allow the theme of reflexivity to be taken into account in the research concerning the organisational change of schooling. The conceptual work has been carried out in the research setting “morphogenesis vs. structuration”, which was initially formulated by Margaret Archer. Following this setting, structuration is taken to be a concern of the theoretical thinking of both Anthony Giddens and Pierre Bourdieu. The essential results achieved at this research level are presented as developing a synthesis of the theoretical thinking of Giddens and Bourdieu. I am arguing in favour of meta theoretical possibility and the empirical fertility of such a synthesis. The latter is especially the case, when the aim is to grasp the cultural dynamics in the processes of organising schooling. At the second level of empirical-historical theorising about schooling I confine the treatment of the theme of reflexivity to the topic of the openness of university education. While operating through the level of substantive theorising of schooling, I am constructing a cross disciplinary point of view on the phenomenon of openness and its empirical research. This is done in such manner that demonstrates how the structuration approach, understood as synthesising the meta theory of Giddens and Bourdieu, can take into account the theme of the reflexivity of schooling. In the actual empirical part of the study, the third level, I explore the genesis of the Finnish open university. This leads to narrowing down the topic of openness and to focussing on how adult education is organised. The analysis of structuration is supported by the ideal type -like notion of university adult education, since this allows the comparative and historical research strategy required for the task. I argue the importance of such a notion at the level of substantive theorising of schooling. The results of my historical analysis are presented through three articles and a commentary chapter.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A series of metabolism experiments investigated the recovery of continuous-, intravenously infused chromium complexed with ethylenediamine tetra-acetic acid (CrEDTA) and lithium sulphate in the urine of cattle with a view to using the markers to estimate urine and metabolite output in grazing cattle. The recovery of Cr in urine from these infusions was similar (90%) in metabolism trials when cattle consumed three very contrasting diets: high-grain formulated pellet, lucerne hay (Medicago sativa) or low-quality native grass hay (predominantly Heteropogon contortus). By contrast, Li recovery in urine averaged 46.3 +/- 0.40% and 72.6 +/- 0.43% for native pasture and lucerne hays, respectively, but was not constant across days. There was negligible transfer of Cr from CrEDTA in blood serum to the rumen or faeces, whereas appreciable quantities of infused Li were found in both. The ratio of urine volume estimated by spot samples and marker dilution of Cr, to urine volume measured gravimetrically, was 1.05. In grazing studies using rumen-fistulated (RF) steers grazing seven different tropical and temperate grass and legume pastures, the ratio of concentrations of purine derivatives (PD) to Cr in spot samples of urine was shown to vary diurnally in the range of 49% to 157% of the average 24 h value. This finding indicated the need for regular sampling of urine to achieve an accurate average value for the PD: Cr ratio in urine for use in estimating urinary PD excretion and hence microbial protein production in the rumen. It was concluded that continuous, intravenous infusion of CrEDTA resulted in a constant recovery of Cr in the urine of cattle across diets and, provided an intensive sampling regime was followed to account for diurnal variation, it would be suitable as a marker to estimate urine volume and urinary output of PD in grazing cattle.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present a new, generic method/model for multi-objective design optimization of laminated composite components using a novel multi-objective optimization algorithm developed on the basis of the Quantum behaved Particle Swarm Optimization (QPSO) paradigm. QPSO is a co-variant of the popular Particle Swarm Optimization (PSO) and has been developed and implemented successfully for the multi-objective design optimization of composites. The problem is formulated with multiple objectives of minimizing weight and the total cost of the composite component to achieve a specified strength. The primary optimization variables are - the number of layers, its stacking sequence (the orientation of the layers) and thickness of each layer. The classical lamination theory is utilized to determine the stresses in the component and the design is evaluated based on three failure criteria; Failure Mechanism based Failure criteria, Maximum stress failure criteria and the Tsai-Wu Failure criteria. The optimization method is validated for a number of different loading configurations - uniaxial, biaxial and bending loads. The design optimization has been carried for both variable stacking sequences as well as fixed standard stacking schemes and a comparative study of the different design configurations evolved has been presented. Also, the performance of QPSO is compared with the conventional PSO.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Theoretical approaches are of fundamental importance to predict the potential impact of waste disposal facilities on ground water contamination. Appropriate design parameters are generally estimated be fitting theoretical models to data gathered from field monitoring or laboratory experiments. Transient through-diffusion tests are generally conducted in the laboratory to estimate the mass transport parameters of the proposed barrier material. Thes parameters are usually estimated either by approximate eye-fitting calibration or by combining the solution of the direct problem with any available gradient-based techniques. In this work, an automated, gradient-free solver is developed to estimate the mass transport parameters of a transient through-diffusion model. The proposed inverse model uses a particle swarm optimization (PSO) algorithm that is based on the social behavior of animals searching for food sources. The finite difference numerical solution of the forward model is integrated with the PSO algorithm to solve the inverse problem of parameter estimation. The working principle of the new solver is demonstrated and mass transport parameters are estimated from laboratory through-diffusion experimental data. An inverse model based on the standard gradient-based technique is formulated to compare with the proposed solver. A detailed comparative study is carried out between conventional methods and the proposed solver. The present automated technique is found to be very efficient and robust. The mass transport parameters are obtained with great precision.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The main goal of this study was to explore experiences induced by playing digital games (i.e. meaning of playing). In addition, the study aimed at structuring the larger entities of gaming experience. This was done by using theory-driven and data grounded approaches. Previously gaming experiences have not been explored as a whole. The consideration of gaming experiences on the basis of psychological theories and studies has also been rare. The secondary goal of this study was to clarify, whether the individual meanings of playing are connected with flow experience in an occasional gaming situation. Flow is an enjoyable experience and usually activities that induce flow are gladly repeated. Previously, flow has been proved to be an essential concept in the context of playing, but the relations between meanings of playing and flow have not been studied. The relations between gender and gaming experiences were examined throughout the study, as well as the relationship between gaming frequency and experiences. The study was divided into two sections, of which the first was composed according to the main goals. Its data was gathered by using an Internet questionnaire. The other section covered the themes that were formulated on the basis of the secondary aims. In that section, the participants played a driving game for 40 minutes and then filled in a questionnaire, which measured flow related experiences. In both sections, the participants were mainly young Finnish adults. All the participants in the second section (n = 60) had already participated in the first section (n = 267). Both qualitative and quantitative research techniques were used in the study. In the first section, freely described gaming experiences were classified according to the grounded theory. After that, the most common categories were further classified into the basic structures of gaming experience, some according to the existing theories of experience structure and some according to the data (i.e. grounded theory). In the other section flow constructs were measured and used as grouping variables in a cluster analysis. Three meaningful groups were compared regarding the meanings of gaming that were explored in the first section. The descriptions of gaming experiences were classified into four main categories, which were conceptions of the gaming process, emotions, motivations and focused attention. All the theory-driven categories were found in the data. This frame of reference can be utilized in future when reliability and validity of already existing methods for measuring gaming experiences are considered or new methods will be developed. The connection between the individual relevance of gaming and flow was minor. However, as the scope was specified to relations between primary meanings of playing and flow, it was noticed that attributing enjoyment to gaming did not lead to the strongest flow-experiences. This implies that the issue should be studied more in future. As a whole this study proves that gamer-related research from numerous vantage points can benefit from concentrating on gaming experiences.