916 resultados para multivehicle interaction directed-graph model
Resumo:
Model Hamiltonians have been, and still are, a valuable tool for investigating the electronic structure of systems for which mean field theories work poorly. This review will concentrate on the application of Pariser–Parr–Pople (PPP) and Hubbard Hamiltonians to investigate some relevant properties of polycyclic aromatic hydrocarbons (PAH) and graphene. When presenting these two Hamiltonians we will resort to second quantisation which, although not the way chosen in its original proposal of the former, is much clearer. We will not attempt to be comprehensive, but rather our objective will be to try to provide the reader with information on what kinds of problems they will encounter and what tools they will need to solve them. One of the key issues concerning model Hamiltonians that will be treated in detail is the choice of model parameters. Although model Hamiltonians reduce the complexity of the original Hamiltonian, they cannot be solved in most cases exactly. So, we shall first consider the Hartree–Fock approximation, still the only tool for handling large systems, besides density functional theory (DFT) approaches. We proceed by discussing to what extent one may exactly solve model Hamiltonians and the Lanczos approach. We shall describe the configuration interaction (CI) method, a common technology in quantum chemistry but one rarely used to solve model Hamiltonians. In particular, we propose a variant of the Lanczos method, inspired by CI, that has the novelty of using as the seed of the Lanczos process a mean field (Hartree–Fock) determinant (the method will be named LCI). Two questions of interest related to model Hamiltonians will be discussed: (i) when including long-range interactions, how crucial is including in the Hamiltonian the electronic charge that compensates ion charges? (ii) Is it possible to reduce a Hamiltonian incorporating Coulomb interactions (PPP) to an 'effective' Hamiltonian including only on-site interactions (Hubbard)? The performance of CI will be checked on small molecules. The electronic structure of azulene and fused azulene will be used to illustrate several aspects of the method. As regards graphene, several questions will be considered: (i) paramagnetic versus antiferromagnetic solutions, (ii) forbidden gap versus dot size, (iii) graphene nano-ribbons, and (iv) optical properties.
Resumo:
Federal Highway Administration, Structures and Applied Mechanics Division, Washington, D.C.
Resumo:
Mode of access: Internet.
Resumo:
"COO-2118-0031."
Resumo:
Thesis (Ph.D.)--University of Washington, 2016-06
Resumo:
The flavivirus West Nile virus (WNV) has spread rapidly throughout the world in recent years causing fever, meningitis, encephalitis, and fatalities. Because the viral protease NS2B/NS3 is essential for replication, it is attracting attention as a potential therapeutic target, although there are currently no antiviral inhibitors for any flavivirus. This paper focuses on elucidating interactions between a hexapeptide substrate (Ae-KPGLKR-p-nitroanilide) and residues at S1 and S2 in the active site of WNV protease by comparing the catalytic activities of selected mutant recombinant proteases in vitro. Homology modeling enabled the predictions of key mutations in VWNV NS3 protease at S1 (V115A/F, D129A/ E/N, S135A, Y150A/F, S160A, and S163A) and S2 (N152A) that might influence substrate recognition and catalytic efficiency. Key conclusions are that the substrate P1 Arg strongly interacts with S1 residues Asp-129, Tyr-150, and Ser-163 and, to a lesser extent, Ser-160, and P2 Lys makes an essential interaction with Asn-152 at S2. The inferred substrate-enzyme interactions provide a basis for rational protease inhibitor design and optimization. High sequence conservation within flavivirus proteases means that this study may also be relevant to design of protease inhibitors for other flavivirus proteases.
Resumo:
Models and model transformations are the core concepts of OMG's MDA (TM) approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification formalism. These triple graph grammars can be specified within the FUJABA tool and we argue that these rules can be more easily specified and they become more understandable and maintainable. To show the practicability of our approach, we present how to generate Tefkat rules from triple graph grammar rules, which helps to integrate triple graph grammars with a state of a art model transformation tool and shows the expressiveness of the concept.
Resumo:
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.
Resumo:
How do signals from the 2 eyes combine and interact? Our recent work has challenged earlier schemes in which monocular contrast signals are subject to square-law transduction followed by summation across eyes and binocular gain control. Much more successful was a new 'two-stage' model in which the initial transducer was almost linear and contrast gain control occurred both pre- and post-binocular summation. Here we extend that work by: (i) exploring the two-dimensional stimulus space (defined by left- and right-eye contrasts) more thoroughly, and (ii) performing contrast discrimination and contrast matching tasks for the same stimuli. Twenty-five base-stimuli made from 1 c/deg patches of horizontal grating, were defined by the factorial combination of 5 contrasts for the left eye (0.3-32%) with five contrasts for the right eye (0.3-32%). Other than in contrast, the gratings in the two eyes were identical. In a 2IFC discrimination task, the base-stimuli were masks (pedestals), where the contrast increment was presented to one eye only. In a matching task, the base-stimuli were standards to which observers matched the contrast of either a monocular or binocular test grating. In the model, discrimination depends on the local gradient of the observer's internal contrast-response function, while matching equates the magnitude (rather than gradient) of response to the test and standard. With all model parameters fixed by previous work, the two-stage model successfully predicted both the discrimination and the matching data and was much more successful than linear or quadratic binocular summation models. These results show that performance measures and perception (contrast discrimination and contrast matching) can be understood in the same theoretical framework for binocular contrast vision. © 2007 VSP.
Resumo:
The transport of a group of quinolone antibiotics across the human intestinal model, Caco-2 cells, was investigated. It was found that the transport of the quinolones generally correlated with the lipophilicity of the compounds, indicating the passive diffusional transcellular processes were involved. However, it was observed that the transport in both directions apical-to-basolateral and basolateral-to-apical was not equivalent, and polarised transport occurred. For all the quinolones studied except, BMS-284756-01, it was found that the basolateral-to-apical transport was significantly greater than the apical-to-basolateral transport. This finding suggested that the quinolones underwent a process of active secretion. The pKas and logPs for the quinolones were determined using potentiometric titrations. The measured logP values were compared with those determined using theoretical methods. The theoretical methods for calculating logP including the Moriguchi method correlated poorly with the measured logP values. Further investigations revealed that there may be an active transporter involved in the apical-to-basolateral transport of quinolones as well. This mechanism was sensitive to competing quinolones, but, it was unaffected by the metabolic inhibitor combination of sodium azide (15mM) with 2-deoxy-D-glucose (50mM). The basolateral-to-apical transport of quinolones was found to be sensitive to inhibition by a number of different inhibitors. The metabolic inhibitors, sodium azide (15mM) with 2-deoxy-D-glucose (50mM) and 2,4-dinitrophenol (1mM), were able to reduce the basolateral-to-apical transport of quinolones. A reduction in temperature from 37°C to 2°C caused an 80-fold decrease in the transport of gatifloxacin in both directions, however, this effect was not sufficient to abolish the greater basolateral-to-apical secretion. As with apical-to-basolateral transport, it was found that quinolones competed with gatifloxacin for basolateral-to-apical transport, both ofloxacin (100μM) and norfloxacin (100μM) significantly (P<0.003) decreased the basolateral-to-apical transport of gatifloxacin; however, ciprofloxacin (100μM and 300μM) had no effect. A number of inhibitors of various transport systems were also investigated. It was found that the anion transport inhibitor, probenecid (100 μM) had a significant inhibitory effect on the basolateral-to-apical transport of ciprofloxacin (P=0.039), while the cation transport inhibitor cimetidine (100μM and 500μM) had no effect. The organic anion exchange inhibitor 4,4'diisothiocyanostilbene-2-2' -disulphonic acid DIDS (400μM) also had a significant inhibitory effect (P=O.O 13). The PgP inhibitor and anion exchange inhibitor verapamil (400Mμ) was able to completely abolish the basolateral-to-apical secretion of gatifloxacin and bring it into line with the apical-to-basolateral flux. In conclusion, the apical-to-basolateral and basolateral-toapical transport of quinolones involved an active component. The basolateral-to-apical secretion was abolished by a verapamil (400μM), a bisubstrate for PgP and the anion transporter.
Resumo:
In order to bridge the “Semantic gap”, a number of relevance feedback (RF) mechanisms have been applied to content-based image retrieval (CBIR). However current RF techniques in most existing CBIR systems still lack satisfactory user interaction although some work has been done to improve the interaction as well as the search accuracy. In this paper, we propose a four-factor user interaction model and investigate its effects on CBIR by an empirical evaluation. Whilst the model was developed for our research purposes, we believe the model could be adapted to any content-based search system.
Resumo:
DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT
Resumo:
Formal education programs in prisons have had success in reducing recidivism, but the introduction of informal learning can have additional benefits and longer lasting effects. This paper addresses recidivism and its effects on inmates and society at large and how prison educators can facilitate self-directed learning in prisons through Garrison’s model.