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映射了工     

Frameless stereotactic lesion contour-guided surgery using a computer-navigated microscope

BACKGROUND: The Zeiss MKM System is a recently developed computerized operating microscope for image-guided neurosurgery. The clinical advantages, reliability, accuracy, and limitations of this technique were investigated. METHODS: Since February 1995, 78 consecutive frameless stereotactic image-guided procedures were performed in 73 patients (30 males, 43 females; mean age, 46.9 years; range, 16-77 years) for tumor surgery (50/64.1%), cavernoma removal (16/20.5%), and functional procedures (12/15.4%). Skin markers (74 cases) or bone markers (4 cases) and a standard imaging protocol (2-mm cranial computed tomography (CCT) in 59 cases/1.5-mm magnetic resonance imaging (MRI) in 19 cases) were used. RESULTS: The main advantages were pre-operative skin incision, craniotomy and corticotomy planning, and determination of lesion boundaries. Useful registration and system reliability were noted in 97% (76/78) of the procedures. A significant improvement in registration accuracy was observed over the test period from a mean of 4.8 mm (SD = 3.36; Cases 1-25) to a mean of 2.2 mm (SD = 0.86; Cases 26-78). This resulted in an improvement in application accuracy from <5 mm in 71% (Cases 1-25) to <2 mm in 95% (Cases 26-78) of cases, and the accuracy led to successful localization of the lesion in every case. Accuracy was reliable at the beginning of every procedure, but degraded to values >5 mm by the end of the procedure in 29% (22/78) of cases. MRI cases achieved higher application accuracy values (2.1 mm mean) than CT cases (3.7 mm mean). CONCLUSIONS: The system offers a reliable alternative to frame-assisted stereotactic craniotomies in lesion targeting, but would need an intraoperative image update for resection guidance.     

Relationship between structure and electroluminescence of oligo(p-phenylenevinylene)s

The preparation of LEDs with poly( p-phenylenevinylene) (PPV) as emitting material is well established. However, due to the presence of a distribution of conjugated chain lengths in the polymer, systematic investigations of the electroluminescence with polymeric materials are difficult, as far as the optical emission is concerned. We are studying the relationship between structural variation of substituted oligo(p-phenylenevinylene)s and their electroluminescent behaviour using a series of distyrylbenzenes with a variety of substituents in order to investigate their influence on the electroluminescence (EL). Furthermore, we synthesized a homologous series of monodisperse oligo(2,5-dipropoxy-1,4-phenylenevinylene)s with up to 11 repeating units. This series covers the spectrum from monomer to polymer. The influence on the EL can be investigated by preparing single layer LEDs using vapor deposition or spincoating of the oligomers in a polystyrene (PS) matrix. The comparison of photoluminescence (PL)- and EL-spectra shows that the photophysical properties of the oligomers are strongly altered by aggregation phenomena.