91 |
?Smart cities methodology (Scml) : uma metodologia em smart cities baseada em valor p?blico?Porto, Josiane Brietzke 30 August 2018 (has links)
Submitted by PPG Administra??o e Neg?cios (ppgad@pucrs.br) on 2018-10-31T17:22:35Z
No. of bitstreams: 1
JOSIANE_BRIETZKE_PORTO_TES.pdf: 2215776 bytes, checksum: fc5d237ed433a12756eb499883e32497 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-11-01T13:25:18Z (GMT) No. of bitstreams: 1
JOSIANE_BRIETZKE_PORTO_TES.pdf: 2215776 bytes, checksum: fc5d237ed433a12756eb499883e32497 (MD5) / Made available in DSpace on 2018-11-01T13:33:16Z (GMT). No. of bitstreams: 1
JOSIANE_BRIETZKE_PORTO_TES.pdf: 2215776 bytes, checksum: fc5d237ed433a12756eb499883e32497 (MD5)
Previous issue date: 2018-08-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Smart city is an approach to managing and coping with urban challenges in search for innovative solutions leading to better quality of life and sustainability in cities. Several initiatives have been undertaken, with a significant worldwide growth trend in the coming years. Such initiatives, however, may require non-trivial public investment, and failures resulting from them can have important consequences such as monetary loss, loss of reputation, reduced confidence and lack of public value. This research aims at setting a methodology in smart cities composed of a reference model and an assessment method from the Public Value perspective. These artifacts were evaluated based on the perception of 23 representatives of the Quadruple Helix (government, industry, university and citizens) and on the results of the applicability in practice, through an initial pilot evaluation, in the city of Nova Santa Rita. It follows Design Science as its epistemological paradigm and Design Science Research as its method, uniting theoretical and methodological rigor as well as practical utility for society. The results showed that the artifacts developed in this research can help in the design and assessment of smart cities in a gradual way, bringing together best practices considered intelligent and that allow for the expansion and/or generation of Public Value, consisting of a prescriptive scientific contribution. Among the contributions are the protocol, contingency and construction heuristics, which detail how these artifacts were rigorously designed and developed, under the Design Science paradigm, to solve the problem identified in this research. They are specific and useful knowledge, generated from this research, aimed at the practice and resolution of real problem, and can be used for future evolutions of the artifacts developed in the research and/or design of new artifacts, in different contexts and classes of problems. / Smart city corresponde a uma abordagem para gerenciamento e enfrentamento de desafios urbanos, em busca de solu??es inovadoras para melhor qualidade de vida e sustentabilidade nas cidades. Em raz?o disso, diversas iniciativas v?m sendo feitas, com tend?ncia de crescimento significativo nos pr?ximos anos, em ?mbito mundial. Entretanto, tais iniciativas podem requerer investimentos p?blicos n?o triviais e falhas podem ter consequ?ncias importantes como perda monet?ria, preju?zo em rela??o ? reputa??o, redu??o de confian?a e aus?ncia de valor p?blico para as partes interessadas. Este trabalho desenvolveu uma metodologia em smart cities, sob a perspectiva de Valor P?blico, composta por um modelo de refer?ncia e um m?todo de avalia??o, avaliados com base na percep??o de 23 representantes da Qu?drupla H?lice (governo, ind?stria, universidade e cidad?os) e nos resultados da aplicabilidade na pr?tica, por meio de uma primeira avalia??o piloto, na cidade ga?cha de Nova Santa Rita. Adota Design Science como paradigma epistemol?gico e Design Science Research como m?todo de pesquisa, unindo rigor te?rico-metodol?gico e utilidade pr?tica para a sociedade. Os resultados mostraram que os artefatos desenvolvidos nessa pesquisa podem ajudar na concep??o e na avalia??o de smart cities de um modo gradual, reunindo melhores pr?ticas consideradas inteligentes, que possibilitam amplia??o e/ou gera??o de Valor P?blico, consistindo numa contribui??o cient?fica de car?ter prescritivo. Entre as contribui??es t?m-se tamb?m o protocolo, as heur?sticas contingenciais e de constru??o, que detalham como esses artefatos foram projetados e desenvolvidos com rigor, sob o paradigma de Design Science, para a resolu??o do problema identificado nessa pesquisa. Constituem conhecimento espec?fico e ?til, gerado a partir da pesquisa, voltado ? pr?tica e ? resolu??o de um problema real, podendo ser usado para futuras evolu??es dos artefatos desenvolvidos na pesquisa e/ou no projeto de novos artefatos, em diferentes contextos e classes de problemas.
|
92 |
Sistema de apoio à mobilidade de utilizadores da bicicletaCosta, Marco André Ferreira da January 2011 (has links)
Tese de mestrado integrado. Engenharia Informática e Computação. Universidade do Porto. Faculdade de Engenharia. 2011
|
93 |
Especifica??o do micron?cleo FreeRTOS utilizando o m?todo BGalv?o, Stephenson de Sousa Lima 16 August 2011 (has links)
Made available in DSpace on 2014-12-17T15:47:55Z (GMT). No. of bitstreams: 1
StephennsonSLG_DISSERT.pdf: 4909051 bytes, checksum: 2a9f94a42d9fc75bb16a1ff239148437 (MD5)
Previous issue date: 2011-08-16 / This paper presents a contribution to the international Verified Software Repository
effort through the formal specification of the microkernel FreeRTOS real-time system.
Such specification was made in abstract level making use of the B method . For thus,
properties of the microkernel were chosen and selected as specification requisites, which
was constructed centered at the functionalities responsible for the utilization of these properties.
This properties weres setting as specification requirements. The specification was
constructed modeling the function of microkernel that implement this properties. This
work intended to encourage the formal verification of FreeRTOS and also contribute to
the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore,
this model brings a formal documentation point view of the microkernel, demonstrating
features and how this internal states is changing. Finally, this work could be an example
of specification of the actual system by the B method. / Este trabalho apresenta uma contribui??o para o esfor?o internacional do Verified
Software Repository atrav?s da especifica??o formal da biblioteca de sistema de tempo
real FreeRTOS. Tal especifica??o foi realizada de forma abstrata utilizando o m?todo
B. Para isso, propriedades disponibilizadas por essa biblioteca foram elencadas e selecionadas
como requisitos da especifica??o, a qual foi constru?da centrada nas funcionalidades
respons?veis pela utiliza??o dessas propriedades. Com a modelagem desenvolvida
pretende-se incentivar a verifica??o formal do FreeRTOS e tamb?m contribuir
para a cria??o formal de uma biblioteca de sistemas de tempo real baseada na FreeRTOS.
Al?m disso, tal modelagem traz uma documenta??o do ponto de vista formal do sistema,
demonstrando como ocorrer internamente o seu funcionamento e serve como um exemplo
da especifica??o de um sistema real pelo m?todo B.
|
94 |
Desenvolvimento e caracteriza??o de filtros cer?micos para aplica??es a altas temperaturasTorquato, Wagner Lopes 29 February 2012 (has links)
Made available in DSpace on 2014-12-17T14:07:08Z (GMT). No. of bitstreams: 1
WagnerLT_TESE.pdf: 4295737 bytes, checksum: feb949970c7901b7da571339c28198a9 (MD5)
Previous issue date: 2012-02-29 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Ceramic filters are cellular structures that can be produced by various
techniques, among which we highlight the replication method, or method of polymeric
sponge. This method consists of impregnating polymeric foam with ceramic slurry,
followed by heat treatment, where will occur decomposition of organic material and
the sinter of the ceramic material, resulting in a ceramic whose structure is a replica
of the impregnated sponge. Ceramic filters have specific properties that make this
type of material very versatile, used in various technological applications such as
filters for molten metals and burners, make these materials attractive candidates for
high temperature applications. In this work we studied the systems Al2O3-LZSA
ceramic filters processed in the laboratory, and commercial Al2O3-SiC ceramics
filters, both obtained by the replica method, this work proposes the thermal and
mechanical characterization. The sponge used in the processing of filters made in
the laboratory was characterized by thermogravimetric analysis. The ceramic filters
were characterized by compressive strength, flexural strength at high temperatures,
thermal shock, permeability and physical characterization (density and porosity) and
microstructural (MEV and X-rays). From the results obtained, the analysis was made
of the mechanical behavior of these materials, comparing the model proposed by
Gibson and Ashby model and modified the effective area and the tension adjusted,
where the modified model adapted itself better to the experimental results,
representing better the mechanical behavior of ceramic filters obtained by the replica
method / Filtros cer?micos processados pelo m?todo da r?plica tem sido objeto de
crescentes pesquisas pela versatilidade da t?cnica. O m?todo consiste na
impregna??o de uma esponja polim?rica em uma suspens?o cer?mica, seguido de
tratamento t?rmico, onde ocorre a decomposi??o do material org?nico e a
sinteriza??o do material cer?mico, resultando em um corpo cer?mico, cuja estrutura
macrosc?pica ? uma r?plica da esponja impregnada. Filtros cer?micos possuem
propriedades especificas que os tornam muito vers?teis, com diferentes aplica??es
tecnol?gicas, tais como filtros para metais fundidos e queimadores, tornando esses
materiais fortes candidatos para aplica??es ?s altas temperaturas. Neste trabalho
foram estudados e desenvolvidos filtros cer?micos dos sistemas Al2O3-LZSA
processados em laborat?rio, e de Al2O3-SiC comerciais, ambos obtidos pelo m?todo
da r?plica, e caracterizados t?rmica e mec?nicamente. A esponja utilizada no
processamento dos filtros feitos em laborat?rio foi caracterizada atrav?s de an?lises
t?rmicas (ATG e DrATG). Os filtros cer?micos foram caracterizados mediante
an?lises de resist?ncia a compress?o, resist?ncia ? flex?o a altas temperaturas,
choque t?rmico, permeabilidade e caracteriza??o f?sica (densidade e porosidade), e
microestrutural (MEV e raios X). A partir dos resultados obtidos, foi feita a an?lise do
comportamento mec?nico desses materiais, comparando-se o modelo proposto por
de Gibson e Ashby e o modelo modificado com a ?rea efetiva e a tens?o corrigida,
onde o modelo modificado se adequou melhor aos resultados experimentais,
representando melhor o comportamento mec?nico dos filtros cer?micos obtidos pelo
m?todo da r?plica
|
95 |
Quantifica??o de Fases Cristalinas de Incrusta??es em Colunas de Produ??o de Petr?leo pelo M?todo Rietveld / Quantification of crystalline phases of scale in columns of oil production by Rietveld MethodLima, Daniel de Andrade 05 July 2009 (has links)
Made available in DSpace on 2014-12-17T14:08:41Z (GMT). No. of bitstreams: 1
DanielAL_DISSERT.pdf: 4502082 bytes, checksum: bb1da1d41014731b0af8c1e4537a4030 (MD5)
Previous issue date: 2009-07-05 / The scale is defined as chemical compounds from inorganic nature, initially soluble in salt
solutions, which may precipitate accumulate in columns of production and surface equipment. This
work aimd to quantify the crystalline phases of scale through the Rietveld method. The study was
conducted in scale derived from columns production wells in development and recipients of pigs. After
collecting samples of scale were performed the procedure for separations of inorganic and organic
phase and preparation to be analyzed at the X-ray Laboratory. The XRD and XRF techniques were
used to monitor whether identifying and quantifying crystalline phases present in the deposits. The
SEM technique was used to visualize the morphology of the scales and assess their homogeneity after
the milling process. XRD measurements were performed with and without milling and with or without
the accessory spinner. For quantify crystalline phases the program DBWStools was used. The
procedure for conducting the first refinement was instrumental in setting parameters, then the
structural parameters of the phases in the sample and finally the parameters of the function profile
used. In the diffraction patterns of samples of scale observed that the best measures were those that
passed through the mill and used the accessory spinner. Through the results, it was noted that the
quantitative analysis for samples of scale is feasible when need to monitor a particular crystalline
phase in a well, pipeline or oil field. Routinely, the quantification of phases by the Rietveld method is
hardwork because in many scale was very difficult to identify the crystalline phases present / Incrusta??es s?o precipitados de compostos qu?micos de natureza inorg?nica que podem se
acumularem em colunas de produ??o e equipamentos de superf?cie. Este trabalho tem como objetivo
quantificar as fases cristalinas de amostras de incrusta??o atrav?s do M?todo Rietveld. O estudo foi
realizado em produtos de incrusta??o oriundos de colunas de produ??o de po?os em desenvolvimento e
recebedores de pigs. Ap?s a coleta das amostras de incrusta??o, realizou o procedimento de separa??o
da fase org?nica da inorg?nica e prepara??o das amostras para an?lise. As t?cnicas de difra??o de raios
X e espectrometria por fluoresc?ncia de raios X foram utilizadas para monitorar identificando e
quantificando as fases cristalinas presentes nas incrusta??es. A t?cnica de microscopia eletr?nica de
varredura foi utilizada para visualizar a morfologia das incrusta??es e avaliar sua homogeneidade ap?s
o processo de moagem. Na difra??o de raios X foram realizadas medidas com e sem moagem e com e
sem utiliza??o do acess?rio spinner. Para quantifica??o das fases cristalinas utilizou o programa
DBWStools 2.25. O procedimento para realiza??o do refinamento consistiu primeiramente em ajustar
par?metros instrumentais, em seguida ajustou-se os par?metros estruturais das fases contidas na
amostra e por ?ltimo os par?metros da fun??o perfil usada. Nos padr?es de difra??o das amostras de
incrusta??o observou-se que os melhores resultados foram os das amostras que passaram pela moagem
e que utilizaram o acess?rio spinner. Atrav?s dos resultados obtidos, percebem-se que a an?lise
quantitativa para as amostras de incrusta??o ? vi?vel quando se deseja fazer o monitoramento de uma
determinada fase cristalina em um po?o, duto ou campo de petr?leo. Rotineiramente, a quantifica??o
de fases pelo M?todo Rietveld ? mais trabalhoso visto que em muitas incrusta??es houve grandes
dificuldades de identificar as fases cristalinas presentes
|
96 |
Modelos para an?lise e dimensionamento de pain?is de alvenaria estruturalDamasceno, J?lio C?sar Cavalcante 28 February 2012 (has links)
Made available in DSpace on 2014-12-17T14:48:13Z (GMT). No. of bitstreams: 1
JulioCCD_DISSERT.pdf: 5293520 bytes, checksum: 35065f2bef6951ad4ce1b2b752aa3b02 (MD5)
Previous issue date: 2012-02-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The main objective of this thesis was the study of bracing panels of structural
masonry, by applying the Finite Element Method and Strut and Tie Method. It was
analyzed the following aspects: the effect of orthotropy on the behavior of the panels;
distribution of horizontal forces between panels for buildings; comparison between
Equivalent Frame and Finite Elements models; panels design with the Strut and Tie
Method.
The results showed that one should not disregard the orthotropy, otherwise
this can lead to models stiffer than the real. Regarding the distribution of horizontal
forces, showed that the disregard of lintels and shear deformation leads to significant
differences in the simplified model. The results showed also that the models in Finite
Element and Equivalent Frame exhibit similar behavior in respect to stiffness of
panels and stress distribution over the sessions requested.
It was discussing criteria for designing Strut and Tie Method models in one
floor panels. Then, the theoretical strength these panels was compared with the
rupture strength of panels tested in the literature. The theoretical maximum strength
were always less than the rupture strength of the panels obtained in tests, due to the
fact that the proposed model cannot represent the behavior of the masonry after the
start of the panel cracking due to plasticization of the reinforcement / O objetivo principal desta disserta??o foi o estudo de pain?is de
contraventamento de alvenaria estrutural, atrav?s da aplica??o do M?todo dos
Elementos Finitos e do M?todo de Bielas e Tirantes. Foram analisados os seguintes
aspectos: o efeito da ortotropia no comportamento de pain?is; distribui??o de for?as
horizontais entre pain?is de edif?cios; compara??o entre os modelos de P?rtico
Equivalente e Elementos Finitos; c?lculo de pain?is com o M?todo de Bielas e
Tirantes.
Os resultados permitiram concluir que n?o se deve desconsiderar a ortotropia,
sob pena de conduzir a modelos mais r?gidos que o real. Em rela??o ? distribui??o
de for?as horizontais, evidenciou-se que a desconsidera??o dos lint?is e da
deforma??o por cisalhamento acarretam diferen?as significativas relativamente ao
modelo de barras isoladas. Os resultados permitiram concluir, ainda que os modelos
em Elementos Finitos e de P?rtico Equivalente apresentam comportamento
semelhante no que se refere ? rigidez de pain?is e distribui??o de tens?es nas
sess?es mais solicitadas.
Foram discutidos crit?rios para a concep??o de modelos de bielas e tirantes
em pain?is isolados. Em seguida, a for?a horizontal te?rica destes pain?is foi
comparada com a carga de ruptura de pain?is ensaiados dispon?veis na literatura.
As for?as m?ximas te?ricas foram sempre inferiores ? for?a de ruptura dos pain?is,
obtidas em ensaios, devido ao fato de que o modelo proposto n?o ? capaz de
representar o comportamento da alvenaria ap?s o inicio da fissura??o do painel
devido ? plastifica??o das armaduras
|
97 |
Contribui??o ao estudo de treli?as n?o lineares considerando efeitos t?rmicos / Contribution to study of trusses with nonlinear behavior considering thermal effectsCavalcante, Jo?o Paulo de Barros 11 March 2016 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-08-16T22:41:17Z
No. of bitstreams: 1
JoaoPauloDeBarrosCavalcante_DISSERT.pdf: 25549974 bytes, checksum: 7d7077941a19b96d7263afec72ec7622 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-08-23T23:20:29Z (GMT) No. of bitstreams: 1
JoaoPauloDeBarrosCavalcante_DISSERT.pdf: 25549974 bytes, checksum: 7d7077941a19b96d7263afec72ec7622 (MD5) / Made available in DSpace on 2016-08-23T23:20:29Z (GMT). No. of bitstreams: 1
JoaoPauloDeBarrosCavalcante_DISSERT.pdf: 25549974 bytes, checksum: 7d7077941a19b96d7263afec72ec7622 (MD5)
Previous issue date: 2016-03-11 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / O presente trabalho consiste na an?lise num?rica via M?todo dos Elementos Finitos (MEF) de treli?as submetidas a carregamentos t?rmicos, mec?nicos e suas respectivas intera??es. A metodologia proposta baseia-se no teorema da m?nima energia potencial, escrita em rela??o as posi??es nodais ao inv?s dos deslocamentos para lidar com problemas termomec?nicos, levando-se em considera??o os efeitos das n?o linearidades f?sica e geom?trica. Referente aos problemas din?micos, a solu??o da equa??o de equil?brio ? alcan?ada atrav?s da discretiza??o temporal perante diferentes algoritmos de integra??o temporal, expl?citos e impl?citos. A formula??o ? estendida para problemas de impacto entre treli?as e anteparo r?gido, onde as posi??es nodais s?o restringidas atrav?s da condi??o de penetra??o nula. Sendo assim, apresenta-se uma formula??o termodinamicamente consistente, fundamentada na primeira e segunda lei da termodin?mica e na energia livre de Helmholtz, para analisar problemas din?micos de estruturas treli?adas com comportamento termoel?stico e termopl?stico. A implementa??o dos problemas consiste no desenvolvimento de rotinas computacionais, sendo os resultados num?ricos da formula??o proposta confrontados com exemplos encontrados na literatura especializada. / This work presents the numerical analysis of nonlinear trusses summited to
thermomechanical actions with Finite Element Method (FEM). The proposed
formulation is so-called positional FEM and it is based on the minimum potential energy
theorem written according to nodal positions, instead of displacements. The study
herein presented considers the effects of geometric and material nonlinearities.
Related to dynamic problems, a comparison between different time integration
algorithms is performed. The formulation is extended to impact problems between
trusses and rigid wall, where the nodal positions are constrained considering nullpenetration
condition. In addition, it is presented a thermodynamically consistent formulation, based on the first and second law of thermodynamics and the Helmholtz free-energy for analyzing dynamic problems of truss structures with thermoelastic and thermoplastic behavior. The numerical results of the proposed formulation are compared with examples found in the literature.
|
98 |
Beta: a B based testing approach / BETA: uma abordagem de testes baseada em BMatos, Ernesto Cid Brasil de 14 April 2016 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-10-11T20:48:07Z
No. of bitstreams: 1
ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-10-14T00:17:49Z (GMT) No. of bitstreams: 1
ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5) / Made available in DSpace on 2016-10-14T00:17:49Z (GMT). No. of bitstreams: 1
ErnestoCidBrasilDeMatos_TESE.pdf: 4062332 bytes, checksum: 09e4f284f102ad1088f37213e8e53d6f (MD5)
Previous issue date: 2016-04-14 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Sistemas de software esta?o presentes em grande parte das nossas vidas atualmente e, mais do que nunca, eles requerem um alto ni?vel de confiabilidade. Existem va?rias te?cnicas de Ver- ificac?a?o e Validac?a?o (V&V) de software que se preocupam com controle de qualidade, segu- ranc?a, robustez e confiabilidade; as mais conhecidas sa?o Testes de Software e Me?todos For- mais. Me?todos formais e testes sa?o te?cnicas que podem se complementar. Enquanto me?to- dos formais prove?em mecanismos confia?veis para raciocinar sobre o sistema em um ni?vel mais abstrato, te?cnicas de teste ainda sa?o necessa?rias para uma validac?a?o mais profunda e sa?o frenquentemente requeridas por orga?os de certificac?a?o. Levando isto em considerac?a?o, BETA prove? uma abordagem de testes baseada em modelos para o Me?todo B, suportada por uma ferramenta, que e? capaz de gerar testes de unidade a partir de ma?quinas abstratas B. Nesta tese de doutorado apresentamos melhorias realizadas em BETA e novos estudos de caso realizados para avalia?-la. Dentre as melhorias, integramos crite?rios de cobertura lo?gicos a? abordagem, revisamos os crite?rios de cobertura baseados em espac?o de entrada que ja? eram suportados e aperfeic?oamos as u?ltimas etapas do processo de gerac?a?o de testes. A abordagem agora suporta a gerac?a?o automa?tica de dados para os ora?culos e prea?mbulos para os casos de teste; ela tambe?m possui uma funcionalidade para concretizac?a?o dos da- dos de teste e um mo?dulo para gerar scripts de teste executa?veis automaticamente. Outro objetivo desta tese foi realizar estudos de caso mais complexos utilizando BETA e avaliar a qualidade dos casos de teste que a abordagem produz. Estes estudos de caso foram os primeiros a avaliar o processo de gerac?a?o de testes por completo, desde a especificac?a?o dos casos de teste ate? a sua implementac?a?o e execuc?a?o. Em nossos u?ltimos experimentos, analisamos a qualidade dos casos de teste gerados por BETA, considerando cada crite?rio de cobertura suportado, utilizando me?tricas de cobertuda de co?digo como cobertura de in- struc?o?es e ramificac?o?es. Tambe?m utilizamos testes de mutac?a?o para avaliar a capacidade dos casos de teste de detectar faltas na implementac?a?o dos modelos. O resultados obtidos foram promissores mostrando que BETA e? capaz de detectar faltas introduzidas por progra- madores ou geradores de co?digo e que a abordagem pode obter bons resultados de cobertura para a implementac?a?o de um sistema baseado em modelos B. / Software systems are a big part of our lives and, more than ever, they require a high level of
reliability. There are many software Verification and Validation (V&V) techniques that are
concerned with quality control, security, robustness, and reliability; the most widely known
are Software Testing and Formal Methods. Formal methods and testing are techniques that
can complement each other. While formal methods provide sound mechanisms to reason
about the system at a more abstract level, testing techniques are still necessary for a more
in-depth validation of the system and are often required by certification standards. Taking
this into consideration, BETA provides a tool-supported, model-based testing approach for
the B Method that is capable of generating unit tests from abstract B machines. In this thesis,
we present improvements made in the BETA approach and tool, and new cases studies
used to evaluate them. Among these improvements, we integrated logical coverage criteria
into the approach, reviewed the input space criteria that was already supported, and enhanced
the final steps of the test generation process. The approach now has support for
automatic generation of oracle data and test case preambles, it has a feature for test data
concretization, and a module that automatically generates executable test scripts. Another
objective of this thesis was to perform more complex case studies using BETA and assess the
quality of the test cases it produces. These case studies were the first to evaluate the test
generation process as a whole, from test case design to implementation and execution. In
our last experiments, we assessed the quality of the test cases generated by BETA, considering
each coverage criteria it supports, using code coverage metrics such as statement and
branch coverage. We also used mutation testing to evaluate the ability of the generated test
cases to identify faults in the model?s implementation. The results obtained were promising,
showing that BETA is capable of detecting faults introduced by a programmer or code
generation tool and that it can achieve good coverage results for a system?s implementation
based on a B model.
|
99 |
?Smart cities methodology (Scml) : uma metodologia em smart cities baseada em valor p?blico?Porto, Josiane Brietzke 30 August 2018 (has links)
Submitted by PPG Administra??o e Neg?cios (ppgad@pucrs.br) on 2018-11-20T19:28:09Z
No. of bitstreams: 1
JOSIANE_BRIETZKE_PORTO_TES.pdf: 2215776 bytes, checksum: fc5d237ed433a12756eb499883e32497 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-11-21T12:12:51Z (GMT) No. of bitstreams: 1
JOSIANE_BRIETZKE_PORTO_TES.pdf: 2215776 bytes, checksum: fc5d237ed433a12756eb499883e32497 (MD5) / Made available in DSpace on 2018-11-21T12:20:25Z (GMT). No. of bitstreams: 1
JOSIANE_BRIETZKE_PORTO_TES.pdf: 2215776 bytes, checksum: fc5d237ed433a12756eb499883e32497 (MD5)
Previous issue date: 2018-08-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Smart city is an approach to managing and coping with urban challenges in search for innovative solutions leading to better quality of life and sustainability in cities. Several initiatives have been undertaken, with a significant worldwide growth trend in the coming years. Such initiatives, however, may require non-trivial public investment, and failures resulting from them can have important consequences such as monetary loss, loss of reputation, reduced confidence and lack of public value. This research aims at setting a methodology in smart cities composed of a reference model and an assessment method from the Public Value perspective. These artifacts were evaluated based on the perception of 23 representatives of the Quadruple Helix (government, industry, university and citizens) and on the results of the applicability in practice, through an initial pilot evaluation, in the city of Nova Santa Rita. It follows Design Science as its epistemological paradigm and Design Science Research as its method, uniting theoretical and methodological rigor as well as practical utility for society. The results showed that the artifacts developed in this research can help in the design and assessment of smart cities in a gradual way, bringing together best practices considered intelligent and that allow for the expansion and/or generation of Public Value, consisting of a prescriptive scientific contribution. Among the contributions are the protocol, contingency and construction heuristics, which detail how these artifacts were rigorously designed and developed, under the Design Science paradigm, to solve the problem identified in this research. They are specific and useful knowledge, generated from this research, aimed at the practice and resolution of real problem, and can be used for future evolutions of the artifacts developed in the research and/or design of new artifacts, in different contexts and classes of problems. / Smart city corresponde a uma abordagem para gerenciamento e enfrentamento de desafios urbanos, em busca de solu??es inovadoras para melhor qualidade de vida e sustentabilidade nas cidades. Em raz?o disso, diversas iniciativas v?m sendo feitas, com tend?ncia de crescimento significativo nos pr?ximos anos, em ?mbito mundial. Entretanto, tais iniciativas podem requerer investimentos p?blicos n?o triviais e falhas podem ter consequ?ncias importantes como perda monet?ria, preju?zo em rela??o ? reputa??o, redu??o de confian?a e aus?ncia de valor p?blico para as partes interessadas. Este trabalho desenvolveu uma metodologia em smart cities, sob a perspectiva de Valor P?blico, composta por um modelo de refer?ncia e um m?todo de avalia??o, avaliados com base na percep??o de 23 representantes da Qu?drupla H?lice (governo, ind?stria, universidade e cidad?os) e nos resultados da aplicabilidade na pr?tica, por meio de uma primeira avalia??o piloto, na cidade ga?cha de Nova Santa Rita. Adota Design Science como paradigma epistemol?gico e Design Science Research como m?todo de pesquisa, unindo rigor te?rico-metodol?gico e utilidade pr?tica para a sociedade. Os resultados mostraram que os artefatos desenvolvidos nessa pesquisa podem ajudar na concep??o e na avalia??o de smart cities de um modo gradual, reunindo melhores pr?ticas consideradas inteligentes, que possibilitam amplia??o e/ou gera??o de Valor P?blico, consistindo numa contribui??o cient?fica de car?ter prescritivo. Entre as contribui??es t?m-se tamb?m o protocolo, as heur?sticas contingenciais e de constru??o, que detalham como esses artefatos foram projetados e desenvolvidos com rigor, sob o paradigma de Design Science, para a resolu??o do problema identificado nessa pesquisa. Constituem conhecimento espec?fico e ?til, gerado a partir da pesquisa, voltado ? pr?tica e ? resolu??o de um problema real, podendo ser usado para futuras evolu??es dos artefatos desenvolvidos na pesquisa e/ou no projeto de novos artefatos, em diferentes contextos e classes de problemas.
|
100 |
Simula??o computacional como ferramenta de aux?lio ao projeto: aplica??o em edif?cios naturalmente ventilados no clima de Natal/RNTrindade, Sileno Cirne 08 December 2006 (has links)
Made available in DSpace on 2014-12-17T13:57:19Z (GMT). No. of bitstreams: 1
SilenoCT.pdf: 2677839 bytes, checksum: ab606ee9a9e47606999ca5cf548141a6 (MD5)
Previous issue date: 2006-12-08 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Natural air ventilation is the most import passive strategy to provide thermal comfort in hot and humid climates and a significant low energy strategy. However, the natural ventilated building requires more attention with the architectural design than a conventional building with air conditioning systems, and the results are less reliable. Therefore, this thesis focuses on softwares and methods to predict the natural ventilation performance from the point of view of the architect, with limited resource and knowledge of fluid mechanics. A typical prefabricated building was modelled due to its simplified geometry, low cost and occurrence at the local campus. Firstly, the study emphasized the use of computational fluid dynamics (CFD) software, to simulate the air flow outside and inside the building. A series of approaches were developed to make the simulations possible, compromising the results fidelity. Secondly, the results of CFD simulations were used as the input of an energy tool, to simulate the thermal performance under different rates of air renew. Thirdly, the results of temperature were assessed in terms of thermal comfort. Complementary simulations were carried out to detail the analyses. The results show the potentialities of these tools. However the discussions concerning the simplifications of the approaches, the limitations of the tools and the level of knowledge of the average architect are the major contribution of this study / A ventila??o natural se constitui no principal recurso passivo para obten??o do conforto t?rmico em climas quentes e ?midos, al?m de promover a redu??o do consumo energ?tico com condicionamento artificial. Entretanto, existem restri??es ao seu uso por parte dos arquitetos por n?o haver garantias de que ela possa resolver os problemas de conforto t?rmico, quando comparada aos sistemas artificiais. Nesse sentido, decidiu-se investigar formas de prever o comportamento da ventila??o natural atrav?s de ferramentas de simula??o computacional, visando auxiliar a decis?o arquitet?nica. O objeto de estudo ? o edif?cio pr?fabricado tipo galp?o devido ?s suas caracter?sticas geom?tricas e ? freq??ncia de uso na regi?o, especificamente no campus universit?rio central da UFRN. Foi utilizado um programa de din?mica de fluidos (Computational Fluid Dynamics - CFD) e um de simula??o do comportamento t?rmico e energ?tico de edifica??es (energy tool - ET). A pesquisa priorizou a discuss?o dos procedimentos necess?rios para viabilizar as an?lises da ventila??o em galp?es. Durante seu desenvolvimento, ? mostrado como o m?todo teve que ser adequado ? complexidade de sucessivas abordagens, resultando em simplifica??es e incertezas de resultados. Para exemplificar a abordagem s?o apresentados alguns resultados de simula??es. Ao final, as limita??es e potencialidades do m?todo s?o discutidas com base nas caracter?sticas dos c?digos de simula??es utilizados, das condi??es de simula??o e da representatividade dos modelos
|
Page generated in 0.0361 seconds