The paper provides examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem which is particularly acute in the case of object oriented specifications with inheritance. We identify the problem as the inability to express that a procedure changes only those things it has to, leaving everything else unmodified, and review some attempts at dealing with this “frame problem” in the software specification community. The second part of the paper adapts a recent proposal for a solution to the frame problem in artificial intelligence-the notion of explanation closure axioms-to provide an approach whereby one can state such conditions succinctly and modularly, with the added advantage of having the specifier be reminded of things that she may have omitted saying in procedure specifications. Since this approach is based on standard predicate logic, its semantics are relatively straightforward. The paper also suggests an algorithm which generates syntactically the explanation closure axioms from the pre/postcondition specifications, provided they are written in a restricted language; it also suggests a model theory supporting it 相似文献
To investigate the biochemical requirements for in vivo L-DOPA production by cells genetically modified ex vivo in a rat model of Parkinson's disease (PD), rat syngeneic 9L gliosarcoma and primary Fischer dermal fibroblasts (FDFs) were transduced with retroviral vectors encoding the human tyrosine hydroxylase 2 (hTH2) and human GTP cyclohydrolase I (hGTPCHI) cDNAs. As GTPCHI is a rate-limiting enzyme in the pathway for synthesis of the essential TH cofactor, tetrahydrobiopterin (BH4), only hTH2 and GTPCHI cotransduced cultured cells produced L-DOPA in the absence of added BH4. As striatal BH4 levels in 6-hydroxydopamine (6-OHDA)-lesioned rats are minimal, the effects of cotransduction with hTH2 and hGTPCHI on L-DOPA synthesis by striatal grafts of either 9L cells or FDFs in unilateral 6-OHDA-lesioned rats were tested. Microdialysis experiments showed that those subjects that received cells cotransduced with hTH2 and hGTPCHI produced significantly higher levels of L-DOPA than animals that received either hTH2 or untransduced cells. However, animals that received transduced FDF grafts showed a progressive loss of transgene expression until expression was undetectable 5 weeks after engraftment. In FDF-engrafted animals, no differential effect of hTH2 vs hTH2 + hGTPCHI transgene expression on apomorphine-induced rotation was observed. The differences in L-DOPA production found with cells transduced with hTH2 alone and those cotransduced with hTH2 and hGTPCHI show that BH4 is critical to the restoration of the capacity for L-DOPA production and that GTPCHI expression is an effective means of supplying BH4 in this rat model of PD. 相似文献
OBJECTIVE: To study the interaction of interleukin-1alpha (IL-1alpha) and oncostatin M (OSM) in promoting cartilage collagen destruction. METHODS: Bovine, porcine, and human cartilage and human chondrocytes were studied in culture. The levels of collagenase (matrix metalloproteinase 1 [MMP-1]) and tissue inhibitor of metalloproteinases 1 (TIMP-1) were measured by bioassay and enzyme-linked immunosorbent assay (ELISA). The levels of OSM in rheumatoid synovial fluid were measured by ELISA. RESULTS: When combined with OSM, IL-1alpha, IL-1beta, and tumor necrosis factor alpha released proteoglycan and collagen from cartilage. OSM was the only member of the IL-6 family to have this effect. Human tendon also responded to IL-1alpha and OSM. OSM increased the production of MMP-1 and TIMP-1 but when combined with IL-1alpha, synergistically promoted MMP-1 production in human chondrocytes and synovial fibroblasts. High levels of OSM were found in human rheumatoid synovial fluids, and confocal microscopy showed that OSM was produced by macrophages in rheumatoid synovial tissue. CONCLUSION: These results highlight an important new mechanism by which there is irreversible loss of collagen from cartilage. 相似文献
Apoptosis associated oligonucleosomal fragmentation of DNA can result from the activation of endonucleases that exhibit different pH optima and are either sensitive or insensitive to divalent cations. DNA fragmentation due to activation of cation sensitive endonucleases occurs in the absence of a change in intracellular pH whereas intracellular acidification is a feature of apoptosis characterized by activation of cation insensitive acidic endonuclease. We have reported earlier that somatostatin (SST) induced DNA fragmentation and apoptosis is signaled in a receptor subtype selective manner uniquely via human somatostatin receptor subtype 3 (hSSTR3). In the present study we investigated the pH dependence and cation sensitivity of endonuclease induced in hSSTR3 expressing CHO-K1 cells by the SST agonist octreotide (OCT) and its effect on intracellular pH. We show that OCT induced apoptosis is associated with selective stimulation of a divalent cation insensitive acidic endonuclease. The intracellular pH of of cells undergoing OCT induced apoptosis was 0.9 pH units lower than that of control cells. The effect of OCT on endonuclease and pH was inhibited by orthovanadate as well as by pretreatment with pertussis toxin, suggesting that hSSTR3 initiated cytotoxic signaling is protein tyrosine phosphatase mediated and is G protein dependent. These findings suggest that intracellular acidification and activation of acidic endonuclease mediate wild type p53 associated apoptosis signaled by hormones acting via G protein coupled receptors. 相似文献
This work presents an extension of grid generation techniques for finite-volume discretizations of density-driven flow in fractured porous media, in which fractures are considered as low-dimensional manifolds and are resolved by sides of grid elements. The proposed technique introduces additional degrees of freedom for the unknowns assigned to the fractures and thus allows to reconstruct jumps of the solution over a fracture. Through the concept of degenerated elements, the proposed technique can be used for arbitrary junctions of fractures but is sufficiently simple regarding the implementation and allows for the application of conventional numerical solvers. Numerical experiments presented at the end of the paper demonstrate the applicability of this technique in two and three dimensions for complicated fracture networks. 相似文献
Gas chromatography, coupled gas chromatography-mass spectrometry (electron impact mode and chemical ionization with methane as reactant gas), gas chromatography-infrared spectroscopy, and derivatization techniques were used to identity 53 compounds in the interdigital secretion of the red hartebeest, Alcelaphus buselaphus caama. These compounds included alkanes, isoalkanes, alcohols, ketones, carboxylic acids, oxiranes, furanoid linalool oxides, and a large number of branched and unbranched saturated and unsaturated aldehydes. The secretion probably plays a role in demarcation of territories by dominant bulls. 相似文献
Image post-processing corrects for cardiac and respiratory motion (MoCo) during cardiovascular magnetic resonance (CMR) stress perfusion. The study analyzed its influence on visual image evaluation.
Materials and methods
Sixty-two patients with (suspected) coronary artery disease underwent a standard CMR stress perfusion exam during free-breathing. Image post-processing was performed without (non-MoCo) and with MoCo (image intensity normalization; motion extraction with iterative non-rigid registration; motion warping with the combined displacement field). Images were evaluated regarding the perfusion pattern (perfusion deficit, dark rim artifact, uncertain signal loss, and normal perfusion), the general image quality (non-diagnostic, imperfect, good, and excellent), and the reader’s subjective confidence to assess the images (not confident, confident, very confident).
Results
Fifty-three (non-MoCo) and 52 (MoCo) myocardial segments were rated as ‘perfusion deficit’, 113 vs. 109 as ‘dark rim artifacts’, 9 vs. 7 as ‘uncertain signal loss’, and 817 vs. 824 as ‘normal’. Agreement between non-MoCo and MoCo was high with no diagnostic difference per-patient. The image quality of MoCo was rated more often as ‘good’ or ‘excellent’ (92 vs. 63%), and the diagnostic confidence more often as “very confident” (71 vs. 45%) compared to non-MoCo.
Conclusions
The comparison of perfusion images acquired during free-breathing and post-processed with and without motion correction demonstrated that both methods led to a consistent evaluation of the perfusion pattern, while the image quality and the reader’s subjective confidence to assess the images were rated more favorably for MoCo.
The gene encoding the human erythrocyte form of cytochrome b5 (97 residues in length) has been prepared by mutagenesis of an expression vector encoding lipase-solubilized bovine liver microsomal cytochrome b5 (93 residues in length) (Funk et al., 1990). Efficient expression of this gene in Escherichia coli has provided the first opportunity to obtain this protein in quantities sufficient for physical and functional characterization. Comparison of the erythrocytic cytochrome with the trypsin-solubilized bovine liver cytochrome b5 by potentiometric titration indicates that the principal electrostatic difference between the two proteins results from two additional His residues present in the human erythrocytic protein. The midpoint reduction potential of this protein determined by direct electrochemistry is -9 +/- 2 mV vs SHE at pH 7.0 (mu = 0.10 M, 25.0 degrees C), and this value varies with pH in a fashion that is consistent with the presence of a single ionizable group that changes pKa from 6.0 +/- 0.1 in the ferricytochrome to 6.3 +/- 0.1 in the ferrocytochrome with delta H degrees = -3.2 +/- 0.1 kcal/mol and delta S degrees = -11.5 +/- 0.3 eu (pH 7.0, mu = 0.10). The 1D 1H NMR spectrum of the erythrocytic ferricytochrome indicates that 90% of the protein binds heme in the "major" orientation and 10% of the protein binds heme in the "minor" orientation (pH 7.0, 25 degrees C) with delta H degrees = -2.9 +/- 0.3 kcal/mol and delta S degrees = -5.4 +/- 0.9 eu for this equilibrium. 相似文献
PURPOSE: Interpretation time of serial staging chest CT cases, which each contained current and previous examinations, with a simple prototype workstation called filmstack was experimentally compared with interpretation time with a film alternator. MATERIALS AND METHODS: The filmstack displayed a "stack" of sections for each examination; user controls allowed rapid selection of preset attenuation windows and both synchronized and unsynchronized scrolling. Eight radiologists were timed as they used the filmstack and the film alternator to interpret four ergonomically complex serial CT cases. RESULTS: All reports dictated on the basis of findings with filmstack and film were of acceptable clinical accuracy. The time to examine a case with filmstack was significantly faster than the time with film, including the time to load and unload the alternator (99% confidence [P = .01]). There was no statistically significant difference in interpretation time between filmstack and prehung film. CONCLUSION: Use of a low-cost stacked CT workstation with a single 1,024 x 1,024 monitor is an effective means of interpreting cases that require comparison of multiple CT examinations. 相似文献