释放你的内在潜能

技术工人在当今的制造环境中是必不可少的。通过运用你的IT知识,可以消除时间和精力上的浪费。     

Simulation and fabrication of piezoresistive membrane type MEMS strain sensors

Two piezoresistive (n-polysilicon) strain sensors on a thin Si₃N₄/SiO₂ membrane with improved sensitivity were successfully fabricated by using MEMS technology. The primary difference between the two designs was the number of strips of the polysilicon patterns. For each design, a doped n-polysilicon sensing element was patterned over a thin 3 μm Si₃N₄/SiO₂ membrane. A 1000×1000 μm² window in the silicon wafer was etched to free the thin membrane from the silicon wafer. The intent of this design was to fabricate a flexible MEMS strain sensor similar in function to a commercial metal foil strain gage. A finite element model of this geometry indicates that strains in the membrane will be higher than strains in the surrounding silicon. The values of nominal resistance of the single strip sensor and the multi-strip sensor were 4.6 and 8.6 kΩ, respectively. To evaluate thermal stability and sensing characteristics, the temperature coefficient of resistance [TCR=(ΔR/R₀)/ΔT] and the gage factor [GF=(ΔR/R₀)/] for each design were evaluated. The sensors were heated on a hot plate to measure the TCR. The sensors were embedded in a vinyl ester epoxy plate to determine the sensor sensitivity. The TCR was 7.5×10⁻⁴ and 9.5×10⁻⁴/°C for the single strip and the multi-strip pattern sensors. The gage factor was as high as 15 (bending) and 13 (tension) for the single strip sensor, and 4 (bending) and 21 (tension) for the multi-strip sensor. The sensitivity of these MEMS sensors is much higher than the sensitivity of commercial metal foil strain gages and strain gage alloys.     

Model checking agent programming languages

In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency. In particular, we have developed a specific layer of abstraction, sitting between the underlying verification system and the agent programming language, that maps the semantics of agent programs into the relevant model-checking framework. Crucially, this abstraction layer is both flexible and extensible; not only can a variety of different agent programming languages be implemented and verified, but even heterogeneous multi-agent programs can be captured semantically. In addition to describing this layer, and the semantic mapping inherent within it, we describe how the underlying model-checker is driven and how agent properties are checked. We also present several examples showing how the system can be used. As this is the first system of its kind, it is relatively slow, so we also indicate further work that needs to be tackled to improve performance.     

Comparing Abstraction Refinement Algorithms

We present a generic algorithm that provides a unifying scheme for the comparison of abstraction refinement algorithms. It is centered around the notion of refinement cue which generalizes counterexamples. It is demonstrated how the essential features of several refinement algorithms can be captured as instances.We argue that the generic algorithm does not limit the completeness of instances, and show that the proposed generalization of counterexamples is necessary for completeness — thus addressing a shortcoming of more limited notions of counterexample-guided refinement.     

Oil Spill Dispersant Effectiveness Protocol. II: Performance of Revised Protocol

The current U.S. Environmental Protection Agency (EPA) protocol for testing the effectiveness of dispersants for use in treating oil spills on the open water, the swirling flask test (SFT), has been found to give widely varying results in the hands of different testing laboratories. Part I addressed the sources of the ambiguities in the EPA SFT and the development of a new test referred to as the baffled flask test (BFT). In this part of the series, further experiments were conducted for estimating the repeatability of three operators in determining the effectiveness of 18 dispersants by both the EPA SFT and the BFT methods. Overall statistical analysis of the results indicated that the coefficient of variation by the BFT was only 7.8% compared to 21.9% for the EPA SFT. The mean percent effectiveness of the EPA SFT was only 19.7% as compared to 64.6% for the BFT. Proposed selection criteria for screening of dispersants for listing on the National Contingency Plan Product Schedule have been developed.     

Labelled-replica techniques: post-shadow labelling of intramembrane particles in freeze-fracture replicas

Three methods are described for direct post-fracture, post-shadow labelling of individual classes of intramembrane particles (IMPs) in freeze-fracture replicas of biological membranes. The P-face IMPs corresponding to the acetylcholine receptor complexes (AChRs) of vertebrate neuroeffector junctions are identified by post-replication labelling with ferritin-antibody complexes and with neurotoxin-biotin-avidin-colloidal gold affinity ligands. (The freeze-etch nomenclature of Branton et al., 1975, is used in this report.) These post-shadow labelling techniques resemble conventional en bloc labelling techniques except that the labelling reagents must penetrate a thin but discontinuous layer of platinum superimposed on the molecules of interest. In the ‘sectioned labelled-replica technique’, the replicated and labelled tissues are stained, embedded in plastic and sectioned parallel to the replica-tissue interfaces. In the direct ‘labelled-replica techniques’, the replicated and labelled samples are freeze-dried or critical point dried, the labelled surfaces are stabilized by carbon coating, and the underlying tissues are dissolved, allowing the labelled-replicas to be examined as conventional freeze-fracture replicas. The unshadowed side of each AChR IMP is shown to retain sufficient biochemical information to permit both immunospecific and neurotoxin specific labelling despite formaldehyde fixation, freezing, fracturing, platinum shadowing, and thawing in aqueous media. A new mixed ferricyanide-osmium staining method reveals electron opaque structures spanning the membrane bilayer in the same size, number and distribution as the labelled IMPs. These experiments demonstrate the feasibility of identifying individual IMPs in freeze-fracture replicas and may allow the identification of specific membrane lesions in human disease.     

The perceived effect of breakdown and repair on the performance of multiprocessor systems

It is argued that classical measures of computer system performance, for example mean response time, are inadequate in the context of fault-tolerant system design. Alternative, perception-based measures are proposed and theorems established describing their properties. Focus is directed upon the homogeneous M/M/m system in which total processor power is constrained by budget and processors are subject to failure and repair. A numerical technique for extracting both classical and perception-based measures from the associated two-dimensional Markov process is offered, along with bounds on time and space required for its execution. It is seen that the perception-based approach to system design can call for twice as many processors as the classical approach.     

Evidence for Oxidative Pathways in the Pathogenesis of PD: Are Antioxidants Candidate Drugs to Ameliorate Disease Progression?

Parkinson’s disease (PD) is a progressive neurodegenerative disorder that arises due to a complex and variable interplay between elements including age, genetic, and environmental risk factors that manifest as the loss of dopaminergic neurons. Contemporary treatments for PD do not prevent or reverse the extent of neurodegeneration that is characteristic of this disorder and accordingly, there is a strong need to develop new approaches which address the underlying disease process and provide benefit to patients with this debilitating disorder. Mitochondrial dysfunction, oxidative damage, and inflammation have been implicated as pathophysiological mechanisms underlying the selective loss of dopaminergic neurons seen in PD. However, results of studies aiming to inhibit these pathways have shown variable success, and outcomes from large-scale clinical trials are not available or report varying success for the interventions studied. Overall, the available data suggest that further development and testing of novel therapies are required to identify new potential therapies for combating PD. Herein, this review reports on the most recent development of antioxidant and anti-inflammatory approaches that have shown positive benefit in cell and animal models of disease with a focus on supplementation with natural product therapies and selected synthetic drugs.     

LXRα Regulates oxLDL-Induced Trained Immunity in Macrophages

Reprogramming of metabolic pathways in monocytes and macrophages can induce a proatherosclerotic inflammatory memory called trained innate immunity. Here, we have analyzed the role of the Liver X receptor (LXR), a crucial regulator of metabolism and inflammation, in oxidized low-density lipoprotein (oxLDL)-induced trained innate immunity. Human monocytes were incubated with LXR agonists, antagonists, and oxLDL for 24 h. After five days of resting time, cells were restimulated with the TLR-2 agonist Pam3cys. OxLDL priming induced the expression of LXRα but not LXRβ. Pharmacologic LXR activation was enhanced, while LXR inhibition prevented the oxLDL-induced inflammatory response. Furthermore, LXR inhibition blocked the metabolic changes necessary for epigenetic reprogramming associated with trained immunity. In fact, enrichment of activating histone marks at the IL-6 and TNFα promotor was reduced following LXR inhibition. Based on the differential expression of the LXR isoforms, we inhibited LXRα and LXRβ genes using siRNA in THP1 cells. As expected, siRNA-mediated knock-down of LXRα blocked the oxLDL-induced inflammatory response, while knock-down of LXRβ had no effect. We demonstrate a specific and novel role of the LXRα isoform in the regulation of oxLDL-induced trained immunity. Our data reveal important aspects of LXR signaling in innate immunity with relevance to atherosclerosis formation.     

Flexible electronics: Prediction of substrate deformation during different steps of the lithography process

A numerical model was developed to simulate the micro-deformations of a polymeric substrate due to lithographic processing of different layers of a transistor-like structure. The results of the model were validated with the results from experiments. The model, a mechanical-thermal-hygroscopic model, takes into account the dimensional effects of temperature, moisture and stresses. It also includes the temperature dependent visco-elastic behaviour of the polymer substrate. The model can be used to predict overlay accuracies between different functional layers introduced by the lithographic process. It can also be used to understand the underlying processes such that it provides a tool to improve the overlay accuracy during actual processing.