This thesis presents a new modelling method for information systems analysis and design, where the concept of service and the principles of service orientation are used for integrated modelling and reasoning about information systems architectures across organisational and technical systems boundaries. The concept of service enables cohesion of the intersubjective and objective modelling traditions by using a single type of diagram that facilitates detection of semantic inconsistency, incompleteness, ambiguity and discontinuity between the static and dynamic aspects of information systems specifications. The thesis is focused on three research topics, which are fundamental to the development of a new service-oriented modelling method. The first research topic concerns a pragmatic-driven specification of information systems. It clarifies answers to the research question: How can a conceptual modelling process be driven by pragmatic considerations? The second research topic provides a service-oriented modelling foundation for information systems analysis and design. It answers the research questions: How can the concept of service be used explicitly for the analysis and design of information systems and how can the static and dynamic aspects of information systems specifications be integrated at the conceptual level? The third research topic presents transition principles to implementation-specific design and answers the research question: How can service-oriented conceptual representations be aligned with implementation-specific design? The thesis contributes with a new knowledge to the area of conceptual modelling of information systems. The service-oriented modelling method consists of the modelling process, modelling language and techniques for the analysis and design of information systems on three levels of abstraction: pragmatic, semantic and syntactic. These three levels are necessary for a holistic understanding of enterprise architecture by stakeholders. The advantage of the service-oriented modelling method is that it can help to control traceability from information system design to original requirements. The method facilitates the semantic integration of the structural, behavioural and interactive aspects of information systems conceptual representations by using a single diagram type. The modelling language provides service-oriented constructs that are fundamental to building the major systems analysis patterns. The service-oriented modelling process contributes with seven steps of incremental design, which justifies various information systems components. The method provides the basis for a gradual and systematic way of modelling and an understanding of how pragmatic, semantic and logical information system requirements are linked together. The possibility to detect and eliminate undesirable characteristics of service-oriented diagrams can help to improve communication among stakeholders. Service-oriented specifications are computation-neutral and therefore they are more comprehensible for business analysis experts in comparison to implementation specific graphical representations of information systems. Finally, this thesis presents the challenges for future research, one of which is the development of the automated tools for the alignment of business models with implementation-specific information systems specifications.

In this thesis, an approximation is proposed to evaluate the steady-state performance of kanban controlled assembly systems. The approximation is developed for the systems with two components making up an assembly. Then, it is extended to systems with more than two components. A continuous-time Markov model is aggregated keeping the model exact, and this aggregate model is approximated replacing some state-dependent transition rates with constant rates. Decomposition of the approximate aggregate model into submodels guarantees product-form steady-state distribution for each subsystem. Finally, submodels are combined in such a way that the size of the problem becomes independent of the number of kanbans. This brings about the computational advantage in solving the combined model using numerical matrix-geometric solution algorithms. Based on the numerical comparisons with simulation, the exact model, an approximate aggregate model and another approximation in a previous study in the literature, the approximation is observed to be good in terms of accuracy with respect to computational burden and has the potential to be a building block for the analysis of systems that are more complex but closer to real-life applications.

Open cut coal mining in the Bowen Basin of central Queensland had disturbed in excess of 55,000 ha by the turn of the 21st century and 72,000 ha by 2006. Strong export demand in recent years (since approximately 2000) has led to greater production from existing mines and to a proliferation of new ones. Therefore, over the ensuing decades, the level of mining activity can be expected to increase substantially the areas of erstwhile agricultural land that are disturbed. As mines exhaust their resources, companies will be obliged to achieve acceptable end uses for the various domains at those sites. The possibility of having successfully rehabilitated domains at selected sites certified on a progressive basis holds some appeal. While all stakeholder groups find a return of the land to its prior use (extensive cattle-grazing) an appealing goal, mining companies walk a tight-rope. The legislation under which the early mines were established does not bind them as tightly to the environmentally friendly outcomes as applies to new mines. Nonetheless, recent legislative trends as well as companies’ own policies, encourage them to exceed society’s environmental expectations. Regardless of the end use that is designated, relinquishment is permitted only subject to a satisfactory assessment of the risks to its sustainability. Cattle-grazing is considered as a suitable end use, partly because the return of mined land to its prior use is preferred to its designation to some other use and partly because cattle could serve to reduce the bulk of pasture growth that occurs at some sites, reducing the risk of erosion if an intense fire were to occur followed by heavy rain. Graziers’ primary motivation for seeking tenure of mined land is financial. Factors that determine both a site’s productivity and its commercial ‘worthwhileness’ are examined in this research. The major focus of this research however, is the style of management that the custodial grazier may employ. Since any future custodian is likely to be a local landholder (perhaps the grazier family from whom the land was originally acquired for mining some decades earlier), it is the management style of local farmers that is of primary interest. Some graziers use the land more intensively than others: some with more sensitivity than others. Since the reconstructed landscape is inherently more fragile than undisturbed land, differences in management style could be critical to the sustainability of grazing. Factors driving, or at least being associated with, farmers’ land management decisions were identified from prior research as draft components of a risk assessment model for grazing. A survey of the characteristics and circumstances of Bowen Basin graziers was then conducted with a view to modelling their influence on graziers’ land management style. The survey ascertained the prior probabilities among the target graziers of the elements being modelled. An estimate of the role of these factors in shaping land management decisions was then obtained by eliciting the opinions of industry experts. These processes allowed development of a predictive model that estimates the likelihood of conservative and sensitive land management under various scenarios of site characteristics and grazier-based factors. Output from the model showed that the capital circumstances of a grazier’s business have an influence over the predicted management style of 25% of the difference between best-case and worst-case scenarios. There is a 17% greater likelihood of low-risk grazing where a grazier strongly wants tenure of the land for reasons that go beyond financial gain. The grazier’s underlying values and attitudes to land management account for a further 14%, followed by the operational structure of the business (12%), and the external climatic and economic environment (9%). Interventions that mining companies could implement to increase the likelihood of low-risk management has an influence of 23%. The credibility of the model’s output was evaluated by reference to real-life experiences of graziers who have managed cattle on mined land and their miner counterparts. Consistency of opinion among the consulted experts also contributed to the confidence that can be placed in the model’s findings. The model identifies the sources of risk if currently available mined land is used for grazing. It improves understanding of the situation in a holistic manner, and predicts the likelihood of low-risk grazing management under scenarios of interest to the user. The model identifies actions that mining companies could take to reduce risks associated with graziers’ management style. The model may also guide future rehabilitation work by highlighting features of rehabilitation that would make them more suited to commercially feasible and low-risk cattle production – or by purposefully and transparently planning for cattle-grazing not to be the designated end use.

Restarting automata were introduced as a model for analysis by reduction which is a linguistically motivated method for checking correctness of a sentence. The thesis studies locally restricted models of restarting automata which (to the contrary of general restarting automata) can modify the input tape based only on a limited context. The investigation of such restricted models is easier than in the case of general restarting automata. Moreover, these models are effectively learnable from positive samples of reductions and their instructions are human readable. Powered by TCPDF (www.tcpdf.org)

abstract: The Partition of Variance (POV) method is a simplistic way to identify large sources of variation in manufacturing systems. This method identifies the variance by estimating the variance of the means (between variance) and the means of the variance (within variance). The project shows that the method correctly identifies the variance source when compared to the ANOVA method. Although the variance estimators deteriorate when varying degrees of non-normality is introduced through simulation; however, the POV method is shown to be a more stable measure of variance in the aggregate. The POV method also provides non-negative, stable estimates for interaction when compared to the ANOVA method. The POV method is shown to be more stable, particularly in low sample size situations. Based on these findings, it is suggested that the POV is not a replacement for more complex analysis methods, but rather, a supplement to them. POV is ideal for preliminary analysis due to the ease of implementation, the simplicity of interpretation, and the lack of dependency on statistical analysis packages or statistical knowledge. / Dissertation/Thesis / Masters Thesis Industrial Engineering 2015

Made available in DSpace on 2014-10-09T12:35:03Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:00:41Z (GMT). No. of bitstreams: 0 / Dissertação (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP

Orientador: Walmir de Freitas Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-17T00:33:59Z (GMT). No. of bitstreams: 1 Ayres_HugoMurici_D.pdf: 4725835 bytes, checksum: 6d41278e02826905a36d4c10199daaae (MD5) Previous issue date: 2010 / Resumo: A instalação e a operação de geradores de médio porte conectados em sistemas de distribuição de energia elétrica demandam a análise de vários aspectos técnicos. As principais metodologias existentes são baseadas em repetidos cálculos de fluxo de carga e de curto-circuito para se obter os locais e níveis de geração permitidos para a instalação desses geradores sem que haja violações de qualquer restrição técnica em regime permanente. Embora essas análises sejam bastante precisas, tais estudos quantitativos não trazem informações adicionais para realizar o gerenciamento técnico dos impactos advindos de múltiplos geradores, ou seja, determinar o grau de influência de cada gerador em determinados quesitos técnicos de forma que estes sejam penalizados ou recompensados de acordo. Adicionalmente, essas metodologias requerem um elevado número de homens-horas e esforço computacional para realizar a análise. Esta tese de doutorado apresenta novas metodologias de análise do impacto de geradores distribuídos em sistemas de distribuição de energia elétrica considerando aspectos técnicos de operação em regime permanente. Com base em matrizes de sensibilidades obtidas a partir da resolução de um único fluxo de carga para o caso base e do cálculo de uma matriz impedância, os métodos propostos permitem determinar a máxima potência que esses geradores podem exportar para o sistema respeitando os limites de regulação de tensão, capacidade de corrente dos condutores e capacidade de interrupção de correntes de curto-circuito dos dispositivos de proteção ou de condução transitória dos cabos. Com simples operações matriciais, o impacto de novas instalações de geradores distribuídos pode ser diretamente estimado para diferentes níveis de demanda, modo de operação dos geradores e níveis de geração dos mesmos. Além disso, tais métodos baseados em sensibilidades permitem que fatores de responsabilidade sejam prontamente calculados, os quais quantificam o impacto percentual de cada gerador em determinados quesitos técnicos. Tais índices numéricos podem ser utilizados por engenheiros de empresas concessionárias de energia para penalizar ou recompensar os produtores de energia que contribuem para a degradação ou não de algum tipo de limite ou restrição operativa dos sistemas de distribuição. Visto que os métodos propostos são baseados em extrapolação de métodos linearizados, seus resultados foram comparados com aqueles obtidos via repetidos cálculos de fluxo de carga e de corrente de curto-circuito, sendo que tal comparação comprova que os resultados obtidos com os métodos aproximados são precisos / Abstract: The installation and operation of medium generators in electrical distribution systems demand the analysis of several technical aspects. The main methodologies are based on repetitive power flow and short-circuit calculations in order to obtain the locations and generation levels allowed for the connection of theses generators without violating any technical constraint of steady-state operation. Although these analyses are very precise, such quantitative studies do not bring further information to suitably manage the technical impacts due to multiple generators, that is, the determination of individual generator influence on the technical aspects so that they can be penalized or rewarded in a proper manner. Moreover, these methodologies require a high number of man-hours and processing time. This Ph.D. thesis presents new methodologies for analysis of the impact of distributed generation connected to electrical distribution systems taking into account technical aspects of steady-state operation. Based on sensitivities matrices obtained from only one power flow solution and from one impedance matrix calculation, the proposed methods allow the determination of the maximum power that these generators can export to the grid regarding the voltage regulation, feeder current limits and short-circuit current limits. With simple matrix operations, the impact of adding new generators at any bus of the grid, with any capacity, and any operating mode (leading, lagging or unitary power factor) can be estimated for different power demand. Moreover, such methods based on sensitivities permit a rapid calculation of responsibility factors, which quantify the individual impact of each generator in the technical aspects under analysis. Such indices can be used by electric utility managers and distribution engineers to penalize or reward the electricity producers who depreciate or not the power quality, by violating any limit or operational constraint of the distribution systems. Since these methodologies are based on linearized methods, the results are compared with those obtained by repetitive power flow and short-circuit current calculations. The comparison reveals that the results from the linearized methods are accurate / Doutorado / Energia Eletrica / Doutor em Engenharia Elétrica

Orientadores: Pedro Luis Dias Peres, Ricardo Coração de Leão Fontoura de Oliveira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-17T02:43:49Z (GMT). No. of bitstreams: 1 Lacerda_MarcioJunior_M.pdf: 670231 bytes, checksum: d76f3fe0db3898a759d391b46114898c (MD5) Previous issue date: 2010 / Resumo: Este trabalho apresenta novas condições na forma de desigualdades matriciais lineares para a síntese de filtros robustos H2 e H¥ de ordem completa, para sistemas incertos, contínuos e discretos no tempo. Os parâmetros incertos invariantes no tempo pertencem a um politopo com vértices conhecidos. Graças à existência de um número maior de variáveis de folga e à utilização de relaxações baseadas em matrizes polinomiais homogêneas, desigualdades matriciais lineares podem ser obtidas das condições propostas para o projeto de filtros robustos, com desempenho superior aos métodos existentes. A superioridade e eficiência do método proposto para o projeto dos filtros robustos são ilustradas por meio de comparações numéricas e exemplos da literatura / Abstract: This work presents new convex optimization procedures for full order robust H2 and H? filter design for continuous and discrete-time uncertain linear systems. The time-invariant uncertain parameters are supposed to belong to a polytope with known vertices. Thanks to the use of a larger number of slack variables and homogeneous polynomial relaxations, linear matrix inequalities for the design of robust filters can be derived from the proposed conditions, outperforming the existingmethods. The superiority and efficiency of the proposed method for robust filter design are illustrated by means of numerical comparisons in benchmark examples from the literature / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientadores: Ana Cervigni Guerra, Mario Lucio Cortes / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T00:45:22Z (GMT). No. of bitstreams: 1 Kacuta_LuizYukishigue_M.pdf: 1865346 bytes, checksum: c2d24da702ba480692071542b5b61f84 (MD5) Previous issue date: 2006 / Resumo: A efetividade das áreas de Tecnologia da Infonnação das empresas é frequentemente questionada. Pesquisas realizadas por entidades de alta credibilidade demonstram que uma parcela significativa dos sistemas de infonnação, que as áreas de TI disponibilizam em uma organização, não está alinhada às necessidades do negócio. Apesar da evolução das abordagens, técnicas e métodos de desenvolvimento de sistemas, e da ênfase em gerenciamento de requisitos, o baixo grau de aderência dos softwares às reais necessidades do negócio continua causando graves conflitos entre a área de desenvolvimento de sistemas e a área de negócio das empresas. Este trabalho aborda a questão considerando que as causas não se limitam às fronteiras da tecnologia da infonnação; ele apresenta uma proposta para integrar abordagens de diferentes disciplinas, partindo da Estratégia de Negócio, passando pela Modelagem de Processos do Negócio e terminando na Especificação de Sistemas. A finalidade é conduzir à caracterização dos serviços que os sistemas devem proporcionar para atender de fato aos objetivos que implementam a estratégia de negócio da organização / Abstract: The effectiveness of the enterprise information technology areas is frequently questioned. Researches made by high credible entities show that most part of the information systems, which are made available by an organization, doesn't address business needs. Despite the evolution of system development approaches, techniques and methodologies, and the emphasis on requirement management, the low levei of software adherence to business needs still causes conflicts between the system development and the enterprise business areas. This work approaches the question above tak.ing into account that its causes are not limited to the frontiers of information technology. It presents a proposal for integrating different subjects, starting from Business Strategy, passing through Business Processes Modeling and concluding with System Specification. The main goal of this thesis is to serve as a guidance to the services characterization which the systems must follow in order to drive Enterprise Business Strategy / Mestrado / Engenharia de Computação / Mestre em Computação

Made available in DSpace on 2014-10-09T12:35:03Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:00:41Z (GMT). No. of bitstreams: 0 / Neste estudo foi proposto o desenvolvimento de um software para automatizar o processo de estimativa da incerteza de medição pelo método descrito no Guia EURACHEM. Com a finalidade de testar a eficácia do software, foi desenvolvido um procedimento analítico para a determinação de compostos fenólicos na água subterrânea do Instituto de Pesquisas Energéticas e Nucleares a fim de se obter dados reais de um processo. Para tanto, a determinação dos compostos foi realizada por cromatografia gasosa acoplada ao detector de espectrometria de massas, GC/MS. Para garantir a qualidade dos dados gerados, o procedimento analítico foi submetido ao processo de validação, onde foram avaliados os parâmetros: seletividade/especificidade, faixa de trabalho e faixa linear de trabalho, linearidade, limite de detecção, limite de quantificação, precisão, exatidão, recuperação e robustez. A estimativa da incerteza da medição foi realizada pelo software desenvolvido e manualmente, confirmando que o mesmo é adequado para o processo. Além disso, o software foi testado utilizando dados da literatura, o que confirmou sua eficácia. Os resultados da análise da água subterrânea demonstraram que não há a presença de compostos fenólicos nos níveis estudados. A utilização de sistemas automatizados para a estimativa da incerteza diminui ou minimiza erros sistemáticos e permite trabalhar com mais organização e controle do processo. / Dissertação (Mestrado) / IPEN/D / Instituto de Pesquisas Energeticas e Nucleares - IPEN-CNEN/SP