Java-MaC: A Run-Time Assurance Approach for Java Programs

We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which does not provide formal guarantees about the correctness of the system.Use of formal requirement specifications in run-time monitoring and checking is the salient aspect of the MaC architecture. MaC is a lightweight formal method solution which works as a viable complement to the current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation of the target program, monitoring, and checking are performed fully automatically without human direction, which increases the accuracy of the analysis. Another important feature of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows the reuse of a high-level requirement specification even when the target program implementation changes. Furthermore, this separation makes the architecture modular and allows the flexibility of incorporating third party tools into the architecture. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC.     

Vibration of antisymmetric angle-ply composite annular plates of variable thickness

Journal of Mechanical Science and Technology - Based on first order shear deformation theory, free vibrational behaviour of antisymmetric angle-ply composite annular plate is investigated. The...     

Single-phase and binary phase nanogranular ferrites for magnetic hyperthermia application

The study demonstrates the performance of heating efficiency in single-phase and binary phase spinel ferrite nanosystems. Ferrimagnetic cobalt ferrite (CoFe₂O₄) (CFO) and superparamagnetic copper ferrite/copper oxide (CuFe₂O₄/CuO) (CuF) nanosystems of different particle sizes were synthesized through a microwave-assisted coprecipitation method. The heating behavior was observed in range of both field amplitudes (8-24 kA/m at 516 kHz) and frequencies (325-973 kHz at 12 kA/m). The heating efficiency was analyzed and compared by means of particle size, magnetization, effective anisotropy constant, and Néel relaxation mechanism. Indeed, the heating rate was maximized in larger ferrite particles with low effective anisotropy constant. Moreover, though the magnetization and effective anisotropy constant of single-phase CoFe₂O₄ nanoparticles were higher, the binary phase CuFe₂O₄/CuO nanosystems of similar crystallite size (28 nm) exhibited superior heating efficiency (4.21°C/s). For a field amplitude and frequency of 24 kA/m and 516 kHz, the heating rate of CuF and CFO ferrites with different crystallite sizes decreased in the order of 4.21 > 2.14 > 0.58 > 0.52°C/s for 29 nm > 25 nm > 12 nm > 15 nm, respectively. The results emphasize that binary phase ferrite nanoparticles are better thermoseeds than the single-phase ferrites for the magnetic hyperthermia application.     

Anticarcinogenic properties of garlic: a review

Garlic is a popular spice added to several edible preparations and is a remedy for a variety of ailments. Epidemeological as well as laboratory studies have shown that garlic consumption reduces certain cancer incidences in the stomach, colon, mammary, cervical, etc. This article focuses on the general chemistry, metabolism, anticarcinogenic properties, mechanism of action behind the anticarcinogenic effects, functional foods based on garlic; and future areas of research. Garlic has been shown to metabolized into N-aceryl-S-allyl cysteine, allyl mercaptan, diallyl disulfide, diallyl sulfide, diallyl sulfoxide, diallyl sulfone, and allyl methyl sulfide. Garlic has been thought to bring about its anticarcinogenic effect through a number of mechanisms, such as the scavenging of radicals, increasing gluathione levels, increasing the activities of enzymes such as glutathione S-transferase, catalase, inhibition of cytochrome p4502E1, DNA repair mechanisms, prevention of chromosomal damage etc. Future research should standardize the dosage of garlic and type, ie., whether it should be taken fresh, cooked, or aged. The formulation of odorless functional foods with the retention of anticarcinogenic activity should be further studied.     

Effect of water deficit on yield and protein content in pearl millet grains

Seventy-two pearl millet genotypes were water stressed at panicle development and grain filling stages. Neither grain yields, yield components, protein percent nor total protein per unit area were affected by water deficit during panicle development but protein content per grain was increased. When plants were water stressed during grain filling, grain yield, grains per unit area and 1000 grain weight were reduced, but grain protein percentage increased. Total protein per unit area was reduced primarily due to lower grain yield. The protein content per grain was unaffected by stress, suggesting that the apparent increase in protein percentage is due to reduced carbohydrate accumulation under stress.     

Sparsity Enforcing Edge Detection Method for Blurred and Noisy Fourier data

We present a new method for estimating the edges in a piecewise smooth function from blurred and noisy Fourier data. The proposed method is constructed by combining the so called concentration factor edge detection method, which uses a finite number of Fourier coefficients to approximate the jump function of a piecewise smooth function, with compressed sensing ideas. Due to the global nature of the concentration factor method, Gibbs oscillations feature prominently near the jump discontinuities. This can cause the misidentification of edges when simple thresholding techniques are used. In fact, the true jump function is sparse, i.e. zero almost everywhere with non-zero values only at the edge locations. Hence we adopt an idea from compressed sensing and propose a method that uses a regularized deconvolution to remove the artifacts. Our new method is fast, in the sense that it only needs the solution of a single l ₁ minimization. Numerical examples demonstrate the accuracy and robustness of the method in the presence of noise and blur.     

Asymmetric free vibrations of laminated annular cross-ply circular plates including the effects of shear deformation and rotary inertia: spline method

Asymmetric free vibrations of annular cross-ply circular plates are studied using spline function approximation. The governing equations are formulated including the effects of shear deformation and rotary inertia. Assumptions are made to study the cross-ply layered plates. A system of coupled differential equations are obtained in terms of displacement functions and rotational functions. These functions are approximated using Bickley- type spline functions of suitable order. Then the system is converted into the eigenvalue problem by applying the point collocation technique and suitable boundary conditions. Parametric studies have been made to investigate the effect of transverse shear deformation and rotary inertia on frequency parameter with respect to the circumferential node number, radii ratio and thickness to radius ratio for both symmetric and anti-symmetric cross-ply plates using various types of material properties.     

Changes in Effective Thermal Conductivity During the Carbothermic Reduction of Magnetite Using Graphite

Knowledge of the effective thermal diffusivity changes of systems undergoing reactions where heat transfer plays an important role in the reaction kinetics is essential for process understanding and control. Carbothermic reduction process of magnetite containing composites is a typical example of such systems. The reduction process in this case is highly endothermic and hence, the overall rate of the reaction is greatly influenced by the heat transfer through composite compact. Using Laser-Flash method, the change of effective thermal diffusivity of magnetite-graphite composite pellet was monitored in the dynamic mode over a pre-defined thermal cycle (heating at the rate of 7 K/min to 1423 K (1150 °C), holding the sample for 270 minutes at this temperature and then cooling it down to the room temperature at the same rate as heating). These measurements were supplemented by Thermogravimetric Analysis under comparable experimental conditions as well as quenching tests of the samples in order to combine the impact of various factors such as sample dilatations and changes in apparent density on the progress of the reaction. The present results show that monitoring thermal diffusivity changes during the course of reduction would be a very useful tool in a total understanding of the underlying physicochemical phenomena. At the end, effort is made to estimate the apparent thermal conductivity values based on the measured thermal diffusivity and dilatations.     

50—SOME EXPERIMENTS ON THE FRICTION OF COTTON FIBRES

Some experiments on various aspects of the friction of cotton fibres are discussed in the light of their relevance to the processing of cotton. The topics covered include the friction of raw cotton, friction in fibre blends, fibre friction during twisiting, and friction in chemically treated fibres.