[pt] Este trabalho consiste da aplicação de métodos de planos de corte (euclideano acelerado e cortes disjuntivos) na solução de problemas de programação inteira pura do tipo 0- 1 e suas especializações para o problemas de particionamento, quando combinados com técnicas de penalidades para fixação de variáveis. Desenvolve-se um estudo de técnicas de penalidades, que permitem fixar variáveis a valores inteiros a partir da solução ótima da relaxação linear do problema inteiro. As variáveis fixadas são eliminadas do problema e este é reescrito, tendo suas dimensões originais reduzidas. Sugerem-se melhorias no cálculo destas penalidades, levando-se em conta a estrutura particular do problema de particionamento. Finalmente, propõe-se um novo enfoque para a solução de problemas de particionamento: um algoritmo de planos de corte que utiliza técnicas de penalidades, com a finalidade de acelerar a convergência dos métodos puros de planos de corte e de reduzir os problemas por estes apresentados. Resultados computacionais são apresentados, comparando-se o desempenho (i) do algoritmo euclideano acelerado, (ii) do algoritmo de cortes disjuntivos e (iii) do algoritmo de cortes disjuntivos utilizando-se técnicas de penalidades. Para este último algoritmo, são comparados os resultados obtidos utilizando-se técnicas de penalidades genéricas para problemas inteiros do tipo 0-1 e as melhorias destas penalidades, especificas para problemas de particionamento. Considerando-se o problemas de particionamento e as melhorias propostas no cálculo de penalidades, mostra-se que é, freqüentemente, possível fixar um maior número de variáveis ou até mesmo resolver-se diretamente o problema 0-1 original. Em alguns casos, ao aplicar-se o algoritmo de planos de corte com técnicas de penalidades não só pode- se acelerar a convergência, como também superar os problemas de degenerescência dual e erros por arredondamento apresentados pelos algoritmos puros de plano de corte. / [en] This work consists on the application of cutting plane techniques (accelerated euclidean algorithm and disjunctive cuts) for solving pure 0-1 integer problems and their specializations for the set partitioning problem, when combined to penalty techniques for fixing variables. A study on penalty techniques, which allows the fixation of variables to integer values, is also developed. These penalties are directly derived from the optimal tableau nof the linear relaxation of the integer problem. The variables fixed due to penalties are eliminated and the problem is reformulated, having its initial dimensions reduced. Some improvements on the evaluation of penalties are suggested, taking into account the special structure of the set partitioning problem. Finally, a new approach to the solution of set partitioning problems is proposed: a cutting plane algorithm which uses penalty techniques, in order to accelerate the convergence of pure cutting plane methods and overcome the problems arising from their use. Computational results are shown, allowing to compare the performance of (i) the accelerated euclidean algorithm, (ii) the disjunctive cut algorithm and (iii) the last one combined with penalty techniques. For the latter, the results obained by the use of generic penalties for 0-1 integer programs are compared with those obtained by the use of the improved penalties for ser partitioning problems. Taking into account set partitioninng problems and the improvements proposed for the evaluation of penalties, it is shown that very often it is possible to fix more variables to integer values and even to solve directly the original 0-1 problem. For some cases, by applying the cutting plane algorithm together with penalties, it is possible to accelerate the convergence and overcome dual degeneracy and round-off errors arising from the use of pure cutting plane algorithms.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Letras/Inglês e Literatura Correspondente, Florianópolis, 2009. / Made available in DSpace on 2012-10-24T16:07:00Z (GMT). No. of bitstreams: 1 270015.pdf: 982412 bytes, checksum: 16507f5312bbd0429a68037562a379a9 (MD5) / Neste estudo investigo o discurso de uma professora estagiária do 7° período do curso de Letras - Inglês da Universidade Federal de Santa Catarina, cursando a disciplina de #Prática de Ensino#, cujo requisito principal é o planejamento, a execução e a autoavaliação crítico-descritiva de duas aulas. O plano, a aula em si e o relatório de avaliação foram analisados sob a perspectiva da Linguística Sistêmico-Funcional, especificamente por meio do sistema de transitividade (Halliday & atthiessen, 2004), com o objetivo de averiguar que papel social (Wright, 1987; Richards & Rodgers, 2001) a professora atribui para si mesma e para seus alunos nesses diferentes textos. Os resultados revelam uma configuração oposta entre a prática, e o plano e o relatório. No plano de aula, bem como no relatório, a estagiária atribui a si mesma o papel de agente, enquanto que na execução a participante atribui aos alunos o papel de agentes principais da aula e no máximo compartilha esse papel com eles em algumas situações. Essa configuração de papéis estabelecidos para os participantes sociais da aula embasou uma investigação acerca do tipo de conhecimento (teórico ou prático) mais privilegiado pela estagiária em cada um dos momentos analisados. Os resultados apontam o uso dos dois tipos de conhecimento, corroborando a importância do uso do conhecimento experiencial já prevista na literatura, mas também sugerindo que o conhecimento teórico vem ganhando espaço no comportamento do professor-estagiário, o que implica um passo a frente nos Cursos de Formação de Professores. Adicionalmente, o estudo traz uma implicação importante na medida em que mostra a interferência do registro e do gênero nas intencionalidades da estagiária, neutralizando suas concepções na prática discursiva.

[pt] A especificação de planos deve levar em consideração restrições temporais e restrições sobre o uso de recursos, associadas a cada ação. A abordagem clássica para a execução de planos com tais restrições trabalha em duas fases, que se alternam. Na primeira fase, determina-se o conjunto das ações prontas para execução, sob o ponto de vista de controle de execução. Na segunda fase, consideram-se as restrições temporais e sobre o uso de recursos para gerar um escalonamento viável das ações. Esta separação em duas fases pode levar a ineficiências face à necessidade de refazer a primeira fase quando se detectam inconsistências insanáveis na segunda fase. Esta dissertação inicialmente propõe um modelo para planos que incorpora uma linguagem, bastante rica, para especificar restrições temporais. Em seguida, apresenta um algoritmo para execução de planos com escalonamento, que busca integrar as duas fases anteriormente apontadas. / [en] Any realistic plan specification must take into account temporal and resourse restrictions for actions. The classical approach fo executing plans with restrictions works in two alternating phases. During the first phase, the set of actions that are ready to be executed is determined. In the second phase, temporal and resource restrictions are taken into account to generate a viable scheduling for the ready actions. This separation into two phases may lead to inefficiencies, when inconsistencies in the second phase force backtracking to the first phase. This dissertation first proposes a plan model that incorporates a rich language to specify temporal restrictions. Then, it introduces a plan execution algorithm that integrates the two phases mentioned above, thereby reducing as mush as possible the need for backtracking.

[pt] Este trabalho tem por alvo um modelo e um sistema interativo para a composição e adaptação de enredos, com base em um paradigma de reconhecimento de planos / geração de planos. Os enredos gerados devem pertencer a algum gênero escolhido, previamente especificado em termos de aspectos estáticos, dinâmicos e comportamentais. A técnica de modelagem envolve a análise de enredos sob uma perspectiva quádrupla, em vista de relações sintagmáticas, paradigmáticas, antitéticas e meronímicas entre os eventos constituintes. O sistema interativo implementado, de nome LogTell-R, demonstra a viabilidade do modelo proposto. / [en] This work aims at a model and an interactive system for plot composition and adaptation, based on a plan-recognition / plan-generation paradigm. The generated plots must belong to some chosen genre, to be previously specified in terms of static, dynamic and behavioural aspects. The modeling technique involves the analysis of plots under a fourfold perspective, in view of syntagmatic, paradigmatic, antithetic and meronymic relations between the constituent events. The implemented interactive system, named LogTell-R, demonstrates the feasibility of the proposed model.

O presente trabalho tem o objetivo de verificar se o alinhamento da estratégia de tecnologia da informação (TI) com a estratégia de negócio altera o desempenho de negócio das organizações. Para tanto, realiza uma pesquisa qualitativa e quantitativa com as montadoras instaladas no estado do Rio Grande do Sul, verificando o fator de alinhamento entre as variáveis “alinhamento da estratégia de TI e de negócio” e “desempenho de negócio” nestas organizações. A partir da metodologia de Chan, Huff, Barclay e Copeland o trabalho realiza uma análise multicriterial de desempenho econômico e uma análise de alinhamento de estratégia de negócio e de TI em oito dimensões: agressividade comercial, análise de problemas, defensividade interna, defensividade externa, futurismo, proatividade, aversão a risco e inovação. A análise dos dados foi realizada para cada empresa individualmente e após para o conjunto de empresas. Na análise global, comparando os dados de todas as empresas, verificou-se uma grande relevância de TI para os negócios. Também verificou-se uma grande diversidade de estratégias de negócio e de TI em algumas dimensões, enquanto em outras uma forte similaridade. A conclusão apresentada responde afirmativamente a questão de pesquisa, defendendo que quanto maior for o alinhamento entre as estratégias de TI e de negócio, maior será o desempenho econômico-financeiro de uma organização. / This work has the objective of verify if the aligment of the business strategy with the information technology (IT) strategy is associated to the organization’s business performance. Methodologicaly, the research is qualitative and quantitative. The object of this work is the group of car manufactures installed in the state of Rio Grande do Sul, Brazil. Basicaly, this study proposes verify if aligment between the business strategy and the IT strategy of these organizations influences the economic performance of this set of organizations. Using the Chan, Huff, Barclay and Copeland methodology, this study measures the economical performance using a muticriterial analysis. The aligment between business strategy and IT strategy is also studied using multiples dimensions: market agressiveness, problem analysis, internal defensiveness, external defensiveness, futurism, proactiviness, risk aversion and inovation. The analysis of the data was made for each company individually and after for the set of companies. In the global analysis a great relevance of IT for the businesses was verified. Also, a great diversity of strategies of business and IT in some dimensions was verified, while in others dimensions one strong similarity is present. The conclusion is that the alignment between the business strategy and the IT strategy is positively related with the economic performance of an organization.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2011 / Bibliografia: f.93-95 / O objeto da presente pesquisa é a iniciação profissional de professores de Matemática de escolas públicas do Ensino Fundamental de São Bento do Sul - SC, no período de 2000 a 2005. Com o intuito de obter indicadores que pudessem auxiliar na melhoria da fo / The object of this research is the professional initiation of Mathematics teachers of State Elementary Schools of São Bento do Sul - SC, from 2000 to 2005. In order to get indicators that could help the improvement of the initial and ongoing training of t

Submitted by Nathália Faria da Silva (nathaliafsilva.ufv@gmail.com) on 2017-06-29T18:56:18Z No. of bitstreams: 1 texto completo.pdf: 1049885 bytes, checksum: 18fed32478bf1cb0ce123fc57a1c4dea (MD5) / Made available in DSpace on 2017-06-29T18:56:18Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1049885 bytes, checksum: 18fed32478bf1cb0ce123fc57a1c4dea (MD5) Previous issue date: 2000-12-05 / O presente estudo, realizado no município de Matias Barbosa-MG, na Fazenda Paciência, teve como objetivos testar a eficiência e a viabilidade do uso de indicadores e veri- ficadores florístico e fitossociológicos, propostos em sua grande maioria por organizações como ITTO, FSC e CIFOR, na avaliação de planos de manejo florestal, avaliar, por meio de indicadores e verificadores, o plano de manejo florestal executado para a Fazenda Paciência. Para isso, foi utilizado um trecho contínuo de floresta estacional semidecidual, a qual teve uma parte explorada há 6 anos e outra que permaneceu intacta. Foram lançadas parcelas para estudo da vegetação arbórea e da regeneração quanto à sua composição florística e fitossocio- lógica, além das diversas formas de vida. Os dados foram analisados com ênfase em critérios e indicadores, de forma comparativa, onde a situação observada para a floresta não explorada, foi considerada a desejável, sendo feitas análises estatísticas para avaliar a significância entre as diferenças observadas entre as florestas. De acordo com os resultados, os indicadores e verificadores, mostraram-se na maioria, eficientes na avaliação de planos de manejo florestal, uma vez que permitiram inferir quanto às alterações ocorridas e o estado de conservação da floresta, sendo em sua maioria, sensíveis o bastante para indicar o nível de intervenção ocor- rido na floresta explorada e inferir quanto às práticas de manejo adotadas. Outros por sua vez, mostraram-se importantes ferramentas apenas no que se refere a gestão dos recursos flores- tais. A execução do plano de manejo adotado na Fazenda Paciência, tem levado a alterações significativas na composição florística e estrutural, além de um depauperamento do valor comercial do estoque remanescente da floresta explorada, em função do alto nível de inter- venção adotado e da ausência de planejamentos das atividades de exploração e não aplicação de tratamentos silviculturais, podendo levar a um esgotamento dos recursos naturais. / The objectives of the present work, wich has carried out in the municipality of Matias Barbosa, Minas Gerais state, Brazil, were to test the efficiency and viability of the use of floristic and phytosociologic indicators and verifiers, proposed mainly by organizations such as ITTO, FSC and CIFOR, in the evaluation of Forest Management Plants, and to perform the of the Forest Management Plan carried out on the Fazenda Paciência. For this purpose, a continuous stretch of a semideciduous sessonal forest was used, in which a part was exploited six years ago a part remained untouched. Plots for the study of the arboreous vegetation and regeneration concerning their floristic and phytosociologic composition, besides the various life forms occurring in the area, were established. Data were analysed with enphasis on Criteria and Indicators, in a comparative form. The condition observed for the non exploited forest was considered the desirable one and statistic analysis were made to evaluate the significance among the differences observed between the forests. According to the results, the indicators and verifiers showed to be, in their majority, efficient in the evaluation of Forest Management Plans, since the allowed to infer as to any changes and as to the forest conservation state. Most of them were sensitive enough to indicate the level of disturbance which occurred in the exploited forest, and to infer on the management practices to be adopted. On the other hand, other indicators and verifiers showed to be important tools only for the management of forest resources. The use of the management plan adopted by the Fazenda Paciência, has been causing significant changes in the floristic and structural composition, and also a decay of the commercial value of the remaining stock of the exploited forest, because of the hight level of intervention used and the absence of a plan of harvest activities and of silvicultural treatment, which ean lead to na exhaustion of the natural resources.

Submitted by Nathália Faria da Silva (nathaliafsilva.ufv@gmail.com) on 2017-07-10T13:43:24Z No. of bitstreams: 1 texto completo.pdf: 447187 bytes, checksum: bbe0f3177de77aa0f5f3556ba039f98c (MD5) / Made available in DSpace on 2017-07-10T13:43:24Z (GMT). No. of bitstreams: 1 texto completo.pdf: 447187 bytes, checksum: bbe0f3177de77aa0f5f3556ba039f98c (MD5) Previous issue date: 2003-08-01 / Dois experimentos foram conduzidos com o objetivo de avaliar os efeitos de diferentes planos nutricionais sobre a composição e o desempenho produtivo e econômico de frangos de corte, no período de 1 a 56 dias. No primeiro experimento foram utilizados 2160 pintos de corte, da linhagem Avian Farms, sendo metade de cada sexo, distribuídos em um delineamento experimental inteiramente casualizado em arranjo fatorial (3 x 2) sendo três níveis de lisina digestível e dois sexos com doze repetições e 30 aves por unidade experimental. Os níveis de lisina digestível adotados corresponderam respectivamente a 92,5; 100,0 e 107,5% das recomendações de ROSTAGNO et al. (2000), para cada fase da criação e sexo. Ainda no experimento 1, com o objetivo de comparar o crescimento e deposição corporal de proteína e gordura de frangos de corte das linhagens Ross e Avian Farms, foram criados em 8 boxes extras, 192 pintos da linhagem Ross, (metade de cada sexo), alimentados com dietas formuladas para atender as exigências nutricionais estabelecidas por ROSTAGNO et al. (2000). Ao final do experimento 1, observou-se que a redução ou o aumento dos níveis de lisina digestível não foram suficientes para resultar em alterações consistentes na composição corporal e na deposição de proteína e gordura de frangos de corte, machos e fêmeas da linhagem Avian Farms, no período de 1 a 56 dias. A comparação entre linhagens demonstrou um maior crescimento corporal na fase inicial para a linhagem Ross, entretanto aos 42 dias as linhagens apresentaram pesos vivos equivalentes, mas aos 56 dias as aves Avian superaram as Ross. Este mesmo comportamento foi observado para a deposição de proteína. Com relação à deposição de gordura, as fêmeas Avian apresentaram aos 56 dias maior deposição de gordura que as fêmeas da linhagem Ross. No segundo experimento, foram utilizados 1440 pintos de corte, da linhagem Ross, sendo metade de cada sexo, distribuídos em um delineamento experimental inteiramente casualizado em arranjo fatorial (6 x 2) sendo seis planos nutricionais e dois sexos com seis repetições e 20 aves por unidade experimental. Os planos nutricionais adotados para machos e fêmeas foram os de 3, 5 e 28 rações com níveis de lisina digestível recomendados por ROSTAGNO et al. (2000) e outros 3 planos de 28 rações que apresentavam 92,5; 100 e 107,5% das exigências nutricionais de lisina digestível estabelecida por modelo matemático exclusivamente para aves da linhagem Ross. Ao final do experimento 2, verificou-se que os programas de alimentação de 28 rações testados são equivalentes entre si e permitem igual desempenho quando comparados aos programas de 3 e 5 rações. A análise econômica dos planos nutricionais, para machos e fêmeas, demonstrou que os maiores índices de rentabilidade foram obtidos com o uso dos planos de 28 rações, exceto para as fêmeas aos 56 dias. Os índices de rentabilidade demonstraram que, entre as idades avaliadas, a ideal para a comercialização de frangos vivos é 42 dias. / Two experiments were carried out to evaluate the effects of different nutritional plans on the composition and the productive and economic performance of broilers, in the period from 1 to 56 days of age. In the first experiment 2160 broilers chicks (Avian Farms strain) were used, being half of each sex, distributed in a completely random design in factorial scheme (3 x 2) with three digestible lysine levels and two sexes with twelve replications and 30 chicks for experimental unit. The digestible lysine levels adopted corresponded respectively to 92.5; 100.0 and 107.5% of recommendations from ROSTAGNO et al. (2000), for each phase and sex. Still in the experiment 1, to compare the growth and corporal deposition of protein and fat of broilers from Ross and Avian Farms strains, 192 chicks from Ross strain were raised in 8 additional boxes, (half of each sex), fed with diets formulated to contain recommendations for all nutrients from ROSTAGNO et al. (2000). At the end of the experiment 1, it was observed that the decrease or the increase of the digestible lysine levels xiwere not enough to result in consistent changes in the corporal composition, protein and fat deposition of males and females broilers from Avian Farms strain, in the period from 1 to 56 days. The comparison among strains showed a largest corporal growth in the initial phase for the Ross strain, however, with 42 days the strains presented equivalent live weights, but with 56 days the Avian’s overcame Ross’s broilers. A similar fact was observed for the protein deposition. Females Avian presented with 56 days, much more fat deposition than the Ross strain. In the second experiment, 1440 chicks (Ross strain) were used, being half of each sex, distributed in a completely random design in factorial scheme (6 x 2) with six nutritional plans and two sexes with six replications and 20 broilers for experimental unit. The nutritional plans adopted for males and females, were those of 3, 5 and 28 rations with digestible lysine levels recommended by ROSTAGNO et al. (2000) and other 3 plans of 28 rations that corresponded respectively to 92.5; 100 and 107.5% from the nutritional levels of digestible lysine established exclusively by mathematical model to broilers from the Ross strain. At the end of the experiment 2, it was verified that the tested feed programs of 28 rations are equivalently and they allow the same performance when compared to the 3 and 5 rations programs. The economic analysis of the nutritional plans, for all of the broilers, demonstrated that the largest return rates were obtained with the use of 28 rations plans, except for the females with 56 days. The return rate demonstrated that the ideal age of commercialization is 42 days.

CAMPOS, Victor Almeida. Um estudo do politopo e dos limites inferiores gerados pela formulação de coloração dos representantes. 2005. 108 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2005. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T18:37:10Z No. of bitstreams: 1 2005_dis_vacampos.pdf: 624425 bytes, checksum: 13eb092def3e5c973c883bf32b893ba8 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-22T12:41:39Z (GMT) No. of bitstreams: 1 2005_dis_vacampos.pdf: 624425 bytes, checksum: 13eb092def3e5c973c883bf32b893ba8 (MD5) / Made available in DSpace on 2016-07-22T12:41:39Z (GMT). No. of bitstreams: 1 2005_dis_vacampos.pdf: 624425 bytes, checksum: 13eb092def3e5c973c883bf32b893ba8 (MD5) Previous issue date: 2005 / The vertex coloring problem is one of the most studied problems in graph theory for its relevance in practical and theoretical fields. From a theoretical point of view, it is a NP-Hard problem. Moreover, it is classified among the most difficult problems of NP- Hard in the sense that finding an approximation to the chromatic number is also NP-Hard. The importance of the coloring problem motivates searching for methods to find lower bounds close to the chromatic number. Historically, the first lower bounds used were obtained from the size of maximal cliques. More recently, relaxed integer programming formulations gained more attention. A formulation which found good lower bounds was the coloring problem through stable sets whose relaxed lower bound equals the fractional chromatic number. In this work, we make a comparison between the known integer programming formulations to motivate our choice for the Representatives formulation. We revise this formulation to remove symmetry and present a partial study of the polytope associated with the convex hull of its integer solutions. We discuss how to se the Representatives formulation to get lower bounds for the fractional chromatic number and we show how to get such lower bounds that differ at most by one unit to its exact value. / O problema de coloração de vértices é considerado um dos modelos mais estudados em teoria dos grafos pela sua relevância em campos práticos e teóricos. Do ponto de vista teórico, o problema de coloração é NP - Difícil. Além disto, foi classificado entre os problemas mais difíceis de NP, no sentido de que achar uma aproximação para o número cromático também é NP - Difícil. A importância do problema de coloração tem incentivado a investigar métodos para encontrar limitantes inferiores próximos do número cromático. Historicamente, os primeiros limitantes inferiores utilizados para resolvê-lo lidavam com cliques maximais. Mais recentemente, popularizou-se a utilização de relaxações lineares de formulações de programação inteira. Uma formulação que mostrou bons limitantes inferiores foi a formulação por conjuntos independentes, cujo valor de relaxação equivale ao número cromático fracionário. No presente trabalho, fazemos uma comparação entre as formulações de programação inteira conhecidas para indicar a escolha pela formulação dos representantes. Revisamos a formulação para remover simetrias existentes e apresentamos um estudo parcial do politopo associado ao fecho convexo de suas soluções inteiras. Discutimos como é possível utilizar a formulação dos representantes para gerar limites inferiores para o número cromático fracionário. Realizamos a implementação de um método de planos de corte para aproximar o número cromático fracionário e mostramos que podemos gerar limitantes inferiores que normalmente não diferem em mais de uma unidade.

El proyecto que presentaré a continuación, se ubica en un lugar de gran riqueza paisajística, específicamente en Cochiguaz, un poblado del Valle del Elqui. En este lugar ya existen enclaves vacacionales para servir al turista que llega. Sin embargo, muchos de éstos nacen de forma de cumplir con lo netamente funcional y económico, dejando de lado cualquier valor arquitectónico que pudiera tener. La cabaña típica que encontramos en esta zona, podría estar perfectamente en otro lado, dejando atrás la individualidad del lugar preciso donde se posa. Con esto contribuye a abolir la sensibilidad poética del arquitecto y su responsabilidad por el entorno. Es así como surge la idea de generar un proyecto turístico de calidad que reconozca la naturaleza que lo rodea y que entregue al visitante una experiencia de viaje. El Proyecto busca reconocer los elementos más significativos de Cochiguaz haciéndolos partícipes del proyecto arquitectónico. Teniendo en cuenta el suelo preexistente como “primer material de la arquitectura” A medida que el mismo proyecto se recorre, el visitante va apropiándose, descubriendo y aprendiendo del lugar por medio de la arquitectura. Esta tesis se transforma en un desafío que busca crear arquitectura turística de calidad en un paisaje en específico. Entender como los arquitectos representamos y transmitimos los códigos del lugar; como construimos en él para mantenerlo y protegerlo, y qué sensaciones entregamos con esta arquitectura del paisaje.