23 resultados para Logic, Symbolic and mathematical

em Aston University Research Archive


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This investigation is grounded within the concept of embodied cognition where the mind is considered to be part of a biological system. A first year undergraduate Mechanical Engineering cohort of students was tasked with explaining the behaviour of three balls of different masses being rolled down a ramp. The explanations given by the students highlighted the cognitive conflict between the everyday interpretation of the word energy and its mathematical use. The results showed that even after many years of schooling, students found it challenging to interpret the mathematics they had learned and relied upon pseudo-scientific notions to account for the behaviour of the balls.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A major problem in modern probabilistic modeling is the huge computational complexity involved in typical calculations with multivariate probability distributions when the number of random variables is large. Because exact computations are infeasible in such cases and Monte Carlo sampling techniques may reach their limits, there is a need for methods that allow for efficient approximate computations. One of the simplest approximations is based on the mean field method, which has a long history in statistical physics. The method is widely used, particularly in the growing field of graphical models. Researchers from disciplines such as statistical physics, computer science, and mathematical statistics are studying ways to improve this and related methods and are exploring novel application areas. Leading approaches include the variational approach, which goes beyond factorizable distributions to achieve systematic improvements; the TAP (Thouless-Anderson-Palmer) approach, which incorporates correlations by including effective reaction terms in the mean field theory; and the more general methods of graphical models. Bringing together ideas and techniques from these diverse disciplines, this book covers the theoretical foundations of advanced mean field methods, explores the relation between the different approaches, examines the quality of the approximation obtained, and demonstrates their application to various areas of probabilistic modeling.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Topical and transdermal formulations are promising platforms for the delivery of drugs. A unit dose topical or transdermal drug delivery system that optimises the solubility of drugs within the vehicle provides a novel dosage form for efficacious delivery that also offers a simple manufacture technique is desirable. This study used Witepsol® H15 wax as a abase for the delivery system. One aspect of this project involved determination of the solubility of ibuprofen, flurbiprofen and naproxen in the was using microscopy, Higuchi release kinetics, HyperDSC and mathematical modelling techniques. Correlations between the results obtained via these techniques were noted with additional merits such as provision of valuable information on drug release kinetics and possible interactions between the drug and excipients. A second aspect of this project involved the incorporation of additional excipients: Tween 20 (T), Carbopol®971 (C) and menthol (M) to the wax formulation. On in vitro permeation through porcine skin, the preferred formulations were: ibuprofen (5% w/w) within Witepsol®H15 + 1% w/w T; flurbiprofen (10% w/w) within Witepsol®H15 + 1% w/w T; naproxen (5% w/w) within Witepsol®H15 + 1% w/w T + 1% C and sodium diclofenac (10% w/w) within Witepsol®H15 + 1% w/w T + 1% w/w T + 1% w/w C + 5% w/w M. Unit dose transdermal tablets containing ibuprofen and diclofenac were produced with improved flux compared to marketed products; Voltarol Emugel® demonstrated flux of 1.68x10-3 cm/h compared to 123 x 10-3 cm/h for the optimised product as detailed above; Ibugel Forte® demonstrated a permeation coefficient value of 7.65 x 10-3 cm/h compared to 8.69 x 10-3 cm/h for the optimised product as described above.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Semantic Web relies on carefully structured, well defined, data to allow machines to communicate and understand one another. In many domains (e.g. geospatial) the data being described contains some uncertainty, often due to incomplete knowledge; meaningful processing of this data requires these uncertainties to be carefully analysed and integrated into the process chain. Currently, within the SemanticWeb there is no standard mechanism for interoperable description and exchange of uncertain information, which renders the automated processing of such information implausible, particularly where error must be considered and captured as it propagates through a processing sequence. In particular we adopt a Bayesian perspective and focus on the case where the inputs / outputs are naturally treated as random variables. This paper discusses a solution to the problem in the form of the Uncertainty Markup Language (UncertML). UncertML is a conceptual model, realised as an XML schema, that allows uncertainty to be quantified in a variety of ways i.e. realisations, statistics and probability distributions. UncertML is based upon a soft-typed XML schema design that provides a generic framework from which any statistic or distribution may be created. Making extensive use of Geography Markup Language (GML) dictionaries, UncertML provides a collection of definitions for common uncertainty types. Containing both written descriptions and mathematical functions, encoded as MathML, the definitions within these dictionaries provide a robust mechanism for defining any statistic or distribution and can be easily extended. Universal Resource Identifiers (URIs) are used to introduce semantics to the soft-typed elements by linking to these dictionary definitions. The INTAMAP (INTeroperability and Automated MAPping) project provides a use case for UncertML. This paper demonstrates how observation errors can be quantified using UncertML and wrapped within an Observations & Measurements (O&M) Observation. The interpolation service uses the information within these observations to influence the prediction outcome. The output uncertainties may be encoded in a variety of UncertML types, e.g. a series of marginal Gaussian distributions, a set of statistics, such as the first three marginal moments, or a set of realisations from a Monte Carlo treatment. Quantifying and propagating uncertainty in this way allows such interpolation results to be consumed by other services. This could form part of a risk management chain or a decision support system, and ultimately paves the way for complex data processing chains in the Semantic Web.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We review the main physical and mathematical properties of dispersion-managed (DM) optical solitons. Theory of DM solitons can be presented at two levels of accuracy: first, simple, but nevertheless, quantitative models based on ordinary differential equations governing evolution of the soliton width and phase parameter (the so-called chirp); and second, a comprehensive path-average theory that is capable of describing in detail both the fine structure of DM soliton form and its evolution along the fiber line. An analogy between DM soliton and a macroscopic nonlinear quantum oscillator model is also discussed. © 2003 Académie des sciences/Éditions scientifiques et médicales Elsevier SAS. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Ukraine crisis and Russia’s contribution to it have raised numerous concerns regarding the possible emergence of a new ‘Cold War’ in Europe. At the same time, Ukraine’s popular choice and enthusiasm for European integration expressed clearly on the streets of Kyiv seem to have caused Russia to adopt a (neo)revisionist attitude. In this context, relations between Russia and the EU (and the West for that matter) have been limited, frozen and directed on path towards conflict. This article analyses how the traditional dichotomy between conflict and cooperation in EU–Russia relations was replaced by conflict in the context of the Ukraine crisis. The article contends that the breakdown of the symbolic and peaceful cohabitation between the EU and Russia has been influenced by the fact that both actors have chosen to ignore key tensions that characterized their post-Cold War interactions. The article identifies three such tensions: the first emphasizes divisions between EU member states and their impact on coagulating a common EU approach towards Russia; the second (geopolitical) tension highlights the almost mutually exclusive way in which the EU and Russia’s security interests have developed in the post-Soviet space; finally, the third contends that a clash of values and worldviews between the EU and Russia makes conflict virtually unavoidable.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Synthesis of a sharp switching characteristic is experimentally demonstrated by concatenation of nonlinear optical loop mirrors. A novel configuration has been used which results in three terminal operation of the device. This device can be used as a logic gate and for pulse shaping to produce square pulses.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The rapid global loss of biodiversity has led to a proliferation of systematic conservation planning methods. In spite of their utility and mathematical sophistication, these methods only provide approximate solutions to real-world problems where there is uncertainty and temporal change. The consequences of errors in these solutions are seldom characterized or addressed. We propose a conceptual structure for exploring the consequences of input uncertainty and oversimpli?ed approximations to real-world processes for any conservation planning tool or strategy. We then present a computational framework based on this structure to quantitatively model species representation and persistence outcomes across a range of uncertainties. These include factors such as land costs, landscape structure, species composition and distribution, and temporal changes in habitat. We demonstrate the utility of the framework using several reserve selection methods including simple rules of thumb and more sophisticated tools such as Marxan and Zonation. We present new results showing how outcomes can be strongly affected by variation in problem characteristics that are seldom compared across multiple studies. These characteristics include number of species prioritized, distribution of species richness and rarity, and uncertainties in the amount and quality of habitat patches. We also demonstrate how the framework allows comparisons between conservation planning strategies and their response to error under a range of conditions. Using the approach presented here will improve conservation outcomes and resource allocation by making it easier to predict and quantify the consequences of many different uncertainties and assumptions simultaneously. Our results show that without more rigorously generalizable results, it is very dif?cult to predict the amount of error in any conservation plan. These results imply the need for standard practice to include evaluating the effects of multiple real-world complications on the behavior of any conservation planning method.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a Decision Support System framework based on Constrain Logic Programming and offers suggestions for using RFID technology to improve several of the critical procedures involved. This paper suggests that a widely distributed and semi-structured network of waste producing and waste collecting/processing enterprises can improve their planning both by the proposed Decision Support System, but also by implementing RFID technology to update and validate information in a continuous manner. © 2010 IEEE.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This research explores the conceptual basis in adopting a skills approach to management development. The literature reveals a number of development approaches but only a limited appreciation of how the manager does his job i.e. of the skills that he needs. An investigation of managerial skills was conducted with 10 manager s mainly occupying middle and senior positions. The principal source of evidence was the manager's thoughts on what he did and how he did it, although the interviews were supplemented by formal and informal observation. There was also a dialectic value from discussions with other analysts/managers and empathy between analyst and practitioner also played a part. Each manager was invited to comment upon his own skills analysis as a check upon validity. The study supports the view that the manager similar to other skilled practitioners, is conceptually a model builder and operationally a navigator (Singleton 1978b) . The manager variously holds enactive, pictorial, symbolic and hybrid models that enable him to understand his world and act in it. The universal managerial function is decision making and the study presents a preliminary nomenclature in classifying decision processes or perceptual skills. Managerial skills are also reflected in interpersonal interaction where the hallmark is mutual construction and attribution and in 'self-management’ where the requirement is to cope with the inner rather than the outer world. Differences between the managers are most evident in perceptual skills, the more senior manager requiring increasing ability to process abstract information and take account of environmental uncertainty. He will also make greater use of 'off- line’ information. The practical purpose in studying managerial skills is to facilitate the improvement of managerial performance and the implications of the research for training, selection and appraisal are explored.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We analyze pulse propagation in an optical fiber with a periodic dispersion map and distributed amplification. Using an asymptotic theory and a momentum method, we identify a family of dispersion management schemes that are advantageous for massive multichannel soliton transmission. For the case of two-step dispersion maps with distributed Raman amplification to compensate for the fiber loss, we find special schemes that have optimal (chirp-free) launch point locations that are independent of the fiber dispersion. Despite the variation of dispersion with wavelength due to the fiber dispersion slope, the transmission in several different channels can be optimized simultaneously using the same optimal launch point. The theoretical predictions are verified by direct numerical simulations. The obtained results are applied to a practical multichannel transmission system.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We analyze the steady-state propagation of optical pulses in fiber transmission systems with lumped nonlinear optical devices (NODs) placed periodically in the line. For the first time to our knowledge, a theoretical model is developed to describe the transmission regime with a quasilinear pulse evolution along the transmission line and the point action of NODs. We formulate the mapping problem for pulse propagation in a unit cell of the line and show that in the particular application to nonlinear optical loop mirrors, the steady-state pulse characteristics predicted by the theory accurately reproduce the results of direct numerical simulations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We study solutions of the nonlinear Schrödinger equation (NLSE) with gain, describing optical pulse propagation in an amplifying medium. We construct a semiclassical self-similar solution with a parabolic temporal variation that corresponds to the energy-containing core of the asymptotically propagating pulse in the amplifying medium. We match the self-similar core through Painlevé functions to the solution of the linearized equation that corresponds to the low-amplitude tails of the pulse. The analytic solution accurately reproduces the numerically calculated solution of the NLSE.