Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method

This paper describes the implementation of the Refined Triggering Graph (RTG) method for active rule termination analysis and provides an evaluation of the approach based on the application of the method to a sample active application. The RTG method has been defined in the context of an active-deductive, object-oriented database language known as CDOL (Comprehensive, Declarative, Object Language). The RTG method studies the contents of rule pairs and rule cycles in a triggering graph and tests for: (1) the successful unification of one rule's action with another rule's triggering event, and (2) the satisfiability of active rule conditions, asking whether it is possible for the condition of a triggered rule to evaluate to true in the context of the triggering rule's condition. If the analysis can provably demonstrate that one rule cannot trigger another rule, the directed vector connecting the two rules in a basic triggering graph can be removed, thus refining the triggering graph. An important aspect in the implementation of the method is the development of a satisfiability algorithm for CDOL conditions. This paper presents the tool that was developed based on the RTG method, describing how techniques from constraint logic programming are integrated with other techniques for testing the satisfiability of rule triggering conditions. The effectiveness of the approach within the context of a sample application is also addressed.     

从结构主义到想象艺术

正家具最早出现在人类生活中时,是作为提高生活效率的"器具"使用的,它具备基础的功能性,外型和整体架构都十分简单。随着人类社会的不断演变,家具的存在早已被附上一层又一层的定义,设计师们的想象力通过家具的外型得以展现;而它的内部结构,成为展示制造工艺的最好平台;它的质感与视觉效果,通过材料的异同展现出不一样的姿态。荷兰设计师Oato所设计的Stuck Chair映射了工     

An open trial of lisinopril (''ZESTRIL'') in mild to moderate hypertension in Nigeria

The concept of transcultural nursing is relatively new to the nursing literature. It had been less than 30 years since Madeleine Leininger first began to develop a theory of transcultural nursing as part of a doctoral study in anthropology. Much has changed in that time, and nursing staff development and inservice educators need to provide educational offerings within a multicultural context in a timely manner. Cultural diversity is the standard in the mid-1990s, and those nursing staff development programs that are sensitive to this fact produce employees with advantages over those from settings that do not prepare staff for practice in a constantly changing world. This annotated bibliography about transcultural nursing details key references for staff development and inservice programs. It is not intended as an exhaustive review but rather focuses on the most relevant, timely, and useful of the ever increasing number of publications concerning this important subject. Six major books and four of the most pertinent recent journal articles are included. Conclusions and implications for nursing staff educators are offered.     

Tumor necrosis factor-alpha induces apoptosis of human adipose cells

Tumor necrosis factor-alpha (TNF-alpha) production by adipocytes is elevated in obesity, as shown by increased adipose tissue TNF-alpha mRNA and protein levels and by increased circulating concentrations of the cytokine. Furthermore, TNF-alpha has distinct effects on adipose tissue including induction of insulin resistance, induction of leptin production, stimulation of lipolysis, suppression of lipogenesis, induction of adipocyte dedifferentiation, and impairment of preadipocyte differentiation in vitro. Taken together, these effects all tend to decrease adipocyte volume and number and suggest a role for TNF-alpha in limiting increase in fat mass. The aim of the present study was to determine if TNF-alpha could induce apoptosis in human adipose cells, hence delineating another mechanism by which the cytokine could act to limit the development of, or extent of, obesity. Cultured human preadipocytes and mature adipocytes in explant cultures were exposed in vitro to human TNF-alpha at varying concentrations for up to 24 h. Apoptosis was assessed using morphological (histology, nuclear morphology following acridine orange staining, electron microscopy) and biochemical (demonstration of internucleosomal DNA cleavage by gel electrophoresis and of annexin V staining using immunocytochemistry) criteria. In control cultures, apoptotic indexes were between 0 and 2.3% in all experiments. In the experimental systems, TNF-alpha induced apoptosis in both preadipocytes and adipocytes, with indexes between 5 and 25%. Therefore, TNF-alpha induces apoptosis of human preadipocytes and adipocytes in vitro. In view of the major metabolic role of TNF-alpha in human adipose tissue, and the knowledge that adipose tissue is dynamic (with cell acquisition via preadipocyte replication/differentiation and cell loss via apoptosis), these findings describe a further mechanism whereby adipose tissue mass may be modified by TNF-alpha.     

5-[125I]iodo-2'-deoxyuridine in the radiotherapy of brain tumors in rats

Glial neoplasms of the human central nervous system have defied treatment, in part because of the limited selectivity of available cytotoxic agents. The thymidine analog 5-iodo-2'-deoxyuridine radiolabeled with the Auger electron emitter 125I (125IUdR) is highly toxic to dividing cells when it is deoxyribonucleic acid incorporated, but it is relatively innocuous when located outside the nucleus. Previous studies have shown that 125IUdR has significant antineoplastic potential against mammalian cells in vitro and direct administration of 125IUdR is effective therapy for ovarian ascites tumors in mice and neoplastic meningitis in rats. Studies using external gamma imaging and autoradiography have also shown that direct intratumoral administration of 123IUdR/125IUdR into intracerebral 9L gliosarcomas in rats results in selective uptake of the radionuclide into tumor cells. Based on these encouraging results, we have evaluated the therapeutic potential of 125IUdR in rats bearing intracerebral 9L gliosarcomas. METHODS: Iodine-125-IUdR was infused intracerebrally over a 2-day period into rats bearing 1-day-old 9L tumors and over a 6-day period into animals with 9-day-old 9L tumors; equimolar concentrations of 127IUdR were infused into control animals. Tumor growth was monitored by contrast-enhanced 1H MRI and animal survival was followed over time. RESULTS: Intracerebral tumors (3-7 mm) were readily detected by MRI. Tumor-bearing rats treated with 127IUdR succumbed within 17-24 days, whereas tumor-bearing animals treated with 125IUdR survived significantly longer, and 10%-20% of the animals were cured of tumors. CONCLUSION: These data substantiate the antineoplastic potential of 5-[125I]iodo-2'-deoxyuridine and indicate that it may be a useful agent for the therapy of solid tumors that are accessible to direct radiopharmaceutical administration.