Theoretical modeling of photon and electron-stimulated Na and K desorption from SiO2

The mechanism of generation of atomic Na and K from SiO2 samples has been studied using explicitly correlated wave function and density functional theory cluster calculations. Possible pathways for the photon and electron stimulated desorption of Na and K atoms from silicates are proposed, thus providing new insight on the generation of the tenuous Na and K atmosphere of the Moon.

Structural, electrical and electrochemical characterization of high frequency magnetron sputtered spinel oxide cathode films for lithium ion battery applications

The main challenges in the deposition of cathode materials in thin film form are the reproduction of stoichiometry close to the bulk material and attaining higher rates of deposition and excellent crystallinity at comparatively lower annealing temperatures. There are several methods available to develop stoichiometric thin film cathode materials including pulsed laser deposition; plasma enhanced chemical vapor deposition, electron beam evaporation, electrostatic spray deposition and RF magnetron sputtering. Among them the most versatile method is the sputtering technique, owing to its suitability for micro-fabricating the thin film batteries directly on chips in any shape or size, and on flexible substrates, with good capacity and cycle life. The main drawback of the conventional sputtering technique using RF frequency of 13.56MHz is its lower rate of deposition, compared to other deposition techniques A typical cathode layer for a thin film battery requires a thickness around one micron. To deposit such thick layers using convention RF sputtering, longer time of deposition is required, since the deposition rate is very low, which is typically 10-20 Å/min. This makes the conventional RF sputtering technique a less viable option for mass production in an economical way. There exists a host of theoretical and experimental evidences and results that higher excitation frequency can be efficiently used to deposit good quality films at higher deposition rates with glow discharge plasma. The effect of frequencies higher than the conventional one (13.56MHz) on the RF magnetron sputtering process has not been subjected to detailed investigations. Attempts have been made in the present work, to sputter deposit spinel oxide cathode films, using high frequency RF excitation source. Most importantly, the major challenge faced by the thin film battery based on the LiMn2O4 cathode material is the poor capacity retention during charge discharge cycling. The major causes for the capacity fading reported in LiMn2O4cathode materials are due to, Jahn-Teller distortion, Mn2+ dissolution into the electrolyte and oxygen loss in cathode material during cycling. The work discussed in this thesis is an attempt on overcoming the above said challenges and developing a high capacity thin film cathode material.

‘Modeling and Analysis of Competing Risks Data’

there has been much research on analyzing various forms of competing risks data. Nevertheless, there are several occasions in survival studies, where the existing models and methodologies are inadequate for the analysis competing risks data. ldentifiabilty problem and various types of and censoring induce more complications in the analysis of competing risks data than in classical survival analysis. Parametric models are not adequate for the analysis of competing risks data since the assumptions about the underlying lifetime distributions may not hold well. Motivated by this, in the present study. we develop some new inference procedures, which are completely distribution free for the analysis of competing risks data.

Analyzing and Modeling a Multiparty Outsourcing Environment.

This paper discusses the complexities involved in managing and monitoring the delivery of IT services in a multiparty outsourcing environment. The complexities identified are grouped into four categories and are tabulated. A discussion on an attempt to model a multiparty outsourcing scenario using UML is also presented and explained using an illustration. Such a model when supplemented by a performance evaluation tool can enable an organization to manage the provision of IT services in a multiparty outsourcing environment more effectively

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

A facile and single pot strategy for the synthesis of novel naphthyridine derivatives under microwave irradiation conditions using ZnCl2 as catalyst, evaluation of AChE inhibitory activity, and molecular modeling studies

A series of novel naphthyridine derivatives 3 and 4 was prepared from substituted pyridine 2 and ketones using ZnCl2 as catalyst under microwave irradiation conditions. All the compounds were evaluated for AChE inhibitory activity and promising compounds 3d, 3e, 4b, and 4g was identified. Representative compounds 3d and 3e were found to show insignificant THLE-2 liver cell viability/toxicity. The binding mode between X-ray crystal structure of human AChE and compounds was studied using molecular docking method and fitness scores were found to be in good correlation with the activity data.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code

Artificial neural network modeling for surface roughness prediction in cylindrical grinding of Al‐SiCp metal matrix composites and ANOVA analysis

Metal matrix composites (MMC) having aluminium (Al) in the matrix phase and silicon carbide particles (SiCp) in reinforcement phase, ie Al‐SiCp type MMC, have gained popularity in the re‐cent past. In this competitive age, manufacturing industries strive to produce superior quality products at reasonable price. This is possible by achieving higher productivity while performing machining at optimum combinations of process variables. The low weight and high strength MMC are found suitable for variety of components

The role of lower partial moments in stochastic modeling

Lower partial moments plays an important role in the analysis of risks and in income/poverty studies. In the present paper, we further investigate its importance in stochastic modeling and prove some characterization theorems arising out of it. We also identify its relationships with other important applied models such as weighted and equilibrium models. Finally, some applications of lower partial moments in poverty studies are also examined

A semi-automatic method for segmentation and 3D modeling of glioma tumors from brain MRI

This work presents an efficient method for volume rendering of glioma tumors from segmented 2D MRI Datasets with user interactive control, by replacing manual segmentation required in the state of art methods. The most common primary brain tumors are gliomas, evolving from the cerebral supportive cells. For clinical follow-up, the evaluation of the pre- operative tumor volume is essential. Tumor portions were automatically segmented from 2D MR images using morphological filtering techniques. These seg- mented tumor slices were propagated and modeled with the software package. The 3D modeled tumor consists of gray level values of the original image with exact tumor boundary. Axial slices of FLAIR and T2 weighted images were used for extracting tumors. Volumetric assessment of tumor volume with manual segmentation of its outlines is a time-consuming proc- ess and is prone to error. These defects are overcome in this method. Authors verified the performance of our method on several sets of MRI scans. The 3D modeling was also done using segmented 2D slices with the help of a medical software package called 3D DOCTOR for verification purposes. The results were validated with the ground truth models by the Radi- ologist.

A New Fast Fractal Modeling Approach for the Detection of Microcalcifications in Mammograms

In this paper, a novel fast method for modeling mammograms by deterministic fractal coding approach to detect the presence of microcalcifications, which are early signs of breast cancer, is presented. The modeled mammogram obtained using fractal encoding method is visually similar to the original image containing microcalcifications, and therefore, when it is taken out from the original mammogram, the presence of microcalcifications can be enhanced. The limitation of fractal image modeling is the tremendous time required for encoding. In the present work, instead of searching for a matching domain in the entire domain pool of the image, three methods based on mean and variance, dynamic range of the image blocks, and mass center features are used. This reduced the encoding time by a factor of 3, 89, and 13, respectively, in the three methods with respect to the conventional fractal image coding method with quad tree partitioning. The mammograms obtained from The Mammographic Image Analysis Society database (ground truth available) gave a total detection score of 87.6%, 87.6%, 90.5%, and 87.6%, for the conventional and the proposed three methods, respectively.

Some Aspects of Domain Specific Conceptual Modeling for Simulation of Logistic Terminal Operations

When simulation modeling is used for performance improvement studies of complex systems such as transport terminals, domain specific conceptual modeling constructs could be used by modelers to create structured models. A two stage procedure which includes identification of the problem characteristics/cluster - ‘knowledge acquisition’ and identification of standard models for the problem cluster – ‘model abstraction’ was found to be effective in creating structured models when applied to certain logistic terminal systems. In this paper we discuss some methods and examples related the knowledge acquisition and model abstraction stages for the development of three different types of model categories of terminal systems

Electrochemical studies of tamsulosin hydrochloride using multiwalled carbon nanotube-modified glassy carbon sensor

A differential pulse voltammetric sensor for the determination of tamsulosin hydrochloride (TAM) using multiwalled carbon nanotubes (MWNTs)–Nafion-modified glassy carbon electrode (GCE) has been developed. MWNTs were dispersed in water with the help of Nafion and were used to modify the surface of GCE via solvent evaporation. At MWNT-modified electrode, TAM gave a well-defined oxidation peak at a potential of 1084 mV in 0.1 M acetate buffer solution of pH 5. Compared to the bare electrode, the peak current of TAM showed a marked increase and the peak potential showed a negative deviation. The determination conditions, such as the amount of MWNT–Nafion suspension, pH of the supporting electrolyte and scan rate, were optimised. Under optimum conditions, the oxidation peak current was proportional to the concentration of TAM in the range 1 × 1023 M–3 × 1027 M with a detection limit of 9.8 × 1028 M. The developed sensor showed good stability, selectivity and was successfully used for the determination of TAM in pharmaceutical formulations and urine samples

Novel Electrochemical and Fluorescence Sensors for Food Additives and Neurotransmitters

There is an enormous demand for chemical sensors in many areas and disciplines including chemistry, biology, clinical analysis, environmental science. Chemical sensing refers to the continuous monitoring of the presence of chemical species and is a rapidly developing field of science and technology. They are analytical devices which transform chemical information generating from a reaction of the analyte into an measurable signal. Due to their high selectivity, sensitivity, fast response and low cost, electrochemical and fluorescent sensors have attracted great interest among the researchers in various fields. Development of four electrochemical sensors and three fluorescent sensors for food additives and neurotransmitters are presented in the thesis. Based on the excellent properties of multi walled carbon nanotube (MWCNT), poly (L-cysteine) and gold nanoparticles (AuNP) four voltammetric sensors were developed for various food additives like propyl gallate, allura red and sunset yellow. Nanosized fluorescent probes including gold nanoclusters (AuNCs) and CdS quantum dots (QDs) were used for the fluorescent sensing of butylated hydroxyanisole, dopamine and norepinephrine. A total of seven sensors including four electrochemical sensors and three fluorescence sensors have been developed for food additives and neurotransmitters.