970 resultados para Fractional Laplace and Dirac operators
Resumo:
By reviewing events in the last quarter of the 20th century that have impacted the amount and type of lodging industry financing, the author analyzes these historical trends and major events to alert lodging industry investors, lenders, legislators, and hotel operators when similar events emerge in the future
Resumo:
In this work we explore the validity of employing a modified version of the nonrelativistic structure code civ3 for heavy, highly charged systems, using Na-like tungsten as a simple benchmark. Consequently, we present radiative and subsequent collisional atomic data compared with corresponding results from a fully relativistic structure and collisional model. Our motivation for this line of study is to benchmark civ3 against the relativistic grasp0 structure code. This is an important study as civ3 wave functions in nonrelativistic R-matrix calculations are computationally less expensive than their Dirac counterparts. There are very few existing data for the W LXIV ion in the literature with which we can compare except for an incomplete set of energy levels available from the NIST database. The overall accuracy of the present results is thus determined by the comparison between the civ3 and grasp0 structure codes alongside collisional atomic data computed by the R-matrix Breit-Pauli and Dirac codes. It is found that the electron-impact collision strengths and effective collision strengths computed by these differing methods are in good general agreement for the majority of the transitions considered, across a broad range of electron temperatures.
Resumo:
This study examines the complex hotel buyer decision process in front of the tourism distribution channels. Its objective is to describe the influence level of the tourism marketing intermediaries, mainly the travel agents and tour operators, over the hotel decision process by the buyer-tourist. The data collection process was done trough a survey with three hundred brazilian tourists hosted in nineteen hotels of Natal, capital of Rio Grande do Norte, Brazil. The data analysis was done using some multivariate statistic techniques as correlation analysis, multiple regression analysis, factor analysis and multiple discriminant analysis. The research characterizes the hotel services consumers profile and his trip, and identifying the distribution channels used by them. Furthermore, the research verifies the intermediaries influence exercised over hotel buyer decision process, looking for identify causality relations between the influence level and the buyer profile. Verifies that information about hotels available on internet reduces the probability that this influence can be practiced; however it was possible identifying those consumers considers this information complementary and non-substitutes than the information from intermediaries. The characteristics of the data do not allow indentifying the factors that constraint the intermediaries influence neither identifying discriminant functions of the specific distribution channel choice by consumers. The study concludes that consumers don t agree in have been influenced by intermediaries or don t know if they have, still considering important to consult them and internet doesn t substitute their function as information source
Resumo:
O presente trabalho descreve um estudo sobre a metodologia matemática para a solução do problema direto e inverso na Tomografia por Impedância Elétrica. Este estudo foi motivado pela necessidade de compreender o problema inverso e sua utilidade na formação de imagens por Tomografia por Impedância Elétrica. O entendimento deste estudo possibilitou constatar, através de equações e programas, a identificação das estruturas internas que constituem um corpo. Para isto, primeiramente, é preciso conhecer os potencias elétricos adquiridos nas fronteiras do corpo. Estes potenciais são adquiridos pela aplicação de uma corrente elétrica e resolvidos matematicamente pelo problema direto através da equação de Laplace. O Método dos Elementos Finitos em conjunção com as equações oriundas do eletromagnetismo é utilizado para resolver o problema direto. O software EIDORS, contudo, através dos conceitos de problema direto e inverso, reconstrói imagens de Tomografia por Impedância Elétrica que possibilitam visualizar e comparar diferentes métodos de resolução do problema inverso para reconstrução de estruturas internas. Os métodos de Tikhonov, Noser, Laplace, Hiperparamétrico e Variação Total foram utilizados para obter uma solução aproximada (regularizada) para o problema de identificação. Na Tomografia por Impedância Elétrica, com as condições de contorno preestabelecidas de corrente elétricas e regiões definidas, o método hiperparamétrico apresentou uma solução aproximada mais adequada para reconstrução da imagem.
Resumo:
The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are precisely those satisfying the simple equation f = f o fu o f, where "o" and "u" are respectively the composition and converse operators for relations. This article forms part of "A calculational theory of pers as types".
Resumo:
US Cycle logistics is emerging as a promising alternative in urban freight transport. Compared to fossil fuelled vans, the use of cycles for delivering goods within urban areas offers advantages in terms of environmental friendliness, economic efficiency, flexibility, and liveability of urban neighbourhood. At the same time, cycle logistics has to face limits in terms of weight and volume of goods that can be delivered, distances that can be covered, and spatial urban structures that can be served. This latter issue has till now received less attention in the scientific literature: it is generally recognized that cycle logistics performs at its best in inner urban areas, but no systematic study has been realized to identify specific spatial requisites for the effectiveness of cycle logistics. This paper provides a brief review of the main issues that emerge from the literature over cycle logistics, and contributes to stimulate the debate over the spatial dimension of cycle logistics: it presents a classification of cycle logistics schemes, on the basis of their integration with other urban logistic facilities and of the spatial structure of delivery operations. A three-level classification is proposed, depending on the type of goods consolidation: only distribution without consolidation, consolidation in a fixed urban consolidation centre, or consolidation in a mobile depot; for each level, operational examples and case studies are provided. This systematizing typology could support both public and private operators in decisions about the organization of cycle logistics facilities, such as the location of urban consolidation centres or the composition of cycle fleets.
Resumo:
Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously execute a given task description to operate a computer system. Usually, a computer system is protected against some erroneous human behaviors by having necessary safeguard mechanisms in place. But some erroneous human operator behaviors can lead to severe or even fatal consequences especially in safety critical systems. A generalized methodology that can allow modeling and analyzing the interactions between computer systems and human operators where the operators are allowed to deviate from their prescribed behaviors will provide a formal understanding of the robustness of a computer system against possible aberrant behaviors by its human operators. We provide several methodology for assisting in modeling and analyzing human behaviors exhibited while operating computer systems. Every human operator is usually given a specific recommended set of guidelines for operating a system. We first present process algebraic methodology for modeling and verifying recommended human task execution behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a human task that can be tolerated by a system. We then provide a framework for determining whether a computer system can maintain its guarantees if the human operators operate within their protection envelopes. This framework also helps to determine the robustness of the computer system under weakening of the protection envelopes. In this regard, we present a tool called Tutela that assists in implementing the framework. We then examine the ability of a system to remain safe under broad classes of variations of the prescribed human task. We develop a framework for addressing two issues. The first issue is: given a human task specification and a protection envelope, will the protection envelope properties still hold under standard erroneous executions of that task by the human operators? In other words how robust is the protection envelope? The second issue is: in the absence of a protection envelope, can we approximate a protection envelope encompassing those standard erroneous human behaviors that can be safely endured by the system? We present an extension of Tutela that implements this framework. The two frameworks mentioned above use Concurrent Game Structures (CGS) as models for both computer systems and their human operators. However, there are some shortcomings of this formalism for our uses. We add incomplete information concepts in CGSs to achieve better modularity for the players. We introduce nondeterminism in both the transition system and strategies of players and in the modeling of human operators and computer systems. Nondeterministic action strategies for players in \emph{i}ncomplete information \emph{N}ondeterministic CGS (iNCGS) is a more precise formalism for modeling human behaviors exhibited while operating a computer system. We show how we can reason about a human behavior satisfying a guarantee by providing a semantics of Alternating Time Temporal Logic based on iNCGS player strategies. In a nutshell this dissertation provides formal methodology for modeling and analyzing system robustness against both expected and erroneous human operator behaviors.
Resumo:
Wydział Matematyki i Informatyki: Zakład Teorii Interpolacji i Aproksymacji
Resumo:
This study examines the complex hotel buyer decision process in front of the tourism distribution channels. Its objective is to describe the influence level of the tourism marketing intermediaries, mainly the travel agents and tour operators, over the hotel decision process by the buyer-tourist. The data collection process was done trough a survey with three hundred brazilian tourists hosted in nineteen hotels of Natal, capital of Rio Grande do Norte, Brazil. The data analysis was done using some multivariate statistic techniques as correlation analysis, multiple regression analysis, factor analysis and multiple discriminant analysis. The research characterizes the hotel services consumers profile and his trip, and identifying the distribution channels used by them. Furthermore, the research verifies the intermediaries influence exercised over hotel buyer decision process, looking for identify causality relations between the influence level and the buyer profile. Verifies that information about hotels available on internet reduces the probability that this influence can be practiced; however it was possible identifying those consumers considers this information complementary and non-substitutes than the information from intermediaries. The characteristics of the data do not allow indentifying the factors that constraint the intermediaries influence neither identifying discriminant functions of the specific distribution channel choice by consumers. The study concludes that consumers don t agree in have been influenced by intermediaries or don t know if they have, still considering important to consult them and internet doesn t substitute their function as information source
Resumo:
Background: Reliable diagnostic measures for the evaluation of left ventricular systolic performance in the setting of altered myocardial loading characteristics in sickle cell anaemia remains unresolved. Objective: The study was designed to assess left ventricular systolic function in adult sickle cell patients using non-invasive endsystolic stress – end-systolic volume index ratio. Methods: A descriptive cross sectional comparative study was done using 52 patients recruited at the adult sickle cell anaemia clinic of the University of Nigeria Teaching Hospital Enugu. An equal number of age and sex-matched healthy volunteers served as controls. All the participants had haematocrit estimation, haemoglobin electrophoresis, as well as echocardiographic evaluation. Result: The mean age of the patients and controls were 23.93 ± 5.28 (range 18-42) and 24.17 ± 4.39 (range 19 -42) years respectively, (t = 0.262; p= .794). No significant difference was seen in estimate of fractional shortening, and ejection fraction. The cardiac out-put, cardiac index and velocity of circumferential shortening were all significantly increased in the cases compared with the controls. The end systolic stress – end systolic volume index ratio (ESS/ESVI) was significantly lower in cases than controls. There were strong positive correlation between the ejection phase indices (ejection fraction and fractional shortening) and end systolic stress and ESS/ESVI. Conclusion: The study findings suggest the presence of left ventricular systolic dysfunction in adult sickle cell anaemia. This is best detected using the loading-pressures independent force-length relationship expressed in ESS/ESVI ratio.
Resumo:
Doctor of Philosophy in Mathematics
Resumo:
There are diferent applications in Engineering that require to compute improper integrals of the first kind (integrals defined on an unbounded domain) such as: the work required to move an object from the surface of the earth to in nity (Kynetic Energy), the electric potential created by a charged sphere, the probability density function or the cumulative distribution function in Probability Theory, the values of the Gamma Functions(wich useful to compute the Beta Function used to compute trigonometrical integrals), Laplace and Fourier Transforms (very useful, for example in Differential Equations).
Resumo:
Introducción: Contar con un diagnóstico de las condiciones en seguridad y salud en el trabajo en el país permite crear estrategias para minimizar los problemas de la población trabajadora. En Colombia existe el observatorio del Instituto Nacional de Salud, sin embargo, no cuenta, en ninguno de sus tópicos, con información y análisis sobre la salud y seguridad de la población trabajadora. Objetivo: Determinar las condiciones de salud de la población atendida en la IPS SALUD OCUPACIONAL DE LOS ANDES LDTA en la ciudad de Bogotá, durante el año 2015. Materiales y métodos: Se realizó una prueba piloto del observatorio de salud y seguridad en el trabajo mediante un estudio de corte transversal, donde se tomó una base de datos de pacientes evaluados en la IPS SALUD OCUPACIONAL DE LOS ANDES LDTA, de la ciudad de Bogotá D.C. que contiene información de exámenes médicos ocupacionales realizados en el 2015 en la plataforma ISISMAWEB con una muestra representativa de 1923 registros. Se incluyeron variables sociodemográficas y laborales, los paraclínicos registrados como alterados más prevalentes, los diagnósticos y dictámenes emitidos en la población estudiada y las recomendaciones personales dadas por el sistema de gestión de la empresa. Se realizó un análisis descriptivo y para el estudio de las interacciones se empleó el Chi-cuadrado. Resultados: El 62,1% de la población fueron hombres con edad promedio de 34.8 años (DE 10,521). El 41.5% tuvieron estudios secundarios. La evaluación médica más realizada fue el examen de ingreso en el 30.5% de los casos. El cargo operadores de instalaciones y máquinas y ensambladores represento el 27.9% y en última medida los profesionales de nivel medio en operaciones financieras y administrativas con el 0.5%. El diagnostico CIE 10 emitido más frecuente fue con el 15,8% el código Z100 (Examen de salud ocupacional), seguido del Trastorno de la refracción no especificado (H527) con el 9,0%. En cuanto a las recomendaciones generales la que más se repitió fue examen periódico con un 30%. La recomendación preventiva más frecuente fue osteomuscular con el 36,5%. Las recomendaciones SVE de mayor prevalencia fueron ergonómicas con un 40,7%. Se encontraron asociaciones (p<0.05) entre las variables escolaridad, género y estrato. Conclusiones: Se deben optimizar los mecanismos de recolección del dato para ser más viable su evaluación y asociación. Hay un subregístro importante de segundos diagnósticos asociado al no registro de los paraclínicos. Este estudio plantea un modelo a seguir para poder desarrollar el observatorio nacional de salud y seguridad en el trabajo.
Resumo:
International Journal of Mathematics and Mathematical Sciences, Vol.2006
Resumo:
Fractional calculus generalizes integer order derivatives and integrals. Memristor systems generalize the notion of electrical elements. Both concepts were shown to model important classes of phenomena. This paper goes a step further by embedding both tools in a generalization considering complex-order objects. Two complex operators leading to real-valued results are proposed. The proposed class of models generate a broad universe of elements. Several combinations of values are tested and the corresponding dynamical behavior is analyzed.