Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Nilai Ekonomi Ekosistem Hutan Mangrove di Desa Bahoi Kecamatan Likupang Barat Kabupaten Minahasa Utara

Mangrove ecosystem is the main motivator of life in the coastal and marine area. Mangrove not only have ecological function as providers for aquatic biota but also the place for the spawning ground, nursery ground, and many kinds of aquatic biota, retaining abration, wind break, tsunami, absorben of waste etch. The social economic function of mangrove as the fuel producer, industrial basic material, pharmacology, furniture, cosmetic, food, textiles, glue taner, seed fish, shrimp, crustacean, bird eggs honey and also as the tourism object, conservation, education and research. The aim of this research are 1). To indentified the economic benefit of mangrove ecosystem and 2). To calculate the economic valuation of mangrove ecosystem of Bahoi Village North Minahasa Regency. The basic method in this research is the case study, the collected data through interview direct observation, literature review, and the guidance of cost analyze to build beach damn. The retrieval data used purposive sampling. The data are collected as primary and secondary data. Primary data obtained through interview, questioner and observation the activities of society related with utilization of mangrove ecosystem. The primary data are to 1).KPPD Bahoi Management, 2). Marine ecotourism group, 3). The Government of Bahoi Village. The result research shows the mangrove ecosystem consist of direct use value and indirect use value as retaining abration and break wave is Rp.60.127.034.000,- can hold out 20 years and the benefit of mangrove will lost for rehabilitation period is Rp. 137.837.551.000,- / 10 years and income society are lost Rp. 20.862.240.000,- for 10 years and option value of mangrove ecosystem with 28 hectares is Rp.55.322.400,- for 10 years. Total economic value of mangrove ecosystem at Bahoi Village is Rp. 404.920.912.688,-

Alkali Metal Backup Cooling for Stirling Systems - Experimental Results

In a Stirling Radioisotope Power System (RPS), heat must be continuously removed from the General Purpose Heat Source (GPHS) modules to maintain the modules and surrounding insulation at acceptable temperatures. The Stirling convertor normally provides this cooling. If the Stirling convertor stops in the current system, the insulation is designed to spoil, preventing damage to the GPHS at the cost of an early termination of the mission. An alkali-metal Variable Conductance Heat Pipe (VCHP) can be used to passively allow multiple stops and restarts of the Stirling convertor. In a previous NASA SBIR Program, Advanced Cooling Technologies, Inc. (ACT) developed a series of sodium VCHPs as backup cooling systems for Stirling RPS. The operation of these VCHPs was demonstrated using Stirling heater head simulators and GPHS simulators. In the most recent effort, a sodium VCHP with a stainless steel envelope was designed, fabricated and tested at NASA Glenn Research Center (GRC) with a Stirling convertor for two concepts; one for the Advanced Stirling Radioisotope Generator (ASRG) back up cooling system and one for the Long-lived Venus Lander thermal management system. The VCHP is designed to activate and remove heat from the stopped convertor at a 19 C temperature increase from the nominal vapor temperature. The 19 C temperature increase from nominal is low enough to avoid risking standard ASRG operation and spoiling of the Multi-Layer Insulation (MLI). In addition, the same backup cooling system can be applied to the Stirling convertor used for the refrigeration system of the Long-lived Venus Lander. The VCHP will allow the refrigeration system to: 1) rest during transit at a lower temperature than nominal; 2) pre-cool the modules to an even lower temperature before the entry in Venus atmosphere; 3) work at nominal temperature on Venus surface; 4) briefly stop multiple times on the Venus surface to allow scientific measurements. This paper presents the experimental results from integrating the VCHP with an operating Stirling convertor and describes the methodology used to achieve their successful combined operation

Variable Conductance Heat Pipe Cooling of Stirling Convertor and General Purpose Heat Source

In a Stirling Radioisotope Power System (RPS), heat must be continuously removed from the General Purpose Heat Source (GPHS) modules to maintain the modules and surrounding insulation at acceptable temperatures. The Stirling convertor normally provides this cooling. If the Stirling convertor stops in the current system, the insulation is designed to spoil, preventing damage to the GPHS at the cost of an early termination of the mission. An alkali-metal Variable Conductance Heat Pipe (VCHP) can be used to passively allow multiple stops and restarts of the Stirling convertor. In a previous NASA SBIR Program, Advanced Cooling Technologies, Inc. (ACT) developed a series of sodium VCHPs as backup cooling systems for Stirling RPS. The operation of these VCHPs was demonstrated using Stirling heater head simulators and GPHS simulators. In the most recent effort, a sodium VCHP with a stainless steel envelope was designed, fabricated and tested at NASA Glenn Research Center (GRC) with a Stirling convertor for two concepts; one for the Advanced Stirling Radioisotope Generator (ASRG) back up cooling system and one for the Long-lived Venus Lander thermal management system. The VCHP is designed to activate and remove heat from the stopped convertor at a 19 degC temperature increase from the nominal vapor temperature. The 19 degC temperature increase from nominal is low enough to avoid risking standard ASRG operation and spoiling of the Multi-Layer Insulation (MLI). In addition, the same backup cooling system can be applied to the Stirling convertor used for the refrigeration system of the Long-lived Venus Lander. The VCHP will allow the refrigeration system to: 1) rest during transit at a lower temperature than nominal; 2) pre-cool the modules to an even lower temperature before the entry in Venus atmosphere; 3) work at nominal temperature on Venus surface; 4) briefly stop multiple times on the Venus surface to allow scientific measurements. This paper presents the experimental results from integrating the VCHP with an operating Stirling convertor and describes the methodology used to achieve their successful combined operation

Variable Conductance Heat Pipe Cooling of Stirling Convertor and General Purpose Heat Source

In a Stirling Radioisotope Power System (RPS), heat must be continuously removed from the General Purpose Heat Source (GPHS) modules to maintain the modules and surrounding insulation at acceptable temperatures. The Stirling convertor normally provides this cooling. If the Stirling convertor stops in the current system, the insulation is designed to spoil, preventing damage to the GPHS at the cost of an early termination of the mission. An alkali-metal Variable Conductance Heat Pipe (VCHP) can be used to passively allow multiple stops and restarts of the Stirling convertor. In a previous NASA SBIR Program, Advanced Cooling Technologies, Inc. (ACT) developed a series of sodium VCHPs as backup cooling systems for Stirling RPS. The operation of these VCHPs was demonstrated using Stirling heater head simulators and GPHS simulators. In the most recent effort, a sodium VCHP with a stainless steel envelope was designed, fabricated and tested at NASA Glenn Research Center (GRC) with a Stirling convertor for two concepts; one for the Advanced Stirling Radioisotope Generator (ASRG) back up cooling system and one for the Long-lived Venus Lander thermal management system. The VCHP is designed to activate and remove heat from the stopped convertor at a 19 degC temperature increase from the nominal vapor temperature. The 19 degC temperature increase from nominal is low enough to avoid risking standard ASRG operation and spoiling of the Multi-Layer Insulation (MLI). In addition, the same backup cooling system can be applied to the Stirling convertor used for the refrigeration system of the Long-lived Venus Lander. The VCHP will allow the refrigeration system to: 1) rest during transit at a lower temperature than nominal; 2) pre-cool the modules to an even lower temperature before the entry in Venus atmosphere; 3) work at nominal temperature on Venus surface; 4) briefly stop multiple times on the Venus surface to allow scientific measurements. This paper presents the experimental results from integrating the VCHP with an operating Stirling convertor and describes the methodology used to achieve their successful combined operation

Optimized Heat Pipe Backup Cooling System Tested with a Stirling Convertor

In a Stirling Radioisotope Power System (RPS), heat must be continuously removed from the General Purpose Heat Source (GPHS) modules to maintain the modules and surrounding insulation at acceptable temperatures. The Stirling convertor normally provides this cooling. If the Stirling convertor stops in the current system, the insulation is designed to spoil, preventing damage to the GPHS at the cost of an early termination of the mission. An alkali-metal variable conductance heat pipe (VCHP) can be used to passively allow multiple stops and restarts of the Stirling convertor by bypassing the heat during stops. In a previous NASA Small Business Innovation Research (SBIR) Program, Advanced Cooling Technologies, Inc. (ACT) developed a series of sodium VCHPs as backup cooling systems for the Stirling RPS. In 2012, one of these VCHPs was successfully tested at NASA Glenn Research Center with a Stirling convertor as an Advanced Stirling Radioisotope Generator (ASRG) backup cooling system. The prototype; however, was not optimized and did not reflect the final heat rejection path. ACT through further funding has developed a semioptimized prototype with the finalized heat path for testing at Glenn with a Stirling convertor. The semioptimized system features a two-phase radiator and is significantly smaller and lighter than the prior prototype to reflect a higher level of flight readiness. The VCHP is designed to activate and remove heat from the GPHS during stoppage with a small temperature increase from the nominal vapor temperature. This small temperature increase from nominal is low enough to avoid risking standard ASRG operation and spoiling of the multilayer insulation (MLI). The VCHP passively allows the Stirling convertor to be turned off multiple times during a mission with potentially unlimited off durations. Having the ability to turn the Stirling off allows for the Stirling to be reset and reduces vibrations on the platform during sensitive measurements or procedures. This paper presents the design of the VCHP and its test results with a Stirling convertor at Glenn. Tests were carried for multiple on and off cycles to demonstrate repeatability. The impacts associated with the addition of the VCHP to the system are also addressed in terms of mass and additional heat losses due to the presence of the VCHP

Characteristics of normal human retinal pigment epithelium cells with extremes of autofluorescence or intracellular granule count

Background: Cells of the retinal pigment epithelium (RPE) accumulate different kinds of granules (lipofuscin, melanolipofuscin, melanosomes) within their cell bodies, with lipofuscin and melanolipofuscin being autofluorescent after blue light excitation. High amounts of lipofuscin granules within the RPE have been associated with the development of RPE cell death and age-related macular degeneration (AMD); however, this has not been confirmed in histology so far. Here, based on our previous dataset of RPE granule characteristics, we report the characteristics of RPE cells from human donor eyes that show either high or low numbers of intracellular granules or high or low autofluorescence (AF) intensities. Methods: RPE flatmounts of fifteen human donors were examined using high-resolution structured illumination microscopy (HR-SIM) and laser scanning microscopy (LSM). Autofluorescent granules were analyzed regarding AF phenotype and absolute number of granules. In addition, total AF intensity per cell and granule density (number of granules per cell area) were determined. For the final analysis, RPE cells with total granule number below 5th or above the 95th percentile, or a total AF intensity ± 1.5 standard deviations above or below the mean were included, and compared to the average RPE cell at the same location. Data are presented as mean ± standard deviation. Results: Within 420 RPE cells examined, 42 cells were further analyzed due to extremes regarding total granule numbers. In addition, 20 RPE cells had AF 1.5 standard deviations below, 28 RPE cells above the mean local AF intensity. Melanolipofuscin granules predominate in RPE cells with low granule content and low AF intensity. RPE cells with high granule content have nearly twice (1.8 times) as many granules as an average RPE cell. Conclusions: In normal eyes, outliers regarding autofluorescent granule load and AF intensity signals are rare among RPE cells, suggesting that granule deposition and subsequent AF follows intrinsic control mechanisms at a cellular level. The AF of a cell is related to the composition of intracellular granule types. Ongoing studies using AMD donor eyes will examine possible disease related changes in granule distribution and further put lipofuscin´s role in aging and AMD further into perspective

Autofluorescent granules of the human retinal pigment epithelium: phenotypes, intracellular distribution, and age-related topography

PURPOSE. The human retinal pigment epithelium (RPE) accumulates granules significant for autofluorescence imaging. Knowledge of intracellular accumulation and distribution is limited. Using high-resolution microscopy techniques, we determined the total number of granules per cell, intracellular distribution, and changes related to retinal topography and age. METHODS. RPE cells from the fovea, perifovea, and near-periphery of 15 human RPE flat mounts were imaged using structured illumination microscopy (SIM) and confocal fluorescence microscopy in young (=51 years, n = 8) and older (>80 years, n = 7) donors. Using custom FIJI plugins, granules were marked with computer assistance, classified based on morphological and autofluorescence properties, and analyzed with regard to intracellular distribution, total number per cell, and granule density. RESULTS. A total of 193,096 granules in 450 RPE cell bodies were analyzed. Based on autofluorescence properties, size, and composition, the RPE granules exhibited nine different phenotypes (lipofuscin, two; melanolipofuscin, five; melanosomes, two), distinguishable by SIM. Overall, lipofuscin (low at the fovea but increases with eccentricity and age) and melanolipofuscin (equally distributed at all three locations with no age-related changes) were the major granule types. Melanosomes were under-represented due to suboptimal visualization of apical processes in flat mounts. CONCLUSIONS. Low lipofuscin and high melanolipofuscin content within foveal RPE cell bodies and abundant lipofuscin at the perifovea suggest a different genesis, plausibly related to the population of overlying photoreceptors (fovea, cones only; perifovea, highest rod density). This systematic analysis provides further insight into RPE cell and granule physiology and links granule load to cell autofluorescence, providing a subcellular basis for the interpretation of clinical fundus autofluorescence. © 2020 Association for Research in Vision and Ophthalmology Inc.. All rights reserved

Hall Effect of Spin Waves in Frustrated Magnets

We examine a possible spin Hall effect for localized spin systems with no charge degrees of freedom. In this scenario, a longitudinal magnetic field gradient induces a transverse spin current carried by spin wave excitations with an anomalous velocity which is associated with the Berry curvature raised by spin chirality, in analogy with anomalous Hall effects in itinerant electron systems. Our argument is based on a semiclassical equations of motion applicable to general spin systems. Also, a microscopic model of frustrated magnets which exhibits the anamalous spin Hall effect is presented.Comment: 5 pages, title and presentation style are changed, accepted for publication in Phys. Rev. Let

Improving the compilation of prolog to C using moded types and determinism information

We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds of high-level information, typically obtained via an automatic analysis of the initial Prolog program and expressed in a standardized language of assertions. This information is used to optimize the resulting C code, which is then processed by an off-the-shelf C compiler. The basic translation process essentially mimics the unfolding of a bytecode emulator with respect to the particular bytecode corresponding to the Prolog program. This is facilitated by a flexible design of the instructions and their lower-level components. This approach allows reusing a sizable amount of the machinery of the bytecode emulator: predicates already written in C, data definitions, memory management routines and áreas, etc., as well as mixing emulated bytecode with native code in a relatively straightforward way. We report on the performance of programs compiled by the current versión of the system, both with and without analysis information