¡@¡@Because of the voluminous distribution facilities, the distribution system becomes very complex and it is more and more difficult to manage the distribution system manually with the traditional methodology. With the advancement of computer technologies, it is feasible for the electric utility to use the workstations and Geographic Information System (GIS) to create and maintain distribution system database (DSDB) based on automated mapping and facilities management system (AM/FM). To advance the distribution system operation, it has been considered to develop outage management system based on DSDB to support the planning and operation of distribution systems, more efficiently. ¡@¡@In this thesis, a knowledge-based outage management system with a colored Petri net (CPN) inference model is designed to identify the most probable faulted device for trouble call analysis. The CPN model for inference engine considers two major parts: the traditional escalation method and the load comparison method. To achieve more accurate the estimation of faulted devices according to the outage reports by service customers, the searching procedures based on the improved escalation method are included in the best first search of the CPN. The most possible outage locations with the corresponding blown out protective device are determined by applying parallel-like reasoning in the CPN to identify multiple fault events simultaneously. A distribution system of Taipower is selected for computer simulation to demonstrate the effectiveness of the proposed methodology to enhance the function for distribution outage management.

The objective of the report is to investigate which kind of mobile appli-cation, native, hybrid or web, that is the best regarding cross-platform support compared to development cost. As there are little information regarding pure web applications for mobile devices a prototype will be constructed to give light in this technology. The prototype should an-swer the questions if it can save a year's usage in the cell phones memory, if it is possible to have support for 100 percent of Sweden area and generally if this approach would suffice. There are also some physi-cal restrictions on the web application. A login must be done in less than 5 second, fetch TOs( timber orders) within 10 seconds, report a row within 5 seconds. This in a 2G environment, in Telias network, which is mostly likely to be used in the forest. To easily test the application the CPN-tools(colored petri nets) are used to graphically model the applica-tion and simulations are thereafter done to get a scenes how the applica-tion would perform during many years of usage. To construct have been constructed with the aid of open web technologies as HTML5,CSS4, JavaScript, JQuery and JQuery mobile. The prototype used asynchronies communication to mask loss of coverage and long loading times. It also utilized HTML5 localStorage to save TOs and employer information so that minimize the need for fetching information many times. The proto-type application cannot be used in 100 percent of Sweden's area because the cellular coverage is not present in big areas in the north of Sweden. Therefore information is stored locally but after the pre fetched work orders are completed new work orders must be fetched where cellular coverage is present. The application still have a big usage area and as most wood products comes from the middle of Sweden this cannot be seen as a big problem. To save a year's usage of data on the other hand is not a problem at all. About 10 percent of the available 5 MB of storage in the HTML5 localStorage would be needed. It did also with ease handle the time limitations. As a conclusion the need for a web applica-tion, for SDC, is only present if both IVR and web reporting through a computer is if these services are liquidated in the long run. There are a bit more work with creating a hybrid native/web application using third-party applications but it in turns would give a better coverage area as that kind of application can pre download all TOs and employers ignoring any limitations in storage. This is not possible to do as a pure web application can't be run in the background on the phone.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-07-12T12:58:40Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) avld-tese-2016.pdf: 5797292 bytes, checksum: 0ff6ad41cf04121ad18911a2cc983ef8 (MD5) / Made available in DSpace on 2016-07-12T12:58:40Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) avld-tese-2016.pdf: 5797292 bytes, checksum: 0ff6ad41cf04121ad18911a2cc983ef8 (MD5) Previous issue date: 2015-12-16 / FACEPE / Rede de Sensores Sem Fio (RSSF) é um tipo de rede ad hoc formada tipicamente por centenas de pequenos dispositivos, chamados de nós sensores, os quais cooperam entre si para coletar e enviar informações até um nó sorvedouro. Esses nós sensores possuem recursos limitados de processamento, armazenamento e energia. Geralmente, a RSSF é implantada para coleta de informações em ambientes de difícil acesso, impossibilitando a substituição dos nós sensores caso apresentem alguma falha ou quando a energia acaba. Sendo assim, planejar e estimar o tempo de vida (consumo de energia) e a qualidade do serviço (confiabilidade) de uma RSSF antes de implantá-la são atividades cruciais. Existem duas deficiências quando se observam soluções para o problema mencionado: elas se concentram na avaliação do consumo da aplicação ou apenas da infraestrutura de comunicação( e.g., protocolos de comunicação); e, quando os trabalhos avaliam os dois juntos, eles avaliam ou o consumo de energia ou a confiabilidade, e não ambas. Tais deficiências devem ser resolvidas para se ter um bom planejamento da RSSF. Neste cenário, esta tese propõe uma metodologia para guiar o usuário no desenvolvimento de RSSFs levando em consideração o consumo de energia e a confiabilidade das aplicações e da infraestrutura. A metodologia orienta o usuário no planejamento, codificação, otimização, validação e implantação da RSSF. Com relação à avaliação, a metodologia inclui quatro conjuntos de modelos formais baseados em Coloured Petri Ned (CPN) e em Reliability Block Diagram (RBD) para avaliar o consumo de energia e a confiabilidade, respectivamente. Esses quatro conjuntos de modelos são criados através de um processo de composição usando pequenos modelos reusáveis. Todas as atividades da metodologia são suportadas por um conjunto de ferramentas que automatiza a avaliação das RSSFs. Os modelos CPN e RBD foram validados através de experimentos, comparando os resultados obtidos a medições e dados encontrados na literatura. Uma análise de sensibilidade foi realizada para identificar quais fatores tem maior impacto sobre o consumo de energia e a confiabilidade das RSSFs. As contribuições foram a metodologia, unindo o planejamento da aplicação com da infraestrutura da RSSF e avaliando o consumo de energia e a confiabilidade de forma integrada; os modelos formais baseados nas instâncias da RSSF; o conjunto de ferramentas para suportar a metodologia proposta; e a análise de sensibilidade, que mostrou quais fatores afetam mais o consumo e a confiabilidade da RSSF. / Wireless Sensor Network (WSN) is an ad hoc network typically formed by hundreds of small devices called sensor nodes, which cooperate to collect and send information to a sink node. These sensor nodes have limited processing, storage and energy resources. Generally, the WSN is deployed to collect information in inaccessible environments, making it impossible to replace the sensors if they have any failure or when the energy is over. In this way, planning and estimating the lifetime (power consumption) and quality of service (reliability) of a WSN, considering the application and infrastructure before deploying are crucial activities. There are two deficiencies when looking at solutions for the mentioned problem: they focus on evaluating the power consumption of the application or just the infrastructure of WSN; and, when the studies evaluate both together, either they evaluate power consumption and reliability, not both. These deficiencies should be addressed to enable a good WSN planning. In this scenario, this thesis proposes a methodology to guide the user in the WSNs development, considering the power consumption and reliability of the application and the infrastructure of the WSN. The methodology guides the user in the design, coding, optimization, validation and deployment of a WSN. Regarding the evaluation, the methodology includes four sets of formal models based on Coloured Petri Ned (CPN) and Reliability Block Diagram (RBD) to evaluate the power consumption and reliability of the WSN, respectively. These four models are created by a process of composition using small reusable models. All activities of the methodology are supported by a set of tools that automates the WSN evaluation. CPN and RBD models were validated by experiments, comparing the results obtained by the models with results of the measurements or study in the literature. A sensitivity analysis was performed to identify which factors impact on power consumption and reliability of the WSN using the proposed models. The contributions were the methodology, combining the planning of the application with the WSN infrastructure and evaluating power consumption and reliability in an integrated way; formal models based on WSN instances; the set of tools to support the proposed methodology; and the sensitivity analysis, which showed the factors that most affect the consumption and reliability of WSN.

Made available in DSpace on 2015-04-22T22:16:10Z (GMT). No. of bitstreams: 1 Dissertacao Emerson.pdf: 472372 bytes, checksum: b1387fdd4ad0f12364da1d92da05f5e5 (MD5) Previous issue date: 2009-12-09 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / In this work, we presented a new demonstration obtained by J.K. Martins in 1999, of the Theorem of Rigidity of hypersurfaces in CPn, resulted firstly proven by Y.W. Choe, H. S. Kim, I.B. Kim and R. Takagi, in 1996, using the method of Cartan. We will show that the hipersuperfícies Rigidity in CPn only depends, in general, of the invariance of the Hopf vector field, that is, if g is an isometric immersion of M in CPn and if g takes Hopf vector field of M in Hopf vector field of g(M), then g is the restriction of a holomorphic isometry of CPn. / Neste trabalho, apresentamos uma nova demonstração obtida por J.K. Martins em 1999, do Teorema de Rigidez de Hipersuperfícies em CPn, resultado primeiramente provado por Y.W. Choe, H. S. Kim, I.B. Kim e R. Takagi em 1996, usando o método de Cartan. Mostraremos que a Rigidez de hipersuperfícies em CPn só depende, em geral, da invariância do campo de Hopf, isto é, se g é uma imersão isométrica de M em CPn e se g leva campos de Hopf de M em campos de Hopf de g(M), então g é a restrição de uma isometria holomorfa de CPn.

This thesis introduces a new methodology for energy estimation in asynchronous circuits. Unlike existing probabilistic methods, this is the first simulative work for energy estimation in all types of asynchronous circuits. The new simulative methodology is based on Petri net modeling. A real delay model is incorporated to capture both gate delays and interconnect delays. The switching activity at each gate is captured to measure the average dynamic energy consumed per request/acknowledge handshaking pair. The new type of Petri net is called Hierarchical Colored Asynchronous Hardware Petri net (HCAHPN). The HCAHPN is able to capture the temporal and spatial correlations of signals within a circuit, while preserving gate logic behavior and timing information. While Petri nets have been previously used for simulating combinational and sequential circuits, this is the first work that uses Petri nets for simulating asynchronous circuits. While different asynchronous design styles make various assumptions on the gate and wire delays present with the circuit, the physical implementations of these circuits always have gate and interconnect delays. Unlike previous methods, the proposed methodology is independent of the asynchronous design style used and it can be adapted for all types of asynchronous circuits that use handshaking communication.

No description available.

Carboxypeptidase N (CPN) is a plasma carboxypeptidase that was discovered in the 1960s as a regulator of inflammation and vascular tone. Through the removal of carboxy-terminal basic residues, CPN alters the activity or binding specificity of inflammatory mediators and vasoactive peptides. CPN shares significant homology with carboxypeptidases known to mediate antifibrinolysis through the removal of basic residues from fibrin clots, which would otherwise stimulate fibrinolysis. Despite the similarity of these enzymes, CPN is generally regarded as lacking a role in fibrinolysis. This thesis demonstrates that CPN is indeed a capable antifibrinolytic enzyme, and that the antifibrinolytic activity of CPN was previously undisclosed due to the presence of a circulating CPN inhibitor, which is likely the free CPN2 subunit. This inhibitor is described for the first time here. Furthermore, potential mechanisms of inhibition and mechanisms of enhancing activity of CPN are proposed based upon the additional structural characterization of CPN presented here.

Enterprise SIM profile provisioning solution is currently in development by some big players in the telecommunication industry. This solution may support an enterprise user staying anonymous to mobile network operators when remotely subscribing to SIM profiles. Another advantage refers to providing a seamless solution to enterprises where they can handle subscriptions of their employees. However, the solution is still in an early stage of production, and it is of utmost importance to proactively detect threats and deviant behaviors. The focus of this master thesis is providing a part towards achieving a secure solution by gaining insight and understanding of the system behavior. Colored Petri Nets technique is applied to the process and provides deterministic insights on system behavior. The solution of enterprise remote SIM profile provisioning is analyzed from different reachability goals by performing multiple simulations of different cases. Simulations are performed using different conditions and provide an understanding of system behavior with not fulfilled conditions. Essential aspects of this work can be in consideration when developing the solution to not end up in a state where a user receives a bad SIM profile or exposes the system to other threats.

The purpose of this study was to compare event-related potential (ERP) effects of speech processing and effects in sentence reading elicited by sentences containing gapping structures, or a "missing" verb. N400 and P600 waveforms were collected in 20 adults between 18 and 30 years of age. Two experiments were conducted with each participant. In the two experiments ERP recordings were collected as sentences, some containing gapping structures, were presented to the subjects. In one experiment sentences were presented through headphones in sentences spoken at normal rate and with normal intonation. In the second experiment sentences with the same gapping structures were presented on a computer screen word by word at a rate of four words per second. Results suggest that all gapping structures are processed at approximately the same time. Amplitude and topography differences were seen between stimuli types and modalities.

Há três décadas, os sistemas de informação corporativos eram projetados para apoiar a execução de tarefas pontuais. Atualmente, esses sistemas também precisam gerenciar os fluxos de trabalho (workflows) e processos de negócio de uma organização. Em comunidades científicas de físicos, astrônomos, biólogos, geólogos, entre outras, seus sistemas de informações distinguem-se dos existentes em ambientes corporativos por: tarefas repetitivas (como re-execução de um mesmo experimento), processamento de dados brutos em resultados adequados para publicação; e controle de condução de experimentos em diferentes ambientes de hardware e software. As diferentes características dos dois ambientes corporativo e científico propiciam que ferramentas e formalismos existentes ou priorizem o controle de fluxo de tarefas, ou o controle de fluxo de dados. Entretanto, há situações em que é preciso atender simultaneamente ao controle de transferência de dados e ao controle de fluxo de tarefas. Este trabalho visa caracterizar e delimitar o controle e representação do fluxo de dados em processos de negócios e workflows científicos. Para isso, são comparadas as ferramentas CPN Tools e KEPLER, que estão fundamentadas em dois formalismos: redes de Petri coloridas e grafos de workflow orientados a atores, respectivamente. A comparação é feita por meio de implementações de casos práticos, usando os padrões de controle de dados como base de comparação entre as ferramentas. / Three decades ago, business information systems were designed to support the execution of individual tasks. Todays information systems also need to support the organizational workflows and business processes. In scientific communities composed by physicists, astronomers, biologists, geologists, among others, information systems have different characteristics from those existing in business environments, like: repetitive procedures (such as re-execution of an experiment), transforming raw data into publishable results; and coordinating the execution of experiments in several different software and hardware environments. The different characteristics of business and scientific environments propitiate the existence of tools and formalisms that emphasize control-flow or dataflow. However, there are situations where we must simultaneously handle the data transfer and control-flow. This work aims to characterize and define the dataflow representation and control in business processes and scientific workflows. In order to achieve this, two tools are being compared: CPN Tools and KEPLER, which are based in the formalisms: colored Petri nets and actors-oriented workflow graphs, respectively. The comparison will be done through implementation of practical cases, using the dataflow patterns as comparison basis.