Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting components of a system and translates it into a useful mathematical model. This paper presents a novel compositional modelling approach aimed at building model repositories. It furthers the field in two respects. Firstly, it expands the application domain of compositional modelling to systems that can not be easily described in terms of interacting functional components, such as ecological systems. Secondly, it enables the incorporation of user preferences into the model selection process. These features are achieved by casting the compositional modelling problem as an activity-based dynamic preference constraint satisfaction problem, where the dynamic constraints describe the restrictions imposed over the composition of partial models and the preferences correspond to those of the user of the automated modeller. In addition, the preference levels are represented through the use of symbolic values that differ in orders of magnitude.

Mathematical tests about the existence and applications of PPS-wavelets in function approximation problems

Neural networks and wavelet transform have been recently seen as attractive tools for developing eficient solutions for many real world problems in function approximation. Function approximation is a very important task in environments where computation has to be based on extracting information from data samples in real world processes. So, mathematical model is a very important tool to guarantee the development of the neural network area. In this article we will introduce one series of mathematical demonstrations that guarantee the wavelets properties for the PPS functions. As application, we will show the use of PPS-wavelets in pattern recognition problems of handwritten digit through function approximation techniques.

On Lugre Friction Model to Mitigate Nonideal Vibrations

In this paper, a nonideal mechanical system with the LuGre friction damping model is considered. The mechanical model of the system is an oscillator not necessarily linear connected with an unbalanced motor of excitation with limited power supply. The control of motion and the attenuation of the Sommerfeld effect of the considered nonideal system are analyzed in this paper The mathematical model of the system is represented by coupled non-linear differential equations. The identification of some interesting nonlinear phenomenon in the transient and steady state motion of the system during the passage through resonance (using applied voltages at dc motor as control parameter) is investigated in detail using numerical simulation. [DOI: 10.1115/1.3124783]

Mathematical tool to size rural digesters

Os biodigestores têm sido objetos de grande destaque devido a atual crise de energia e conseqüente busca de fontes alternativas. Outro fator que coloca os biodigestores em evidência é o intenso processo de modernização da agropecuária, que além da grande demanda de energia, produz um volume de resíduos animais e de culturas, que ocasiona muitas vezes problemas de ordem sanitária. O objetivo deste trabalho é fornecer uma ferramenta matemática para determinação de parâmetros para projetos de construção de biodigestores rurais, levando-se em consideração o atendimento de necessidades energéticas, obedecendo os dimensionamentos dos sistemas, fatores de rendimento e garantindo a funcionalidade. Para isto, foram formulados modelos de otimização não lineares, de fácil resolução, para os três principais tipos de biodigestores rurais. Com a resolução destes modelos são determinados a altura e o diâmetro que levem a um volume mínimo para cada tipo, com isto reduz-se a quantidade necessária de materiais de alvenaria e consequentemente o custo do biodigestor é diminuído.

Analysis of heuristic algorithms for the transportation model in static and multistage planning in network expansion systems

The usefulness of the application of heuristic algorithms in the transportation model, first proposed by Garver, is analysed in relation to planning for the expansion of transmission systems. The formulation of the mathematical model and the solution techniques proposed in the specialised literature are analysed in detail. Starting with the constructive heuristic algorithm proposed by Garver, an extension is made to the problem of multistage planning for transmission systems. The quality of the solutions found by heuristic algorithms for the transportation model is analysed, as are applications in problems of planning transmission systems.

Gauged thirring model in the Heisenberg picture

We consider the (2+1)-dimensional gauged Thirring model in the Heisenberg picture. In this context we evaluate the vacuum polarization tensor as well as the corrected gauge boson propagator and address the issues of generation of mass and dynamics for the gauge boson (in the limits of QED 3 and Thirring model as a gauge theory, respectively) due to the radiative corrections.

On Nonlinear Dynamics and Control of A Particular Portal Frame Foundation Model, Excited by a Non-Ideal Motor

The nonlinear dynamic response and a nonlinear control method of a particular portal frame foundation for an unbalanced rotating machine with limited power (non-ideal motor) are examined. Numerical simulations are performed for a set of control parameters (depending on the voltage of the motor) related to the static and dynamic characteristics of the motor. The interaction of the structure with the excitation source may lead to the occurrence of interesting phenomena during the forward passage through the several resonance states of the systems. A mathematical model having two degrees of freedom simplifies the non-ideal system. The study of controlling steady-state vibrations of the non-ideal system is based on the saturation phenomenon due to internal resonance.

Euclidean 4d exact solitons in a Skyrme type model

We introduce a Skyrme type, four-dimensional Euclidean field theory made of a triplet of scalar fields n→, taking values on the sphere S2, and an additional real scalar field φ, which is dynamical only on a three-dimensional surface embedded in R4. Using a special ansatz we reduce the 4d non-linear equations of motion into linear ordinary differential equations, which lead to the construction of an infinite number of exact soliton solutions with vanishing Euclidean action. The theory possesses a mass scale which fixes the size of the solitons in way which differs from Derrick's scaling arguments. The model may be relevant to the study of the low energy limit of pure SU(2) Yang-Mills theory. © 2004 Elsevier B.V. All rights reserved.

A mechanical analogous model for the power system with Automatic Voltage Regulator

This paper deals with the subject-matter of teaching immaterial issues like power system dynamics where the phenomena and events are not sense-perceptible. The dynamics of the power system are recognized as analogous to the dynamics of a simple mechanical pendulum taken into account the well-known classical model for the synchronous machine. It is shown that even for more sophisticated models including flux decay and Automatic Voltage Regulator the mechanical device can be taken as an analogous, since provided some considerations about variation and control of the pendulum length using certain control laws. The resulting mathematical model represents a mechanical system that can be built for use in laboratory teaching of power system dynamics. © 2010 Praise Worthy Prize S.r.l. - All rights reserved.

Chemometric analysis of Hymenoptera toxins and defensins: A model for predicting the biological activity of novel peptides from venoms and hemolymph

When searching for prospective novel peptides, it is difficult to determine the biological activity of a peptide based only on its sequence. The trial and error approach is generally laborious, expensive and time consuming due to the large number of different experimental setups required to cover a reasonable number of biological assays. To simulate a virtual model for Hymenoptera insects, 166 peptides were selected from the venoms and hemolymphs of wasps, bees and ants and applied to a mathematical model of multivariate analysis, with nine different chemometric components: GRAVY, aliphaticity index, number of disulfide bonds, total residues, net charge, pI value, Boman index, percentage of alpha helix, and flexibility prediction. Principal component analysis (PCA) with non-linear iterative projections by alternating least-squares (NIPALS) algorithm was performed, without including any information about the biological activity of the peptides. This analysis permitted the grouping of peptides in a way that strongly correlated to the biological function of the peptides. Six different groupings were observed, which seemed to correspond to the following groups: chemotactic peptides, mastoparans, tachykinins, kinins, antibiotic peptides, and a group of long peptides with one or two disulfide bonds and with biological activities that are not yet clearly defined. The partial overlap between the mastoparans group and the chemotactic peptides, tachykinins, kinins and antibiotic peptides in the PCA score plot may be used to explain the frequent reports in the literature about the multifunctionality of some of these peptides. The mathematical model used in the present investigation can be used to predict the biological activities of novel peptides in this system, and it may also be easily applied to other biological systems. © 2011 Elsevier Inc.

Model to increase the lateral line length of drip irrigation systems

Non-pressure compensating drip hose is widely used for irrigation of vegetables and orchards. One limitation is that the lateral line length must be short to maintain uniformity due to head loss and slope. Any procedure to increase the length is appropriate because it represents low initial cost of the irrigation system. The hypothesis of this research is that it is possible to increase the lateral line length combining two points: using a larger spacing between emitters at the beginning of the lateral line and a smaller one after a certain distance; and allowing a higher pressure variation along the lateral line under an acceptable value of distribution uniformity. To evaluate this hypothesis, a nonlinear programming model (NLP) was developed. The input data are: diameter, roughness coefficient, pressure variation, emitter operational pressure, relationship between emitter discharge and pressure. The output data are: line length, discharge and length of the each section with different spacing between drippers, total discharge in the lateral line, multiple outlet adjustment coefficient, head losses, localized head loss, pressure variation, number of emitters, spacing between emitters, discharge in each emitter, and discharge per linear meter. The mathematical model developed was compared with the lateral line length obtained with the algebraic solution generated by the Darcy-Weisbach equation. The NLP model showed the best results since it generated the greater gain in the lateral line length, maintaining the uniformity and the flow variation under acceptable standards. It had also the lower flow variation, so its adoption is feasible and recommended.

A mixed-integer LP model for the reconfiguration of radial electric distribution systems considering distributed generation

The problem of reconfiguration of distribution systems considering the presence of distributed generation is modeled as a mixed-integer linear programming (MILP) problem in this paper. The demands of the electric distribution system are modeled through linear approximations in terms of real and imaginary parts of the voltage, taking into account typical operating conditions of the electric distribution system. The use of an MILP formulation has the following benefits: (a) a robust mathematical model that is equivalent to the mixed-integer non-linear programming model; (b) an efficient computational behavior with exiting MILP solvers; and (c) guarantees convergence to optimality using classical optimization techniques. Results from one test system and two real systems show the excellent performance of the proposed methodology compared with conventional methods. © 2012 Published by Elsevier B.V. All rights reserved.

Mathematical analysis and simulations involving chemotherapy and surgery on large human tumours under a suitable cell-kill functional response

Dosage and frequency of treatment schedules are important for successful chemotherapy. However, in this work we argue that cell-kill response and tumoral growth should not be seen as separate and therefore are essential in a mathematical cancer model. This paper presents a mathematical model for sequencing of cancer chemotherapy and surgery. Our purpose is to investigate treatments for large human tumours considering a suitable cell-kill dynamics. We use some biological and pharmacological data in a numerical approach, where drug administration occurs in cycles (periodic infusion) and surgery is performed instantaneously. Moreover, we also present an analysis of stability for a chemotherapeutic model with continuous drug administration. According to Norton & Simon [22], our results indicate that chemotherapy is less eficient in treating tumours that have reached a plateau level of growing and that a combination with surgical treatment can provide better outcomes.

Morphologic and biomechanical changes of thoracic and abdominal aorta in a rat model of cigarette smoke exposure

Background: Smoking is the most relevant environmental factor that affects the development of aortic aneurysm. Smokers have elevated levels of elastase activity in the arterial wall, which leads to weakening of the aorta. The aim of this study was to verify whether cigarette smoke exposure itself is capable of altering the aortic wall. Methods: Forty-eight Wistar rats were divided into 2-, 4-, and 6-month experimental periods and into 2 groups: smokers (submitted to smoke exposure at a rate of 40 cigarettes/day) and nonsmokers. At the end of the experimental periods, the aortas were removed and cross-sectioned to obtain histologic specimens for light microscopic and morphometric analyses. The remaining longitudinal segments were stretched to rupture and mechanical parameters were determined. Results: A degenerative process (i.e., a reduction in elastic fibers, the loss of lamellar arrangement, and a reduction of smooth muscle cells) was observed, and this effect was proportional in intensity to the period of tobacco exposure. We observed a progressive reduction in the yield point of the thoracic aorta over time (P < 0.05). There was a decrease in stiffness (P < 0.05) and in failure load (P < 0.05) at 6 months in the abdominal aorta of rats in the smoking group. Conclusions: Chronic exposure to tobacco smoke can affect the mechanical properties of the aorta and can also provoke substantial structural changes of the arterial wall. © 2013 Elsevier Inc. All rights reserved.

A semigroups theory approach to a model of suspension bridges

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)