Esse trabalho tem como objetivo principal avaliar o atual cenário de biotecnologia no Brasil em termos econômicos, políticos e institucionais e, com base nessas informações, avaliar as condições pré-existentes que favorecem a implantação de uma rede inter-organizacional de empresas de biotecnologia no Brasil. Para que fosse possível tal avaliação foi realizada uma revisão bibliográfica que trouxe informações sobre: a biotecnologia enquanto oportunidade de negócio; os cenários nacional e internacional de biotecnologia; as características das empresas de base tecnológica e de biotecnologia no Brasil; os principais conceitos de rede de cooperação; o atual ambiente e as políticas para inovação e estímulo ao desenvolvimento da biotecnologia no Brasil. Para validar o quadro conceitual realizou-se pesquisa de campo com o estudo da recente experiência da BRBiotec - Rede Brasileira de Empresas de Biotecnologia, que, nasce com o propósito de dinamizar as várias cadeias produtivas que utilizam a biotecnologia no Brasil. Adotou-se, para coleta de informações de campo, sistematização e interpretação dos dados metodologia quantitativa e qualitativa combinadas, na forma de questionário eletrônico. Os resultados obtidos apontam para a necessidade de institucionalização de uma rede como instrumento essencial para a consolidação da biotecnologia no Brasil, envolvendo, não somente organismos públicos, mas principalmente organizações empresariais. / This work has as main purpose the evaluation of the current biotechnology scenery in Brazil in economical, political and institutional terms and, based on those information, to evaluate the pre-existent conditions that favor the implantation of an inter-organizational net of biotechnology companies in Brazil. In order to make possible such evaluation it was accomplished a bibliographical review that brought information on: biotechnology as a business opportunity; the national and international biotechnology sceneries; the characteristics of the technological based companies and the biotechnology in Brazil; the main concepts of cooperation net; the current atmosphere and the politics for innovation and incentive to the development of the biotechnology in Brazil. To validate the conceptual picture a field research about the recent experience of BRBiotec - Brazilian Net of Companies of Biotechnology took place. This net was born with the purpose of impelling the several productive chains that use the biotechnology in Brazil. It was adopted, for collection of field information, systemization and interpretation of the data and quantitative and qualitative methodology combined as electronic questionnaire. The obtained results point to the need of institutionalization of a net as essential instrument for the consolidation of the biotechnology in Brazil, involving, not only public organization, but mainly business organizations.

Orientador: Rafael Santos Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-24T01:12:10Z (GMT). No. of bitstreams: 1 Candido_RenatoMarkeleFerreira_M.pdf: 1921815 bytes, checksum: a5e82ec1bfadd836b1ba66fda5ce00ec (MD5) Previous issue date: 2013 / Resumo: A principal contribuição desta dissertação é a proposta de algoritmos de filtragem por partículas em sistemas a eventos discretos nos quais predominam os problemas de sincronização. Esta classe de sistemas pode ser descrita por meio de equações lineares em uma álgebra não convencional usualmente conhecida como álgebra Max Plus. Os Filtros de Partículas são algoritmos Bayesianos sub-ótimos que realizam uma amostragem sequencial de Monte Carlo para construir uma aproximação discreta da densidade de probabilidade dos estados baseada em um conjunto de partículas com pesos associados. É apresentada uma revisão de sistemas a eventos discretos, de filtragem não linear e de filtros de partículas de um modo geral. Após apresentar esta base teórica, são propostos dois algoritmos de filtros de partículas aplicados a sistemas Max Plus. Em seguida algumas simulações foram apresentadas e os resultados apresentados mostraram a eficiência dos filtros desenvolvidos / Abstract: This thesis proposes, as its main contribution, particle filtering algorithms for discrete event systems in which synchronization phenomena are prevalent. This class of systems can be described by linear equation systems in a nonconventional algebra commonly known as Max Plus algebra. Particles Filters are suboptimal Bayesian algorithms that perform a sequential Monte Carlo sampling to construct a discrete approximation of the probability density of states based on a set of particles with associated weights. It is presented a review of discrete event systems, nonlinear filtering and particle filters. After presenting this theoretical background, two particle filtering algorithms applied to Max Plus systems are proposed. Finally some simulation results are presented, confirming the accuracy of the designed filters / Mestrado / Automação / Mestre em Engenharia Elétrica

[pt] Recentemente, a presença de dependência temporal em diferentes tipos de conexões motivou novas pesquisas na área de tráfego. Nessa dissertação, analisamos a importância de dependência temporal no controle de admissão de conxões de vídeo com diferentes graus de dependência ou parâmetros de Hurst. Para a estimação de Hurst, desenvolvemos um pacote de software denominado HEP (Hurst estimator package) a ser disponibilizado publicamente. O pacote HEP contém atualmente os estimadores R/S, Higuchi, AV e variância. Nossa análise examinou duas abordagens para o controle de admissão de conexões com dependência temporal. Estas abordagens exploram o critério de banda efetiva e compõem- se de um mecanismo baseado em descritores de tráfego (DBCAC) e de um mecanismo baseado em medidas obtidas na rede (MBCAC). Para o mecanismo DBCAC, consideramos um cálculo de banda efetiva que utiliza o parâmetro de Hurst como um dos descritores de tráfego. Obtivemos regiões de admissão de conexões por meio de aproximações analíticas e simulações. Um resulatdo importante desta análise mostrou que fontes com dependência de longo alcance, curto alcance e anti- persistência apresentaram regiões de admissão similares. Verificamos portanto, um impacto reduzido da dependência nas regiões de admissão. No mecanismo MBCAC, propusemos uma estrutura de medição composta de um filtro de Kalman, um estimador de Hurst e um algoritmo de determinação de banda efetiva. Nesta proposta, o grau de dependência é incorporado ao processo de medidas possibilitando a estimação do parâmetrode Hurst em tempo real. As estimativas de média, variância e Hurst são utilizadas para obter a banda efetiva das conexões de vídeo. O mecanismo MBCAC mostrou-se adaptável às condições da rede e melhorou a estimativa da banda efetiva das conexões. Além disso, o mecanismo mostrou-se robusto a erros de declarações permitindo determinar regiões de admissão mais preciosas. Novamente, a dependência temporal gerou impacto reduzido nas regiões de admissão, confirmando os resultados obtidos com o mecanismo DBCAC. / [en] The presence of time dependence on different types of connections has motivated new traffic engineering research. In this dissertation, we examined the impact of this time dependence on the video connections admission regions. We considered several video sequences with different dependence degrees or Hurst parameters. For Hurst estimation, we developed a software package named HEP (Hurst estiamtor package). The HEP package contains the R/S, Higuchi, AV (wavelet) and variance estimators. In our analysis, we studied two different call admission approched: a descriptor-based machanism (DBCAC) and a measurement-based mechanism (MBCAC). Both approaches are based on effective bandwidth criteria. For the DBCAC mechanism, we considered an effective bandwidth formulation using the Hurst parameter of the video connections. We obtained the admission regions based on analytical and simulation analysis. An important result showed that the admission regions were similar for the sources presenting long-range dependence on the admission regions. For the MBCAC mechanism, we proposed a new measurement scheme composed by a Kalman filter, a Hurst estimator and a effective bandwidth algorithm. In this proposal, the dependence degree was included in the measurement process o allow on-line Hurst parameter estimation. The mean, variance and Hurst estimatives were used to evaluate to the network condition and improved the effective bandwidth estimation. Moreover, the MBCAC mechanism was robust to the declaration errorsn resulting in moe accurate admission regions. The MBCAC results also confirmed the results obtained with the DBCAC mechanism, i.e; that time dependence had a small impact on admission regions.

[pt] A simulação de sistemas lineares excitados por senóides tem solução bastante simples envolvendo métodos utilizando transformadas. Contudo, quando a rede é de grande porte e a freqüência de excitação desconhecida, estes métodos de análise fasorial deixam a desejar, por sua complexidade. Diversos processos de análise por computador foram desenvolvidos recentemente, abrangendo o problema do grande porte. Entretanto, implementados para operar no tempo estes métodos não descrevem o caso considerado (excitação no entorno de uma freqüência) de uma análise transitória geral. O método proposto permite a operação no tempo de redes de grande porte, beneficiando-se da estreita faixa de freqüências, em que pode estar atuando a rede elétrica. Sem perda de generalidade, o método foi implementado com base na análise nodal e em técnicas de filtragem digital multitaxa. A rede elétrica é assim transformada em um filtro digital de vários acessos, em que operações de decimação do sinal acarretem sensível redução de complexidade computacional. São apresentados exemplos e comparações com à técnica de Dommel que sustentam as propriedades da nova técnica. / [en] The simulation of linear systems with sinusoidal input has a very simple solution by transform methods. However, when the network is of large scale and the frequency of excitation is unknown, this fasorial analysis method is not satisfactory because of its complexity. Several processes of computer analysis have been developed recently addressing the problem of large-scale networks. However, when implemented to operate in time domain, these methods do not describe the former case (excitation in the neighborhood of a frequency) of a transitory general analysis. The proposed method allows the operation in time domain of large-scale networks, taking advantage of the narrow frequency band in which the electric network is working. Without loss of generality, the above method was implemented based on nodal analysis and multi-rate digital filtering techniques. The electrical network is transformed into a multiple- access digital filter, where signal decimation operations lead to a sensible reduction in the overall computational complexity. Some examples and comparisons with Dommel classical technique are presented, validating the new approach.

[pt] O desafio de oferecer serviços de telefonia móvel celular a um número crescente de usuários passa necessariamente pelo aumento das cargas de sinalização e controle. Este trabalho analisa uma serie de estratégias para Paging e a Atualização da Localização e propõe uma alternativa a estes métodos, onde cada usuário é tratado de maneira individualizada. É feita uma avaliação comparativa de carga gerada e do impacto sobre os bancos de dados devido a utilização desta metodologia proposta. / [en] The challenge of offering mobile cellular telephone services to na ever growing number of subscribers, leads necessarily to an increasing amount of control and signaling information exchange. This work analyses a group of Paging and Location Update strategies and proposes an individualized alternative method. A comparative evaluation of the generated signaling load as well as an analysis on the impact on the network data bases due to the usage of the proposed algorithm is performed.

Background: Malaria causes over 400,000 estimated deaths annually worldwide, with about 90% in sub-Saharan Africa. Long-lasting insecticidal nets (LLINs) and indoor residual spraying (IRS) are two vector-control interventions proven to reduce malaria transmission, but their use together compared to separate has shown mixed results. Methodology: We used a mathematical model to examine the impact of LLINs and IRS on malaria transmission. Time-series analyses and basic reproductive numbers (R0) were developed using MATLAB. We also assessed IRS timing and performed a sensitivity analysis on R0. Results: Modelling scenarios combining LLINs with IRS were similar to those with LLINs alone. Shorter IRS impulses had greater reductions in mosquito populations. The LLIN feeding-inhibition rate was a key parameter with a negative correlation to R0. Discussion/Conclusion: We developed an understanding of the effect of vector-control strategies on malaria transmission. IRS, when paired with LLINs, showed only small improvements in reducing malaria transmission compared to LLINs alone. These results can assist vector-control programmes.

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de sistema é essencial, buscando-se evitar inconsistências e ambigüidades no modelo. Redes de Petri é uma das técnicas que têm sido usadas para a especificação de sistemas reativos. Teste e validação são atividades essenciais na produção dessa classe de sistemas. Por isso, o critério Análise de Mutantes, um critério de teste baseado em erros normalmente aplicado ao teste de programas, tem sido explorado no contexto de teste de especificações de sistemas reativos. É necessário o desenvolvimento de ferramentas que apóiem sua utilização, visto que a aplicação manual do critério é impraticável. O objetivo deste trabalho é a implementação da ferramenta Proteum-RS/PN, que apóia a aplicação do critério Análise de Mutantes para validar especificações baseadas em Redes de Petri. / Reactive Systems are characterized by continuously reacting to external as well as internal stimuli and controlling human activities. In these systems, faults can result in large losses. The use of rigorous methods and techniques for the specification of their behavior is essential to avoid inconsistencies and ambiguities. Petri Nets have been used for reactive-system specification. The test and validation of the underlying model are essential activities for the production of such systems. Thus, the Mutant Analysis -- a fault-based criterion usually used for program testing -- has been explored in the context of specification testing. The development of tools to support its application is necessary, since its manual application is unrealistic. The objective of this work is the implementation of Proteum-RS/PN, a testing tool which supports the application of Mutant Analysis criterion to validate Petri-Nets based specifications.

This thesis describes the design and implementation of an client-server application. This application is used to remote access to models of systems, which are saved on the server. Application also provides editation of the models and their simulation. In the thesis there is a design of Communication Protocol between the client and server too. For the implementation of the client and prototype of the server was used Qt library. Server is realized as a part of existing simulation core (SmallDEVS), which is implemented by Smalltalk.

The thesis deals with design and implementation of the editor object-oriented Petri nets described by language PNTalk. A PNTalk compatible representation and storage format based on XML technologies will be created. The design of the individual parts of the editor focuses on the internal storage facilities, on the graphical user interface and its functionality. In the final part there are practical demonstrations of the application.