BPMN process views construction

Process view technology is catching more attentions in modern business process management, as it enables the customisation of business process representation. This capability helps improve the privacy protection, authority control, flexible display, etc., in business process modelling. One of approaches to generate process views is to allow users to construct an aggregate on their underlying processes. However, most aggregation approaches stick to a strong assumption that business processes are always well-structured, which is over strict to BPMN. Aiming to build process views for non-well-structured BPMN processes, this paper investigates the characteristics of BPMN structures, tasks, events, gateways, etc., and proposes a formal process view aggregation approach to facilitate BPMN process view creation. A set of consistency rules and construction rules are defined to regulate the aggregation and guarantee the order preservation, structural and behaviour correctness and a novel aggregation technique, called EP-Fragment, is developed to tackle non-well-structured BPMN processes.

Modeling ecological and evolutionary processes in spatially structured populations

Many species inhabit fragmented landscapes, resulting either from anthropogenic or from natural processes. The ecological and evolutionary dynamics of spatially structured populations are affected by a complex interplay between endogenous and exogenous factors. The metapopulation approach, simplifying the landscape to a discrete set of patches of breeding habitat surrounded by unsuitable matrix, has become a widely applied paradigm for the study of species inhabiting highly fragmented landscapes. In this thesis, I focus on the construction of biologically realistic models and their parameterization with empirical data, with the general objective of understanding how the interactions between individuals and their spatially structured environment affect ecological and evolutionary processes in fragmented landscapes. I study two hierarchically structured model systems, which are the Glanville fritillary butterfly in the Åland Islands, and a system of two interacting aphid species in the Tvärminne archipelago, both being located in South-Western Finland. The interesting and challenging feature of both study systems is that the population dynamics occur over multiple spatial scales that are linked by various processes. My main emphasis is in the development of mathematical and statistical methodologies. For the Glanville fritillary case study, I first build a Bayesian framework for the estimation of death rates and capture probabilities from mark-recapture data, with the novelty of accounting for variation among individuals in capture probabilities and survival. I then characterize the dispersal phase of the butterflies by deriving a mathematical approximation of a diffusion-based movement model applied to a network of patches. I use the movement model as a building block to construct an individual-based evolutionary model for the Glanville fritillary butterfly metapopulation. I parameterize the evolutionary model using a pattern-oriented approach, and use it to study how the landscape structure affects the evolution of dispersal. For the aphid case study, I develop a Bayesian model of hierarchical multi-scale metapopulation dynamics, where the observed extinction and colonization rates are decomposed into intrinsic rates operating specifically at each spatial scale. In summary, I show how analytical approaches, hierarchical Bayesian methods and individual-based simulations can be used individually or in combination to tackle complex problems from many different viewpoints. In particular, hierarchical Bayesian methods provide a useful tool for decomposing ecological complexity into more tractable components.

A fluctuation-based characterization of athermal phase transitions:Application to shape memory alloys

We employ a fluctuation-based technique to investigate the athermal component associated with martensite phase transition, which is a prototype of temperature-driven structural transformation. Statistically, when the phase transition is purely athermal, we find that the temporal sequence of avalanches under constant drive is insensitive to the drive rate. We have used fluctuations in electrical resistivity or noise in nickel titanium shape memory alloys in three different forms: a thin film exhibiting well-defined transition temperatures,a highly disordered film, and a bulk wire of rectangular cross-section. Noise is studied in the realm of dynamic transition,viz.while the temperature is being ramped, which probes into the kinetics of the transformation at real time scales,and could probably stand out as a promising tool for material testing in various other systems, including nanoscale devices.

Invariant-preserving Petri net reduction and conditions for invariant-existence

The use of invariants is an important tool for analysis of distributed and concurrent systems modeled by Petri nets. For a large practical system, the computation of desired invariants by the existing techniques is a time-consuming task. This paper proposes a theoretical foundation for simplified computation of desired invariants. We provide invariant-preserving Petri net reduction rules followed by the conditions for the existence of invariants in various well-structured nets. If an invariant exists, it can be found directly from the net structure using the formulas derived, or by applying the existing techniques on the reduced net.

Frustrated Lewis pairs: Design and reactivity

The interaction of a Lewis acid with a Lewis base results in the formation of a Lewis acid base adduct. Understanding Lewis acids and bases is central to conceptualizing chemical interactions and constitutes a major portion of metal ligand chemistry. Sterically encumbered/constrained Lewis pairs cannot form acid-base adducts, but such `Frustrated Lewis Pairs' (FLPs), with their unquenched electronic demands can be elegantly used to simultaneously react with a third species, resulting in unusual reactivity of small molecules. Such unusual reactions, explored only in the last few years, have found several applications, e.g., heterolytic splitting of H-2, activation of small molecules (CO2, N2O, etc.). FLPs have opened new opportunities in synthetic chemistry, covering organic, main group as well as transition metal chemistry. The design strategies adopted for FLP systems and their unique reactivity are discussed here.

I. Quantum mechanics of one-dimensional two-particle models. II. A quantum mechanical treatment of inelastic collisions

Part I

Solutions of Schrödinger’s equation for system of two particles bound in various stationary one-dimensional potential wells and repelling each other with a Coulomb force are obtained by the method of finite differences. The general properties of such systems are worked out in detail for the case of two electrons in an infinite square well. For small well widths (1-10 a.u.) the energy levels lie above those of the noninteresting particle model by as much as a factor of 4, although excitation energies are only half again as great. The analytical form of the solutions is obtained and it is shown that every eigenstate is doubly degenerate due to the “pathological” nature of the one-dimensional Coulomb potential. This degeneracy is verified numerically by the finite-difference method. The properties of the square-well system are compared with those of the free-electron and hard-sphere models; perturbation and variational treatments are also carried out using the hard-sphere Hamiltonian as a zeroth-order approximation. The lowest several finite-difference eigenvalues converge from below with decreasing mesh size to energies below those of the “best” linear variational function consisting of hard-sphere eigenfunctions. The finite-difference solutions in general yield expectation values and matrix elements as accurate as those obtained using the “best” variational function.

The system of two electrons in a parabolic well is also treated by finite differences. In this system it is possible to separate the center-of-mass motion and hence to effect a considerable numerical simplification. It is shown that the pathological one-dimensional Coulomb potential gives rise to doubly degenerate eigenstates for the parabolic well in exactly the same manner as for the infinite square well.

Part II

A general method of treating inelastic collisions quantum mechanically is developed and applied to several one-dimensional models. The formalism is first developed for nonreactive “vibrational” excitations of a bound system by an incident free particle. It is then extended to treat simple exchange reactions of the form A + BC →AB + C. The method consists essentially of finding a set of linearly independent solutions of the Schrödinger equation such that each solution of the set satisfies a distinct, yet arbitrary boundary condition specified in the asymptotic region. These linearly independent solutions are then combined to form a total scattering wavefunction having the correct asymptotic form. The method of finite differences is used to determine the linearly independent functions.

The theory is applied to the impulsive collision of a free particle with a particle bound in (1) an infinite square well and (2) a parabolic well. Calculated transition probabilities agree well with previously obtained values.

Several models for the exchange reaction involving three identical particles are also treated: (1) infinite-square-well potential surface, in which all three particles interact as hard spheres and each two-particle subsystem (i.e. BC and AB) is bound by an attractive infinite-square-well potential; (2) truncated parabolic potential surface, in which the two-particle subsystems are bound by a harmonic oscillator potential which becomes infinite for interparticle separations greater than a certain value; (3) parabolic (untruncated) surface. Although there are no published values with which to compare our reaction probabilities, several independent checks on internal consistency indicate that the results are reliable.

Large-Scale Neural Systems for Vision and Cognition

— Consideration of how people respond to the question What is this? has suggested new problem frontiers for pattern recognition and information fusion, as well as neural systems that embody the cognitive transformation of declarative information into relational knowledge. In contrast to traditional classification methods, which aim to find the single correct label for each exemplar (This is a car), the new approach discovers rules that embody coherent relationships among labels which would otherwise appear contradictory to a learning system (This is a car, that is a vehicle, over there is a sedan). This talk will describe how an individual who experiences exemplars in real time, with each exemplar trained on at most one category label, can autonomously discover a hierarchy of cognitive rules, thereby converting local information into global knowledge. Computational examples are based on the observation that sensors working at different times, locations, and spatial scales, and experts with different goals, languages, and situations, may produce apparently inconsistent image labels, which are reconciled by implicit underlying relationships that the network’s learning process discovers. The ARTMAP information fusion system can, moreover, integrate multiple separate knowledge hierarchies, by fusing independent domains into a unified structure. In the process, the system discovers cross-domain rules, inferring multilevel relationships among groups of output classes, without any supervised labeling of these relationships. In order to self-organize its expert system, the ARTMAP information fusion network features distributed code representations which exploit the model’s intrinsic capacity for one-to-many learning (This is a car and a vehicle and a sedan) as well as many-to-one learning (Each of those vehicles is a car). Fusion system software, testbed datasets, and articles are available from http://cns.bu.edu/techlab.

The effect of patient characteristics upon uptake of the influenza vaccination: a study comparing community based older adults in two healthcare systems

Background: Uptake of influenza vaccination represents a simple marker of proactive care of older people. However, many still do not receive the vaccine. To understand this challenge better, we investigated the relationship between patient characteristics (demographic, physical and psychological health, and health service use) and vaccination uptake in a sample of community-dwelling older people in two adjacent but differently structured healthcare systems (Northern Ireland (NI) and the Republic of Ireland (RoI)). Methods: 2,033 randomly selected community-dwelling older adults (65 years and older) were interviewed in their homes. Results: Rates of uptake were 78% in NI and 72% in RoI. Uptake was greater with older age (odds ratio (OR) 1.6, 95% confidence interval (CI) = 1.3-2.1, p

Modelling Duqu 2.0 Malware using Attack Trees with Sequential Conjunction

In this paper we identify requirements for choosing a threat modelling formalisation for modelling sophisticated malware such as Duqu 2.0. We discuss the gaps in current formalisations and propose the use of Attack Trees with Sequential Conjunction when it comes to analysing complex attacks. The paper models Duqu 2.0 based on the latest information sourced from formal and informal sources. This paper provides a well structured model which can be used for future analysis of Duqu 2.0 and related attacks.

The transition from pediatric to adult health care services for young adults with a disability : an ethical perspective

Young children with disabilities and their carers or parents tend to form a long-term dependent relationship with a paediatrician throughout childhood At some stage when the young person with a disability reaches early adulthood, the relationship is severed This paper draws upon recent research undertaken by the authors that describes the difficulties experienced by young people with disabilities as they go through the transition from paediatric care to adult mainstream health care services. The purpose of this article is to present the argument that the dependent, paternalistic relationship that tends to exist between young people with disabilities (and/or their carers) and paediatricians throughout childhood does not facilitate the successful negotiation of adult mainstream health care services, nor optimally promote the well-being of these young people with disabilities. It is proposed that the promotion of autonomy (or self-determination) via a well planned transition program will increase the likelihood that young adults with disabilities and/or their carers will be empowered to successfully negotiate the current mainstream health care system in Australia, and will enhance the well-being of young adults with disabilities.

Proposta de sistemática para a avaliação e controle de custos em propriedades rurais : o caso de uma empresa de criação de gado

Esta dissertação discute a gestão de Custos em propriedades rurais, tendo como objetivo principal a proposição de uma sistemática para avaliação e controle de custos em propriedades rurais, bem como mensurar os custos unitários dos produtos resultantes dos processos de produção referentes à pecuária. Para formulação desta sistemática, revisou-se a literatura sobre as mudanças ocorridas no decorrer dos últimos anos no setor primário da economia brasileira bem como, os sistemas de gestão em propriedades rurais. Uma revisão literária sobre os princípios de custeio (total, parcial e variável) e métodos de custeio (custo padrão, centro de custos e custeio baseado em atividades) também foi efetuada. A sistemática proposta foi estruturada em seis etapas: (1) análise dos contextos interno e externo da propriedade rural; (2) identificação da base conceitual; (3) estruturação do sistema de custos; (4) escolha do sistema de custos a utilizar; (5) aplicação prática do sistema de custos e análise da Evolução dos custos; (6) avaliação do resultado e identificação das oportunidades de melhoria. Com a aplicação prática do modelo em uma propriedade rural da região oeste do estado do Rio Grande do Sul foi possível concluir que a sistemática alcançou os objetivos já citados, e que a aplicação do método ABC seria um complemento refinado ao sistema de custos da empresa.

Linguagens da cidadania: os brasileiros escrevem para a Constituinte de 1987/1988

Esta tese analisa uma amostra de cartas pessoais que integram o fundo documental Coleção Memória da Constituinte, depositado no Arquivo Histórico do Museu da República. Esse fundo reúne documentos produzidos no curso do processo político que resultou na promulgação da atual Constituição Federal brasileira. O Brasil vivenciava um momento de transição democrática, que tinha por objetivo pôr fim ao regime autoritário instalado no país a partir do golpe civil-militar de 1964. A reconstitucionalização colocava-se como a via democrática de luta contra o autoritarismo, recebendo forte e crescente apoio social e tornando-se inclusive um ponto-chave na articulação da eleição indireta de Tancredo Neves e José Sarney à Presidência e Vice-Presidência da República em 1985. Com a eleição e morte de Tancredo, Sarney assume a Presidência e propõe oficialmente a convocação de uma Assembleia Nacional Constituinte no país. Tem início um intenso debate na sociedade e negociações em torno do tipo de Constituinte que se desejava estabelecer, com destaque para a organização de um amplo e bem estruturado movimento social em prol da participação popular na Constituinte, então aclamada como uma condição para a construção de um Brasil verdadeiramente democrático. As cartas analisadas nesta tese inserem-se no quadro das iniciativas de participação na Constituinte empreendidas no país. Elas foram escritas por populares, em razão daquele momento de reconstitucionalização, e enviadas a autoridades do mundo da política. Registram reivindicações, pedidos, comentários, críticas, denúncias e sugestões da população para a futura Constituição. O objetivo da tese é, por um lado, mostrar que essas cartas são formas de participação política, singulares e especiais, que valorizam a dimensão democrática da política. Por outro, identificar os sentidos atribuídos nas cartas às noções de “direitos do cidadão” e “deveres dos representantes políticos”, naquele momento em que o país se colocava a tarefa de elaborar uma nova Constituição – a “Constituição Cidadã”.

Alguns aspectos sobre o processo da democratização dos sistemas políticos no mundo árabe :Egito e Líbano como modelos de estudo

The World has tried diverse democratic waves at distinct moments. Some nations have adopted the idea of the democracy for years; others have not yet and other ones are still in a slow process of transition. The field of studies on the Arabian political systems has testified since the last quarter of 20th century a notorious development. This advance disclosed in the existence of a set of trends that has turned around a number of concepts and main theoretical frames such as the political pluralism and the democratic transition and the civil society and its relation with the State. The speech on the process of democratic transition consists in part in the capture and the analysis of the role of the forces and the organizations of the civil society in this process. The peculiarities of the Arab World excite questions concerning the establishment of one governmental system in this universe in the mold of that one that develops with hegemony in the Occident, which has become an interesting field of inquiries for the Political Science. This study comprises the analysis of some aspects of the political situation in the Arab World towards the process of democratization in which Egypt and Lebanon are models of study. Thus the theoretical basis of the term democracy is introduced, presenting different considerations about this expression, since the sprouting of the term until its current conception; later the civil society is analyzed as well as the systems of the political parties and the electoral systems of both countries in attempt to identify the level of democratization existing there and also to find the possible ways to magnify the democratic horizons

Investigation of phase transition in ferroelectric Pb0.70Sr0.30TiO3 thin films

We have carried out dielectric and Raman spectroscopy studies at the 298-623 K temperature range in polycrystalline Pb0.70Sr0.30TiO3 thin films grown by a soft chemical method. The diffuse phase-transition behavior of the thin films was observed by means of the dielectric constant versus temperature curves, which show a broad peak. Such behavior was confirmed later by Raman spectroscopy measurements up to 823 K, indicating that a diffuselike phase transition takes place at around 548-573 K. The damping factor of the E(1TO) soft mode was calculated using the damped simple harmonic oscillator model. on the other hand, Raman modes persist above the tetragonal to cubic phase transition temperature although all optical modes should be Raman inactive. The origin of these modes was interpreted in terms of a breakdown of the microscopic local cubic symmetry by chemical disorder. The lack of a well-defined transition temperature and the presence of broad bands at some temperature interval above the ferroelectric-paraelectric phase-transition temperature suggested a diffuse nature of the phase transition. This result corroborates the dielectric constant versus temperature data, which showed a broad ferroelectric phase transition in this thin film. (C) 2004 American Institute of Physics.

Electrical conduction mechanism and phase transition studies using dielectric properties and Raman spectroscopy in ferroelectric Pb0.76Ca0.24TiO3 thin films

We have studied the phase transition behavior of Pb0.76Ca0.24TiO3 thin films using Raman scattering and dielectric measurement techniques. We also have studied the leakage current conduction mechanism as a function of temperature for these thin films on platinized silicon substrates. A Pb0.76Ca0.24TiO3 thin film was prepared using a soft chemical process, called the polymeric precursor method. The results showed that the dependence of the dielectric constant upon the frequency does not reveal any relaxor behavior. However, a diffuse character-type phase transition was observed upon transformation from a cubic paraelectric phase to a tetragonal ferroelectric phase. The temperature dependency of Raman scattering spectra was investigated through the ferroelectric phase transition. The soft mode showed a marked dependence on temperature and its disappearance at about 598 K. on the other hand, Raman modes persist above the tetragonal to cubic phase transition temperature, although all optical modes should be Raman inactive above the phase transition temperature. The origin of these modes must be interpreted in terms of a local breakdown of cubic symmetry by some kind of disorder. The lack of a well-defined transition temperature suggested a diffuse-type phase transition. This result corroborate the dielectric constant versus temperature data, which showed a broad ferroelectric phase transition in the thin film. The leakage current density of the PCT24 thin film was studied at elevated temperatures, and the data were well fitted by the Schottky emission model. The Schottky barrier height of the PCT24 thin film was estimated to be 1.49 eV. (C) 2003 American Institute of Physics.