Symbolic and numeric knowledge integration in multiple fault troubleshooting

Many expert system researchers have reported in recent years that situation-action symbolic production rules frequently fail to provide adequate knowledge representation schemes without resorting to numeric computation. However, despite the need to integrate symbolic and quantitative computation into one coherent framework of knowledge, surprisingly few architectures have been proposed for achieving this goal. This paper explores the integration of qualitative and numeric processing in expert systems. We address the topic with respect to the construction of expert systems that perform the tasks of design and multiple fault troubleshooting. This paper shows that these tasks can be handled effectively when an appropriate interface is established between the heuristic and the numeric knowledge-based components. Specifically, we demonstrate how to interface heuristic knowledge with non-linear optimization models in order to allow an expert system greater expressiveness. An actual example is presented from the machining domain.     

Intrathecal fentanyl with small-dose dilute bupivacaine: better anesthesia without prolonging recovery

Recent concern regarding lidocaine neurotoxicity has prompted efforts to find alternatives to lidocaine spinal anesthesia. Small-dose dilute bupivacaine spinal anesthesia yields a comparably rapid recovery profile but may provide insufficient anesthesia. By exploiting the synergism between intrathecal opioids and local anesthetics, it may be possible to augment the spinal anesthesia without prolonging recovery. Fifty patients undergoing ambulatory surgical arthroscopy were randomized into two groups receiving spinal anesthesia with 3 ml 0.17% bupivacaine in 2.66% dextrose without (Group I) or with (Group II) the addition of 10 microg fentanyl. Median block levels reached T7 and T8, respectively (P = not significant [NS]). Mean times to two-segment regression, S2 regression, time out of bed, time to urination, and time to discharge were 53 vs 67 min (P < 0.01), 120 vs 146 min (P < 0.05), 146 vs 163 min (P = NS), 169 vs 177 min (P = NS), and 187 vs 195 min (P = NS) respectively. Motor blockade was similar between groups, but sensory blockade was significantly more intense in Group II (P < 0.01). Six of 25 blocks failed in Group I, whereas none failed in Group II. The addition of 10 microg fentanyl to spinal anesthesia with dilute small-dose bupivacaine intensifies and increases the duration of sensory blockade without increasing the intensity of motor blockade or prolonging recovery to micturition or street fitness. IMPLICATIONS: Concerns about the neurotoxicity of lidocaine have prompted efforts to find alternatives to lidocaine spinal anesthesia. We studied 50 patients undergoing ambulatory surgical arthroscopy and found that although small-dose bupivacaine alone is inadequate for this procedure, the addition of fentanyl makes it reliable.     

Temporal order and functional analysis of mutations within the Fli-1 and p53 genes during the erythroleukemias induced by F-MuLV

The erythroleukemias induced by Friend murine leukemia virus (F-MuLV) result from the accumulation of a number of genetic changes, including activation of the Fli-1 proto-oncogene and inactivation of the p53 tumor suppressor gene. We have determined the temporal order of mutation of the genes involved in this multistage malignancy, by serial in vivo transplantation of F-MuLV induced primary erythroleukemias into syngenic Balb/c mice. These primary tumors are capable of growing when transplanted into syngenic mice, but die after several days of in vitro culture. From the transplanted tumors grown in syngenic mice, erythropoietin-dependent cell lines were established in culture that are clonally related to cells in the primary tumors. We show that retroviral insertional activation of the Fli-1 ets family member is the first detectable genetic event in F-MuLV induced primary erythroleukemias. Mutations in the p53 gene were observed in the Epo-dependent cell lines but not in the transplanted erythroleukemias used to establish these cell lines in culture. These data suggest that activation of Fli-1 plays an important role in the early stages of F-MuLV-induced leukemia, perhaps by altering the self-renewal probabilities of erythroid progenitor cells and that p53 mutations immortalize these cells, enabling them to grow in vitro in the presence of Epo.     

TGF-beta mediated G1 arrest in a human melanoma cell line lacking p15INK4B: evidence for cooperation between p21Cip1/WAF1 and p27Kip1

We have studied TGF-beta mediated G1 arrest in WM35, an early stage human melanoma cell line. These cells have lost p15INK4B expression through loss of one chromosome 9 and rearrangement of the other. In asynchronously growing WM35, TGF-beta caused reductions in cyclin D1, cyclin A and cdk4 proteins and their associated kinase activities and an increase in both p21Cip1/WAF1 and p27Kip1. These findings were confirmed in cells released from quiescence in the presence of TGF-beta, in which TGF-beta inhibited or delayed the reduction in the cdk inhibitors that normally occurs in late G1. In contrast to observations in other cell types, there was an increased association of both p21Cip1/WAF1 and p27Kip1 with cyclin D1/cdk4 and with cyclin E/cdk2 during TGF-beta mediated arrest of asynchronously growing cells. Upregulation of p21Cip1/WAF1 preceded that of p27Kip1. Furthermore, p21Cip1/WAF1 and p27Kip1 were not present in the same cdk complexes but bound distinct populations of target cdk molecules. Both p21Cip1/WAF1 and p27Kip1 immunoprecipitates from asynchronously growing cells contained active kinase complexes. These KIP-associated kinase activities were reduced in TGF-beta arrested cells. It has been proposed that in TGF-beta arrested epithelial cells, up-regulation of p15INK4B and of p15INK4B binding to cdk4 serves to destabilize the association of p27Kip1 with cyclin D1/cdk4, promoting p27Kip1 binding and inhibition of cyclin E/cdk2. Our findings demonstrate that this is not a universal mechanism of G1 arrest by TGF-beta. In TGF-beta arrested WM35, which lack p15INK4B, the increased p21Cip1/WAF1 may serve a similar function to that of p15INK4B: initiating kinase inhibition and providing an additional mechanism to supplement the effect of p27Kip1 on G1 cyclin/cdks.     

Individual differences in vulnerability to inescapable shock in rats.

The present study determined whether individual differences in neophobia during an open-field pretest predict vulnerability to inescapable electric shock, as measured by 2 tests of learned helplessness in rats. Shuttle-escape latencies and saccharin finickiness increased across groups that had received increasing numbers of inescapable shocks 24 hr earlier. Dispersion in the test measure as well as the percentage of variance explained by pretest neophobia were greater when no or few shocks were delivered in the interpolated stress phase. Pretest neophobia was positively related to stress vulnerability in both tests under these conditions. Further increments in stressor severity overwhelmed even the most stress-resistant rats, thereby decreasing dispersion in the test measure and eliminating the predictive value of pretest neophobia. This pattern of outcomes was more robust for the shuttle-escape measure of helplessness. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Nonparametric change detection and estimation in large-scale sensor networks

The problem of detecting changes in the distribution of alarmed sensors is considered. Under a nonparametric change detection framework, several detection and estimation algorithms are presented based on the Vapnik-Chervonenkis (VC) theory. Theoretical performance guarantees are obtained by providing error exponents for false-alarm and miss detection probabilities. Recursive algorithms for the efficient computation of test statistics are derived. The estimation problem is also considered in which, after detection is made, the location with maximum distribution change is estimated.     

On the power of randomization in on-line algorithms

Against in adaptive adversary, we show that the power of randomization in on-line algorithms is severely limited! We prove the existence of an efficient simulation of randomized on-line algorithms by deterministic ones, which is best possible in general. The proof of the upper bound is existential. We deal with the issue of computing the efficient deterministic algorithm, and show that this is possible in very general cases.A previous version of this paper appeared in the22nd ACM STOC Conference Proceedings. Part of this research was performed while A. Borodin and A. Wigderson were visitors at the International Computer Science Institute, and while G. Tardos was a visitor at the Hebrew University.     

Optimal bandwidth for topographical differential absorption lidar detection

A detected laser signal backscattered from a tilted target is modeled with a laser-pulse shape as a response of a high-pass filter to an exponential input that describes the gain buildup within the laser cavity before a laser pulse is emitted and a single-pole low-pass RC filter for the electronic amplifier. The model is used to maximize the signal-to-noise ratio of the detected peak signal with a proper choice of the integration time constant τ as a function of the laser-pulse shape and the tilt angle of the backscattering target.     

Using ICT for school purposes: Is there a student-school disconnect?

Today's students are often portrayed in the literature as enthusiastic and wholehearted users of the Internet for school purposes, in contrast with today's schools, in which the situation is of high ICT access and low use. Via interviews with 25 post-primary students, this study examined student attitudes toward using the Internet for school purposes, revealing the reasoning behind patterns of after school ICT use and underlying perceptions of learning, the teacher's role and the desired role of ICT in schooling. Students were revealed to be ambivalent: they considered the Internet to be easy to use, reducing workload and “fun”, but at the same time “unreliable”, not “serious” enough, and not containing what they “need to know”. Thus, they primarily used it for “unimportant” assignments such as routine homework. Students described their learning goal as getting required “material” into their heads and saw the teachers as an (almost) exclusive authority regarding this required body of information, in line with schooling's information-focused agenda and teacher-centered practices. They were also less than enthusiastic about the integration of ICT into their curriculum. Although there is no apparent disconnect between school and students, it is argued that school should change in order to capitalize on the affordances of ICT and to better prepare students for life in the knowledge age.     

Beyond the "Self in Self-Efficacy: Spouse Confidence Predicts Patient Survival Following Heart Failure.

Ratings of patient efficacy to manage illness, made by 191 congestive heart failure patients and their spouses, were examined as predictors of patients' survival over the next 4 years. When considered alone, both the patient's self-efficacy and the spouse's confidence ratings predicted survival, but only spouse confidence remained significant when both partners" efficacy ratings were included in the same Cox regression model. The overlapping prognostic significance of spouse confidence and a global, multicomponent measure of marital quality positioned the former as a proxy for the latter, reflecting a fundamentally social protective factor in patient survival. Successful adaptation to heart failure appears to involve more than the patient's personal agency, and psychosocial data from spouses can improve prediction of patient outcomes. (PsycINFO Database Record (c) 2010 APA, all rights reserved)