Apportioning: a technique for efficient reachability analysis ofconcurrent object-oriented programs

The object-oriented paradigm in software engineering provides support for the construction of modular and reusable program components and is attractive for the design of large and complex distributed systems. Reachability analysis is an important and well-known tool for static analysis of critical properties in concurrent programs, such as deadlock freedom. It involves the systematic enumeration of all possible global states of program execution and provides the same level of assurance for properties of the synchronization structure in concurrent programs, such as formal verification. However, direct application of traditional reachability analysis to concurrent object-oriented programs has many problems, such as incomplete analysis for reusable classes (not safe) and increased computational complexity (not efficient). We propose a novel technique called apportioning, for safe and efficient reachability analysis of concurrent object-oriented programs, that is based upon a simple but powerful idea of classification of program analysis points as local (having influence within a class) and global (having possible influence outside a class). We have developed a number of apportioning-based algorithms, having different degrees of safety and efficiency. We present the details of one of these algorithms, formally show its safety for an appropriate class of programs, and present experimental results to demonstrate its efficiency for various examples     

Evaluation of a workplace technology for mental health assessment: A meaning-making process

This paper describes the results of a summative evaluation conducted to explore the usability and acceptability of an automated telephone-based technology, designed and developed as a screening tool for mental health disorders in the workplace. The system screens employees for symptoms and subsequently provides educational information and referrals to improve mental health and enhance productivity. The qualitative evaluation was a sub-study of a larger randomized controlled trial (RCT). We conducted in-depth interviews with 15 individuals who participated in the RCT and had used the system. A phenomenological theoretical framework was utilized to analyze the narrative data. Results indicated that participants had mostly positive experience with the system and perceived it as a confidential program that allowed them to reflect on their symptoms without inhibition, fear of judgment or embarrassment. We also learned that asking mere questions about mental health symptoms can be a positive, instructive and possibly a restorative experience. There is a likelihood that for many participants, exposure to questions about their emotional and mental distress validated their feelings about their symptoms and was sufficiently compelling to promote help-seeking behavior. This evaluation study demonstrates that computers can be utilized in the workplace as effective screening and educational tools to improve employees’ mental health.     

Multi-scale modeling in damage mechanics of composite materials

This paper addresses the multi-scale modeling aspects of damage in composite materials. The multiplicity of the scales of the operating mechanisms is discussed and clarified by taking examples of damage in a unidirectional ceramic matrix composite and in a cross ply polymer matrix composite laminate. Two multi-scale modeling strategies––the hierarchical and the synergistic––are reviewed in the context of deformational response. Finally, the “big picture” as it relates to the cost-effective manufacturing of composite structures intended for long-term performance is outlined and desired future direction in multi-scale modeling is discussed.     

Thermal, mechanical and vibration characteristics of epoxy-clay nanocomposites

Diglycidyl ether of bisphenol-A (DGEBA) epoxy resin system filled individually with organoclay (OC) and unmodified clay (UC) were synthesized by mechanical shear mixing with the addition of diamino-diphenylmethane (DDM) hardener. The unmodified clay used was Na⁺-Montmorillonite (MMT) and the organoclay was alkyl ammonium treated MMT clay. The reinforcement effect of OC and UC in the epoxy polymer on thermal, mechanical and vibration properties were studied. X-ray diffraction (XRD) and Transmission electron microscopy (TEM) were used to study the structure and morphology of nanocomposites. Curing study shows that the addition of OC in epoxy resin aids the polymerization by catalytic effect, and UC addition does not show any effect in the curing behavior of epoxy polymer. Thermogravimetry analysis (TGA) shows enhanced thermal stability for epoxy with OC fillers than that of epoxy with UC fillers. The epoxy with OC fillers shows considerable improvement on tensile and impact properties over pure epoxy polymer and epoxy with UC fillers. The improvement in tensile and impact properties of nanocomposites is supported with the fracture surface studies. Epoxy with OC fillers shows enhanced vibration characteristics than that of the pure epoxy polymer and epoxy with UC fillers.     

Multidroplet Impact Model for Prediction of Residual Stresses in Water Jet Peening of Materials

In this article, a multidroplet impact model, proposed for predicting residual stresses induced on materials subjected to water jet peening, is presented. This approach considers the impact pressure distribution due to high-velocity droplets impinging on the material surface instead of stationary pressure distribution for prediction of residual stresses on water jet-peened surfaces. It makes use of Reichardt's theory for predicting the velocity distribution of droplets and liquid impact theory for predicting the impact pressure and duration of impact of high-velocity droplets. For predicting residual stresses on the surface and subsurface of material subjected to water jet peening, finite element modeling approach was adopted by using transient elastoplastic finite element analysis by considering an impingement of a set of droplets in succession to one another over a certain time period after which this pressure is released. The effectiveness of the proposed approach was demonstrated bv comparing the predicted residual stresses with those predicted by using the single set of droplets approach proposed by Rajesh et al. [6]. Finally, the practical relevance of the proposed approach was shown by comparing the predicted results with the experimental results obtained by water peening of 6063-T6 aluminium alloy.     

Validation of models with multivariate output

This paper develops metrics for validating computational models with experimental data, considering uncertainties in both. A computational model may generate multiple response quantities and the validation experiment might yield corresponding measured values. Alternatively, a single response quantity may be predicted and observed at different spatial and temporal points. Model validation in such cases involves comparison of multiple correlated quantities. Multiple univariate comparisons may give conflicting inferences. Therefore, aggregate validation metrics are developed in this paper. Both classical and Bayesian hypothesis testing are investigated for this purpose, using multivariate analysis. Since, commonly used statistical significance tests are based on normality assumptions, appropriate transformations are investigated in the case of non-normal data. The methodology is implemented to validate an empirical model for energy dissipation in lap joints under dynamic loading.     

Investigating Role of Growing Adsorbent Bed in a Dead-End PAC/UF Process

A two-stage mathematical model was developed to describe adsorbate removal in a dead-end powdered activated carbon/ultrafiltration (PAC/UF) membrane process. Para-nitrophenol (PNP) was used as the model organic compound. The first stage accounted for adsorbate removal during transport from the initial PAC contact with the PNP solution to the membrane system, and the second stage accounted for additional PNP removal due to the retention of the PAC in a growing bed on the membrane surface. The PAC adsorptive capacity was described using the Langmuir isotherm, whose parameters were estimated from isotherm experiments. Transport of the PNP through the PAC particle was described using the homogeneous surface diffusion model and the surface diffusivity was estimated from batch experiments. The two stage model predicted the effluent concentrations from the PAC/UF process during the early stages of the experiments, but model improvements are required to more accurately predict the latter stages. A batch model can be used to describe the effluent PNP concentration from the PAC/UF process if dispersion is neglected.     

Stimulating Biological Nitrification via Electrolytic Oxygenation

The feasibility of electric current prompted aerobic biodegradation of NH4+–N in an attached growth bioreactor system is demonstrated. Nitrification was induced at electric current densities of 1.25 and 2.5?mA/cm2 and with pure oxygen supplied at a rate equivalent to 1.25?mA/cm2 when the bioreactor was operated in batch mode at 6 days detention time. About 84% (27?mg/L)?NH4+–N loss was observed at the end of each detention period during all three experimental conditions, indicating that the electric current did not negatively impact the rate of nitrification. Nitrite accumulation was observed during the initial stages of nitrification experiments with 1.25?mA/cm2 current intensity, but nitrite did not accumulate during the other two sets of nitrification experiments. A mathematical model formulated to obtain the rates of biological reactions showed that rates of NH4+–N removal are similar for all aeration conditions. Abiotic experiments showed that NH4+–N was not removed electrolytically and via stripping, confirming that NH4+–N disappearance is due to biological activity.     

A simple method for the evaluation of fracture toughness of a multi-layered laminate based on the failure stress of sub-laminates

A simple analytical method is presented that can be used to predict the intralaminar fracture toughness of multilayered composite laminate based on the failure stresses of its sub laminates. MCCI approach is followed to verify the fracture toughness of a base laminate and the method is validated comparing the available test data on the toughness value of the base laminate with the prediction. It is observed that a better representation of carbon —epoxy base laminate by its sub laminate gives very good agreement in prediction within 3%.