Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Direction of Causation Modeling Between Cross-Sectional Measures of Parenting and Psychological Distress in Female Twins

Under certain conditions, cross-sectional analysis of cross-twin intertrait correlations can provide important information about the direction of causation (DOC) between two variables. A community-based sample of Australian female twins aged 18 to 45 years was mailed an extensive Health and Lifestyle Questionnaire (HLQ) that covered a wide range of personality and behavioral measures. Included were self-report measures of recent psychological distress and perceived childhood environment (PBI). Factor analysis of the PBI yielded three interpretable dimensions: Coldness, Overprotection, and Autonomy. Univariate analysis revealed that parental Overprotection and Autonomy were best explained by additive genetic, shared, and nonshared environmental effects (ACE), whereas the best-fitting model for PBI Coldness and the three measures of psychological distress (Depression, Phobic Anxiety, and Somatic Distress) included only additive genetic and nonshared environmental effects (AE). A common pathway model best explained the covariation between (1) the three PBI dimensions and (2) the three measures of psychological distress. DOC modeling between latent constructs of parenting and psychological distress revealed that a model which specified recollected parental behavior as the cause of psychological distress provided a better fit than a model which specified psychological distress as the cause of recollected parental behavior. Power analyses and limitations of the findings are discussed.

A genetically informed study of the association between harsh punishment and offspring behavioral problems

Conclusions about the effects of harsh parenting on children have been limited by research designs that cannot control for genetic or shared environmental confounds. The present study used a sample of children of twins and a hierarchical linear modeling statistical approach to analyze the consequences of varying levels of punishment while controlling for many confounding influences. The sample of 887 twin pairs and 2,554 children came from the Australian Twin Registry. Although corporal punishment per se did not have significant associations with negative childhood outcomes, harsher forms of physical punishment did appear to have specific and significant effects. The observed association between harsh physical punishment and negative outcomes in children survived a relatively rigorous test of its causal status, thereby increasing the authors' conviction that harsh physical punishment is a serious risk factor for children.

Emotional Intelligence as a Moderator of Emotional and Behavioral Reactions to Job Insecurity

We present a model linking perceptions of job insecurity to emotional reactions and negative coping behaviors. Our model is based on the idea that emotional variables explain, in part, discrepant findings reported in previous research. In particular, we propose that emotional intelligence moderates employees' emotional reactions to job insecurity and their ability to cope with associated stress. In this respect, low emotional intelligence employees are more likely than high emotional intelligence employees to experience negative emotional reactions to job insecurity and to adopt negative coping strategies.

Prevention of child behavior problems through universal implementation of a group behavioral family intervention.

The aim of this mental health promotion initiative was to evaluate the effectiveness of a universally delivered group behavioral family intervention (BFI) in preventing behavior problems in children. This study investigates the transferability of an efficacious clinical program to a universal prevention intervention delivered through child and community health services targeting parents of preschoolers within a metropolitan health region. A quasiexperimental two-group (BFI, n=804 vs. Comparison group, n=806) longitudinal design followed preschool aged children and their parents over a 2-year period. BFI was associated with significant reductions in parent-reported levels of dysfunctional parenting and parent-reported levels of child behavior problems. Effect sizes on child behavior problems ranged from large (.83) to moderate (.47). Positive and significant effects were also observed in parent mental health, marital adjustment, and levels of child rearing conflict. Findings are discussed with respect to their implication for significant population reductions in child behavior problems as well as the pragmatic challenges for prevention science in encouraging both the evaluation and uptake of preventive initiatives in real world settings.

Modeling control objectives for business process compliance

Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.

The excitatory behavioral and antianalgesic pharmacology of normorphine-3-glucuronide after intracerebroventricular administration to rats

In the adult male Sprague-Dawley rat, a species commonly used to study tolerance to the antinociceptive effects of morphine, approximate to 10% of the morphine dose is metabolized to normorphine-3-glucuronide (NM3G). In contrast, NM3G is a relatively minor metabolite of morphine in human urine reportedly accounting for approximate to 1% of the morphine dose. To date, the pharmacology of NM3G has been poorly characterized. Therefore, our studies were designed to determine whether the intrinsic pharmacology of NM3G is similar to that of morphine-3-glucuronide (M3G), the major metabolite of morphine, which has been shown to be a potent central nervous system (CNS) excitant and to attenuate the intrinsic antinociceptive effects of morphine in rats. The CNS excitatory potency of NM3G was found to be approximately half that of M3G, inducing convulsions in rats at intracerebroventricular (i.c.v.) doses of greater than or equal to 16.8 nmol. When administered before morphine (70 nmol i.c.v.), NM3G (8.9 nmol i.c.v.) attenuated antinociception for up to 2 hr, but when administered after morphine, no significant attenuation of morphine antinociception was observed. Thus, after i.c.v. administration, NM3G like M3G, is a potent CNS excitant and antianalgesic in the rat. NM3G may therefore play a role in the development of tolerance to the antinociceptive effects of morphine in the rat as has been proposed previously for M3G.

Incorporating cognitive-behavioral therapy with occupational therapy: A comparative study with patients with low back pain

This paper reports on the implementation of a psychoeducational program utilizing cognitive-behavioral principles. The efficacy of this psychoeducational treatment program in modifying dysfunctional attitudes in patients with chronic low back pain was examined using a two-group pretest posttest design with a follow-lip at 3 months Thirty patients (average age = 44.37 SD = 13.71) participated in the study, with 15 in the psychoeducational treatment group and 15 in the placebo control group. These two conditions were added on to an existing eclectic inpatient pain management program. After assessment on the IPAM (The Integrated Psychosocial Assessment Model), scores were reduced to multivariate composite scores on the factors of illness behavior depressed and negative cognitions, and acute pain strategies. Results of a group x time repeated measures analysis of variance for the three pain factors revealed a significant main effect for group (F(23,1) = 5.00 p < .04), tempered by a significant interaction between group and rime on the 'depressed and negative' pain factor (F(23,1) = 4.77 p < .04). Patients in the treatment group improved significantly over time and significantly more than the placebo control group patients at posttreatment. Results provide support for the program in increasing patients' feelings of control over their pain and the use of positive coping strategies, while reducing perceived helplessness, depression, disability, and pain intensity.

Modeling ex vivo hematopoiesis using chemical engineering metaphors

Ex vivo hematopoiesis is increasingly used for clinical applications. Models of ex vivo hematopoiesis are required to better understand the complex dynamics and to optimize hematopoietic culture processes. A general mathematical modeling framework is developed which uses traditional chemical engineering metaphors to describe the complex hematopoietic dynamics. Tanks and tubular reactors are used to describe the (pseudo-) stochastic and deterministic elements of hematopoiesis, respectively. Cells at any point in the differentiation process can belong to either an immobilized, inert phase (quiescent cells) or a mobile, active phase (cycling cells). The model describes five processes: (1) flow (differentiation), (2) autocatalytic formation (growth),(3) degradation (death), (4) phase transition from immobilized to mobile phase (quiescent to cycling transition), and (5) phase transition from mobile to immobilized phase (cycling to quiescent transition). The modeling framework is illustrated with an example concerning the effect of TGF-beta 1 on erythropoiesis. (C) 1998 Published by Elsevier Science Ltd. All rights reserved.

Reactivity of chars and carbons: New insights through molecular modeling

A new model proposed for the gasification of chars and carbons incorporates features of the turbostratic nanoscale structure that exists in such materials. The model also considers the effect of initial surface chemistry and different reactivities perpendicular to the edges and to the faces of the underlying crystallite planes comprising the turbostratic structure. It may be more realistic than earlier models based on pore or grain structure idealizations when the carbon contains large amounts of crystallite matter. Shrinkage of the carbon particles in the chemically controlled regime is also possible due to the random complete gasification of crystallitic planes. This mechanism can explain observations in the literature of particle size reduction. Based on the model predictions, both initial surface chemistry and the number of stacked planes in the crystallites strongly influence the reactivity and particle shrinkage. Its test results agree well with literature data on the air-oxidation of Spherocarb and show that it accurately predicts the variation of particle size with conversion. Model parameters are determined entirely from rate measurements.

Modeling the optical constants of GaP, InP, and InAs

An extension of the Adachi model with the adjustable broadening function, instead of the Lorentzian one, is employed to model the optical constants of GaP, InP, and InAs. Adjustable broadening is modeled by replacing the damping constant with the frequency-dependent expression. The improved flexibility of the model enables achieving an excellent agreement with the experimental data. The relative rms errors obtained for the refractive index equal 1.2% for GaP, 1.0% for InP, and 1.6% for InAs. (C) 1999 American Institute of Physics. [S0021-8979(99)05807-7].

Modeling the fluid-flow-induced stress and collapse in a dendritic network

An analytical approach to the stress development in the coherent dendritic network during solidification is proposed. Under the assumption that stresses are developed in the network as a result of the friction resisting shrinkage-induced interdendritic fluid flow, the model predicts the stresses in the solid. The calculations reflect the expected effects of postponed dendrite coherency, slower solidification conditions, and variations of eutectic volume fraction and shrinkage. Comparing the calculated stresses to the measured shear strength of equiaxed mushy zones shows that it is possible for the stresses to exceed the strength, thereby resulting in reorientation or collapse of the dendritic network.

Brain region-specific studies of the excitatory behavioral effects of morphine-3-glucuronide

This study was designed to determine in rats whether morphine-3-glucuronide (M3G) produces its neuro-excitatory effects most potently in the ventral hippocampus (as has been reported previously for subanalgesic doses of opioid peptides). Guide cannulae were implanted into one of seven regions of the rat brain: lateral ventricle; ventral, CA1 and CA2-CA3 regions of the hippocampus; amygdala; striatum or cortex. After a 7 day recovery period, rats received intracerebral injections of (i) M3G (1.1 or 11 nmol) (ii) DADLE ([D-Ala(2),D-Leu(5)]enkephalin), (45 nmol, positive controls) or (iii) vehicle (deionised water), and behavioral excitation was quantified over 80 min. High-dose M3G (11 nmol) evoked behavioral excitation in all brain regions but the onset, severity and duration of these effects varied considerably among brain regions. By contrast, low-dose M3G (1.1 nmol) evoked excitatory behaviors only when administered into the ventral hippocampus and the amygdala, with the most potent effects being observed in the ventral hippocampus. Prior administration of the nonselective opioid antagonists, naloxone and beta-funaltrexamine into the ventral hippocampus, markedly attenuated low-dose M3G's excitatory effects but did not significantly alter levels of excitation evoked by high-dose M3G. Naloxone given 10 min after M3G (1.1 or 11 nmol) did not significantly attenuate behavioral excitation. Thus, M3G's excitatory behavioral effects occur most potently in the ventral hippocampus as reported previously for subanalgesic doses of opioid peptides, and appear to be mediated through at least two mechanisms, one possibly involving excitatory opioid receptors and the other, non-opioid receptors.

Modeling the optical constants of AlxGa1-xAs alloys

The extension of Adachi's model with a Gaussian-like broadening function, in place of Lorentzian, is used to model the optical dielectric function of the alloy AlxGa1-xAs. Gaussian-like broadening is accomplished by replacing the damping constant in the Lorentzian line shape with a frequency dependent expression. In this way, the comparative simplicity of the analytic formulas of the model is preserved, while the accuracy becomes comparable to that of more intricate models, and/or models with significantly more parameters. The employed model accurately describes the optical dielectric function in the spectral range from 1.5 to 6.0 eV within the entire alloy composition range. The relative rms error obtained for the refractive index is below 2.2% for all compositions. (C) 1999 American Institute of Physics. [S0021-8979(99)00512-5].

Modeling the optical properties of AlSb, GaSb, and InSb

Optical constants of AlSb, GaSb, and InSb are modeled in the 1-6 eV spectral range. We employ an extension of Adachi's model of the optical constants of semiconductors. The model takes into account transitions at E-0, E-0 + Delta(0), E-1, and E-1 + Delta(1) critical points, as well as higher-lying transitions which are modeled with three damped harmonic oscillators. We do not consider indirect transitions contribution, since it represents a second-order perturbation and its strength should be low. Also, we do not take into account excitonic effects at E-1, E-1 + Delta(1) critical points, since we model the room temperature data. In spite of fewer contributions to the dielectric function compared to previous calculations involving Adachi's model, our calculations show significantly improved agreement with the experimental data. This is due to the two main distinguishing features of calculations presented here: use of adjustable line broadening instead of the conventional Lorentzian one, and employment of a global optimization routine for model parameter determination.