24 resultados para pragmatic problem of induction
em Aston University Research Archive
Resumo:
This paper formulates several mathematical models for determining the optimal sequence of component placements and assignment of component types to feeders simultaneously or the integrated scheduling problem for a type of surface mount technology placement machines, called the sequential pick-andplace (PAP) machine. A PAP machine has multiple stationary feeders storing components, a stationary working table holding a printed circuit board (PCB), and a movable placement head to pick up components from feeders and place them to a board. The objective of integrated problem is to minimize the total distance traveled by the placement head. Two integer nonlinear programming models are formulated first. Then, each of them is equivalently converted into an integer linear type. The models for the integrated problem are verified by two commercial packages. In addition, a hybrid genetic algorithm previously developed by the authors is adopted to solve the models. The algorithm not only generates the optimal solutions quickly for small-sized problems, but also outperforms the genetic algorithms developed by other researchers in terms of total traveling distance.
Resumo:
The purpose of this article is to delimit the role of pragmatic specialization in the evolution of negation in French. The change in the marking of sentential negation is believed to proceed in characterized stages that would together constitute the Jespersen cycle. As a marker becomes the default expression of negation, the other markers do not necessarily fade away, and are maintained with specialized roles that include pragmatic functions. One such pragmatic function is that of activation (Dryer 1996), by which a proposition is presented as accessible to the hearer. Activation is shown to motivate the use of preverbal non that competes with 'ne' for several centuries. The claims that the emergence of postverbal pas in early French and the loss of 'ne' in contemporary spoken French are associated with activation are considered on the basis of novel data. It is concluded that pragmatic functions contribute to language change by providing marked options that may be conferred the default status in a grammatical paradigm.
Resumo:
The research carried out in this thesis was mainly concerned with the effects of large induction motors and their transient performance in power systems. Computer packages using the three phase co-ordinate frame of reference were developed to simulate the induction motor transient performance. A technique using matrix algebra was developed to allow extension of the three phase co-ordinate method to analyse asymmetrical and symmetrical faults on both sides of the three phase delta-star transformer which is usually required when connecting large induction motors to the supply system. System simulation, applying these two techniques, was used to study the transient stability of a power system. The response of a typical system, loaded with a group of large induction motors, two three-phase delta-star transformers, a synchronous generator and an infinite system was analysed. The computer software developed to study this system has the advantage that different types of fault at different locations can be studied by simple changes in input data. The research also involved investigating the possibility of using different integrating routines such as Runge-Kutta-Gill, RungeKutta-Fehlberg and the Predictor-Corrector methods. The investigation enables the reduction of computation time, which is necessary when solving the induction motor equations expressed in terms of the three phase variables. The outcome of this investigation was utilised in analysing an introductory model (containing only minimal control action) of an isolated system having a significant induction motor load compared to the size of the generator energising the system.
Resumo:
Qualitative research can make a valuable contribution to the study of quality and safety in health care. Sound ways of appraising qualitative research are needed, but currently there are many different proposals with few signs of an emerging consensus. One problem has been the tendency to treat qualitative research as a unified field. We distinguish universal features of quality from those specific to methodology and offer a set of minimally prescriptive prompts to assist with the assessment of generic features of qualitative research. In using these, account will need to be taken of the particular method of data collection and methodological approach being used. There may be a need for appraisal criteria suited to the different methods of qualitative data collection and to different methodological approaches. These more specific criteria would help to distinguish fatal flaws from more minor errors in the design, conduct, and reporting of qualitative research. There will be difficulties in doing this because some aspects of qualitative research, particularly those relating to quality of insight and interpretation, will remain difficult to appraise and will rely largely on subjective judgement.
Resumo:
This work has concentrated on the testing of induction machines to determine their temperature rise at full-load without mechanically coupling to a load machine. The achievements of this work are outlined as follows. 1. Four distinct categories of mixed-frequency test using an inverter have been identified by the author. The simulation results of these tests as well as the conventional 2-supply test have been analysed in detail. 2. Experimental work on mixed-frequency tests has been done on a small (4 kW) squirrel cage induction machine using a voltage source PWM inverter. Two out of the four categories of test suggested have been tested and the temperature rise results were found to be similar to the results of a direct loading test. Further, one of the categories of test proposed has been performed on a 3.3 kW slip-ring induction machine for the conformation of the rotor values. 3. A low current supply mixed-frequency test-rig has been proposed. For this purpose, a resonant bank was connected to the DC link of the inverter in order to maintain the exchange of power between the test machine and the resonant bank instead of between the main supply and the test machine. The resonant bank was then replaced with a special electro-mechanical energy storage unit. The current of the main power supply was then reduced in amplitude. 4. A variable inertia test for full load temperature rise testing of induction machines has been introduced. This test is purely mechanical in nature and does not require any electrical connection of the test machine to any other machine. It has the advantage of drawing very little net power from the supply.
Resumo:
Based on a corpus of English, German, and Polish spoken academic discourse, this article analyzes the distribution and function of humor in academic research presentations. The corpus is the result of a European research cooperation project consisting of 300,000 tokens of spoken academic language, focusing on the genres research presentation, student presentation, and oral examination. The article investigates difference between the German and English research cultures as expressed in the genre of specialist research presentations, and the role of humor as a pragmatic device in their respective contexts. The data is analyzed according to the paradigms of corpus-assisted discourse studies (CADS). The findings show that humor is used in research presentations as an expression of discourse reflexivity. They also reveal a considerable difference in the quantitative distribution of humor in research presentations depending on the educational, linguistic, and cultural background of the presenters, thus confirming the notion of different research cultures. Such research cultures nurture distinct attitudes to genres of academic language: whereas in one of the cultures identified researchers conform with the constraints and structures of the genre, those working in another attempt to subvert them, for example by the application of humor. © 2012 Elsevier B.V.
Resumo:
Treatment of murine myotubes with high glucose concentrations (10 and 25 mM) stimulated protein degradation through the ubiquitin–proteasome pathway, and also caused activation (autophosphorylation) of PKR (double-stranded-RNA-dependent protein kinase) and eIF2a (eukaryotic initiation factor 2a). Phosphorylation of PKR and eIF2a was also seen in the gastrocnemius muscle of diabetic ob/ob mice. High glucose levels also inhibited protein synthesis. The effect of glucose on protein synthesis and degradation was not seen in myotubes transfected with a catalytically inactive variant (PKR?6). High glucose also induced an increased activity of both caspase-3 and -8, which led to activation of PKR, since this was completely attenuated by the specific caspase inhibitors. Activation of PKR also led to activation of p38MAPK (mitogen activated protein kinase), leading to ROS (reactive oxygen species) formation, since this was attenuated by the specific p38MAPK inhibitor SB203580. ROS formation was important in protein degradation, since it was completely attenuated by the antioxidant butylated hydroxytoluene. These results suggest that high glucose induces muscle atrophy through the caspase-3/-8 induced activation of PKR, leading to phosphorylation of eIF2a and depression of protein synthesis, together with PKR-mediated ROS production, through p38MAPK and increased protein degradation.
Resumo:
This thesis makes a contribution to the Change Data Capture (CDC) field by providing an empirical evaluation on the performance of CDC architectures in the context of realtime data warehousing. CDC is a mechanism for providing data warehouse architectures with fresh data from Online Transaction Processing (OLTP) databases. There are two types of CDC architectures, pull architectures and push architectures. There is exiguous data on the performance of CDC architectures in a real-time environment. Performance data is required to determine the real-time viability of the two architectures. We propose that push CDC architectures are optimal for real-time CDC. However, push CDC architectures are seldom implemented because they are highly intrusive towards existing systems and arduous to maintain. As part of our contribution, we pragmatically develop a service based push CDC solution, which addresses the issues of intrusiveness and maintainability. Our solution uses Data Access Services (DAS) to decouple CDC logic from the applications. A requirement for the DAS is to place minimal overhead on a transaction in an OLTP environment. We synthesize DAS literature and pragmatically develop DAS that eciently execute transactions in an OLTP environment. Essentially we develop effeicient RESTful DAS, which expose Transactions As A Resource (TAAR). We evaluate the TAAR solution and three pull CDC mechanisms in a real-time environment, using the industry recognised TPC-C benchmark. The optimal CDC mechanism in a real-time environment, will capture change data with minimal latency and will have a negligible affect on the database's transactional throughput. Capture latency is the time it takes a CDC mechanism to capture a data change that has been applied to an OLTP database. A standard definition for capture latency and how to measure it does not exist in the field. We create this definition and extend the TPC-C benchmark to make the capture latency measurement. The results from our evaluation show that pull CDC is capable of real-time CDC at low levels of user concurrency. However, as the level of user concurrency scales upwards, pull CDC has a significant impact on the database's transaction rate, which affirms the theory that pull CDC architectures are not viable in a real-time architecture. TAAR CDC on the other hand is capable of real-time CDC, and places a minimal overhead on the transaction rate, although this performance is at the expense of CPU resources.
Resumo:
Why is popular understanding of female-male differences still based on rigid models of development, even though contemporary developmental sciences emphasize plasticity? Is it because the science of sex differences still works from the same rigid models?
Resumo:
Angiotensin I and II have been shown to directly induce protein degradation in skeletal muscle through an increased activity and expression of the ubiquitin-proteasome proteolytic pathway. This investigation determines the role of the nuclear transcription factor nuclear factor-κB (NF-κB) in this process. Using murine myotubes as a surrogate model system both angiotensin I and II were found to induce activation of protein kinase C (PKC), with a parabolic dose-response curve similar to the induction of total protein degradation. Activation of PKC was required for the induction of proteasome expression, since calphostin C, a highly specific inhibitor of PKC, attenuated both the increase in total protein degradation and in proteasome expression and functional activity increased by angiotensin II. PKC is known to activate I-κB kinase (IKK), which is responsible for the phosphorylation and subsequent degradation of I-κB. Both angiotensin I and II induced an early decrease in cytoplasmic I-κB levels followed by nuclear accumulation of NF-κB. Using an NF-κB luciferase construct this was shown to increase transcriptional activation of NF-κB regulated genes. Maximal luciferase expression was seen at the same concentrations of angiotensin I/II as those inducing protein degradation. Total protein degradation induced by both angiotensin I and II was attenuated by resveratrol, which prevented nuclear accumulation of NF-κB, confirming that activation of NF-κB was responsible for the increased protein degradation. These results suggest that induction of proteasome expression by angiotensin I/II involves a signalling pathway involving PKC and NF-κB. © 2005 Elsevier Inc. All rights reserved.