956 resultados para Semi-infinite and infinite programming


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tese de dout. em Ciências do Mar, Instituto de Investigação das Pescas e do Mar, Univ. do Algarve, 1996

Relevância:

100.00% 100.00%

Publicador:

Resumo:

El presente trabajo de titulación denominado Texto Guía para Docentes enfocado en el bloque de Matemáticas Discretas del Primero B.G.U, ha sido desarrollado con la finalidad de presentar un aporte significativoy de ayuda al docente de Matemáticas de Primero de Bachillerato, anhelando un mejor desenvolvimiento dentro del aula de clase. Este documento está elaborado en base a la legislación educativa ecuatoriana vigente y de los documentos oficiales del Ministerio de Educación, el tema propuesto corresponde al tercer bloque curricular del primer año de Bachillerato General Unificado en la asignatura de Matemáticas. Nuestro trabajo de titulación se compone de tres capítulos. En el capítulo uno, se presenta una síntesis de temas como la evolución de la educación ecuatoriana, los modelos pedagógicos, los métodos de enseñanza, didáctica de la matemática y programación lineal, considerados como base para el desarrollo de la propuesta. En el capítulo dos, se detalla la investigación estadística realizada mediante una encuesta aplicada a docentes de Matemáticas de Primer año de Bachillerato, pertenecientes a la Coordinación Zonal 6 de Educación, Distrito Norte. Los resultados encontrados cimentaron la propuesta de la implementación del texto guía para el aprendizaje de Matemáticas Discretas. En el capítulo tres se elabora la propuesta del texto guía, estructurado en seis guías didácticas, cada una corresponde al desarrollo de una destreza con criterio de desempeñopara el tema planteado. Al final de este capítulo, se detallan conclusiones y recomendaciones dirigidas para el docente de matemáticas.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

El deterioro es un proceso que afecta a toda edificación y una de sus causas es el mantenimiento deficiente. El mantenimiento involucra a actividades técnicas, administrativas y de gestión necesarias para conservar a una edificación o devolverle a un estado en el que pueda realizar la función requerida. Identificar cuál es el desempeño de un edificio en el área de la gestión de mantenimiento resulta preciso. Por lo cual el objetivo de este estudio es desarrollar un método para la evaluación de la gestión de mantenimiento en edificios multifamiliares ubicados en la ciudad de Cuenca. Para el efecto, es necesario responder las preguntas ¿cuáles son los requerimientos y criterios para la evaluación de la gestión de mantenimiento de edificios multifamiliares? y ¿cuáles son sus ponderaciones?, considerando el contexto local de la ciudad de Cuenca. La investigación se desarrolla en tres fases, empieza por la determinación de los criterios de evaluación; priorización de los requerimientos y criterios seleccionados, para lo cual se emplea el método AnalyticHierarchyProcess a través de la consulta a expertos: arquitectos, administradores de edificios y profesionales con grado de maestría en gestión de mantenimiento, se finaliza desarrollando el método de evaluación. El estudio determina que los requerimientos más importantes de la gestión de mantenimiento de edificios multifamiliares, en el área local son: el diseño del edificio, los riesgos laborales en el mantenimiento y la planificación, programación y control del mantenimiento. La metodología ha sido aplicada satisfactoriamente a un edificio multifamiliar en la ciudad de Cuenca.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The shrimp farming industry is the most profitable area of the aquaculture at Rio Grande do Norte (RN) state, which is one of the largest producers in Brazil. However the infections that affect the shrimp cause major economic losses. The infection is a result of the interaction between the shrimp, the environment and pathogen. The change of these factors may lead to a condition of stress and susceptibility to opportunistic infections. One of these infections caused by Infectious Hypodermal and Hematopoietic Necrosis Virus (IHHNV) is widely distributed in several countries and affects a wide range of hosts. To optimize conditions for production of Litopenaeus vannamei shrimp, the more species cultivated in Brazil, it is necessary to understand the effects of environmental factors in the susceptibility of this species to infections. The aim of this study was to determine the IHHNV prevalence and to investigate the influence of environmental factors as salinity, temperature, stocking density, dissolved oxygen and rainfall in the IHHNV incidence in L. vannamei grown in farms, in the RN state. To determine the IHHNV prevalence were used 1089 samples of L. vannamei collected in seven farms. To perform the study about the influence of environmental factors, 525 samples of L. vannamei shrimp were collected in eight farms located in regions of low (0-1 ), medium (21-30 ) and high (38-57 ) salinity, using extensive (≤15 shrimp/m2 ), semi-intensive (18-33 shrimp/m2) or intensive (>36 shrimp/m2) stocking density systems. The IHHNV infection was determined in pleopod and hemolymph using the polymerase chain reaction (PCR). The environmental factors were recorded during the collection of animals, using a refractometer to measure the salinity and a multi-parameter meter to measure the temperature and concentration of dissolved oxygen in the water. The IHHNV prevalence in RN was 43% (468 infected shrimp out of 1089), varying on different farms. On the seven farms studied, IHHNV prevalence ranged from 18.6% to 54.8%. The infection rates in the shrimp cultured in low, medium and high salinity were respectively 43.10% (125/290), 31.2% (15/48) and 24.6% (46/187) and was significantly higher in shrimp grown in low salinity (P<0.001). The infection rates in ponds of extensive, semi-intensive and intensive systems were respectively, 28.7%, 28.28% and 47.84%, and was significantly higher in high stocking densities (P<0.001). This study indicated a high IHHNV prevalence and a significant effect of salinity and stocking density, but not of the temperature, rainfall and dissolved oxygen on the IHHNV infection rate in the L. vannamei shrimp cultured in the northeastern Brazil

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação (mestrado)—Universidade de Brasília, Instituto de Artes, Programa de Pós-Graduação em Arte, 2016.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La fraction d’éjection du ventricule gauche est un excellent marqueur de la fonction cardiaque. Plusieurs techniques invasives ou non sont utilisées pour son calcul : l’angiographie, l’échocardiographie, la résonnance magnétique nucléaire cardiaque, le scanner cardiaque, la ventriculographie radioisotopique et l’étude de perfusion myocardique en médecine nucléaire. Plus de 40 ans de publications scientifiques encensent la ventriculographie radioisotopique pour sa rapidité d’exécution, sa disponibilité, son faible coût et sa reproductibilité intra-observateur et inter-observateur. La fraction d’éjection du ventricule gauche a été calculée chez 47 patients à deux reprises, par deux technologues, sur deux acquisitions distinctes selon trois méthodes : manuelle, automatique et semi-automatique. Les méthodes automatique et semi-automatique montrent dans l’ensemble une meilleure reproductibilité, une plus petite erreur standard de mesure et une plus petite différence minimale détectable. La méthode manuelle quant à elle fournit un résultat systématiquement et significativement inférieur aux deux autres méthodes. C’est la seule technique qui a montré une différence significative lors de l’analyse intra-observateur. Son erreur standard de mesure est de 40 à 50 % plus importante qu’avec les autres techniques, tout comme l’est sa différence minimale détectable. Bien que les trois méthodes soient d’excellentes techniques reproductibles pour l’évaluation de la fraction d’éjection du ventricule gauche, les estimations de la fiabilité des méthodes automatique et semi-automatique sont supérieures à celles de la méthode manuelle.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La fraction d’éjection du ventricule gauche est un excellent marqueur de la fonction cardiaque. Plusieurs techniques invasives ou non sont utilisées pour son calcul : l’angiographie, l’échocardiographie, la résonnance magnétique nucléaire cardiaque, le scanner cardiaque, la ventriculographie radioisotopique et l’étude de perfusion myocardique en médecine nucléaire. Plus de 40 ans de publications scientifiques encensent la ventriculographie radioisotopique pour sa rapidité d’exécution, sa disponibilité, son faible coût et sa reproductibilité intra-observateur et inter-observateur. La fraction d’éjection du ventricule gauche a été calculée chez 47 patients à deux reprises, par deux technologues, sur deux acquisitions distinctes selon trois méthodes : manuelle, automatique et semi-automatique. Les méthodes automatique et semi-automatique montrent dans l’ensemble une meilleure reproductibilité, une plus petite erreur standard de mesure et une plus petite différence minimale détectable. La méthode manuelle quant à elle fournit un résultat systématiquement et significativement inférieur aux deux autres méthodes. C’est la seule technique qui a montré une différence significative lors de l’analyse intra-observateur. Son erreur standard de mesure est de 40 à 50 % plus importante qu’avec les autres techniques, tout comme l’est sa différence minimale détectable. Bien que les trois méthodes soient d’excellentes techniques reproductibles pour l’évaluation de la fraction d’éjection du ventricule gauche, les estimations de la fiabilité des méthodes automatique et semi-automatique sont supérieures à celles de la méthode manuelle.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A violência como fenómeno social e familiar, não é um problema atual, desde sempre esteve presente, sendo que a sua exposição apresenta diferentes intensidades em diferentes momentos da sua evolução. Como fenómeno mundial, percorreu todas as culturas, etnias, tipos de economia e regimes políticos (Sagim, 2003). O objectivo da presente investigação é a violência conjugal percebida por um menor em contexto familiar e suas consequências psicossociais: estudo de caso. Método: A metodologia escolhida é qualitativa e é designada por naturalista. O método utilizado foi o estudo de caso e a recolha de dados foi a entrevista (semi-estruturada) e fez-se a descodificação desta através da análise de conteúdo, que foi organizada em várias categorias . Instrumentos: Questionário sócio demográficos (filha); Guião de Entrevista para adultos(mãe), semi-estruturada; Entrevista Clínica Semi–Estruturada (SCICA);A Escala de Sinalização do Ambiente Natural Infantil (S.A.N.I.); O teste projectivo Pata Negra de Corman (filha). Participantes: R de 12 anos de idade, sexo feminino, caucasiana, possui o 9º ano de escolaridade Resultados: Verificou-se que R tem uma boa capacidade de coping e resolução de problemas, indo do encontro referido por alguns autores nos meus estudos, sendo que noutros não se enquadra no perfil defendido pela literatura. Referindo segundo o DSM-5, R apresenta alguma sintomatologia clínica como a ansiedade de separação, revelando insegurança e medo da perda dos afetos por parte dos progenitores. Conclusão: : Concluiu-se ainda que alguns estudos referem que nem todas as crianças expostas à violência intrafamiliar responderão negativamente, uma vez que a presença de fatores de proteção tèm um papel fundamental. Entre estes, o ambiente escolar, o relacionamento com a vizinhança e o suporte advindo de demais membros familiares, entre outros (Sani, 2008).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work aims to study the application of Genetic Algorithms in anaerobic digestion modeling, in particular when using dynamical models. Along the work, different types of bioreactors are shown, such as batch, semi-batch and continuous, as well as their mathematical modeling. The work intendeds to estimate the parameter values of two biological reaction model. For that, simulated results, where only one output variable, the produced biogas, is known, are fitted to the model results. For this reason, the problems associated with reverse optimization are studied, using some graphics that provide clues to the sensitivity and identifiability associated with the problem. Particular solutions obtained by the identifiability analysis using GENSSI and DAISY softwares are also presented. Finally, the optimization is performed using genetic algorithms. During this optimization the need to improve the convergence of genetic algorithms was felt. This need has led to the development of an adaptation of the genetic algorithms, which we called Neighbored Genetic Algorithms (NGA1 and NGA2). In order to understand if this new approach overcomes the Basic Genetic Algorithms (BGA) and achieves the proposed goals, a study of 100 full optimization runs for each situation was further developed. Results show that NGA1 and NGA2 are statistically better than BGA. However, because it was not possible to obtain consistent results, the Nealder-Mead method was used, where the initial guesses were the estimated results from GA; Algoritmos Evolucionários para a Modelação de Bioreactores Resumo: Neste trabalho procura-se estudar os algoritmos genéticos com aplicação na modelação da digestão anaeróbia e, em particular, quando se utilizam modelos dinâmicos. Ao longo do mesmo, são apresentados diferentes tipos de bioreactores, como os batch, semi-batch e contínuos, bem como a modelação matemática dos mesmos. Neste trabalho procurou-se estimar o valor dos parâmetros que constam num modelo de digestão anaeróbia para o ajustar a uma situação simulada onde apenas se conhece uma variável de output, o biogas produzido. São ainda estudados os problemas associados à optimização inversa com recurso a alguns gráficos que fornecem pistas sobre a sensibilidade e identifiacabilidade associadas ao problema da modelação da digestão anaeróbia. São ainda apresentadas soluções particulares de idenficabilidade obtidas através dos softwares GENSSI e DAISY. Finalmente é realizada a optimização do modelo com recurso aos algoritmos genéticos. No decorrer dessa optimização sentiu-se a necessidade de melhorar a convergência e, portanto, desenvolveu-se ainda uma adaptação dos algoritmos genéticos a que se deu o nome de Neighboured Genetic Algorithms (NGA1 e NGA2). No sentido de se compreender se as adaptações permitiam superar os algoritmos genéticos básicos e atingir as metas propostas, foi ainda desenvolvido um estudo em que o processo de optimização foi realizado 100 vezes para cada um dos métodos, o que permitiu concluir, estatisticamente, que os BGA foram superados pelos NGA1 e NGA2. Ainda assim, porque não foi possivel obter consistência nos resultados, foi usado o método de Nealder-Mead utilizado como estimativa inicial os resultados obtidos pelos algoritmos genéticos.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Combinatorial decision and optimization problems belong to numerous applications, such as logistics and scheduling, and can be solved with various approaches. Boolean Satisfiability and Constraint Programming solvers are some of the most used ones and their performance is significantly influenced by the model chosen to represent a given problem. This has led to the study of model reformulation methods, one of which is tabulation, that consists in rewriting the expression of a constraint in terms of a table constraint. To apply it, one should identify which constraints can help and which can hinder the solving process. So far this has been performed by hand, for example in MiniZinc, or automatically with manually designed heuristics, in Savile Row. Though, it has been shown that the performances of these heuristics differ across problems and solvers, in some cases helping and in others hindering the solving procedure. However, recent works in the field of combinatorial optimization have shown that Machine Learning (ML) can be increasingly useful in the model reformulation steps. This thesis aims to design a ML approach to identify the instances for which Savile Row’s heuristics should be activated. Additionally, it is possible that the heuristics miss some good tabulation opportunities, so we perform an exploratory analysis for the creation of a ML classifier able to predict whether or not a constraint should be tabulated. The results reached towards the first goal show that a random forest classifier leads to an increase in the performances of 4 different solvers. The experimental results in the second task show that a ML approach could improve the performance of a solver for some problem classes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The idea of Grid Computing originated in the nineties and found its concrete applications in contexts like the SETI@home project where a lot of computers (offered by volunteers) cooperated, performing distributed computations, inside the Grid environment analyzing radio signals trying to find extraterrestrial life. The Grid was composed of traditional personal computers but, with the emergence of the first mobile devices like Personal Digital Assistants (PDAs), researchers started theorizing the inclusion of mobile devices into Grid Computing; although impressive theoretical work was done, the idea was discarded due to the limitations (mainly technological) of mobile devices available at the time. Decades have passed, and now mobile devices are extremely more performant and numerous than before, leaving a great amount of resources available on mobile devices, such as smartphones and tablets, untapped. Here we propose a solution for performing distributed computations over a Grid Computing environment that utilizes both desktop and mobile devices, exploiting the resources from day-to-day mobile users that alternatively would end up unused. The work starts with an introduction on what Grid Computing is, the evolution of mobile devices, the idea of integrating such devices into the Grid and how to convince device owners to participate in the Grid. Then, the tone becomes more technical, starting with an explanation on how Grid Computing actually works, followed by the technical challenges of integrating mobile devices into the Grid. Next, the model, which constitutes the solution offered by this study, is explained, followed by a chapter regarding the realization of a prototype that proves the feasibility of distributed computations over a Grid composed by both mobile and desktop devices. To conclude future developments and ideas to improve this project are presented.

Relevância:

70.00% 70.00%

Publicador:

Resumo:

We consider a generic basic semi-algebraic subset S of the space of generalized functions, that is a set given by (not necessarily countably many) polynomial constraints. We derive necessary and sufficient conditions for an infinite sequence of generalized functions to be realizable on S, namely to be the moment sequence of a finite measure concentrated on S. Our approach combines the classical results about the moment problem on nuclear spaces with the techniques recently developed to treat the moment problem on basic semi-algebraic sets of Rd. In this way, we determine realizability conditions that can be more easily verified than the well-known Haviland type conditions. Our result completely characterizes the support of the realizing measure in terms of its moments. As concrete examples of semi-algebraic sets of generalized functions, we consider the set of all Radon measures and the set of all the measures having bounded Radon–Nikodym density w.r.t. the Lebesgue measure.

Relevância:

70.00% 70.00%

Publicador:

Resumo:

In this paper we consider nonautonomous optimal control problems of infinite horizon type, whose control actions are given by L-1-functions. We verify that the value function is locally Lipschitz. The equivalence between dynamic programming inequalities and Hamilton-Jacobi-Bellman (HJB) inequalities for proximal sub (super) gradients is proven. Using this result we show that the value function is a Dini solution of the HJB equation. We obtain a verification result for the class of Dini sub-solutions of the HJB equation and also prove a minimax property of the value function with respect to the sets of Dini semi-solutions of the HJB equation. We introduce the concept of viscosity solutions of the HJB equation in infinite horizon and prove the equivalence between this and the concept of Dini solutions. In the Appendix we provide an existence theorem. (c) 2006 Elsevier B.V. All rights reserved.

Relevância:

70.00% 70.00%

Publicador:

Resumo:

The present thesis is a contribution to the theory of algebras of pseudodifferential operators on singular settings. In particular, we focus on the $b$-calculus and the calculus on conformally compact spaces in the sense of Mazzeo and Melrose in connection with the notion of spectral invariant transmission operator algebras. We summarize results given by Gramsch et. al. on the construction of $Psi_0$-and $Psi*$-algebras and the corresponding scales of generalized Sobolev spaces using commutators of certain closed operators and derivations. In the case of a manifold with corners $Z$ we construct a $Psi*$-completion $A_b(Z,{}^bOmega^{1/2})$ of the algebra of zero order $b$-pseudodifferential operators $Psi_{b,cl}(Z, {}^bOmega^{1/2})$ in the corresponding $C*$-closure $B(Z,{}^bOmega^{12})hookrightarrow L(L^2(Z,{}^bOmega^{1/2}))$. The construction will also provide that localised to the (smooth) interior of Z the operators in the $A_b(Z, {}^bOmega^{1/2})$ can be represented as ordinary pseudodifferential operators. In connection with the notion of solvable $C*$-algebras - introduced by Dynin - we calculate the length of the $C*$-closure of $Psi_{b,cl}^0(F,{}^bOmega^{1/2},R^{E(F)})$ in $B(F,{}^bOmega^{1/2}),R^{E(F)})$ by localizing $B(Z, {}^bOmega^{1/2})$ along the boundary face $F$ using the (extended) indical familiy $I^B_{FZ}$. Moreover, we discuss how one can localise a certain solving ideal chain of $B(Z, {}^bOmega^{1/2})$ in neighbourhoods $U_p$ of arbitrary points $pin Z$. This localisation process will recover the singular structure of $U_p$; further, the induced length function $l_p$ is shown to be upper semi-continuous. We give construction methods for $Psi*$- and $C*$-algebras admitting only infinite long solving ideal chains. These algebras will first be realized as unconnected direct sums of (solvable) $C*$-algebras and then refined such that the resulting algebras have arcwise connected spaces of one dimensional representations. In addition, we recall the notion of transmission algebras on manifolds with corners $(Z_i)_{iin N}$ following an idea of Ali Mehmeti, Gramsch et. al. Thereby, we connect the underlying $C^infty$-function spaces using point evaluations in the smooth parts of the $Z_i$ and use generalized Laplacians to generate an appropriate scale of Sobolev spaces. Moreover, it is possible to associate generalized (solving) ideal chains to these algebras, such that to every $ninN$ there exists an ideal chain of length $n$ within the algebra. Finally, we discuss the $K$-theory for algebras of pseudodifferential operators on conformally compact manifolds $X$ and give an index theorem for these operators. In addition, we prove that the Dirac-operator associated to the metric of a conformally compact manifold $X$ is not a Fredholm operator.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

We analytically calculate the time-averaged electromagnetic energy stored inside a nondispersive magnetic isotropic cylinder that is obliquely irradiated by an electromagnetic plane wave. An expression for the optical-absorption efficiency in terms of the magnetic internal coefficients is also obtained. In the low absorption limit, we derive a relation between the normalized internal energy and the optical-absorption efficiency that is not affected by the magnetism and the incidence angle. This relation, indeed, seems to be independent of the shape of the scatterer. This universal aspect of the internal energy is connected to the transport velocity and consequently to the diffusion coefficient in the multiple scattering regime. Magnetism favors high internal energy for low size parameter cylinders, which leads to a low diffusion coefficient for electromagnetic propagation in 2D random media. (C) 2010 Optical Society of America