Methodology for Integrating Computational Tree Logic Model Checking in Unified Modelling Language Artefacts A Case Study of an Embedded Controller

A unified modelling language (UML) based formal verification methodology that can be easily integrated into an embedded system software development life cycle is suggested. The approach augments UML diagrams with formal models through an interfacing domain and adds semantics to these diagrams. The suggested methodology; commences from functional specification and use case modelling, selects the most critical behaviour where formal verification can add value to the development cycle, analyses the selected behaviour using UML state transition diagram, derives a state chart matrix from the same, and a high level language software translates the state chart matrix to a labelled transition system. Safety properties are derived from system specifications and are expressed as computation tree logic (CTL) formulae. CTL model-checking algorithm from the literature is used for model- checking. The applicability of the suggested approach is established using a safety critical embedded controller used for deployment and recovery of sensor structures from an airborne platform

LOW ALTITUDE AIRSHIPS FOR SEAMLESS MOBILE COMMUNICATION IN AIR TRAVEL

The Aviation Administration policy prohibits the use of mobile phones in Aircraft during transition for the reason it may harm their communication system due to Electromagnetic interference. In case the user wants to access cellular network at higher altitudes, base station access is a problem. Large number of channels are allocated to a single user moving at high speed by various Base Stations in the vicinity to service the request requiring more resources. Low Altitude Platforms (LAPs) are provided in the form of Base stations in the Airships with antennas projected upwards which has direct link with the Ground Station. LAPs using LongEndurance Multi-Intelligence Vehicle (LEMVs) equipped with an engine for mobility and stable positioning against rough winds are utilized. This paper proposes a system that allows the passengers to use their mobiles in Aircraft using LAPs as an intermediate system between Aircraft and Ground station. As the Aircraft is dynamic, it has to change its link frequently with the Airships, MANETs using AODV protocol is established in the prototype using NS2 to provide the service and the results are encouraging

Habitual Booking System for LPG with Leakage and Fire Sensing Sanctuary

The design of a wireless LPG leakage monitoring system is proposed for home safety. The aim of this paper is to monitor for LPG leakage to avoid fire accidents providing house safety feature where security has been an important issue and alerts the consumer about the leak by SMS and as an emergency measure the system will turn off the power supply, while activating the alarm. In this paper we proposed the additional advantage of the system is that it continuously monitors the level of the LPG present in the cylinder using load sensor and if the gas level reaches below the threshold limit of gas around 2kg so that the user can replace the old cylinder with new in time and automatically books the cylinder using a GSM module. The device ensures safety and prevents suffocation and explosion due to gas leakage. We have also included DC battery in the system to operate even when the power goes off due to the power cut

WIRELESS WATER QUALITY MONITORING AND DETERIORATION PREDICTION SYSTEM

Water is an essential resource in day-to-day life. Pollution and urbanization have led to higher susceptibility of source water to contamination. There is a pressing need to develop a water quality monitoring system to preserve the quality of source water and ultimately safeguard human health. This proposes a low cost, wireless water quality monitoring system, wherein the quality of water stored in overhead tanks is continuously monitored. The quality of water is measured by parameters that are critical quality indicators. The data encompassing these parameters are stored in a Cloud database (in realtime) along with its timestamp. The quality of water is ascertained based on the comparison of the monitored data to standard well-established thresholds. The data, annotated with its timestamp is treated as a time-series. A univariate non-seasonal Auto Regressive Integrated Moving Average (ARIMA) model is employed to forecast individual water quality parameters. The results of forecasting are used to predict water quality deterioration. The model used is found to have mean square errors of 0.001 for pH, 0.076 for temperature and 0.001 for turbidity between the actual and forecasted values

Assesment of Water Contamination Due to Industry Effluents on Noyyal River Basin

The purpose of this study was to assess the water quality of Noyyal river and to understand the impact of anthropogenic activities on the water quality. Water samples were collected from different sites along the river and analyzed for various physical and chemical parameters. The results of the analysis showed that the water quality of Noyyal river was poor, with levels of certain parameters such as pH, electrical conductivity, and total dissolved solids above the limits set. The results of the analysis also showed that the river was polluted due to the discharge of untreated effluents from various industries located in and around the river. The study also showed that the water quality of Noyyal river was deteriorating due to the anthropogenic activities in the catchment area. The results of this study can be used to develop strategies to improve the water quality of Noyyal river and to protect the catchment area from further degradation

αA-Crystallin Peptide 66SDRDKFVIFLDVKHF80 Accumulating in Aging Lens Impairs the Function of α-Crystallin and Induces Lens Protein Aggregation

The eye lens is composed of fiber cells that are filled with α-, β- and γ-crystallins. The primary function of crystallins is to maintain the clarity of the lens through ordered interactions as well as through the chaperone-like function of α-crystallin. With aging, the chaperone function of α-crystallin decreases, with the concomitant accumulation of water-insoluble, light-scattering oligomers and crystallin-derived peptides. The role of crystallin-derived peptides in age-related lens protein aggregation and insolubilization is not understood.We found that αA-crystallin-derived peptide, (66)SDRDKFVIFLDVKHF(80), which accumulates in the aging lens, can inhibit the chaperone activity of α-crystallin and cause aggregation and precipitation of lens crystallins. Age-related change in the concentration of αA-(66-80) peptide was estimated by mass spectrometry. The interaction of the peptide with native crystallin was studied by multi-angle light scattering and fluorescence methods. High molar ratios of peptide-to-crystallin were favourable for aggregation and precipitation. Time-lapse recordings showed that, in the presence of αA-(66-80) peptide, α-crystallin aggregates and functions as a nucleus for protein aggregation, attracting aggregation of additional α-, β- and γ-crystallins. Additionally, the αA-(66-80) peptide shares the principal properties of amyloid peptides, such as β-sheet structure and fibril formation.These results suggest that crystallin-derived peptides such as αA-(66-80), generated in vivo, can induce age-related lens changes by disrupting the structure and organization of crystallins, leading to their insolubilization. The accumulation of such peptides in aging lenses may explain a novel mechanism for age-related crystallin aggregation and cataractogenesis

Template-Assisted Synthesis and Characterization of Passivated Nickel Nanoparticles

Potential applications of nickel nanoparticles demand the synthesis of self-protected nickel nanoparticles by different synthesis techniques. A novel and simple technique for the synthesis of self-protected nickel nanoparticles is realized by the inter-matrix synthesis of nickel nanoparticles by cation exchange reduction in two types of resins. Two different polymer templates namely strongly acidic cation exchange resins and weakly acidic cation exchange resins provided with cation exchange sites which can anchor metal cations by the ion exchange process are used. The nickel ions which are held at the cation exchange sites by ion fixation can be subsequently reduced to metal nanoparticles by using sodium borohydride as the reducing agent. The composites are cycled repeating the loading reduction cycle involved in the synthesis procedure. X-Ray Diffraction, Scanning Electron Microscopy, Transmission Electron microscopy, Energy Dispersive Spectrum, and Inductively Coupled Plasma Analysis are effectively utilized to investigate the different structural characteristics of the nanocomposites. The hysteresis loop parameters namely saturation magnetization and coercivity are measured using Vibrating Sample Magnetometer. The thermomagnetization study is also conducted to evaluate the Curie temperature values of the composites. The effect of cycling on the structural and magnetic characteristics of the two composites are dealt in detail. A comparison between the different characteristics of the two nanocomposites is also provided

Molecular docking, synthesis and study of substituted 1-Methyl-6-Oxo-2-[(2z)-2-(3-Oxo-4-Phenylazetidin-2-Ylidene)Hydrazinyl]-4-Phenyl-1,6-dihydropyrimidine-5-carbonitrile derivatives

Synthesis of Substituted 2-[(2-chloro-4-oxo-3-phenylazetidin-1-yl)amino]-1-methyl-6-oxo-4-phenyl-1,6-dihydropyrimidine-5-carbonitrile(6a-r) and 1-methyl-6-oxo-2-[(4-oxo-2-phenyl-1,3-thiazolidin-3-yl)amino]-4-phenyl-1,6-dihydropyrimidine-5-carbonitrile (7a-o)Derivatives was completed using aromatic aldehyde, ethylcyanoacetate and thiourea in absolute ethanol as per the standard procedure.The completion of reactionmonitored by TLC and structure were confirmed by spectroscopic method viz FT-IR and 1H NMR and elemental analysis.The affinity of synthesized compounds with CDK4 protein was predicted by molecular docking studies. The docking results showed that compound 6l, 6p and 6r has highest affinity with CDK4 protein with minimum energy with good hydrogen bonding interaction