• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1174
  • 243
  • 119
  • 110
  • 95
  • 46
  • 31
  • 29
  • 29
  • 26
  • 23
  • 18
  • 15
  • 5
  • 5
  • Tagged with
  • 2281
  • 649
  • 630
  • 567
  • 398
  • 350
  • 278
  • 251
  • 244
  • 169
  • 167
  • 164
  • 163
  • 159
  • 155
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
71

Testing xuml a study of implementing and testing model driven architecture /

Flaherty, Dylan O. January 2008 (has links) (PDF)
Thesis (M.S.) -- University of Montana, 2008. / Title from author supplied metadata. Description based on contents viewed on July 6, 2009. Includes bibliographical references.
72

Towards predicate driven grammar

Schuster, Jörg January 2009 (has links)
Zugl.: München, Univ., Diss.
73

Deverbale Komposita an der Morphologie-Syntax-Semantik-Schnittstelle ein HPSG-Ansatz /

Reinhard, Sabine. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2001--Tübingen.
74

Robust control of a hydraulically actuated friction damper for vehicle applications

Guglielmino, Emanuele January 2001 (has links)
No description available.
75

COMPUTATIONAL STUDIES OF DYNAMICS OF PRESSURE-DRIVEN DROPS IN MICRO-CHANNELS

Kramer, Edward S. 01 December 2010 (has links)
In particulate flows, the flow inertia impacts the motion and size distribution of the particles and this in turn, has a strong implication on global behavior of the emulsions such as their rheological properties. As such, the central goal of most of the investigations on dispersed multiphase flow, so far, has been to understand the phase distribution of particles and to correlate the global behavior of the system with this parameter. For pressure-driven particulate flows in a channel, it is known that the velocity gradient in the channel leads to a lateral force whose magnitude and direction depends on the viscosity and density ratios of the fluids and the drop deformation. This lateral (lift) force is the primary reason behind the various observed modes of phase distribution of the particles. Unfortunately, most of the studies conducted so far have been concerned with the solid particles and for flows at low to moderate Reynolds numbers. Little is known about the dynamics of deformable drops at high Reynolds numbers. The goal of this study is to bridge the gap by direct numerical simulations. A front tracking/finite difference technique is used to solve the Navier-Stokes equations in the fluids inside and outside of the drops. Initially, the drops are randomly distributed in the computational domain their evolutions are followed for a sufficiently long time so that the system reaches a quasi-steady state. The statistics about the flow then will be extracted. The flow inertia is increased incrementally by increasing the pressure gradient.
76

Computational modelling of buoyancy-driven displacement ventilation flows

Chang, Chun-Chuan January 2016 (has links)
The study of the buoyancy–driven displacement ventilation flows has been conducted earlier through both mathematical modelling and experiments. There can be some assumptions made in the studies for thermal analysis such as: adiabatic boundaries, neglecting radiation heat transfer between wall surfaces, and neglecting the absorptivity of the air on simulating the thermal distribution within the ventilated spaces. This study considers heat conduction at boundaries, heat radiation between wall surfaces and radiative absorptivity of the air when modelling buoyancy-driven displacement ventilation flows. The simulations were carrying out using computational fluid dynamic (CFD) programme Star-CCM+. This study investigates the influence of the absorptivity of the air on thermal distribution within an enclosure ventilated by buoyancy-driven displacement ventilation flows. Two cases of buoyancy-driven displacement ventilation experiments conducted early by Sandbach (2009) and Li et al. (1993b) were modelled. To consider the absorptivity of the air, the local weather data were retrieved and were used for calculating the absorption coefficient of the air under different weather conditions. The participating media radiation model was employed to compute the radiation heat absorbed by the air. In addition, the performances of the turbulence models on modelling buoyancy-driven displacement ventilation flows were investigated to ensure the predicted results were accurate and satisfactory. The simulation results presented in this study have shown to agree well with the experimental data in two different experiment cases. In the case of the experiments conducted by Sandbach and Lane-Serff (2011b), the predicted results match well with the measurements when considering absorptivity of the air. The errors between the simulation results and the measurements were less than 10% in most cases. The results also suggest that the absorption coefficient has an influence on ventilation flow rate and consequently has an effect on the strength of the stratification. This indicates that the absorption coefficient should be determined according to the conditions rather than be given an one-and-for-all value. The simulation results have also shown to agree well with the measurements given in the literature presented by Li et al. (1993b). The effect of the absorptivity was shown to be more significant in the case of high supply airflow temperature or high supply heat load. Hence, radiative absorptivity of the air should be taken into account in order to accurately model the thermal distribution in the ventilated enclosure.
77

Território inovativo: proposta de modelo de desenvolvimento de território inovativo aplicado ao APL de confecções do Agreste

Martins, Gabriella Maria de Oliveira 31 January 2014 (has links)
Submitted by Amanda Silva (amanda.osilva2@ufpe.br) on 2015-04-15T14:48:37Z No. of bitstreams: 2 DISSERTAÇÃO Gabriela Maria Martins.pdf: 7051656 bytes, checksum: 0179f5c1d6d889910e87457cc5896496 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-04-15T14:48:37Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Gabriela Maria Martins.pdf: 7051656 bytes, checksum: 0179f5c1d6d889910e87457cc5896496 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / Construir significados é inerente à atividade projetual, ou seja, ao design, da mesma forma que a cultura é inseparável deste processo de significação, de modo que nos últimos 50 anos, os pesquisadores da cultura e design objetivaram aprofundar este tema. No entanto, a constante busca de novos modelos de desenvolvimento e gestão resultou recentemente em estudos que identificam o processo de significação e competitividade e portanto , temos visto nos últimos anos o aumento também em outras áreas como economia e engenharia de gestão de teorias complementares sobre essas relações. Algo que deve-se salientar é que um dos principais ponto de convergência desses novos paradigmas estratégicos é que eles não só levam em conta a construção de novos significados como meio fundamental para a competitividade; mas também sinalizam que a emergência de inovações radicais de significados é favorecida em um ambiente social, um território, de interação complexo e heterogêneo. Porém, apesar de observarmos um crescente número de estudos sobre o aproveitamento de ambientes para a inovação de significado, não podemos dizer o mesmo sobre questionamentos sobre a criação destes ambientes, ou melhor, maneiras de construção destes “territórios inovativos”. Deste modo, este trabalho foi dividido em duas partes, o primeiro objetivou através da convergência teórica e empírica, desenvolver um conjunto de métodos e ferramentas em prol da criação de territórios inovativos com foco no desenvolvimento econômico dessas localidades. Enquanto a segunda, de caráter mais prático, focou na aplicação destes métodos e ferramentas no APL de confecções do Agreste de Pernambuco, afinal a competitividade do setor de confecções está intimamente ligado ao valor de moda e que portanto poderia ser de maneira extremamente positiva impactado pelo desenvolvimento de um dito “território inovativo”.
78

A Model-driven approach to formal refactoring

Lima Massoni, Tiago 31 January 2008 (has links)
Made available in DSpace on 2014-06-12T15:51:08Z (GMT). No. of bitstreams: 2 arquivo2011_1.pdf: 1679074 bytes, checksum: c82d3e4381d7c70bcfaffe3bf1eddd78 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Como qualquer outra tarefa evolucionária, a aplicação de refatoramentos em software orientado a objetos normalmente afeta código-fonte e seus modelos relacionados, aumentando a dificuldade de manutenção de artefatos corretos e consistentes. Devido à distância de representação entre artefatos de modelagem e programação, o esforço ligado a refatoramentos logo torna-se duplicado e custoso. Neste contexto, suporte de ferramentas utilizado atualmente, em especial ferramentas de Round-Trip Engineering (RTE), falha em automatizar tarefas de evolução. Consequentemente, a maioria dos projetos de software descarta artefatos de modelagem precocemente, adotando abordagens centradas unicamente em código-fonte. Esta tese propõe uma abordagem formal para consistentemente refatorar modelos de objeto e programas orientados a objetos, baseando o refatoramento apenas em modelos de objetos. Refatoramento de modelos é fundamentado com transformações formais primitivas { leis de modelagem { que são garantidamente preservadoras de semântica. Cada refatoramento aplicado a um modelo de objetos é associado a uma sequência semi-automática de aplicações de leis de programação preservadoras de comportamento, chamadas estrategias. Estrategias são aplicadas na dependência de um relacionamento especifico de conformidade entre modelos de objetos e programas, que devem satisfazer também um dado grau de confinamento. Este trabalho formaliza 14 estratregias, duas para cada lei de modelagem que afeta estruturas do programa. Estas estratregias são formalizadas como táticas de refinamento. Desta forma, refatoramento correto de programas pode ser realizado com reduzida intervenção manual do desenvolvedor, baseado apenas nas transformações que o mesmo aplicou ao modelo. Neste cenario, refatoramentos complexos que afetam as principais estruturas do programa podem ser aplicados a um artefato de mais alto nível de abstra ção, deixando a atualização semi-automática dos detalhes de implementação para as estratregias. Além disso, invariantes do modelo podem ser usados para aprimorar ferramentas especializadas em refatoramento, já que modelos de objetos oferecem informação semântica que permite refatoramentos automáticos mais poderosos. Esta tese considera Alloy como linguagem de modelagem formal, além de uma linguagem de programação similar a Java que chamamos BN. Para esta linguagem, introduzimos quatro novos refatoramentos e leis de programação orientada a objetos, com suas provas e derivações correspondentes. Adicionalmente, as leis de programação foram aplicadas em uma semântica de referências, mais próxima de linguages de programação utilizadas na prática. Com o intuito de delimitar a aplicabilidade desta abordagem, formalizamos uma noção de conformidade entre modelos de objetos e programas, a partir de um framework formal para definição de relacionamentos de conformidade; as definições formais relacionadas foram especificadas e checadas quanto ao tipo na ferramenta PVS. Além disso, estabelecemos e provamos manualmente um teorema para a corretude das estratregias, definindo que elas preservam comportamento e conformidade dos programas refatorados. Mesmo sendo uma abordagem formal, temos a preocupação de discutir sua utilização prática, além de aplica-la em três estudos de caso. Os problemas apresentados nesta tese certamente serão enfrentados em qualquer abordagem de desenvolvimento dirigida por modelos, no momento em que se lida com evolução
79

Description of a Pharmacy Technician and Student Intern-Driven Medication Reconciliation Process and Evaluation of Medical Provider Acceptance of Recommendations to Reorder Critical Medications

Hall, Scott Thomas, Salek, Ferena, Hall, Edina, Glover, Jon January 2011 (has links)
Class of 2011 Absrtact / OBJECTIVES: To describe a pharmacy technician and student intern-driven medication reconciliation process and to evaluate medical provider acceptance of recommendations to reorder critical medications. METHODS: Patients admitted to Northwest Medical Center had medication histories taken on admission. A specially trained pharmacy technician or student intern reviewed these histories, with emphasis placed on critical medications as defined by the Pharmacy and Therapeutics Committee. Recommendations to re-order these critical medications were made to medical providers. All patients, excluding those under 18 years of age or current enrollment in the prison system, admitted during the months of May-June 2010 were reviewed for acceptance of critical medication recommendations through information recorded in the pharmacy electronic medical record system. RESULTS: One hundred seventy-eight (178) recommendations were made on 132 patients requiring recommendations. All medical providers accepted 102 (57%, p-value=0.008) of the recommendations made. Hospitalists were more likely than physician specialists or surgeons to accept recommendations made (62.5%, p-value<0.001). Recommendations made regarding thyroid products were accepted the greatest majority of the time (82.1%, p-value<0.001); antidepressants (54.8%, p-value=0.321), anticonvulsants (63.2%, p-value=0.194), and medications classified as other (55.6%, p-value=0.480) were also accepted a majority of the time. Vitamin K antagonists did not have recommendations accepted a majority of the time (31.8%, p-value=0.034). CONCLUSION: Medical providers accepted a majority of recommendations to reorder critical medications made by pharmacy technicians or student interns.
80

Undertaking population-centric counterinsurgency in the age of Salafi-driven insurgencies: a study of the Boko Haram conflict

Eke, Surulola 14 December 2017 (has links)
The Boko Haram conflict in northern Nigeria has generated immense scholarly interest since it began in 2010. Much of this interest has centred on advancing counterinsurgency policy prescriptions. There are two dominant approaches in the generic counterinsurgency literature: enemy-centric counterinsurgency, which involves the use of brute force to eliminate insurgents and population-centric counterinsurgency, which entails the use of persuasive means to end an insurgency. The counterinsurgency scholarship on Boko Haram is dominated by scholars that advance the latter approach. These scholars argue that the Boko Haram insurgency is a result of the socio-economic challenges that beset northern Nigeria, hence the government should adopt a policy of dialogue with the group and implement socio-economic reforms. However, there is a disjuncture between this policy prescription and Boko Haram’s Salafi-driven objective of establishing an Islamic Caliphate. Thus, this thesis answers the following question: given the Salafi ideology of BH, can population-centric counterinsurgency be an effective state response? I explored this question based on the theories of Weinstein (2007) and Ugarriza & Craig (2013): the notion that the factors that influence the emergence of an insurgent group continues to shape the group’s attitudes, emotions and dispositions. In answering my question, I explored the history of Islamic fundamentalism in northern Nigeria in order to ascertain the outcome of the government’s accommodation of Islamist demands in the past. Using textual analysis, I also examined the speeches of Boko Haram’s leader, Abubakar Shekau, in order to identify the group’s specific objectives and understand its disposition to dialogue. Based on the historical exploration and analysis of Shekau’s speeches, I argued that whereas the implementation of socio-economic reforms can win over potential Boko Haram recruits, neither dialogue nor socio-economic reforms can convince the existing Boko Haram members and leaders to stop fighting. / Graduate

Page generated in 0.0432 seconds