Testing a system specified using Statecharts and Z

A hybrid specification language SZ, in which the dynamic behaviour of a system is described using Statecharts and the data and the data transformations are described using Z, has been developed for the specification of embedded systems. This paper describes an approach to testing from a deterministic sequential specification written in SZ. By considering the Z specifications of the operations, the extended finite state machine (EFSM) defined by the Statechart can be rewritten to produce an EFSM that has a number of properties that simplify test generation. Test generation algorithms are introduced and applied to an example. While this paper considers SZ specifications, the approaches described might be applied whenever the specification is an EFSM whose states and transitions are specified using a language similar to Z

Amorphous procedure extraction

The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted

Amorphous procedure extraction

The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted

Apoptotic and chemotherapeutic properties of iron(III)-salophene in an ovarian cancer animal model

The cytotoxicity of organometallic compounds iron(III)-, cobalt(III)-, manganese(II)-, and copper(II)-salophene (-SP) on platinum-resistant ovarian cancer cell lines was compared. Fe-SP displayed selective cytotoxicity (IC 50 at ∼1 μM) against SKOV-3 and OVCAR-3 cell lines while Co-SP caused cytotoxic effects only at higher concentrations (IC50 at 60 ?M) and Cu-SP effects were negligible. High cytotoxicity of Mn-SP (30-60 μM) appeared to be nonspecific because the Mn-chloride salt reduced cell viability similarly. The effect of Fe-SP at 1 μM proved to be ovarian cancer cell selective when compared to a panel of cell lines derived from different tumors. The first irreversible step in the induction of cell death by Fe-SP occurred after 3 hrs as indicated by the mitochondrial transmembrane potential (ΔΨm) and was mainly linked to apoptotic, not necrotic events. To evaluate the toxicity of Fe-SP in vivo we conducted an acute toxicity study in rats. The LD 50 of Fe-SP is >2000 mg/kg orally and >5.5 mg/kg body weight by intraperitoneal injection. An ovarian cancer animal model showed that the chemotherapeutic relevant dose of Fe-SP in rats is 0.5-1 mg/kg body weight. The present report suggests that Fe-SP is a potential therapeutic drug to treat ovarian cancer. © 2009 Lange et al, publisher and licensee Dove Medical Press Ltd

In vitro mass multiplication of pomegranate from cotyledonary nodal explants cv. Ganesh

For surface sterilization of explants, treatment involving HgCl2 (0.1 %) for 3 min gave better sterilization of cotyledonary nodal explants. The maximum percentage establishment of cotyledonary node explants was observed on Murashige and Skoog (MS) medium + 1.0 mg/l 6-benzylaminopurine (BAP) + 0.5 mg/l naphthaleneacetic acid (NAA). However, MS medium fortified with 1.0 mg/l BAP + 1.0 mg/l kinetin + 200 mg/l activated charcoal exhibited maximum multiplication rate for the first two subcultures. The maximum frequency of multiple shoots in cotyledonary explants (86.33 %) was observed on treatment MS + 1.0 mg/l BAP + 1.0 mg/l kinetin + 200 mg/l activated charcoal. In vitro rooting of regenerated shoot was found in half strength MS medium supplemented with 0.5 mg/l NAA + 200 mg/l activated charcoal, which recorded the maximum number of root/shoot (4.17) and root length (3.87 cm). In vitro grown plantlets having 5 to 6 cm length of shoot were transferred to vermicompost + soil (1:1v/v) media kept in net house, which showed better survival of plantlet (85.50%) within 11.75 days.Keywords: Establishment, multiplication, rooting, acclimatization, Punica granatumAfrican Journal of Biotechnology Vol. 12(20), pp. 2863-286

Analytical Estimation of Radar Cross Section of Dipole Array with Parallel Feed

The scattering characteristics of a phased array depends on its design parameters including its feed. In this paper, the radar cross section of dipole array with parallel-feed network is calculated. The scattered field is obtained by in terms of reflection and transmission coefficients at each component level of the array system. The mutual coupling effect is considered. Scattering till second level of couplers in feed network is taken into account. The analysis presented can be useful in low RCS phased array design

DNMTs are required for delayed genome instability caused by radiation

This is an open-access article licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License. The article may be redistributed, reproduced, and reused for non-commercial purposes, provided the original source is properly cited - Copyright @ 2012 Landes Bioscience.The ability of ionizing radiation to initiate genomic instability has been harnessed in the clinic where the localized delivery of controlled doses of radiation is used to induce cell death in tumor cells. Though very effective as a therapy, tumor relapse can occur in vivo and its appearance has been attributed to the radio-resistance of cells with stem cell-like features. The molecular mechanisms underlying these phenomena are unclear but there is evidence suggesting an inverse correlation between radiation-induced genomic instability and global hypomethylation. To further investigate the relationship between DNA hypomethylation, radiosensitivity and genomic stability in stem-like cells we have studied mouse embryonic stem cells containing differing levels of DNA methylation due to the presence or absence of DNA methyltransferases. Unexpectedly, we found that global levels of methylation do not determine radiosensitivity. In particular, radiation-induced delayed genomic instability was observed at the Hprt gene locus only in wild-type cells. Furthermore, absence of Dnmt1 resulted in a 10-fold increase in de novo Hprt mutation rate, which was unaltered by radiation. Our data indicate that functional DNMTs are required for radiation-induced genomic instability, and that individual DNMTs play distinct roles in genome stability. We propose that DNMTS may contribute to the acquirement of radio-resistance in stem-like cells.This study is funded by NOTE, BBSRC and the Royal Society Dorothy Hodgkin Research Fellowship

An overview of municipal solid waste management in Jaipur city, India - Current status, challenges and recommendations

In developing countries, urbanization and rapid population growth has resulted in a substantial increase in generation of Municipal Solid Waste (MSW). Safe collection, transportation and treatment of MSW are among the major issues for Indian cities. Poor MSW management practices have negative impact on public health, environment and climate change. India currently only treats 21% of MSW while the remainder disposed in unsanitary landfill sites with no recycling and treatment technologies. This paper reviews the existing MSW management practices, challenges and provides recommendations for improving MSW management for the city of Jaipur in Rajasthan, India. Despite being the state capital as well as the top tourist destination in northern part of India, there is no detailed study which reviews the waste management strategies of this city along with identifying the key challenges. The study reveals that the major challenges for MSW management in Jaipur include uncontrolled landfilling, inadequate public participation as well as failings of implementation of MSW legislation and waste conversion. Recommendations for improvement include public awareness campaigns, public-private partnership, investment in lined landfills, recycling and waste to energy techniques. Optimization models and life cycle assessment tools should be employed to minimize cost and the environmental impact of MSW management. This study will provide policy makers and private sector stakeholders to develop strategies for future planning, investment and execution of improved MSW management in Indian cities