80 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
We have recently developed a scaleable Artificial Boundary Inhomogeneity (ABI) method [Chem. Phys. Lett.366, 390–397 (2002)] based on the utilization of the Lanczos algorithm, and in this work explore an alternative iterative implementation based on the Chebyshev algorithm. Detailed comparisons between the two iterative methods have been made in terms of efficiency as well as convergence behavior. The Lanczos subspace ABI method was also further improved by the use of a simpler three-term backward recursion algorithm to solve the subspace linear system. The two different iterative methods are tested on the model collinear H+H2 reactive state-to-state scattering.
Resumo:
Recently, methods for computing D-optimal designs for population pharmacokinetic studies have become available. However there are few publications that have prospectively evaluated the benefits of D-optimality in population or single-subject settings. This study compared a population optimal design with an empirical design for estimating the base pharmacokinetic model for enoxaparin in a stratified randomized setting. The population pharmacokinetic D-optimal design for enoxaparin was estimated using the PFIM function (MATLAB version 6.0.0.88). The optimal design was based on a one-compartment model with lognormal between subject variability and proportional residual variability and consisted of a single design with three sampling windows (0-30 min, 1.5-5 hr and 11 - 12 hr post-dose) for all patients. The empirical design consisted of three sample time windows per patient from a total of nine windows that collectively represented the entire dose interval. Each patient was assigned to have one blood sample taken from three different windows. Windows for blood sampling times were also provided for the optimal design. Ninety six patients were recruited into the study who were currently receiving enoxaparin therapy. Patients were randomly assigned to either the optimal or empirical sampling design, stratified for body mass index. The exact times of blood samples and doses were recorded. Analysis was undertaken using NONMEM (version 5). The empirical design supported a one compartment linear model with additive residual error, while the optimal design supported a two compartment linear model with additive residual error as did the model derived from the full data set. A posterior predictive check was performed where the models arising from the empirical and optimal designs were used to predict into the full data set. This revealed the optimal'' design derived model was superior to the empirical design model in terms of precision and was similar to the model developed from the full dataset. This study suggests optimal design techniques may be useful, even when the optimized design was based on a model that was misspecified in terms of the structural and statistical models and when the implementation of the optimal designed study deviated from the nominal design.
Resumo:
In this paper we propose a new identification method based on the residual white noise autoregressive criterion (Pukkila et al. , 1990) to select the order of VARMA structures. Results from extensive simulation experiments based on different model structures with varying number of observations and number of component series are used to demonstrate the performance of this new procedure. We also use economic and business data to compare the model structures selected by this order selection method with those identified in other published studies.
Resumo:
One common characteristic of breast cancers arising in carriers of the predisposition gene BRCA1 is a loss of expression of the CDK inhibitor p27(Kip1) (p27), suggesting that p27 interacts epistatically with BRCA1. To investigate this relationship, we examined expression of p27 in mice expressing a dominant negative allele of Brca1 (MMTV-trBr) in the mammary gland. While these mice rarely develop tumors, they showed a 50% increase in p27 protein and a delay in mammary gland development associated with reduced proliferation. In contrast, on a p27 heterozygote background, MMTV-trBrca1 mice showed an increase in S phase cells, and normal mammary development. p27 was the only protein in the cyclin cyclin-dependent kinase network to show altered expression, suggesting that it may be a central mediator of cell cycle arrest in response to loss of function of BRCA1. Furthermore, in human mammary epithelial MCF7 cells expressing BRCA1-specific RNAi and in the BRCA1-deficient human tumor cell line HCC1937, p27 is elevated at the mRNA level compared to cells expressing wild-type BRCA1. We hypothesize that disruption of BRCA1 induces an increase in p27 that inhibits proliferation. Accordingly, reduction in p27 expression leads to enhancement of cellular proliferation in the absence of BRCA1.
Resumo:
Immunotherapy of tumours using T cells expanded in vitro has met with mixed clinical success suggesting that a greater understanding of tumour/T-cell interaction is required. We used a HPV16E7 oncoprotein-based mouse tumour model to study this further. In this study, we demonstrate that a HPV16E7 tumour passes through at least three stages of immune susceptibility over time. At the earliest time point, infusion of intravenous immune cells fails to control tumour growth although the same cells given subcutaneously at the tumour site are effective. In a second stage, the tumour becomes resistant to subcutaneous infusion of cells but is now susceptible to both adjuvant activated and HPV16E7-specific immune cells transferred intravenously. In the last phase, the tumour is susceptible to intravenous transfer of HPV16E7-specific cells, but not adjuvant-activated immune cells. The requirement for IFN-gamma and perforin also changes with each stage of tumour development. Our data suggest that effective adoptive T-cell therapy of tumour will need to be matched with the stage of tumour development.
Resumo:
The particle-based lattice solid model developed to study the physics of rocks and the nonlinear dynamics of earthquakes is refined by incorporating intrinsic friction between particles. The model provides a means for studying the causes of seismic wave attenuation, as well as frictional heat generation, fault zone evolution, and localisation phenomena. A modified velocity-Verlat scheme that allows friction to be precisely modelled is developed. This is a difficult computational problem given that a discontinuity must be accurately simulated by the numerical approach (i.e., the transition from static to dynamical frictional behaviour). This is achieved using a half time step integration scheme. At each half time step, a nonlinear system is solved to compute the static frictional forces and states of touching particle-pairs. Improved efficiency is achieved by adaptively adjusting the time step increment, depending on the particle velocities in the system. The total energy is calculated and verified to remain constant to a high precision during simulations. Numerical experiments show that the model can be applied to the study of earthquake dynamics, the stick-slip instability, heat generation, and fault zone evolution. Such experiments may lead to a conclusive resolution of the heat flow paradox and improved understanding of earthquake precursory phenomena and dynamics. (C) 1999 Academic Press.
Resumo:
In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.
Resumo:
In this paper, a new differential evolution (DE) based power system optimal available transfer capability (ATC) assessment is presented. Power system total transfer capability (TTC) is traditionally solved by the repeated power flow (RPF) method and the continuation power flow (CPF) method. These methods are based on the assumption that the productions of the source area generators are increased in identical proportion to balance the load increment in the sink area. A new approach based on DE algorithm to generate optimal dispatch both in source area generators and sink area loads is proposed in this paper. This new method can compute ATC between two areas with significant improvement in accuracy compared with the traditional RPF and CPF based methods. A case study using a 30 bus system is given to verify the efficiency and effectiveness of this new DE based ATC optimization approach.
Resumo:
As an alternative to traditional evolutionary algorithms (EAs), population-based incremental learning (PBIL) maintains a probabilistic model of the best individual(s). Originally, PBIL was applied in binary search spaces. Recently, some work has been done to extend it to continuous spaces. In this paper, we review two such extensions of PBIL. An improved version of the PBIL based on Gaussian model is proposed that combines two main features: a new updating rule that takes into account all the individuals and their fitness values and a self-adaptive learning rate parameter. Furthermore, a new continuous PBIL employing a histogram probabilistic model is proposed. Some experiments results are presented that highlight the features of the new algorithms.
Resumo:
In the first of two articles presenting the case for emotional intelligence in a point/counterpoint exchange, we present a brief summary of research in the field, and rebut arguments against the construct presented in this issue.We identify three streams of research: (1) a four-branch abilities test based on the model of emotional intelligence defined in Mayer and Salovey (1997); (2) self-report instruments based on the Mayer–Salovey model; and (3) commercially available tests that go beyond the Mayer–Salovey definition. In response to the criticisms of the construct, we argue that the protagonists have not distinguished adequately between the streams, and have inappropriately characterized emotional intelligence as a variant of social intelligence. More significantly, two of the critical authors assert incorrectly that emotional intelligence research is driven by a utopian political agenda, rather than scientific interest. We argue, on the contrary, that emotional intelligence research is grounded in recent scientific advances in the study of emotion; specifically regarding the role emotion plays in organizational behavior. We conclude that emotional intelligence is attracting deserved continuing research interest as an individual difference variable in organizational behavior related to the way members perceive, understand, and manage their emotions.
Resumo:
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.
Resumo:
We review the literature on stress in organizational settings and, based on a model of job insecurity and emotional intelligence by Jordan, Ashkanasy and Härtel (2002), present a new model where affective responses associated with stress mediate the impact of workplace stressors on individual and organizational performance outcomes. Consistent with Jordan et al., emotional intelligence is a key moderating variable. In our model, however, the components of emotional intelligence are incorporated into the process of stress appraisal and coping. The chapter concludes with a discussion of the implications of these theoretical developments for understanding emotional and behavioral responses to workplace.
Resumo:
A community sample of 362 married couples participated in a study of attachment and spousal caregiving, which combined qualitative and quantitative components. The qualitative component focused on actual experiences of caregiving, assessed by participants' semi-structured accounts of a situation involving their role as caregiver for their spouse, Attachment styles and their underlying dimensions (comfort with closeness, anxiety over relationships) were related to the type of support provided, the coping strategies used in the situation, caregivers' feelings about the quality of their care, perceived effects on the couple bond, and the emotional tone of the accounts. The quantitative component tested a theoretical model of factors predicting willingness to provide care for the spouse if he or she should become dependent in later life. Measures of attachment and caregiving styles, attachment to spouse, and anticipated burden provided reliable prediction of willingness to care. The results support the conceptualization of attachment and caregiving as interrelated features of marital bonds, and they have important implications for patterns of family caregiving.
Resumo:
It is now 35 years since Brandtzaeg and Kraus (1965) published their seminal work entitled Autoimmunity and periodontal disease. Initially, this work led to the concept that destructive periodontitis was a localized hypersensitivity reaction involving immune complex formation within the tissues. In 1970, Ivanyi and Lehner highlighted a possible role for cell-mediated immunity, which stimulated a flurry of activity centered on the role of lymphokines such as osteoclast-activating factor (OAF), macrophage-activating factor (MAF), macrophage migration inhibition factor (MIF), and myriad others. In the late 1970s and early 1980s, attention focused on the role of polymorphonuclear neutrophils, and it was thought that periodontal destruction occurred as a series of acute exacerbations. As well, at this stage doubt was being cast on the concept that there was a neutrophil chemotactic defect in periodontitis patients. Once it was realized that neutrophils were primarily protective and that severe periodontal destruction occurred in the absence of these cells, attention swung back to the role of lymphocytes and in particular the regulatory role of T-cells. By this time in the early 1990s, while the roles of interleukin (IL)-1, prostaglandin (PG) E-2, and metalloproteinases as the destructive mediators in periodontal disease were largely understood, the control and regulation of these cytokines remained controversial. With the widespread acceptance of the Th1/Th2 paradigm, the regulatory role of T-cells became the main focus of attention, Two apparently conflicting theories have emerged. One is based on direct observations of human lesions, while the other is based on animal model experiments and the inability to demonstrate IL-4 mRNA in gingival extracts. As part of the Controversy series, this review is intended to stimulate debate and hence may appear in some places provocative. In this context, this review will present the case that destructive periodontitis is due to the nature of the lymphocytic infiltrate and is not due to periodic acute exacerbations, nor is it due to the so-called virulence factors of putative periodontal pathogens.