Partial order semantics for use case and task models

Use case models are the specification medium of choice for functional requirements, while task models are employed to capture User Interface (UI) requirements and design information. In current practice, both entities are treated independently and are often developed by different teams, which have their own philosophies and lifecycles. This lack of integration is problematic and often results in inconsistent functional and UI design specifications causing duplication of effort while increasing the maintenance overhead. To address these shortcomings, we propose a formal semantic framework for the integrated development of use case and task models. The semantic mapping is defined in a two step manner from a particular use case or task model notation to the common semantic domain of sets of partially ordered sets. This two-step mapping results in a semantic framework that can be more easily reused and extended. The intermediate semantic domains have been carefully chosen by taking into consideration the intrinsic characteristics of use case and task models. As a concrete example, we provide a semantics for our own DSRG use case formalism and an extended version of ConcurTaskTrees, one of the most popular task model notations. Furthermore, we use the common semantic model to formally define a set of refinement relations for use case and task models.     

Cytocompatibility property evaluation of gas pressure sintered SiAlON-SiC composites with L929 fibroblast cells and Saos-2 osteoblast-like cells

Although the oxide ceramics have widely been investigated for their biocompatibility, non-oxide ceramics, such as SiAlON and SiC are yet to be explored in detail. Lack of understanding of the biocompatibility restricts the use of these ceramics in clinical trials. It is hence, essential to carry out proper and thorough study to assess cell adhesion, cytocompatibility and cell viability on the non-oxide ceramics for the potential applications. In this perspective, the present research work reports the cytocompatibility of gas pressure sintered SiAlON monolith and SiAlON-SiC composites with varying amount of SiC, using connective tissue cells (L929) and bone cells (Saos-2). The quantification of cell viability using MTT assay reveals the non-cytotoxic response. The cell viability has been found to be cell type dependent. An attempt has been made to discuss the cytocompatibility of the developed composites in the light of SiC content and type of sinter additives.     

Preparation and characterisation of thickness dependent nano-structured ZnS thin films by sol–gel technique

Zinc sulfide (ZnS) thin films of different thickness were coated on glass substrates by the sol–gel dip-coating technique. Thickness dependent structural and optical properties of the films were studied in detail. X-ray diffraction (XRD) analysis indicated that the films had mixture of cubic (β) and hexagonal (α) phases with cubic (β) phase being predominant. Scanning electron microscope (SEM) showed that the film surfaces were smooth and crack free. Energy dispersive X-ray (EDX) measurement showed no impurity in the ZnS compound with elemental concentration of Zn/S being 50.38/49.62. Optical measurements showed that optical transmittance of the films were decreased in the visible range as the film thickness increased and band gap of the thin films were estimated to be about 3.61, 3.56, and 3.39?eV for the films with thickness of 100, 220, and 360?nm, respectively. Reactive indices and extinction coefficients of the films were measured by Spectroscopic Ellipsometer. Both the refractive index (n) and extinction coefficient (k) of the films were increased as the film thickness decreased. Electrical measurements showed that the resistivity of the films were decreased as the substrate temperature and film thickness increased.     

Microstructure–permeability relation of porous β-Si3N4 ceramics

Porous β-Si₃N₄ ceramics with two distinct structures were produced by using two different Si₃N₄ sources to investigate the relationship between microstructure and permeability. Results showed that regardless of pore amount, size of pore channels, shape-distribution of β-Si₃N₄ grains are more effective on permeability of porous Si₃N₄ ceramics. Higher permeability and lower contribution of inertial forces was obtained by microstructure consists of coarse and equiaxed grains even at lower porosity amount. Calculated Forchheimer number (F_o) and measured the local breadth of a pore also supported the effect of microstructure on permeability.     

Survey of 55 Turkish Salvia taxa for their acetylcholinesterase inhibitory and antioxidant activities

In the current work, our target was to screen inhibitory potentials of 55 Turkish Salvia taxa, 28 of which are endemic, against acetylcholinesterase (AChE), which is a chief enzyme in pathogenesis of Alzheimer’s disease (AD). The dichloromethane, ethyl acetate, and methanol extracts prepared from 55 Salvia taxa were tested for their AChE inhibitory activity at 25, 50, and 100 μg/ml using an ELISA microplate reader. The extracts were also screened for their scavenging effect against DPPH radical and iron-chelating capacity. Total phenol and total flavonoid contents of Salvia fruticosa were determined. Among the 165 Salvia extracts screened, only the dichloromethane extract of S. fruticosa showed inhibition towards AChE at 100 μg/ml having 51.07% of inhibition, while only the dichloromethane and ethyl acetate extracts of Salvia cilicica had a notable iron-chelating capacity at 100 μg/ml having 54.71% of chelating capacity. Most of the extracts showed remarkable scavenging effect against DPPH radical.     

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.     

Rating and Reliability of Existing Bridges in a Network

Currently, the load rating is the method used by State DOTs for evaluating the safety and serviceability of existing bridges in the United States. In general, load rating of a bridge is evaluated when a maintenance, improvement work, change in strength of members, or addition of dead load alters the condition or capacity of the structure. The AASHTO LRFD specifications provide code provisions for prescribing an acceptable and uniform safety level for the design of bridge components. Once a bridge is designed and placed in service, the AASHTO Manual for Condition Evaluation of Bridges provides provisions for determination of the safety and serviceability of existing bridge components. Rating for the bridge system is taken as the minimum of the component ratings. If viewed from a broad perspective, methods used in the state-of-the-practice condition evaluation of bridges at discrete time intervals and in the state-of-the-art probability-based life prediction share common goals and principles. This paper briefly describes a study conducted on the rating and system reliability-based lifetime evaluation of a number of existing bridges within a bridge network, including prestressed concrete, reinforced concrete, steel rolled beam, and steel plate girder bridges. The approach is explained using a representative prestressed concrete girder bridge. Emphasis is placed on the interaction between rating and reliability results in order to relate the developed approach to current practice in bridge rating and evaluation. The results presented provide a sound basis for further improvement of bridge management systems based on system performance requirements.     

Removal of Basic Red 46 dye from aqueous solution by adsorption and photocatalysis: equilibrium,isotherms, kinetics,and thermodynamic studies

ABSTRACT

In this study, the main objective is the elimination of Basic Red 46 dye by coupling two processes, adsorption on activated clay followed by photocatalysis over ZnO as photocatalyst. The adsorption was investigated under different conditions of pH, adsorbent dose, dye concentrations, and temperature. The best adsorption yield occurs at neutral pH ~ 7 within 60 min with an uptake percentage of 97% for a concentration of 25 mg/L and a dose of 0.5 g/L. The results at equilibrium were successfully described by the Langmuir model with an adsorption capacity of 175 mg/g. To investigate the mechanism of dye adsorption characteristic, the adsorption constants were determined using pseudo first order, pseudo second-order and intraparticle diffusion model. It was found that the Basic Red 46 dye adsorption is well described by the pseudo second-order kinetic. The second part of this work was dedicated to the photodegradation onto ZnO under solar irradiation of the residual BR 46 concentration, remained after adsorption. For the remaining concentrations, the removal yields reach 100% under.     

Comparison of two isolation methods for essential oil from rosemary leaves: Hydrodistillation and microwave hydrodiffusion and gravity

Traditional hydrodistillation (HD) and innovative Microwave Hydrodiffusion and Gravity (MHG) methods have been compared and evaluated for their effectiveness in the isolation of essential oil from fresh Rosmarinus officinalis leaves. The microwave method offers important advantages over traditional alternatives, namely: shorter isolation times (15 min against 3 h for hydrodistillation), environmental impact (energy cost is fairly higher to perform HD than that required for rapid MHG isolation), cleaner features (as no residue generation and no water or solvent used), increases antimicrobial activities, increases antioxidant activity and provides a more valuable essential oil (with high amount of oxygenated compounds). It offers also the possibility for a better reproduction of natural aroma of the essential oil from rosemary leaves than the HD essential oil. Moreover, microwave procedure yielded essential oils that could be analysed or used directly without any clean-up, solvent exchange or centrifugation steps. Scanning electron microscopy shows important structural changes for MHG extraction in contrast to those obtained by HD. Electron micrographs show clearly that the cells are broken and damaged during microwave treatment. Finally, the mechanism of Microwave Hydrodiffusion and Gravity is proposed and discussed.