Specifications and programs for computer software validation

Three software products developed during the study are reported and include: (1) FORTRAN Automatic Code Evaluation System, (2) the Specification Language System, and (3) the Array Index Validation System

Fortran Automatic Code Evaluation System (FACES)

Software package takes as input FORTRAN program which may contain many modules (subroutines and functions). Main parts: (1) FORTRAN front end gathers information about input program and (2) set of routines organized as diagnostic package evaluates information and prints warning messages concerning actual or potential errors

Sub-region specific contribution of the ventral hippocampus to drug context-induced reinstatement of cocaine-seeking behavior in rats

The ventral hippocampus (VH) plays critical roles in cue-induced and cocaine-primed reinstatement of cocaine seeking (Rogers and See, 2007). Subregions of the VH make distinct projections to elements of the brain relapse circuitry that mediate drug context-induced reinstatement. Thus, the VH may also critically contribute to this form of cocaine seeking in a subregion-specific manner. Accordingly, this study evaluated the hypothesis that functional inactivation of the ventral hippocampus proper (VHp) – but not of the dentate gyrus (DG) – impairs cocaine seeking elicited by re-exposure to a drug-paired environmental context. Rats were trained to lever press for un-signaled intravenous cocaine infusions (0.15 mg/infusion) in a distinct environmental context (cocaine-paired context) followed by extinction training in a distinctly different context (extinction context). Subsequently, cocaine-seeking behavior (i.e., non-reinforced active lever responding) was assessed in either the previously cocaine-paired context or the extinction context. Rats received bilateral microinfusions of the gamma-aminobutyric acid (GABA) agonist cocktail, baclofen+muscimol (BM: 1.0/.01mM), or vehicle into the VHp, DG, or the posterior dorsal hippocampus (pDH; extra-VH control) immediately before each test session. Exposure to the previously cocaine-paired context, but not the extinction context, reinstated extinguished cocaine-seeking behavior following vehicle pretreatment. BM pretreatment administered into the VHp, but not the DG or pDH, significantly attenuated drug context-induced cocaine seeking. These results indicate that the VH contributes to drug context-induced cocaine seeking in a subregion-specific manner, with the functional integrity of the VHp being necessary for memory or motivational aspects of drug-paired environmental stimuli that sustain stimulus control over goal-directed behavior

Resistivity due to low-symmetrical defects in metals

The impurity resistivity, also known as the residual resistivity, is calculated ab initio using multiple-scattering theory. The mean-free path is calculated by solving the Boltzmann equation iteratively. The resistivity due to low-symmetrical defects, such as an impurity-vacancy pair, is calculated for the FCC host metals Al and Ag and the BCC transition metal V. Commonly, 1/f noise is attributed to the motion of such defects in a diffusion process.Comment: 24 pages in REVTEX-preprint format, 10 Postscript figures. Phys. Rev. B, vol. 57 (1998), accepted for publicatio

Involvement of the Lateral Orbitofrontal Cortex in Drug Context-induced Reinstatement of Cocaine-seeking Behavior in Rats

Orbitofrontal cortex (OFC) damage produces impaired decision-making, impulsivity, and perseveration and potentially contributes to compulsive drug seeking in cocaine users. To further explore this phenomenon, we assessed the role of the lateral OFC (lOFC) in drug context-induced cocaine-seeking behavior in the reinstatement model of drug relapse. Rats were trained to lever press for intravenous cocaine infusions in a distinct environmental context (cocaine-paired context) followed by extinction training in a different context (extinction-paired context). Reinstatement of cocaine seeking (non-reinforced lever presses) was assessed in the cocaine context in the absence of response-contingent stimuli. In experiment 1, we evaluated whether acute inhibition of lOFC output alters context-induced cocaine-seeking behavior by infusing the GABAB+A agonists, baclofen+muscimol, or vehicle into the lOFC immediately before exposure to the cocaine-paired context. In experiments 2–3, we assessed how prolonged loss of lOFC output affects drug context-induced cocaine seeking by administering bilateral NMDA or sham lesions of the lOFC either before or after self-administration and extinction training. Remarkably, OFC functional inactivation attenuated, post-training lesions failed to alter, and pre-training lesions potentiated drug context-induced cocaine seeking without altering responding in the extinction context. These results suggest that neural activity in the lOFC promotes context-induced cocaine-seeking behavior. However, prolonged loss of lOFC output enhances the motivational salience of cocaine-paired contextual stimuli likely by eliciting compensatory neuroadaptations, with the effects of post-training lOFC lesions reflecting an intermediate state of compensatory neuroplasticity. Overall, these findings support the idea that OFC dysfunction may promote cue reactivity and enhance relapse propensity in cocaine users

Effects of mGluR1 antagonism in the dorsal hippocampus on drug context-induced reinstatement of cocaine-seeking behavior in rats

The functional integrity of the dorsal hippocampus (DH) is necessary for drug context-induced reinstatement of cocaine seeking. However, the neuropharmacological mechanisms of this phenomenon are poorly understood

Accurate evaluation of the interstitial KKR-Green function

It is shown that the Brillouin zone integral for the interstitial KKR-Green function can be evaluated accurately by taking proper care of the free-electron singularities in the integrand. The proposed method combines two recently developed methods, a supermatrix method and a subtraction method. This combination appears to provide a major improvement compared with an earlier proposal based on the subtraction method only. By this the barrier preventing the study of important interstitial-like defects, such as an electromigrating atom halfway along its jump path, can be considered as being razed.Comment: 23 pages, RevTe

A Dual-loop Model Predictive Voltage Control/Sliding-mode Current Control for Voltage Source Inverter Operation in Smart Microgrids

The design of a robust controller for the voltage source inverter is essential for reliable operation of distributed energy resources in future smart microgrids. The design problem is challenging in the case of autonomous operation subsequent to an islanding situation. In this article, a dual-loop controller is proposed for voltage source inverter control. The outer loop is designed for microgrid voltage and frequency regulation based on the model predictive control strategy. This outer loop generates reference inverter currents for the inner loop. The inner loop is designed using a sliding-mode control strategy, and it generates the pulse-width modulation voltage commands to regulate the inverter currents. A standard space vector algorithm is used to realize the pulse-width modulation voltage commands. Performance evaluation of the proposed controller is carried out for different loading scenarios. It is shown that the proposed dual-loop controller provides the specified performance characteristics of an islanded microgrid with different loading conditions.http://www.tandfonline.com/loi/uemp20hb201

Theory for the electromigration wind force in dilute alloys

A multiple scattering formulation for the electromigration wind force on atoms in dilute alloys is developed. The theory describes electromigration via a vacancy mechanism. The method is used to calculate the wind valence for electromigration in various host metals having a close-packed lattice structure, namely aluminum, the noble metals copper, silver and gold and the $4d$ transition metals. The self-electromigration results for aluminum and the noble metals compare well with experimental data. For the $4d$ metals small wind valences are found, which make these metals attractive candidates for the experimental study of the direct valence.Comment: 18 pages LaTeX, epsfig, 8 figures. to appear in Phys. Rev. B 56 of 15/11/199