763 research outputs found
Exploiting partial knowledge for efficient model analysis
The advancement of constraint solvers and model checkers has enabled the effective analysis of high-level formal specification languages. However, these typically handle a specification in an opaque manner, amalgamating all its constraints in a single monolithic verification task, which often proves to be a performance bottleneck. This paper addresses this issue by proposing a solving strategy that exploits user-provided partial knowledge, namely by assigning symbolic bounds to the problem’s variables, to automatically decompose a verification task into smaller ones, which are prone to being independently analyzed in parallel and with tighter search spaces. An effective implementation of the technique is provided as an extension to the Kodkod relational constraint solver. Evaluation shows that, in average, the proposed technique outperforms the regular amalgamated verification procedure.ERDF - European Regional Development Fund(POCI-01-0145-FEDER-016826)This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project POCI-01-0145-FEDER-016826.info:eu-repo/semantics/publishedVersio
Robust Branch-Cut-and-Price for the Capacitated Minimum Spanning Tree Problem over a Large Extended Formulation
This paper presents a robust branch-cut-and-price algorithm for the Capacitated Minimum Spanning Tree Problem (CMST). The variables are associated to q-arbs, a structure that arises from a relaxation of the capacitated prize-collecting arbores- cence problem in order to make it solvable in pseudo-polynomial time. Traditional inequalities over the arc formulation, like Capacity Cuts, are also used. Moreover, a novel feature is introduced in such kind of algorithms. Powerful new cuts expressed over a very large set of variables could be added, without increasing the complexity of the pricing subproblem or the size of the LPs that are actually solved. Computational results on benchmark instances from the OR-Library show very signi¯cant improvements over previous algorithms. Several open instances could be solved to optimalityNo keywords;
Perfil e percepção dos visitantes do Museu de História Natural Capão da Imbuia = Profile and perception of the visitors of the Capão da Imbuia Natural History Museum
Orientador : Prof. Dr. Vinícius AbilhoaMonografia (especialização) - Universidade Federal do Paraná, Setor de Ciências da Terra, Curso de Especialização em Análise AmbientalInclui referênciasResumo : A existência de áreas verdes inseridas em centros urbanos se
mostra cada vez mais importante com relação à comunidade em constante
desenvolvimento em seu entorno, tendo em vista a importância desses
remanescentes para a cidade, seja como forma de amenizar a pressão
climática, lazer para os visitantes ou até como um centro de pesquisa para a
comunidade científica e escolar. Outro fim que este espaço ganha é como
refúgio para determinadas espécies de fauna e flora. Com a finalidade de
realizar uma análise do perfil e da percepção do público visitante em um
desses refúgios urbanos, este trabalho foi realizado no Museu de História
Natural Capão da Imbuia, em Curitiba/PR, através da análise de relatórios de
visitação dos anos de 2013 e 2014 e da aplicação de questionários aos
visitantes. Os resultados identificaram os tipos de público e as diferentes
percepções que têm em relação ao museu..
A strategy for searching with different access costs
AbstractLet us consider an ordered set of keys A={a1<⋯<an}, where the probability of searching ai is 1/n, for i=1,…,n. If the cost of testing each key is similar, then the standard binary search is the strategy with minimum expected access cost. However, if the cost of testing ai is ci, for i=1,…,n, then the standard binary search is not necessarily the best strategy.In this paper, we prove that the expected access cost of an optimal search strategy is bounded above by 4Cln(n+1)/n, where C=∑i=1nci. Furthermore, we show that this upper bound is asymptotically tight up to constant factors. The proof of this upper bound is constructive and generates a 4ln(n+1)-approximated algorithm for constructing near-optimal search strategies. This algorithm runs in O(n2) time and requires O(n) space, which can be useful for practical cases, since the best known exact algorithm for this problem runs in O(n3) time and requires O(n2) space
Relação dos consumos energéticos dos edifícios de habitação com as emissões do ciclo de produção das soluções construtivas
Dissertação de mestrado em Engenharia CivilA sustentabilidade é um conceito que começa a permear todas as linhas de pensamento
da nossa sociedade. O sector da construção civil, principalmente pelo facto de ser um
dos que maior impacto causa à sustentabilidade do nosso planeta, não poderia ficar fora
das alterações de comportamento que visam tornar a nossa sociedade, como um todo,
mais sustentável.
Porém, a grande problemática desta questão são os paradigmas que definem cada
actividade nossa. No caso da actividade profissional da construção civil, estes
paradigmas são ainda mais vincados pelo facto do segmento ser, ainda em grande parte,
um sector manufactureiro que emprega muita mão-de-obra pouco qualificada.
O facto de alguns materiais e algumas formas construtivas serem paradigmáticos
dificulta a evolução do sector no sentido de implementar práticas novas que possam
tornar este segmento da sociedade menos impactante ao planeta.
Para sensibilizar o sector quanto à questão da sustentabilidade é necessário focar na
questão económica, visto ser este um dos grandes paradigmas do sector. Ou seja, usar o
paradigma dos lucros excessivos com o objectivo de atingir melhores desempenhos
ambientais e sociais. Para tal, é preciso mudar o paradigma da dimensão tempo, pois só
o alargamento do horizonte de análise tornará possível que soluções sustentáveis
apresentem resultados económicos mais favoráveis.
Por outro lado, a nossa sociedade atravessa, neste momento, a crise da necessidade de
mudar o seu paradigma energético. Isso, em parte, facilita a implantação de práticas
mais sustentáveis no sector da construção, visto serem as edificações responsáveis por
mais de um quarto de todo consumo energético actual.
Neste contexto, o presente trabalho baseia o seu objectivo de estudo em comparações
das performances de soluções construtivas, soluções ortodoxas e inovadoras, com
ênfase para as vertentes ambientais e económicas, levando em conta o tempo de vida
útil da edificação.The sustainability is a concept that is beginning to permeate the entire line of thought in
our society. The civil construction sector, mainly because it is one that will cause
greater impact to the sustainability of our planet, could not be left out of the changes in
behaviour aimed at making our society as a whole, more sustainable.
But the big problem of this issue are the paradigms that define our every activity. In the
case of activity on civil construction, these paradigms are even more pronounced
because of the segment is still in large part, a manufacturing sector that employs many
labour-low qualifications. The fact that some materials and some constructive ways
paradigmatic be difficult in the sector to implement new practices that can make this
segment of society least impacting the planet.
To sensitize the industry on the issue of sustainability is necessary to focus on the
economic issue, since this is a major sector of the paradigms. That is, use the paradigm
of excessive profits in order to achieve better environmental and social performance.
This requires us to change the paradigm of time dimension, because only the
enlargement of the horizon of analysis will make possible sustainable solutions that
have more favourable economic results.
Furthermore, our society through at the moment, the crisis of the need to change the
energy paradigm. That, in part, facilitates the deployment of more sustainable practices
in the construction sector, since the buildings are responsible for more than a quarter of
all current energy consumption.
In this context, the present work based on its goal of study in comparisons of the
performance of constructive solutions, Orthodox and innovative solutions, with
emphasis on the environmental and economic dimensions, taking into account the life of
the building
Estudo bioclimático dos extremos térmicos em Cascais e suas repercussões nos consumos elétricos de edificios municipais
Estudos sobre as alterações climáticas no concelho de Cascais referem que é provável, até ao final do presente século, um aumento da temperatura média anual entre 3,4°C a 6,5°C (Aguiar, 2010). Caso sejam comprovadas tais previsões, será expectável o aumento do consumo de energia com fim à climatização de espaços interiores e consequente conforto térmico. Para evitar o consumo insustentável de energia é necessário um correto ordenamento do território.
Esta investigação teve três objetivos: i) primeiro conhecer a influência do ambiente atmosférico urbano nos consumos elétricos de edifícios municipais; ii) o segundo consistiu em conhecer a relação entre os consumos de alguns desses edifícios e as temperaturas extremas; iii) e por último definir algumas orientações climáticas para o concelho que possam evitar o consumo insustentável em edifícios públicos.
Numa primeira fase da investigação foram identificados os extremos térmicos. Depois de identificados, foram desenvolvidos alguns modelos sobre o conforto térmico com base na PET (Temperatura Fisiológica Equivalente) e mapas sobre a distribuição da temperatura com base em variáveis urbanas e outras (tais como altitude, altura dos edifícios, relação H/W, etc.), que serviram para analisar a influência dos extremos térmicos no consumo de energia elétrica numa segunda fase.
Os resultados obtidos mostraram que a relação entre a altura dos edifícios e a largura das ruas (H/W), o índice de rugosidade aerodinâmica (Z0) e o índice de vegetação (NDVI), foram as variáveis urbanas mais importantes para explicar os contrastes térmicos.
Sugere-se a manutenção dos corredores de ventilação e a expansão da mancha verde em área urbana, de forma a proporcionar um maior conforto térmico e assim proporcionar uma melhor gestão dos consumos elétricos dos edifícios municipais.ABSTRACT: In a study about the climate change in the municipality of Cascais (Aguiar, 2010), it was showed that, until the end of the current century, an increase of the annual average temperature between 3,4°C to 6,5°C, can occur. If this will happen, thermal comfort patterns may be altered and the necessity of cooling the interior spaces will increase the electric energy consumption. To avoid unsustainable energy consumption, in the local scale, a correct urban planning is needed.
This research has three main goals: i) the first one is to know the influence of the urban atmospheric environment in the electric energy consumption of several municipal buildings; ii) the second one consists in the knowledge of the relation between the consumptions of those buildings and extreme temperatures; iii) the last consists in the definition of several climate guidelines that can be used by the municipality in order to prevent unsustainable consumptions in public buildings.
In the first part of this work thermal extremes were identified. After that identification, several models were developed concerning the thermal comfort based on PET (Physiological Equivalent Temperature) and temperature distribution maps were generated using urban variables and other (such as the altitude, the height of the buildings, H/W ratio, etc.), which served to analyze the influence of thermal extremes in the electric energy consumption in a second stage.
The results showed that the ratio between the height of the buildings and the width of the streets (H/W), the aerodynamic roughness (Z0) and the Normalized Difference Vegetation Index (NDVI) were the most important variables that explain the thermal contrasts.
It is suggested that the maintenance of the ventilation paths and the extensive use of green areas are essential to ameliorate the thermal comfort and to provide a better management of electric energy consumption in the municipal buildings
"O tempo da política": uma etnografia do comportamento eleitoral na cidade de Afogados da Ingazeira - PE.
A presente dissertação tem por objeto de estudo analisar as dinâmicas do voto e do
comportamento eleitoral, à luz das motivações e das relações de sociabilidades. Para tanto, tomamos como unidade de análise os eleitores da cidade de Afogados da Ingazeira-PE, selecionados a partir dos bairros, com o intuito de conflitar ou encontrar variáveis comuns a partir das realidades locais. O nosso universo de pesquisa também seguiu os critérios de classe social, faixa etária, sexo, profissão e grau de escolaridade. Tomamos como caso para análise a campanha eleitoral de 2014. No entanto, convêm assinalar que a pesquisa não se restringiu a esse momento específico, pois, assim como a política não se restringe ao período eleitoral, o exercício teórico e prático da pesquisa também excede este momento. Pretendemos com esse texto analisar as representações que os eleitores constroem sobre o voto num ambiente permeado a novas maneiras do exercício político. Atentamos para o fato de que essa dissertação não pretende oferecer uma análise do que é considerado certo ou errado na prática política, tampouco na escolha do voto, mas acreditamos ser a proposta uma contribuição ao
estudo das motivações sobre o voto e sobre o comportamento eleitoral sob uma perspectiva sócio-antropológica.This dissertation is the object of study to analyze the dynamics of the vote and the electoral behavior in the light of the motivations and sociability relations. To this end, we take as the unit of analysis voters of the City of the Afogados da Ingazeira-PE, selected from the districts, with the aim of conflict or find common variables from local realities. Our research universe also follow the class criteria, age, gender, occupation and education level. We take as a case to analyze the election campaign of 2014. However, it should be noted that the research is not restricted to this particular moment, because, as the policy is not restricted to the election
period, the theoretical and practical exercise of this research also exceeds time. We intend with this text analyze the representations that voters vote in a building on the environment permeated with new ways of political engagement. We look at the fact that this thesis is not intended to provide an analysis of what is considered right or wrong in political practice, either in the choice of the vote, but we believe the proposal be a contribution to the study of the motivations of the vote and the electoral behavior under a socio-anthropological perspective.Cape
Substituição animal no ensino e na pesquisa científica: uma análise acerca da lei nº 11.794/08 (Lei Arouca)
Na ciência, a experimentação animal vem sendo utilizada indiscriminadamente há anos, mesmo diante de novas tecnologias que possibilitam esses seres serem substituídos na forma determinada legalmente. O presente trabalho trata da substituição animal no ensino e na pesquisa científica, apresentando uma análise detalhada acerca da Lei nº 11.794/08, conhecida como Lei Arouca, responsável por regulamentar a atividade no Brasil, realizando uma crítica aos seus pontos negativos que estabelecem um retrocesso para a proteção animal. Para isso, foram utilizados os métodos histórico, comparativo e explicativo e a técnica de pesquisa documental, a fim de se comprovar a falta de comprometimento da legislação em estudo com a implantação dos meios alternativos para a utilização animal. Tal abordagem tem inicio com uma passagem que destaca a influência do Antropocentrismo e do Biocentrismo no reconhecimento do Direito Animal, estabelecendo uma conexão com a Declaração de Cambridge sobre a Consciência em Animais Humanos e Não Humanos. Dando continuidade, houve uma explanação que correlaciona a Declaração Universal dos Direitos dos Animais, a Constituição Federal de 1988, e as leis infraconstitucionais que tratam ou trataram da vivissecção, entre elas a Lei Arouca, demonstrando as alterações que ocorreram sobre tema com o passar dos anos. Para sustentar a tese de que a experimentação animal vem se tornando uma prática ultrapassada, foram citados os exemplos da União Europeia e de alguns estados brasileiros, que instituíram a proibição de testes e experimentos em animais na indústria cosmética. Por fim, será feita uma explanação sobre os métodos alternativos para a experimentação animal e a falta de compromisso notada na Lei Arouca, tendo em vista que pouco fala em sua redação sobre a implantação desses meios. Diante do estudo realizado, conclui-se que a Lei nº 11.794/08 estabelece, em alguns pontos, um retrocesso, uma vez que possui uma política voltada muito mais para o bem-estar dos animais utilizados na vivissecção, deixando em segundo plano a abolição da prática, que já é uma realidade alcançável devido ao avanço tecnológico.Na ciência, a experimentação animal vem sendo utilizada indiscriminadamente há anos, mesmo diante de novas tecnologias que possibilitam esses seres serem substituídos na forma determinada legalmente. O presente trabalho trata da substituição animal no ensino e na pesquisa científica, apresentando uma análise detalhada acerca da Lei nº 11.794/08, conhecida como Lei Arouca, responsável por regulamentar a atividade no Brasil, realizando uma crítica aos seus pontos negativos que estabelecem um retrocesso para a proteção animal. Para isso, foram utilizados os métodos histórico, comparativo e explicativo e a técnica de pesquisa documental, a fim de se comprovar a falta de comprometimento da legislação em estudo com a implantação dos meios alternativos para a utilização animal. Tal abordagem tem inicio com uma passagem que destaca a influência do Antropocentrismo e do Biocentrismo no reconhecimento do Direito Animal, estabelecendo uma conexão com a Declaração de Cambridge sobre a Consciência em Animais Humanos e Não Humanos. Dando continuidade, houve uma explanação que correlaciona a Declaração Universal dos Direitos dos Animais, a Constituição Federal de 1988, e as leis infraconstitucionais que tratam ou trataram da vivissecção, entre elas a Lei Arouca, demonstrando as alterações que ocorreram sobre tema com o passar dos anos. Para sustentar a tese de que a experimentação animal vem se tornando uma prática ultrapassada, foram citados os exemplos da União Europeia e de alguns estados brasileiros, que instituíram a proibição de testes e experimentos em animais na indústria cosmética. Por fim, será feita uma explanação sobre os métodos alternativos para a experimentação animal e a falta de compromisso notada na Lei Arouca, tendo em vista que pouco fala em sua redação sobre a implantação desses meios. Diante do estudo realizado, conclui-se que a Lei nº 11.794/08 estabelece, em alguns pontos, um retrocesso, uma vez que possui uma política voltada muito mais para o bem-estar dos animais utilizados na vivissecção, deixando em segundo plano a abolição da prática, que já é uma realidade alcançável devido ao avanço tecnológico
- …