Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Design of an indirectly fired gas turbine integrated with an organic rankine cycle unit for combined heat and power production

In the last years, the European countries have paid increasing attention to renewable sources and greenhouse emissions. The Council of the European Union and the European Parliament have established ambitious targets for the next years. In this scenario, biomass plays a prominent role since its life cycle produces a zero net carbon dioxide emission. Additionally, biomass can ensure plant operation continuity thanks to its availability and storage ability. Several conventional systems running on biomass are available at the moment. Most of them are performant either in the large-scale or in the small power range. The absence of an efficient system on the small-middle scale inspired this thesis project. The object is an innovative plant based on a wet indirectly fired gas turbine (WIFGT) integrated with an organic Rankine cycle (ORC) unit for combined heat and power production. The WIFGT is a performant system in the small-middle power range; the ORC cycle is capable of giving value to low-temperature heat sources. Their integration is investigated in this thesis with the aim of carrying out a preliminary design of the components. The targeted plant output is around 200 kW in order not to need a wide cultivation area and to avoid biomass shipping. Existing in-house simulation tools are used: They are adapted to this purpose. Firstly the WIFGT + ORC model is built; Zero-dimensional models of heat exchangers, compressor, turbines, furnace, dryer and pump are used. Different fluids are selected but toluene and benzene turn out to be the most suitable. In the indirectly fired gas turbine a pressure ratio around 4 leads to the highest efficiency. From the thermodynamic analysis the system shows an electric efficiency of 38%, outdoing other conventional plants in the same power range. The combined plant is designed to recover thermal energy: Water is used as coolant in the condenser. It is heated from 60°C up to 90°C, ensuring the possibility of space heating. Mono-dimensional models are used to design the heat exchange equipment. Different types of heat exchangers are chosen depending on the working temperature. A finned-plate heat exchanger is selected for the WIFGT heat transfer equipment due to the high temperature, oxidizing and corrosive environment. A once-through boiler with finned tubes is chosen to vaporize the organic fluid in the ORC. A plate heat exchanger is chosen for the condenser and recuperator. A quasi-monodimensional model for single-stage axial turbine is implemented to design both the WIFGT and the ORC turbine. The system simulation after the components design shows an electric efficiency around 34% with a decrease by 10% compared to the zero-dimensional analysis. The work exhibits the system potentiality compared to the existing plants from both technical and economic point of view.

Outsourcing and acquisition models comparison related to IT supplier selection decision analysis

This paper presents a comparison of acquisition models related to decision analysis of IT supplier selection. The main standards are: Capability Maturity Model Integration for Acquisition (CMMI-ACQ), ISO / IEC 12207 Information Technology / Software Life Cycle Processes, IEEE 1062 Recommended Practice for Software Acquisition, the IT Infrastructure Library (ITIL) and the Project Management Body of Knowledge (PMBOK) guide. The objective of this paper is to compare the previous models to find the advantages and disadvantages of them for the future development of a decision model for IT supplier selection.

The NeOn Ontology Models

Interoperability on multiple levels, concerning both the ontologies themselves and their engineering activities, is a key requirement for ontology networks to be efficient, with minimal redundancy and high reuse. This requirement has a strict binding for software tools that can support some interoperability levels, yet they can be hindered by a lack of shared models and vocabularies describing the resources to be handled, as well as the ways of handling them. Here, three examples of metalevel vocabularies are proposed, each covering at least one peculiar interoperability aspect: OMV for modeling the artifacts themselves, LIR for managing a multilingual layer on top of them, and C-ODO Light for modeling collaboration-supportive life cycle management tasks and processes. All of these models lend themselves to handling by dedicated software tools and are all being employed within NeOn products.

Testing of crop Models for Accurate Predictions of Evapotranspiration and crop Water Use

All crop models, whether site-specific or global-gridded and regardless of crop, simulate daily crop transpiration and soil evaporation during the crop life cycle, resulting in seasonal crop water use. Modelers use several methods for predicting daily potential evapotranspiration (ET), including FAO-56, Penman-Monteith, Priestley-Taylor, Hargreaves, full energy balance, and transpiration water efficiency. They use extinction equations to partition energy to soil evaporation or transpiration, depending on leaf area index. Most models simulate soil water balance and soil-root water supply for transpiration, and limit transpiration if water uptake is insufficient, and thereafter reduce dry matter production. Comparisons among multiple crop and global gridded models in the Agricultural Model Intercomparison and Improvement Project (AgMIP) show surprisingly large differences in simulated ET and crop water use for the same climatic conditions. Model intercomparisons alone are not enough to know which approaches are correct. There is an urgent need to test these models against field-observed data on ET and crop water use. It is important to test various ET modules/equations in a model platform where other aspects such as soil water balance and rooting are held constant, to avoid compensation caused by other parts of models. The CSM-CROPGRO model in DSSAT already has ET equations for Priestley-Taylor, Penman-FAO-24, Penman-Monteith-FAO-56, and an hourly energy balance approach. In this work, we added transpiration-efficiency modules to DSSAT and AgMaize models and tested the various ET equations against available data on ET, soil water balance, and season-long crop water use of soybean, fababean, maize, and other crops where runoff and deep percolation were known or zero. The different ET modules created considerable differences in predicted ET, growth, and yield.

The evolution of mass tourism destinations: new approaches beyond deterministic models in Benidorm (Spain)

Although deterministic models of the evolution of mass tourism coastal resorts predict an almost inevitable decline over time, theoretical frameworks of the evolution and restructuring policies of mature destinations should be revised to reflect the complex and dynamic way in which these destinations evolve and interact with the tourism market and global socio-economic environment. The present study examines Benidorm because its urban and tourism model and large-scale tourism supply and demand make it one of the most unique destinations on the Mediterranean coast. The investigation reveals the need to adopt theories and models that are not purely deterministic. The dialectic interplay between external factors and the internal factors inherent in this destination simultaneously reveals a complex and diverse stage of maturity and the ability of destinations to create their own future.

Large scale optimization of a sour water stripping plant using surrogate models

In this work, we propose a new methodology for the large scale optimization and process integration of complex chemical processes that have been simulated using modular chemical process simulators. Units with significant numerical noise or large CPU times are substituted by surrogate models based on Kriging interpolation. Using a degree of freedom analysis, some of those units can be aggregated into a single unit to reduce the complexity of the resulting model. As a result, we solve a hybrid simulation-optimization model formed by units in the original flowsheet, Kriging models, and explicit equations. We present a case study of the optimization of a sour water stripping plant in which we simultaneously consider economics, heat integration and environmental impact using the ReCiPe indicator, which incorporates the recent advances made in Life Cycle Assessment (LCA). The optimization strategy guarantees the convergence to a local optimum inside the tolerance of the numerical noise.

Elucidating the Space-Time Structure of Low Level Warm Season Precipitation Processes in the Southern Appalachian Mountains Using Models and Observations

Light rainfall is the baseline input to the annual water budget in mountainous landscapes through the tropics and at mid-latitudes. In the Southern Appalachians, the contribution from light rainfall ranges from 50-60% during wet years to 80-90% during dry years, with convective activity and tropical cyclone input providing most of the interannual variability. The Southern Appalachians is a region characterized by rich biodiversity that is vulnerable to land use/land cover changes due to its proximity to a rapidly growing population. Persistent near surface moisture and associated microclimates observed in this region has been well documented since the colonization of the area in terms of species health, fire frequency, and overall biodiversity. The overarching objective of this research is to elucidate the microphysics of light rainfall and the dynamics of low level moisture in the inner region of the Southern Appalachians during the warm season, with a focus on orographically mediated processes. The overarching research hypothesis is that physical processes leading to and governing the life cycle of orographic fog, low level clouds, and precipitation, and their interactions, are strongly tied to landform, land cover, and the diurnal cycles of flow patterns, radiative forcing, and surface fluxes at the ridge-valley scale. The following science questions will be addressed specifically: 1) How do orographic clouds and fog affect the hydrometeorological regime from event to annual scale and as a function of terrain characteristics and land cover?; 2) What are the source areas, governing processes, and relevant time-scales of near surface moisture convergence patterns in the region?; and 3) What are the four dimensional microphysical and dynamical characteristics, including variability and controlling factors and processes, of fog and light rainfall? The research was conducted with two major components: 1) ground-based high-quality observations using multi-sensor platforms and 2) interpretive numerical modeling guided by the analysis of the in situ data collection. Findings illuminate a high level of spatial – down to the ridge scale - and temporal – from event to annual scale - heterogeneity in observations, and a significant impact on the hydrological regime as a result of seeder-feeder interactions among fog, low level clouds, and stratiform rainfall that enhance coalescence efficiency and lead to significantly higher rainfall rates at the land surface. Specifically, results show that enhancement of an event up to one order of magnitude in short-term accumulation can occur as a result of concurrent fog presence. Results also show that events are modulated strongly by terrain characteristics including elevation, slope, geometry, and land cover. These factors produce interactions between highly localized flows and gradients of temperature and moisture with larger scale circulations. Resulting observations of DSD and rainfall patterns are stratified by region and altitude and exhibit clear diurnal and seasonal cycles.

Validation of evacuation models

Too often, validation of computer models is considered as a "once and forget" task. In this paper a systematic and graduated approach to evacuation model validation is suggested. This involves, (i) component testing, (ii) functional validation, (iii) qualitative validation and (iv) quantitative validation. Viewed in this manner, validation is considered an on-going activity and an integral part of the life cycle of the software. While the first three components of the validation protocol pose little or no significant problems, the task of quantitative validation poses a number of challenges, the most significant being a shortage of suitable experimental data. Finally, the validation protocol used in the development of the EXODUS suite of evacuation models is examined.

What Is a Firm’s Life Expectancy? Empirical Evidence in the Context of Portuguese Companies

It is a fact that the uncertainty about a firm’s future has to be measured and incorporated into a company’s valuation throughout the explicit analysis period – in the continuing or terminal value within valuation models. One of the concerns that can influence the continuing value of enterprises, which is not explicitly considered in traditional valuation models, is a firm’s average life expectancy. Although the literature has studied the life cycle of a firm, there is still a considerable lack of references on this topic. If we ignore the period during which a company has the ability to produce future cash flows, the valuations can fall into irreversible errors, leading to results markedly different from market values. This paper aims to provide a contribution in this area. Its main objective is to construct a mortality table for non-listed Portuguese enterprises, showing that the use of a terminal value through a mathematical expression of perpetuity of free cash flows is not adequate. We provide the use of an appropriate coefficient to perceive the number of years in which the company will continue to operate until its theoretical extinction. If well addressed regarding valuation models, this issue can be used to reduce or even to eliminate one of the main problems that cause distortions in contemporary enterprise valuation models: the premise of an enterprise’s unlimited existence in time. Besides studying the companies involved in it, from their existence to their demise, our study intends to push knowledge forward by providing a consistent life and mortality expectancy table for each age of the company, presenting models with an explicitly and different survival rate for each year. Moreover, we show that, after reaching a certain age, firms can reinvent their business, acquiring maturity and consequently postponing their mortality through an additional life period.

Life history of a wide-ranging deepwater lantern shark in the north-east Atlantic, Etmopterus spinax (Chondrichthyes: Etmopteridae), with implications for conservation

In this paper, the population biology of the velvet belly lanternshark Etmopterus spinax was studied and life-history coefficients determined. Age was estimated from sections of the second dorsal spine and validated by marginal increment analysis. Males attained a maximum age of 8 years while 11 year-old females were found. Several growth models were fitted and compared for both size-at-age and mass-at-age data, showing that even though this is a small-sized species, it has a relatively slow growth rate. This species matures late, specifically at 49.6 and 42.5% of the maximum observed ages for males and females, respectively. It has a low fecundity, with a mean ovarian fecundity of 9.94 oocytes and a mean uterine fecundity of 7.59 embryos per reproductive cycle. This species seems to have a long reproductive cycle, and even though no conclusive data were obtained, a 2-3 year cycle is possible. The estimated coefficients indicate that this species has a vulnerable life cycle, typical of deepwater squalid sharks. Given the high fishing pressures that it is suffering in the north-east Atlantic, this fish may already be facing severe declines or in risk of facing them in the near future. (C) 2008 The Authors Journal compilation (C) 2008 The Fisheries Society of the British Isles

The anticancer drug tamoxifen is active against Trypanosoma cruzi in vitro but ineffective in the treatment of the acute phase of Chagas disease in mice

The activity of the antineoplastic drug tamoxifen was evaluated against Trypanosoma cruzi. In vitro activity was determined against epimastigote, trypomastigote and amastigote forms of CL14, Y and Y benznidazole resistant T. cruzi strains. Regardless of the strain used, the drug was active against all life-cycle stages of the parasite with a half maximal effective concentration ranging from 0.7-17.9 µM. Two experimental models of acute Chagas disease were used to evaluate the in vivo efficacy of treatment with tamoxifen. No differences in parasitemia and mortality were observed between control mock-treated and tamoxifen-treated mice.

Cryptic species, life cycles, and the phylogeny of Clytia (Cnidaria: Hydrozoa: Campanulariidae)

Medusae and polyps of Clytia are abundantly found in coastal marine environments and one species in the genus-Clytia hemisphaerica (Linnaeus, 1767)-has become an important experimental model. Yet, only 10 species in the genus have had their life cycle investigated. Most species of Clytia are also poorly described, and detailed life cycle and morphological studies are needed for accurate species-level identifications. Here, we investigated the life cycle of Clytia elsaeoswaldae Stechow, 1914, a species described for the tropical western Atlantic and subsequently considered conspecific to the nearly-cosmopolitan species Clytia gracilis (Sars, 1850) and Clytia hemisphaerica, originally described for the temperate North Atlantic. Based on observations of mature medusae and multiple colonies from southeastern Brazil and the U. S. Virgin Islands (type locality), our results show that C. elsaeoswaldae is morphologically distinct from C. gracilis and C. hemisphaerica. The morphological results are corroborated by a multigene phylogenetic analysis of the genus Clytia, which shows that C. gracilis-like species form a polyphyletic group of several species. These results suggest that the nearly-cosmopolitan distribution attributed to some species of Clytia may be due to the non-recognition of morphologically similar species with more restricted ranges.

Shelf and estuarine transport mechanisms affecting the supply of competent larvae in a suite of brachyuran crabs with different life histories

Supply of competent larvae to the benthic habitat is a major determinant of population dynamics in coastal and estuarine invertebrates with an indirect life cycle. Larval delivery may depend not only on physical transport mechanisms, but also on larval behavior and physiological progress to the competent stage. Yet, the combined analysis of such factors has seldom been attempted. We used time-series analyses to examine tide- and wind-driven mechanisms responsible for the supply of crab megalopae to an estuarine river under a major marine influence in SW Spain, and monitored the vertical distribution of upstream moving megalopae, their net flux and competent state. The species Panopeus africanus (estuarine), Brachynotus sexdentatus (euryhaline) and Nepinnotheres pinnotheres (coastal) comprised 80% of the whole sample, and responded in a similar way to tide and wind forcing. Tidal range was positively correlated to supply, with maxima 0 to 1 d after spring tides, suggesting selective tidal stream transport. Despite being extensively subjected to upwelling, downwind drift under the effect of westerlies, not Ekman transport, explained residual supply variation at our sampling area. Once in the estuary, net flux and competence state matched the expected trends. Net upstream flux increased from B. sexdentatus to P. africanus, favoring transport to a sheltered coastal habitat (N. pinnotheres), or to the upper estuary (P. africanus). Competence state was highest in N. pinnotheres, intermediate in B. sexdentatus and lowest in P. africanus, as expected if larvae respond to cues from adequate benthic habitat. P. africanus megalopae were found close to the bottom, not above, rendering slower upstream transport than anticipated.

Process oriented framework to support PLM implementation

Product lifecycle management (PLM) innovates as it defines both the product as a central element to aggregate enterprise information and the lifecycle as a new time dimension for information integration and analysis. Because of its potential benefits to shorten innovation lead-times and to reduce costs, PLM has attracted a lot of attention at industry and at research. However, the current PLM implementation stage at most organisations still does not apply the lifecycle management concepts thoroughly. In order to close the existing realisation gap, this article presents a process oriented framework to support effective PLM implementation. The framework central point consists of a set of lifecycle oriented business process reference models which links the necessary fundamental concepts, enterprise knowledge and software solutions to effectively deploy PLM. (c) 2007 Elsevier B.V. All rights reserved.