Water Exchange through Canal İstanbul and Bosphorus Strait

The Turkish Straits System (TSS) regulates the transports of water, material and energy between the Black Sea and the Mediterranean Sea. Amidst existing environmental threats to the region surrounding İstanbul, the environmental footprint of the proposed Canal İstanbul project needs to be evaluated through methods of natural science. We take the elementary step to answer the particular problem of coupled strait dynamics by adding the Canal to an existing hydrodynamic model and estimate changes in their common response. Compared to the virtually unmodified exchange flow in the Bosphorus, the flow in the Canal has a weak lower layer current component, contrasted with intense currents at the exit controls at its junction with the Marmara Sea. The net flux through this simplest hypothetical TSS configuration is considerably increased for a given sea level difference across the system. The modified regime is expected to have climatological consequences

Quantitative Limits on Small Molecule Transport via the Electropermeome - Measuring and Modeling Single Nanosecond Perturbations

The detailed molecular mechanisms underlying the permeabilization of cell membranes by pulsed electric fields (electroporation) remain obscure despite decades of investigative effort. To advance beyond descriptive schematics to the development of robust, predictive models, empirical parameters in existing models must be replaced with physics- and biology-based terms anchored in experimental observations. We report here absolute values for the uptake of YO-PRO-1, a small-molecule fluorescent indicator of membrane integrity, into cells after a single electric pulse lasting only 6 ns. We correlate these measured values, based on fluorescence microphotometry of hundreds of individual cells, with a diffusion-based geometric analysis of pore-mediated transport and with molecular simulations of transport across electropores in a phospholipid bilayer. The results challenge the drift and diffusion through a pore model that dominates conventional explanatory schemes for the electroporative transfer of small molecules into cells and point to the necessity for a more complex model

Optimizing decomposition of software architecture for local recovery

Cataloged from PDF version of article.The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, fault tolerance techniques have become more important. An essential element of fault tolerance is the recovery from failures. Local recovery is an effective approach whereby only the erroneous parts of the system are recovered while the other parts remain available. For achieving local recovery, the architecture needs to be decomposed into separate units that can be recovered in isolation. Usually, there are many different alternative ways to decompose the system into recoverable units. It appears that each of these decomposition alternatives performs differently with respect to availability and performance metrics. We propose a systematic approach dedicated to optimizing the decomposition of software architecture for local recovery. The approach provides systematic guidelines to depict the design space of the possible decomposition alternatives, to reduce the design space with respect to domain and stakeholder constraints and to balance the feasible alternatives with respect to availability and performance. The approach is supported by an integrated set of tools and illustrated for the open-source MPlayer software

Forecasting circulation in the Cilician Basin of the Levantine Sea

International audienceThe Cilician Basin/Shelf Model is adapted for studying the shelf circulation in the Cilician Basin ? Gulf of ?skenderun region of the Levantine Basin of the Eastern Mediterranean between the Turkish Mediterranean coast, Syria and the island of Cyprus. The model initial conditions and open boundary conditions are supplied by the ALERMO regional model of the Levantine Sea, while interactive surface flux boundary conditions are specified by an atmospheric boundary layer sub-model using calculated water properties and surface atmospheric variables supplied by the Skiron atmospheric model, within the nested modelling approach of the MFSTEP (Mediterranean Forecasting System: Towards Environmental Predictions) project. Sensitivity tests are performed for alternative surface boundary conditions. Model performance for shelf/meso-scale forecasts is demonstrated

Increasing test efficiency by risk-driven model-based testing

Due to copyright restrictions, the access to the full text of this article is only available via subscription.We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise a set of states and a set of state transitions that are annotated with probability values. These values steer the test case generation process, which aims at covering the most probable paths. RIMA refines these models in 3 steps. First, it updates transition probabilities based on a collected usage profile. Second, it updates the resulting models based on fault likelihood at each state, which is estimated based on static code analysis. Third, it performs updates based on error likelihood at each state, which is estimated with dynamic analysis. The approach is evaluated with two industrial case studies for testing digital TVs and smart phones. Results show that the approach increases test efficiency by revealing more faults in less testing time.Vestel Electronics ; Turkish Ministry of Science, Industry and Technolog

Composing domain-specific physical models with general-purpose software modules in embedded control software

Due to copyright restrictions, the access to the full text of this article is only available via subscription.A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain