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.     

Petri net-based engine for adaptive learning

In this paper, an IMS LD engine based on a Petri net model that represents the operational semantics of units of learning based on this specification is presented. The Petri nets of this engine, which is called OPENET4LD, verify the structural properties that are desirable for a learning flow and also facilitate the adaptation of the engine if potential changes in the IMS LD specification were proposed. Furthermore, OPENET4LD has an open and flexible architecture based on a set of ontologies that describe both the semantics of the Petri nets execution and the semantics of each learning flow component of IMS LD. Furthermore, the implementation of this architecture has been exhaustively validated with a number of UoLs that are compliant with the levels A and B of IMS LD.     

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.