Using Electronic Documents for Knowledge Acquisition and Model Maintenance

Knowledge acquisition and model maintenance are key problems in knowledge engineering to improve the productivity in the development of intelligent systems. Although historically a number of technical solutions have been proposed in this area, the recent experience shows that there is still an important gap between the way end-users describe their expertise and the way intelligent systems represent knowledge. In this paper we propose an original way to cope with this problem based on electronic documents. We propose the concept of intelligent document processor as a tool that allows the end-user to read/write a document explaining how an intelligent system operates in such a way that, if the user changes the content of the document, the intelligent system will react to these changes. The paper presents the structure of such a document based on knowledge categories derived from the modern knowledge modeling methodologies together with a number of requirements to be understandable by end-users and problem solvers.

A large displacement structural analysis of a pipeline subjected to gravity and buoyancy forces

A nonlinear analysis of an elastic tube subjected to gravity forces and buoyancy pressure is carried out. An update lagrangian formulation is used. The structural analysis efficiency in terms of computer time and accuracy, has been improved when load stiffness matrices have been introduced. In this way the follower forces characteristics such as their intensity and direction changes can be well represented. A sensitivity study of different involved variables on the final deformed pipeline shape is carried out.

Task-based telemanipulation for maintenance in large scientific facilities

This thesis presents a task-oriented approach to telemanipulation for maintenance in large scientific facilities, with specific focus on the particle accelerator facilities at European Organization for Nuclear Research (CERN) in Geneva, Switzerland and GSI Helmholtz Centre for Heavy Ion Research (GSI) in Darmstadt, Germany. It examines how telemanipulation can be used in these facilities and reviews how this differs from the representation of telemanipulation tasks within the literature. It provides methods to assess and compare telemanipulation procedures as well a test suite to compare telemanipulators themselves from a dexterity perspective. It presents a formalisation of telemanipulation procedures into a hierarchical model which can be then used as a basis to aid maintenance engineers in assessing tasks for telemanipulation, and as the basis for future research. The model introduces a new concept of Elemental Actions as the building block of telemanipulation movements and incorporates the dependent factors for procedures at a higher level of abstraction. In order to gain insight into realistic tasks performed by telemanipulation systems within both industrial and research environments a survey of teleoperation experts is presented. Analysis of the responses is performed from which it is concluded that there is a need within the robotics community for physical benchmarking tests which are geared towards evaluating the dexterity of telemanipulators for comparison of their dexterous abilities. A three stage test suite is presented which is designed to allow maintenance engineers to assess different telemanipulators for their dexterity. This incorporates general characteristics of the system, a method to compare kinematic reachability of multiple telemanipulators and physical test setups to assess dexterity from a both a qualitative perspective and measurably by using performance metrics. Finally, experimental results are provided for the application of the proposed test suite onto two telemanipulation systems, one from a research setting and the other within CERN. It describes the procedure performed and discusses comparisons between the two systems, as well as providing input from the expert operator of the CERN system.

Use a simulation tool for multi-commodity pipeline scheduling

Pipeline transport represents one of the most important means of moving oil derivatives to different locations. It is both a reliable and inexpensive means of transport, and it yields small variable costs along with a great degree of reliability. Pipeline scheduling is not a trivial task; it involves considerable time from schedulers. Discussed here is a real-application case of a tool that helps schedulers simulate pipeline performance as a means of creating a feasible schedule for a particular time span.

A nonlinear analysis of laying a floating pipeline on the seabed

In this article, a model for the determination of displacements, strains, and stresses of a submarine pipeline during its construction is presented. Typically, polyethylene outfall pipelines are the ones treated by this model. The process is carried out from an initial floating situation to the final laying position on the seabed. The following control variables are considered in the laying process: the axial load in the pipe, the flooded inner length, and the distance of the control barge from the coast. External loads such as self-weight, dead loads, and forces due to currents and small waves are also taken into account.This paper describes both the conceptual framework for the proposed model and its practical application in a real engineering situation. The authors also consider how the model might be used as a tool to study how sensitive the behavior of the pipeline is to small changes in the values of the control variables. A detailed description of the actions is considered, especially the ones related to the marine environment such as buoyancy, current, and sea waves. The structural behavior of the pipeline is simulated in the framework of a geometrically nonlinear dynamic analysis. The pipeline is assumed to be a two-dimensional Navier_Bernoulli beam. In the nonlinear analysis an updated Lagrangian formulation is used, and special care is taken regarding the numerical aspects of sea bed contact, follower forces due to external water pressures, and dynamic actions. The paper concludes by describing the implementation of the proposed techniques, using the ANSYS computer program with a number of subroutines developed by the authors. This implementation permits simulation of the two-dimensional structural pipe behavior of the whole construction process. A sensitivity analysis of the bending moments, axial forces, and stresses for different values of the control variables is carried out. Using the techniques described, the engineer may optimize the construction steps in the pipe laying process

On the harmonic analysis of cup anemometer rotation speed: A principle to monitor performance and maintenance status of rotating meteorological sensors

The calibration results of one anemometer equipped with several rotors, varying their size, were analyzed. In each case, the 30-pulses pert turn output signal of the anemometer was studied using Fourier series decomposition and correlated with the anemometer factor (i.e., the anemometer transfer function). Also, a 3-cup analytical model was correlated to the data resulting from the wind tunnel measurements. Results indicate good correlation between the post-processed output signal and the working condition of the cup anemometer. This correlation was also reflected in the results from the proposed analytical model. With the present work the possibility of remotely checking cup anemometer status, indicating the presence of anomalies and, therefore, a decrease on the wind sensor reliability is revealed.

Workflow reuse in practice: a study of neuroimaging pipeline users

Workflow reuse is a major benefit of workflow systems and shared workflow repositories, but there are barely any studies that quantify the degree of reuse of workflows or the practical barriers that may stand in the way of successful reuse. In our own work, we hypothesize that defining workflow fragments improves reuse, since end-to-end workflows may be very specific and only partially reusable by others. This paper reports on a study of the current use of workflows and workflow fragments in labs that use the LONI Pipeline, a popular workflow system used mainly for neuroimaging research that enables users to define and reuse workflow fragments. We present an overview of the benefits of workflows and workflow fragments reported by users in informal discussions. We also report on a survey of researchers in a lab that has the LONI Pipeline installed, asking them about their experiences with reuse of workflow fragments and the actual benefits they perceive. This leads to quantifiable indicators of the reuse of workflows and workflow fragments in practice. Finally, we discuss barriers to further adoption of workflow fragments and workflow reuse that motivate further work.

Characterisation of the operation & maintenance phase in PV rural electrification programmes

Con 1.300 millones de personas en el mundo sin acceso a la electricidad (la mayoría en entornos rurales de países empobrecidos), la energía solar fotovoltaica constituye una solución viable técnica y económicamente para electrificar las zonas más remotas del planeta donde las redes eléctricas convencionales no llegan. Casi todos los países en el mundo han desarrollado algún tipo de programa de electrificación fotovoltaica rural durante los últimos 40 años, principalmente los países más pobres, donde a través de diferentes modelos de financiación, se han instalado millones de sistemas solares domiciliarios (pequeños sistemas fotovoltaicos para uso doméstico). Durante este largo período, se han ido superando muchas barreras, como la mejora de la calidad de los sistemas fotovoltaicos, la reducción de costes, la optimización del diseño y del dimensionado de los sistemas, la disponibilidad financiera para implantar programas de electrificación rural, etc. Gracias a esto, la electrificación rural descentralizada ha experimentado recientemente un salto de escala caracterizada por la implantación de grandes programas con miles de sistemas solares domiciliarios e integrando largos períodos de mantenimiento. Muchos de estos grandes programas se están llevando a cabo con limitado éxito, ya que generalmente parten de supuestos e hipótesis poco contrastadas con la realidad, comprometiendo así un retorno económico que permita el desarrollo de esta actividad a largo plazo. En este escenario surge un nuevo reto: el de cómo garantizar la sostenibilidad de los grandes programas de electrificación rural fotovoltaica. Se argumenta que la principal causa de esta falta de rentabilidad es el imprevisto alto coste de la fase de operación y mantenimiento. Cuestiones clave tales como la estructura de costes de operación y mantenimiento o la fiabilidad de los componentes del sistema fotovoltaico no están bien caracterizados hoy en día. Esta situación limita la capacidad de diseñar estructuras de mantenimiento capaces de asegurar la sostenibilidad y la rentabilidad del servicio de operación y mantenimiento en estos programas. Esta tesis doctoral tiene como objetivo responder a estas cuestiones. Se ha realizado varios estudios sobre la base de un gran programa de electrificación rural fotovoltaica real llevado a cabo en Marruecos con más de 13.000 sistemas solares domiciliarios instalados. Sobre la base de este programa se ha hecho una evaluación en profundidad de la fiabilidad de los sistemas solares a partir de los datos de mantenimiento recogidos durante 5 años con más de 80.000 inputs. Los resultados han permitido establecer las funciones de fiabilidad de los equipos tal y como se comportan en condiciones reales de operación, las tasas de fallos y los tiempos medios hasta el fallo para los principales componentes del sistema, siendo este el primer caso de divulgación de resultados de este tipo en el campo de la electrificación rural fotovoltaica. Los dos principales componentes del sistema solar domiciliario, la batería y el módulo fotovoltaico, han sido analizados en campo a través de una muestra de 41 sistemas trabajando en condiciones reales pertenecientes al programa solar marroquí. Por un lado se ha estudiado la degradación de la capacidad de las baterías y por otro la degradación de potencia de los módulos fotovoltaicos. En el caso de las baterías, los resultados nos han permitido caracterizar la curva de degradación en capacidad llegando a obtener una propuesta de nueva definición del umbral de vida útil de las baterías en electrificación rural. También sobre la base del programa solar de Marruecos se ha llevado a cabo un estudio de caracterización de los costes reales de operación y mantenimiento a partir de la base de datos de contabilidad del programa registrados durante 5 años. Los resultados del estudio han permitido definir cuáles son costes que más incidencia tienen en el coste global. Se han obtenido los costes unitarios por sistema instalado y se han calculado los montantes de las cuotas de mantenimiento de los usuarios para garantizar la rentabilidad de la operación y mantenimiento. Finalmente, se propone un modelo de optimización matemática para diseñar estructuras de mantenimiento basado en los resultados de los estudios anteriores. La herramienta, elaborada mediante programación lineal entera mixta, se ha aplicado al programa marroquí con el fin de validar el modelo propuesto. ABSTRACT With 1,300 million people worldwide deprived of access to electricity (mostly in rural environments), photovoltaic solar energy has proven to be a cost‐effective solution and the only hope for electrifying the most remote inhabitants of the planet, where conventional electric grids do not reach because they are unaffordable. Almost all countries in the world have had some kind of rural photovoltaic electrification programme during the past 40 years, mainly the poorer countries, where through different organizational models, millions of solar home systems (small photovoltaic systems for domestic use) have been installed. During this long period, many barriers have been overcome, such as quality enhancement, cost reduction, the optimization of designing and sizing, financial availability, etc. Thanks to this, decentralized rural electrification has recently experienced a change of scale characterized by new programmes with thousands of solar home systems and long maintenance periods. Many of these large programmes are being developed with limited success, as they have generally been based on assumptions that do not correspond to reality, compromising the economic return that allows long term activity. In this scenario a new challenge emerges, which approaches the sustainability of large programmes. It is argued that the main cause of unprofitability is the unexpected high cost of the operation and maintenance of the solar systems. In fact, the lack of a paradigm in decentralized rural services has led to many private companies to carry out decentralized electrification programmes blindly. Issues such as the operation and maintenance cost structure or the reliability of the solar home system components have still not been characterized. This situation does not allow optimized maintenance structure to be designed to assure the sustainability and profitability of the operation and maintenance service. This PhD thesis aims to respond to these needs. Several studies have been carried out based on a real and large photovoltaic rural electrification programme carried out in Morocco with more than 13,000 solar home systems. An in‐depth reliability assessment has been made from a 5‐year maintenance database with more than 80,000 maintenance inputs. The results have allowed us to establish the real reliability functions, the failure rate and the main time to failure of the main components of the system, reporting these findings for the first time in the field of rural electrification. Both in‐field experiments on the capacity degradation of batteries and power degradation of photovoltaic modules have been carried out. During the experiments both samples of batteries and modules were operating under real conditions integrated into the solar home systems of the Moroccan programme. In the case of the batteries, the results have enabled us to obtain a proposal of definition of death of batteries in rural electrification. A cost assessment of the Moroccan experience based on a 5‐year accounting database has been carried out to characterize the cost structure of the programme. The results have allowed the major costs of the photovoltaic electrification to be defined. The overall cost ratio per installed system has been calculated together with the necessary fees that users would have to pay to make the operation and maintenance affordable. Finally, a mathematical optimization model has been proposed to design maintenance structures based on the previous study results. The tool has been applied to the Moroccan programme with the aim of validating the model.

A non-linear analysis of lying a floating pipeline on the seabed

In this article, a model for the determination of displacements, deformations and tensions of a submarine pipeline during the construction is presented. The process is carried out from an initial floating situation to the final laying position on the seabed. The existence of currents and small waves are also considered. Firstly, this technique, usually applied to polyethylene pipelines, is described in this paper as well as some real world examples, as well as the variables that can be modified to control the behavior of the structure. A detailed description of the actions in this process is considered, specially the ones related to marine environment, as Archimedes force, current and sea waves. The behavior of the pipeline is modeled with a non linear elasto dynamic model where geometric non linearities are taken into account. A 3-D beam model, without cross section deformation effects, is developed. Special care is taken in the numerical analysis, developed within an updated lagrangian formulation framework, with the sea bed contact, the follower forces due to the external water pressures and the dynamic actions. Finally, some subroutines are implemented into ANSYS to simulate the two dimensional case, where the whole construction process is achieved. With this software, a sensibility analysis of the bending moments, axial forces and stresses obtained with different values of the control variables in order to optimize the construction steps. These control variables are, the axial load in the pipe, the inundated inner length and the distance of the control barge from the coast.

Fission yeast orb6, a ser/thr protein kinase related to mammalian rho kinase and myotonic dystrophy kinase, is required for maintenance of cell polarity and coordinates cell morphogenesis with the cell cycle

The molecular mechanisms that coordinate cell morphogenesis with the cell cycle remain largely unknown. We have investigated this process in fission yeast where changes in polarized cell growth are coupled with cell cycle progression. The orb6 gene is required during interphase to maintain cell polarity and encodes a serine/threonine protein kinase, belonging to the myotonic dystrophy kinase/cot1/warts family. A decrease in Orb6 protein levels leads to loss of polarized cell shape and to mitotic advance, whereas an increase in Orb6 levels maintains polarized growth and delays mitosis by affecting the p34cdc2 mitotic kinase. Thus the Orb6 protein kinase coordinates maintenance of cell polarity during interphase with the onset of mitosis. orb6 interacts genetically with orb2, which encodes the Pak1/Shk1 protein kinase, a component of the Ras1 and Cdc42-dependent signaling pathway. Our results suggest that Orb6 may act downstream of Pak1/Shk1, forming part of a pathway coordinating cell morphogenesis with progression through the cell cycle.

Selective maintenance of allozyme differences among sympatric host races of the apple maggot fly

Whether phytophagous insects can speciate in sympatry when they shift and adapt to new host plants is a controversial question. One essential requirement for sympatric speciation is that disruptive selection outweighs gene flow between insect populations using different host plants. Empirical support for host-related selection (i.e., fitness trade-offs) is scant, however. Here, we test for host-dependent selection acting on apple (Malus pumila)- and hawthorn (Crataegus spp.)-infesting races of Rhagoletis pomonella (Diptera: Tephritidae). In particular, we examine whether the earlier fruiting phenology of apple trees favors pupae in deeper states of diapause (or with slower metabolisms/development rates) in the apple fly race. By experimentally lengthening the time period preceding winter, we exposed hawthorn race pupae to environmental conditions typically faced by apple flies. This exposure induced a significant genetic response at six allozyme loci in surviving hawthorn fly adults toward allele frequencies found in the apple race. The sensitivity of hawthorn fly pupae to extended periods of warm weather therefore selects against hawthorn flies that infest apples and helps to maintain the genetic integrity of the apple race by counteracting gene flow from sympatric hawthorn populations. Our findings confirm that postzygotic reproductive isolation can evolve as a pleiotropic consequence of host-associated adaptation, a central tenet of nonallopatric speciation. They also suggest that one reason for the paucity of reported fitness trade-offs is a failure to consider adequately costs associated with coordinating an insect’s life cycle with the phenology of its host plant.

Maintenance of a somatotopic cortical map in the face of diminishing thalamocortical inputs

This study addresses the extent of divergence in the ascending somatosensory pathways of primates. Divergence of inputs from a particular body part at each successive synaptic step in these pathways results in a potential magnification of the representation of that body part in the somatosensory cortex, so that the representation can be expanded when peripheral input from other parts is lost, as in nerve lesions or amputations. Lesions of increasing size were placed in the representation of a finger in the ventral posterior thalamic nucleus (VPL) of macaque monkeys. After a survival period of 1–5 weeks, area 3b of the somatosensory cortex ipsilateral to the lesion was mapped physiologically, and the extent of the representation of the affected and adjacent fingers was determined. Lesions affecting less than 30% of the thalamic VPL nucleus were without effect upon the cortical representation of the finger whose thalamic representation was at the center of the lesion. Lesions affecting about 35% of the VPL nucleus resulted in a shrinkage of the cortical representation of the finger whose thalamic representation was lesioned, with concomitant expansion of the representations of adjacent fingers. Beyond 35–40%, the whole cortical representation of the hand became silent. These results suggest that divergence of brainstem and thalamocortical projections, although normally not expressed, are sufficiently great to maintain a representation after a major loss of inputs from the periphery. This is likely to be one mechanism of representational plasticity in the cerebral cortex.

Dissociation among in vitro telomerase activity, telomere maintenance, and cellular immortalization

The immortalization of human cells is a critical step during tumorigenesis. In vitro, normal human somatic cells must overcome two proliferative blockades, senescence and crisis, to become immortal. Transformation with viral oncogenes extends the life span of human cells beyond senescence. Such transformed cells eventually succumb to crisis, a period of widespread cellular death that has been proposed to be the result of telomeric shortening. We now show that ectopic expression of the telomerase catalytic subunit (human telomerase reverse transcriptase or hTERT) and subsequent activation of telomerase can allow postsenescent cells to proliferate beyond crisis, the last known proliferative blockade to cellular immortality. Moreover, we demonstrate that alteration of the carboxyl terminus of human telomerase reverse transcriptase does not affect telomerase enzymatic activity but impedes the ability of this enzyme to maintain telomeres. Telomerase-positive cells expressing this mutant enzyme fail to undergo immortalization, further tightening the connection between telomere maintenance and immortalization.

The single minichromosome maintenance protein of Methanobacterium thermoautotrophicum ΔH contains DNA helicase activity

Previous studies have identified an ATP-dependent DNA helicase activity intrinsic to the human minichromosome maintenance (MCM) complex, composed of MCM subunits 4, 6, and 7 [Ishimi, Y. (1997) J. Biol. Chem. 272, 24508–24513]. In contrast to the presence of multiple MCM genes (at least six) in eukaryotes, the archaeon Methanobacterium thermoautotrophicum ΔH (mth) genome contains a single open reading frame coding for an MCM protein. In this study we report the isolation of the mthMCM protein overexpressed in Escherichia coli. The purified recombinant protein was found to exist in both multimeric (≈103 kDa) and monomeric (76 kDa) forms. Both forms of the protein bind to single-stranded DNA, hydrolyze ATP in the presence of DNA, and possess 3′-to-5′ ATP-dependent DNA helicase activities. Thus, a single mthMCM protein contains biochemical properties identical to those associated with the eukaryotic MCM4, -6, and -7 complex. These results suggest that the characterization of the mthMCM protein and its multiple forms may contribute to our understanding of the role of MCM helicase activity in eukaryotic chromosomal DNA replication.

MOB1, an Essential Yeast Gene Required for Completion of Mitosis and Maintenance of Ploidy

Mob1p is an essential Saccharomyces cerevisiae protein, identified from a two-hybrid screen, that binds Mps1p, a protein kinase essential for spindle pole body duplication and mitotic checkpoint regulation. Mob1p contains no known structural motifs; however MOB1 is a member of a conserved gene family and shares sequence similarity with a nonessential yeast gene, MOB2. Mob1p is a phosphoprotein in vivo and a substrate for the Mps1p kinase in vitro. Conditional alleles of MOB1 cause a late nuclear division arrest at restrictive temperature. MOB1 exhibits genetic interaction with three other yeast genes required for the completion of mitosis, LTE1, CDC5, and CDC15 (the latter two encode essential protein kinases). Most haploid mutant mob1 strains also display a complete increase in ploidy at permissive temperature. The mechanism for the increase in ploidy may occur through MPS1 function. One mob1 strain, which maintains stable haploidy at both permissive and restrictive temperature, diploidizes at permissive temperature when combined with the mps1–1 mutation. Strains containing mob2Δ also display a complete increase in ploidy when combined with the mps1-1 mutation. Perhaps in addition to, or as part of, its essential function in late mitosis, MOB1 is required for a cell cycle reset function necessary for the initiation of the spindle pole body duplication.