Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Detection of lead(II) and silver(I) in aqueous solution using a piezoelectric device

The gold surface of a quartz crystal microbalance was modified by the attachment of silica particles derivatised with N-[(3-trimethoxysilyl)propyl] ethylenediaminetriacetic acid. The device was employed to study the kinetics of the interaction of aqueous solutions of lead(II) nitrate and silver(I) nitrate with the surface and for the selective separation of the metal ions.

Cavopulmonary anastomosis improves left ventricular assist device support in acute biventricular failure

Objective: Right ventricular failure during left ventricular assist device (WAD) support can result in severe hemodynamic compromise with high mortality. This study investigated the acute effects of cavopulmonary anastomosis on right ventricular loading and WAD performance in a model of severe biventricular failure. Methods: LVAD support was performed by means of centrifugal pump implantation in 14 anesthetized dogs (20-30 kg) with severe biventricular failure obtained by ventricular fibrillation induction. Animals were randomized to be submitted to classical cavopulmonary anastomosis (Glenn shunt) or to control group and were maintained under WAD support for 2 h. Left and right atrial, right ventricular and systemic pressures were monitored, white total pulmonary flow was simultaneously recorded by transonic flowmeters located on the superior vena cava and pulmonary trunk. Blood gas and venous lactate determinations were also obtained. Results: Ventricular fibrillation maintenance resulted in acute WAD performance impairment after 90 min in the control group, while animals with Glenn circuit maintained normal WAD pump flow (55 +/- 13 ml kg(-1) min(-1) vs 21 +/- 4 ml kg(-1) min(-1), p < 0.001) and better peripheral perfusion (blood lactate of 29 +/- 10 pg/ml vs 46 +/- 9 pg/ml, p < 0.001). Left and right atrial pressures did not change significantly, while right ventricular pressure was tower in animals with Glenn circuit (13 +/- 3 mmHg vs 22 +/- 8 mmHg, p = 0.005). Right ventricular unloading with Glenn shunt also resulted in superior total pulmonary flow (59 +/- 13 ml kg(-1) min(-1) vs 17 +/- 3 ml kg(-1) min(-1), p < 0.001). Conclusion: The concomitant use of cavopulmonary anastomosis during LVAD support in a model of severe biventricular failure limited right ventricular overloading and resulted in better hemodynamic performance. (C) 2008 European Association for Cardio-Thoracic Surgery. Published by Elsevier B.V. All rights reserved.

A Simple and Efficient Device for Demonstrating Cross-sectional Anatomy of the Head

Described in this article is a novel device that facilitates study of the cross-sectional anatomy of the human head. In designing our device, we aimed to protect sections of the head from the destructive action of handling during anatomy laboratory while also ensuring excellent visualization of the anatomic structures. We used an electric saw to create 15-mm sections of three cadaver heads in the three traditional anatomic planes and inserted each section into a thin, perforated display box made of transparent acrylic material. The thin display boxes with head sections are kept in anatomical order in a larger transparent acrylic storage box containing formaldehyde solution, which preserves the specimens but also permits direct observation of the structures and their anatomic relationships to each other. This box-within-box design allows students to easily view sections of a head in its anatomical position as well as to examine internal structures by manipulating individual display boxes without altering the integrity of the preparations. This methodology for demonstrating cross-section anatomy allows efficient use of cadaveric material and technician time while also giving learners the best possible handling and visualization of complex anatomic structures. Our approach to teaching cross-sectional anatomy of the head can be applied to any part of human body, and the value of our device design will only increase as more complicated understandings of cross-sectional anatomy are required by advances and proliferation of imaging technology. Anat Sci Educ 3: 141-143, 2010. (C) 2010 American Association of Anatomists.

A Ku-band active transmit-array module with a horn or patch array as a signal launching/receiving device

This paper is concerned with the design of a Ku-band active transmit-array module of transistor amplifiers excited by either a pyramidal horn or a patch array Optimal distances between the active transmit array and the signal-launching:receiving device, which is either a passive corporate-fed array or a horn, are determined to maximise the power gain at a design frequency: Having established these conditions, the complete structure is investigated in terms of operational bandwidth and near-field and far-field distributions measured at the output side of the transmit array, The experimental results show that the use of a corporate-fed array as an illuminating/receiving device gives higher gain and significantly larger operational bandwidth, An explanation for this behavior is sought.

A portable load cell for in-situ ore impact breakage testing

This paper discusses the design and characterisation of a short, and hence portable impact load cell for in-situ quantification of ore breakage properties under impact loading conditions. Much literature has been published in the past two decades about impact load cells for ore breakage testing. It has been conclusively shown that such machines yield significant quantitative energy-fragmentation information about industrial ores. However, documented load cells are all laboratory systems that are not adapted for in-situ testing due to their dimensions and operating requirements. The authors report on a new portable impact load cell designed specifically for in-situ testing. The load cell is 1.5 m in height and weighs 30 kg. Its physical and operating characteristics are detailed in the paper. This includes physical dimensions, calibration and signal deconvolution. Emphasis is placed on the deconvolution issue, which is significant for such a short load cell. Finally, it is conclusively shown that the short load cell is quantitatively as accurate as its larger laboratory analogues. (C) 2062 Elsevier Science B.V. All rights reserved.

Fatal monensin toxicity in a dog after chewing a bovine intra-ruminal slow-release device

A 20kg, 10-month-old male Kelpie developed a rapid onset of profound paresis progressing to flaccid paralysis and dyspnoea, followed by death about 36 hours after chewing on a partly discharged anti-bloat capsule from a dead cow. Intoxication by monensin in the capsule was considered the cause of death. No Lodes holocyclus were found on the dog. Evidence of muscle damage was seen in clinical biochemistry assays of plasma, but consent for necropsy was not obtained. The median lethal dose for Beagle dogs of the material contained in anti-bloat capsules is 0.5-1.0g. As this represents a serious toxicity risk if dogs chew these devises, the manufacturer includes a warning on potential dog toxicity in product literature.

In situ characterization of stickiness of sugar-rich foods using a linear actuator driven stickiness testing device

A stickiness testing device based on the probe tack test has been designed and tested. It was used to perform in situ characterization of drying hemispherical drops with an initial radius 3.5 mm. Tests were carried out in two drying temperatures, 63 and 95 degreesC. Moisture and temperature histories of the drying drops of fructose, honey, sucrose, maltodextrin and sucrose-maltodextrin mixtures were determined. The rates of moisture evaporation of the fructose solution was the fastest while those of the maltodextrin solution was the lowest. A profile reversal was observed when the temperature profiles of these materials were compared. Different modes of failure were observed during the stickiness tests. Pure fructose and honey solutions remained completely sticky and failed cohesively until the end of drying. Pure sucrose solution remained sticky and failed cohesively until complete crystallization occurred. The surface of the maltodextrin drops formed a skin shortly after the start of drying. It exhibited adhesive failure and reached a state of non-adhesion. Addition of maltodextrin significantly altered the stickiness of sucrose solution. (C) 2002 Elsevier Science Ltd. All rights reserved.

Hand-held robotic device for laparoscopic surgery and training

Laparoscopic surgery (LS) has revolutionized traditional surgical techniques introducing minimally invasive procedures for diagnosis and local therapies. LSs have undeniable advantages, such as small patient incisions, reduced postoperative pain and faster recovery. On the other hand, restricted vision of the anatomical target, difficult handling of the surgical instruments, restricted mobility inside the human body, need of dexterity to hand-eye coordination and inadequate and non-ergonomic surgical instruments may restrict LS only to more specialized surgeons. To overcome the referred limitations, this work presents a new robotic surgical handheld system – the EndoRobot. The EndoRobot was designed to be used in clinical practice or even as a surgical simulator. It integrates an electromechanical system with 3 degrees of freedom. Each degree can be manipulated independently and combined with different levels of sensitivity allowing fast and slow movements. As other features, the EndoRobot has battery power or external power supply, enables the use of bipolar radiofrequency to prevent bleeding while cutting and allows plug-and-play of the laparoscopic forceps for rapid exchange. As a surgical simulator, the system was also instrumented to measure and transmit, in real time, its position and orientation for a training software able to monitor and assist the trainee’s surgical movements.