Orientador: Marcelo Muniz Silva Alves / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-12T16:23:24Z (GMT). No. of bitstreams: 1 Ritter_Donizete_M.pdf: 621556 bytes, checksum: 2bf0368b784f3a2be59ca3c2552f4908 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho abordamos a teoria dos Códigos Corretores de Erros clássica e também os códigos sobre ordens parciais, com algumas comparações entre os dois casos. Enfocamos, particularmente, a definição de Alfabeto, a distância de Hamming, os códigos lineares e a definição de matriz geradora de um código; o estudo dos limitantes de Singleton e de Hamming, além de tratar dos Códigos de Hamming. Em relação aos Códigos em Conjuntos Parcialmente Ordenados, apresentamos a definição de ordens parciais, métricas sobre conjuntos ordenados, contagem dos elementos da "bola", resultados sobre Ideais e o Código de Hamming Estendido; estudamos o caso da ordem cadeia ("chain poset"), analisando os códigos de uma cadeia e os códigos de duas cadeias de mesmo comprimento e, por fim, nos dedicamos ao estudo das "Métricas POSET", que admitem códigos binários perfeitos de codi-mensão m, caracterizando assim os Códigos Posets m-corretores de erros. Nosso objetivo é apresentar um texto, acessível a alunos de graduação, que contemple a teoria básica dos Códigos Corretores de Erros, no entanto, forneça uma noção sobre os códigos sobre ordens parciais. / Abstract: In this work, we address the classical theory of error-correcting codes and the theory of codes over poset spaces, also known as poset codes, establishing comparisons between these two cases. In particular, we present the definition of alphabet, the Hamming distance, linear codes and the definition of a generating matrix for a linear code; we also present the Singleton and Hamming bounds, alongside with the Hamming codes. With respect to poset codes, we present the definitions of partial orders and of the poset metric, the counting of the number of elements in a ball in a poset space, some results on ideals in posets and the extended Hamming code; we study the chain poset case, analysing the cases of codes over a chain poset and codes over a union of two chains of the same length and, finally, we study the poset metrics that allow m-perfect binary codes of codimension m, thus characterizing these codes. Our aim is to present a text, accessible for undergraduates, that encompasses the basic theory of error-correcting codes and, nonetheless, also provides some notions on poset codes. / Mestrado / Teoria dos Erros / Mestre em Matemática

Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T06:58:11Z (GMT). No. of bitstreams: 1 Spreafico_MarcosViniciusPereira_M.pdf: 558857 bytes, checksum: a9d033bd1132fd1bc42fcb1aa2296ef5 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho fazemos uma apresentação dos espaços poset, introduzidos por Brualdi (1995), apresentamos os conceitos necessarios da teoria de conjuntos parcialmente ordenados e da teoria de codigos. Trabalhamos com uma questão de caráter amplo e estrutural deste contexto, o problema da determinação da ordem atraves da distribuição de pesos. A distribuição de pesos é essencialmente o conjunto das cardinalidades das esferas métricas e a pergunta que se coloca é em que medida este invariante determina a métrica em questão. Demonstramos que para as classes de codigos, cadeia, anticadeia, coroa e hierárquico, classes importantes no contexto da teoria de codigos, o problema possui uma resposta positiva e justificamos algumas conjecturas que relacionam este problema ao da reconstrução de grafos. / Abstract: In this work, we introduce the concept of poset codes (Brualdi - 1995) and in this context we study the weight distribution problem, presenting the necessary concepts of the partially ordered set and error correcting codes theory. The weight distribution is the cardinality of metric-spheres in finite dimensional vector space over a finite field endowed with a poset metric. The weight distribution problem asks for conditions to ensure that the weight distribution determines the metric. In this work we show that the weight distribution of some families of posets, namely the classes of anti-chain, chain, crown and hierarchical posets, determines the metric. We also show that the weight distribution determines some known invariants of posets. Finally, we present some conjectures relating the weight distribution problem and the reconstruction problem of graphs. / Mestrado / Mestre em Matemática

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O estudo investigou a produÃÃo e a percepÃÃo do padrÃo acentual e a reduÃÃo vocÃlica em pares mÃnimos de lÃngua inglesa em aprendizes brasileiros de lÃngua inglesa, divididos igualmente em trÃs nÃveis diferentes de proficiÃncia, a fim de verificar que fatores lingÃÃsticos e sociais poderiam ser responsÃveis pela mà pronÃncia desses itens lexicais. A produÃÃo dos padrÃes acentuais foi avaliada atravÃs de tarefas de leitura e repetiÃÃo de sentenÃas. A percepÃÃo dos participantes foi mensurada atravÃs de atividades de iscriminaÃÃo acentual e categÃrica. Esperou-se que o nÃvel de proficiÃncia lingÃÃstica fosse diretamente proporcional ao nÃmero total de acertos por testes, hipÃtese que foi confirmada parcialmente, pois os resultados apontaram que em alguns casos, o nÃvel de proficiÃncia do aprendiz nÃo à o Ãnico responsÃvel pelo sucesso na atribuiÃÃo do acento e de reduÃÃo vocÃlica, mas sim o tempo de exposiÃÃo à lÃngua, confirmado pela quantidade de horas-aula anteriores ao inÃcio do curso na instituiÃÃo em que o corpus foi coletado. Uma outra hipÃtese preliminar da pesquisa foi a de que o sucesso na produÃÃo dos pares mÃnimos devia-se a uma boa percepÃÃo deles. No entanto, essa hipÃtese nÃo foi confirmada pelo fato dos totais de acertos dos testes de produÃÃo nÃo acompanharem linearmente os resultados quantitativos dos testes de percepÃÃo, que revelaram capacidades mais do que satisfatÃrias no que diz respeito à percepÃÃo da mudanÃa de acento e determinaÃÃo da categoria lexical. Os testes de produÃÃo apresentaram um nÃmero excessivamente reduzido de emissÃes corretas na reduÃÃo vocÃlica, caracterÃstica fundamental para a inteligibilidade de alguns pares mÃnimos. As variÃveis sociais nÃo influenciaram significativamente no fenÃmeno de mà produÃÃo do acento primÃrio de pares mÃnimos. / The study aimed at investigating the production and perception of English minimal pairs in a group of Brazilian students of English as a foreign language, equally divided in three different proficiency levels in order to verify which linguistic and social factors could be responsible for the mispronunciation of those lexical items. The stress pattern production was evaluated through reading activities and sentence repetition. The perception of the participants was measured through stress and categorical discrimination activities. It was expected that the linguistic proficiency level would be directly proportional to the amount of correct answers per test, which was partially confirmed, for the results revealed that, in some cases, the learnerâs proficiency level is not the only factor responsible for determining the success in stress attribution and vowel reduction, but the amount of hours each one had before studying in the institution where the corpus was collected. Another hypothesis of the research considered that success in the production of the minimal pairs would be a result of a satisfactory perception of those same pairs. However, this hypothesis was not confirmed because the amount of correct answers in the production tests did not accompany the quantitative results of the perception tests, what revealed that learnersâ capacities to perceive stress shift and determining the lexical category are more than satisfactory. The production tests presented an excessively reduced number of correct utterances in vowel reduction, which is a fundamental feature for the intelligibility of some minimal pairs. The social variables did not interfere at all with the minimal pairs stress production.

Este trabalho, elaborado por meio de pesquisa bibliográfica, apresenta um apanhado sobre os dígitos verificadores presentes no Cadastro de Pessoas Físicas (CPF), no código de barras, e no sistema ISBN; faz uma introdução sobre a métrica de Hamming e os códigos corretores de erros; cita a classe de códigos mais utilizada, que são os códigos lineares, e deixa a sugestão de uma proposta pedagógica para professores de matemática aplicarem no Ensino Fundamental, podendo ser ajustada também para o Ensino Médio. No apêndice A, são propostos alguns exercícios que podem ser trabalhados com os alunos em sala de aula. / This work, based on the attached references, presents an overview of the check digits that appear in the Brazilian document CPF, in the bar code and the ISBN system. Moreover, it makes an introduction to the Hamming metric and error-correcting codes. In particular, some considerations about linear codes are done and it makes a suggestion of a pedagogical approach to apply it in middle school and can also be adjusted to high school. In the Appendix A are proposed some exercises to students.

A presente pesquisa teve por objetivo estimar os componentes do balanço de energia (BE) e a evapotranspiração real diária (ETo), através de imagens TM/Landsat-5 e dados complementares disponíveis em estação meteorológica localizada na região de estudo. A área estudada foi a Bacia do Rio Corumbataí, localizada na região centroleste do Estado de São Paulo. A bacia apresenta um maior percentual de cobertura por cana-de-açúcar e pastagem, além de eucalipto e outros tipos de cobertura de menor abrangência. Foram utilizadas dez imagens obtidas em 01 de fevereiro de 2009 (DS 32), 04 de fevereiro de 2010 (DS 35), 22 de abril de 2009 (DS 112), 24 de maio de 2009 (DS 144), 12 de junho de 2010 (DS 163), 08 de julho de 2008 (DS 189), 30 de julho de 2010 (211), 31 de agosto de 2010 (DS 243), 13 de setembro de 2009 (DS 256) e 31 de outubro de 2009 (304). Também foi utilizado o Modelo Numérico do Terreno (MNT), para considerar a inclinação e sentido de declive do terreno. Os componentes instantâneos do BE e a ETo foram estimados através da aplicação do Mapping Evapotranspiration at High Resolution and with Internalized Calibration (METRIC) (ALLEN at al., 2005). O METRIC é constituído de várias etapas, que incluem calibração radiométrica, cômputo da refletividade e albedo, índices de vegetação e emissividade, baseados nas bandas refletivas do TM/Landsat, além da temperatura da superfície. Para obtenção do saldo re radiação (Rn) foram utilizados dados da estação agrometeorológica localizada na bacia, de propriedade da USP/ESALQ, destinados às estimativas da radiação solar incidente e radiação de onda longa atmosférica. O cerne do METRIC, no entanto, é a determinação das densidades de fluxo de calor sensível (H). O Rn instantâneo apresentou valores entre 150 a 600 W.m-2, para os DS 189 e 32, respectivamente. A densidade de fluxo de calor no solo (G), que foi obtido em função de Rn, temperatura da superfície, albedo, NDVI e parametrização proposta por Bastiaanssen (2000), apresentou registros entre 5 a 110 W.m-2 nos DS 163 e 304, respectivamente. A densidade de fluxo de calor sensível (H) apresentou registros de 5 a 28 W.m-2 nos DS 112 e 304, respectivamente. A densidade de fluxo de calor latente (LE), calculado como resíduo da equação do balanço de energia, apresentou valores de 80 a 520 W.m-2, nos DS 163 e 35, respectivamente. A ETo diária apresentou valores entre 0,8 a 8,0 mm.dia-1, para os DS 163 e 32, respectivamente. Para validação dos resultados foram considerados dados de uma estação meteorológica de superfície, localizada nas dependências da USP/ESALQ, onde os valores de Rn obtidos com o modelo METRIC foram subestimados entre 2% e 11%, aproximadamente. O uso de imagens TM/LANDSAT-5, com o modelo METRIC e o MNT, permite identificar a variabilidade espacial e temporal, no mapeamento do saldo de radiação, fluxos de calor sensível, calor latente, calor no solo e evapotranspiração real diária na Bacia do Rio Corumbataí-SP. / The main objective of the present research was to assess the energy balance (BE) and daily evapotranspiration (ETo) using TM/Landsat-5 images and meteorological data observed in the study area. This research was carried on in the Corumbataí River watershed, located in the central-eastern region of the State of São Paulo. The watershed is covered mostly by sugar-cane and pasture, and also eucalipt and other covers of lesser ocupation. Ten images obtained on February 01st, 2009 (DS 32), February 04th, 2010 (DS 35), April 22nd, 2009 (DS 112), May 24th, 2009 (DS 144), June 12nd, 2010 (DS 163), July 08th, 2008 (DS 189), July 30th, 2010 (211), August 31st, 2010 (DS 243), September 13rd, 2009 (DS 256) and October 31st, 2009 (DS 304) had been used. Also the Numerical Terrain Model (MNT) was used to consider the terrain inclination and slope. The instantaneous components of the BE and the ETo had been estimated through the application of the Mapping Evapotranspiration at High Resolution and with Internalized Calibration (METRIC) (ALLEN et al., 2005). The METRIC is comprised by several steps, including radiometric calibration, computation of the reflectivity and albedo, atmospheric correction of the albedo, vegetation indices and emissivity for each individual pixel, based on reflective bands of TM/Landsat, and land surface temperature. In order to obtain the net radiation (Rn), data from the agrometeorological station, in the same watershed, and in the area of USP/ESALQ, were used, to be employed in the estimation of the incident solar radiation and radiation of atmospheric long wave. The core part of METRIC, however, is the determination of the densities of the sensible heat (H) flow. The instantaneous Rn presented values between 150 the 600 W.m-2, for DS 189 and 32, respectively. The density of heat flow on the ground (G), that was gotten in function of Rn, surface temperature, albedo, NDVI and parameterization proposed by Bastiaanssen (2000), presented registers between 5 the 110 W.m-2 in DS 163 and 304, respectively. The density of sensible heat (H) flow presented values from 5 to 28 W.m-2 in DS 112 and 304, respectively. The density of latent heat (LE) flow, calculated as the residue of the equation of the energy balance, presented values from 80 to 520 W.m-2, in DS 163 and 35, respectively. The daily ETo presented values between 0,8 and 8,0 mm.dia-1, for DS 163 and 32, respectively. For validation of the results, data of a surface meteorological station, at USP/ESALQ, were used, where the values of Rn obtained through the METRIC model were underestimated, between 2% and 11%, approximately. The use of TM/LANDSAT-5 images, together with the METRIC model and the MNT, allows to identify the space and time variability, in the mapping of the radiation balance, flows of sensible heat, latent heat, heat in the land and daily real evapotranspiration in the Corumbataí River watershed.

No livro The Insect Societies, Wilson propôs categorias de socialidade que foram consideradas uma unificação histórica da terminologia no estudo do comportamento social. Desde então, muitos novos padrões comportamentais foram descritos, mas não podiam ser encaixados em nenhuma das categorias disponíveis, prejudicando o consenso em torno dessa classificação bem estabelecida. Novas classificações gerais tentaram contornar as limitações mostradas pela categorização de Wilson, mas com pouco sucesso. Entre as proposições, algumas mantêm a forma de categorização discreta usando características consideradas importantes pelos autores que as propuseram; outros avançam em um modelo quantitativo de caracterização da socialidade. A análise de Carnap sobre os tipos de conceitos em ciência pode nos ajudar a avançar nesta discussão. Sua distinção entre conceitos qualitativos (classificatórios e comparativos) e conceitos quantitativos é usada aqui como base epistemológica para analisar o desenvolvimento das mudanças conceituais e classificações de socialidade propostas. A abordagem de Carnap reforça a proposta de superar a dicotomia entre espécies sociais e sociais a favor de um modelo de gradientes de socialidade. Concluímos que uma nova métrica de socialidade deve ser construída, usando características que não são arbitrárias, mas sim evolutivamente significativas e que permita a comparação entre o comportamento social de todas as espécies. Nesse sentido, a análise de redes sociais tem sido usada para descrever a estrutura de diferentes sociedades, características da estrutura das redes são comparáveis entre grupos e espécies. Aranhas sociais se constituem como um ótimo objeto de estudo, pois apresentam diferentes níveis de socialidade em diferentes níveis taxonômicos. Nós, portanto, desenvolvemos uma abordagem de redes sociais para quantificar a socialidade em colônias de Anelosimus eximius e descrever sua estrutura. Somado a isso, e considerando que a divisão do trabalho é uma característica importante das espécies eussociais, nós testamos se os indivíduos nas colônias se especializam em tarefas e se organizam em grupos em diferentes contextos sociais. Além disso, avaliamos quais os efeitos do tamanho de grupo nesta organização social. Indivíduos de A. eximius apresentam uma organização em grupos nos diferentes contextos sociais, e as colônias apresentam uma baixa, porém significativa, taxa de especialização em tarefas. Os grupos variam entre contextos, mas são frequentemente similares em contextos ativos. Em colônias menores, os indivíduos não apresentam grupos consistentes, todos os individuos parecem necessários para as tarefas. Complexidade social definida como especialização e formação de grupos dentro da colônia parece ser uma métrica útil de socialidade, permitindo a comparação de uma gama de espécies. O tamanho dos grupos tem que ser levado em conta, porque indivíduos aparentam ser sensíveis às necessidades da colônia / In the book The Insect Societies, Wilson proposed categories of sociality that were considered a landmark unification of terminology in the study of social behavior. Since then, many new behavioral patterns were described, but they could not be fitted in any of the available categories, undermining the consensus around that wellestablished classification. New general classifications tried to circumvent the limitations shown by Wilsons categorization, but with little success. Among the propositions, some maintain the form of discrete categorization using features considered important by the authors who proposed them; others advance a quantitative model of characterization of sociality. Carnap\'s analysis of types of concepts can help moving forward in this discussion. His distinction between qualitative concepts (classificatory and comparative) and quantitative concepts is used here as an epistemological basis for analyzing the development of the proposed conceptual changes and classifications of sociality. Carnaps approach reinforces the proposal of overcoming the dichotomy between eusocial and social species in favor of a model of sociality gradients. We conclude that a new metric of sociality should be built, using characteristics that are non-arbitrary, evolutionarily meaningful, and amenable to comparing social behavior between all species. In this context, social network analysis is currently used as a means to describe social structures in animal systems, and the network structure characteristics can be compared across groups of different composition and species. Social spiders are good models to study social behavior because they present different levels of sociality in different taxonomic levels. We develop a social network approach to quantifying sociality in Anelosimus eximius colonies and describe its structure. In addition, since division of labor is an important feature of eusociality, we evaluated individual specialization in colony tasks and tested for the existence of groups of individuals through different social contexts. We also evaluated the effects of colony size on such organization. A. eximius present a organization in groups in different social contexts, and colonies exhibit a low, but significant, specialization rate in particular tasks. Group composition among spiders was flexible but frequently similar in active tasks. Individuals in smaller colonies did not form consistent groups; all individuals seem necessary to perform the tasks. The evaluation of social complexity in terms of specialization and group organization seems to be a useful metric, allowing the comparison of a wide range of species. Colony size should be an important qualifier of this metric, since individual behavior appears sensitive to colony needs

Orientador: Clésio Luis Tozzi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-20T02:20:27Z (GMT). No. of bitstreams: 1 Gomes_MarceloMarques_M.pdf: 2920969 bytes, checksum: 0ae0c041b47241b92c32e9792f18d608 (MD5) Previous issue date: 2012 / Resumo: Este trabalho aborda a solução para o problema da recuperação da informação tridimensional somente a partir de imagens da cena ou do objeto que se deseja modelar desconhecidas as informações a respeito das câmeras utilizadas. A solução apresentada divide-se em duas partes: na primeira se estabelece a relação entre pares ou trios de câmeras utilizando matriz fundamental ou tensor trifocal, respectivamente e a partir dessas relações obtém-se por meio de triangulação uma reconstrução tridimensional da cena ou do objeto observado em função de uma transformação projetiva arbitrária. Na segunda parte determina-se uma transformação que leva a cena ou o objeto obtidos no espaço projetivo para o espaço métrico. Essa transformação que leva o objeto recuperado no espaço projetivo para o espaço métrico é encontrada por meio de autocalibração utilizando o plano no infinito e a cônica absoluta que apresentam a propriedade de serem invariantes a rotação, translação e escala, em relação a um referencial escolhido arbitrariamente. Dependendo do número de imagens disponíveis é necessário inserir restrições nos parâmetros intrínsecos das câmeras para viabilizar o cálculo da transformação. Essas restrições são inseridas na forma de suposições a respeito dos parâmetros intrínsecos das câmeras, como pontos principais conhecidos ou constantes entre as câmeras, skew nulo, relação de aspecto unitária etc. Os resultados da reconstrução no espaço projetivo obtidos com o uso da matriz fundamental e do tensor trifocal foram comparados em relação ao erro de reconstrução utilizando protótipo implementado em Matlab e imagens sintéticas. A solução geral foi avaliada em relação ao erro de reprojeção, reconstrução no espaço métrico com base em imagens sintéticas e imagens reais de objetos conhecidos, utilizando um protótipo desenvolvido na plataforma Embarcadero Delphi / Abstract: This work addresses a solution to the problem of recovering three-dimensional information from images of a scene or modeled object based only on images and without any information of the cameras parameters. The presented solution is divided in two parts: in the first part it is established the relationship between a pair or a triple of cameras using the fundamental matrix or trifocal tensor, respectively, and obtained by triangulation a three-dimensional reconstruction of the observed scene or object in function of an arbitrary projective transformation. In the second part it is determined a transformation to covert the obtained scene or object reconstruction from the projective space to the metric space. This transformation is found by auto-calibration using the plane at infinity and the absolute conic which have the property of being invariant to rotation, translation and scale in relation to an arbitrarily chosen reference frame. According to the number of available images, restrictions on the intrinsic parameters may be necessary in order to obtain a valid transformation. These restrictions are inserted in the form of assumptions about the values of the intrinsic parameters of the cameras or relations between then, like known principal points or constant values for the cameras, zero skew, unit aspect ratio and so on. Using synthetic images and a prototype implemented in Matlab, the results of reconstruction in projective space based on the fundamental matrix and trifocal tensor were compared in relation to the error of reconstruction. Based on synthetic images and real images of known objects and a prototype developed in the Embarcadero Delphi platform, the general solution was evaluated in relation to the reprojection error and the error of reconstruction in the metric space / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-21T02:49:59Z (GMT). No. of bitstreams: 1 LucasD'Oliveira_RafaelGregorio_M.pdf: 16647897 bytes, checksum: a2258aca5a39f0a7d0bd2243b905a772 (MD5) Previous issue date: 2012 / Resumo: Até o trabalho presente, só era conhecido o raio de empacotamento de um código poset nos casos do poset ser uma cadeia, hierárquico, a união disjunta de cadeias do mesmo tamanho, e para algumas famílias de códigos. Nosso objetivo é abordar o caso geral de um poset qualquer. Para isso, iremos dividir o problema em dois. A primeira parte consiste em encontrar o raio de empacotamento de um único vetor. Veremos que este problema é equivalente à uma generalização de um problema NP-difícil famoso conhecido como \o problema da partição". Veremos então os principais resultados conhecidos sobre este problema dando atenção especial aos algoritmos para resolvê-lo. A receita principal destes algoritmos é o método da diferenciação, e sendo assim, iremos estendê-la para o caso geral. A segunda parte consiste em encontrar o vetor que determina o raio de empacotamento do código. Para isso, mostraremos como é as vezes possível comparar o raio de empacotamento de dois vetores sem calculá-los explicitamente / Abstract: Until the present work, the packing radius of a poset code was only known in the cases where the poset was a chain, hierarchy, a union of disjoint chains of the same size, and for some families of codes. Our objective is to approach the general case of any poset. To do this, we will divide the problem into two parts. The first part consists in finding the packing radius of a single vector. We will show that this is equivalent to a generalization of a famous NP-hard problem known as \the partition problem". Then, we will review the main results known about this problem giving special attention to the algorithms to solve it. The main ingredient to these algorithms is what is known as the differentiating method, and therefore, we will extend it to the general case. The second part consists in finding the vector that determines the packing radius of the code. For this, we will show how it is sometimes possible to compare the packing radius of two vectors without calculating them explicitly / Mestrado / Matematica / Mestre em Matemática

[pt] Esta dissertação aborda os diversos problemas de dimensionamento e análise de transportes, armazenagem e distribuição física numa cadeia logística. Para cada abordagem são apresentados exemplos numéricos resolvidos através de algoritmos programáveis. Estes algoritmos compõem um software desenvolvido em Delphi 7.0, destinado à instrução de disciplinas sobre Sistemas Logísticos em cursos de pós-graduação. / [en] This dissertation approaches several problems in the dimensioning and analysis of transport, storing and physical distribution in a logistics chain. For each approach, numeric examples solved through programmable algorithms are presented. These algorithms make up a software tool developed in DELPHI 7.0 intended to facilitate postgraduate instruction in the field of logistics systems.

Context: Early prediction of software cost and quality is important for better software planning and controlling. In early development phases, design complexity metrics are considered as useful indicators of software testing effort and some quality attributes. Although many studies investigate the relationship between design complexity and cost and quality, it is unclear what we have learned from these studies, because no systematic synthesis exists to date. Aim: The research presented in this thesis is intended to contribute for the body of knowledge about cost and quality prediction. A major part of this thesis presents the systematic review that provides detail discussion about state of the art of research on relationship between software design metric and cost and software quality. Method: This thesis starts with a literature review to identify the important complexity dimensions and potential predictors for predicting external software quality attributes are identified. Second, we aggregated Spearman correlation coefficients and estimated odds ratios from univariate logistic regression models from 59 different data sets from 57 primary studies by a tailored meta-analysis approach. At last, it is an attempt to evaluate and explain for disagreement among selected studies. Result: There are not enough studies for quantitatively summarizing relationship between design complexity and development cost. Fault proneness and maintainability is the main focused characteristics that consume 75% total number of studies. Within fault proneness and maintainability studies, coupling and scale are two complexity dimensions that are most frequently used. Vote counting shows evidence about positive impact of some design metrics on these two quality attributes. Meta analysis shows the aggregated effect size of Line of code (LOC) is stronger than those of WMC, RFC and CBO. The aggregated effect sizes of LCOM, DIT and NOC are at trivial to small level. In subgroup analysis, defect collections phase explains more than 50% of observed variation in five out of seven investigated metrics. Conclusions: Coupling and scale metrics are stronger correlated to fault proneness than cohesion and inheritance metrics. No design metrics are stronger single predictors than LOC. We found that there is a strong disagreement between the individual studies, and that defect collection phase is able to partially explain the differences between studies.