Space trajectories optimization using variable-chromosome-length genetic algorithms

The problem of optimal design of a multi-gravity-assist space trajectories, with free number of deep space maneuvers (MGADSM) poses multi-modal cost functions. In the general form of the problem, the number of design variables is solution dependent. To handle global optimization problems where the number of design variables varies from one solution to another, two novel genetic-based techniques are introduced: hidden genes genetic algorithm (HGGA) and dynamic-size multiple population genetic algorithm (DSMPGA). In HGGA, a fixed length for the design variables is assigned for all solutions. Independent variables of each solution are divided into effective and ineffective (hidden) genes. Hidden genes are excluded in cost function evaluations. Full-length solutions undergo standard genetic operations. In DSMPGA, sub-populations of fixed size design spaces are randomly initialized. Standard genetic operations are carried out for a stage of generations. A new population is then created by reproduction from all members based on their relative fitness. The resulting sub-populations have different sizes from their initial sizes. The process repeats, leading to increasing the size of sub-populations of more fit solutions. Both techniques are applied to several MGADSM problems. They have the capability to determine the number of swing-bys, the planets to swing by, launch and arrival dates, and the number of deep space maneuvers as well as their locations, magnitudes, and directions in an optimal sense. The results show that solutions obtained using the developed tools match known solutions for complex case studies. The HGGA is also used to obtain the asteroids sequence and the mission structure in the global trajectory optimization competition (GTOC) problem. As an application of GA optimization to Earth orbits, the problem of visiting a set of ground sites within a constrained time frame is solved. The J2 perturbation and zonal coverage are considered to design repeated Sun-synchronous orbits. Finally, a new set of orbits, the repeated shadow track orbits (RSTO), is introduced. The orbit parameters are optimized such that the shadow of a spacecraft on the Earth visits the same locations periodically every desired number of days.

Genome-wide analysis reveals selection for important traits in domestic horse breeds.

Intense selective pressures applied over short evolutionary time have resulted in homogeneity within, but substantial variation among, horse breeds. Utilizing this population structure, 744 individuals from 33 breeds, and a 54,000 SNP genotyping array, breed-specific targets of selection were identified using an F(ST)-based statistic calculated in 500-kb windows across the genome. A 5.5-Mb region of ECA18, in which the myostatin (MSTN) gene was centered, contained the highest signature of selection in both the Paint and Quarter Horse. Gene sequencing and histological analysis of gluteal muscle biopsies showed a promoter variant and intronic SNP of MSTN were each significantly associated with higher Type 2B and lower Type 1 muscle fiber proportions in the Quarter Horse, demonstrating a functional consequence of selection at this locus. Signatures of selection on ECA23 in all gaited breeds in the sample led to the identification of a shared, 186-kb haplotype including two doublesex related mab transcription factor genes (DMRT2 and 3). The recent identification of a DMRT3 mutation within this haplotype, which appears necessary for the ability to perform alternative gaits, provides further evidence for selection at this locus. Finally, putative loci for the determination of size were identified in the draft breeds and the Miniature horse on ECA11, as well as when signatures of selection surrounding candidate genes at other loci were examined. This work provides further evidence of the importance of MSTN in racing breeds, provides strong evidence for selection upon gait and size, and illustrates the potential for population-based techniques to find genomic regions driving important phenotypes in the modern horse.

Symmetry and the polar state of condensed molecular matter

Polar molecular crystals seem to contradict a quantum mechanical statement, according to which no stationary state of a system features a permanent electrical polarization. By stationary we understand here an ensemble for which thermal averaging applies. In the language of statistical mechanics we have thus to ask for the thermal expectation value of the polarization in molecular crystals. Nucleation aggregates and growing crystal surfaces can provide a single degree of freedom for polar molecules required to average the polarization. By means of group theoretical reasoning and Monte Carlo simulations we show that such systems thermalize into a bi-polar state featuring zero bulk polarity. A two domain, i.e. bipolar state is obtained because boundaries are setting up opposing effective electrical fields. Described phenomena can be understood as a process of partial ergodicity-restoring. Experimentally, a bi-polar state of molecular crystals was demonstrated using phase sensitive second harmonic generation and scanning pyroelectric microscopy

State of the art of integrated therapy approaches in the treatment of schizophrenia: empirical evidence and clinical relevance

Objective: Integrated behavior therapy approaches are defined by the combination of behavioral and or cognitive interventions targeting neurocognition combined with other goal-oriented treatment targets such as social cognition, social skills, or educational issues. The Integrated Psychological Therapy Program (IPT) represents one of the very first behavior therapy approaches combining interventions of neurocognition, social cognition, and social competence. This comprehensive group-based bottom-up and top-down approach consists of five subprograms, each with incremental steps. IPT has been successfully implemented in several countries in Europe, America, Australia and in Asia. IPT worked as a model for some other approaches designed in the USA. IPT was undergone two further developments: based on the social competence part of IPT, the three specific therapy programs focusing residential, occupational or recreational topics were developed. Recently, the cognitive part of INT was rigorously expanded into the Integrated Neurocognitive Therapy (INT) designed exclusively for outpatient treatment: INT includes interventions targeting all neurocognitive and social cognitive domains defined by the NIMH-MATRICS initiative. These group and partially PC-based exercises are structured into four therapy modules, each starting with exercises on neurocognitive domains followed by social cognitive targets. Efficacy: The evidence of integrated therapy approaches and its advantage compared to of one-track interventions was becoming a discussion tool in therapy research as well as in mental health systems. Results of meta-analyses support superiority of integrated approaches compared to one-track interventions in more distal outcome areas such as social functioning. These results are in line with the large body of 37 independent IPT studies in 12 countries. Moreover, IPT research indicates the maintenance of therapy effects after the end of therapy and some evidence generalization effects. Additionally, the international randomized multi-center study on INT with 169 outpatients strongly supports the successful therapy of integrated therapy in proximal and distal outcome such as significant effects in cognition, functioning and negative symptoms. Clinical implication: therapy research as well as expert’s clinical experience recommends integrated therapy approaches such as IPT to be successful agents within multimodal psychiatric treatment concepts. Finally, integrated group therapy based on cognitive remediation seems to motivate and stimulate schizophrenia inpatients and outpatients to more successful and independent life also demanded by the recovery movement.

Monitoring of tumor response to Cisplatin using optical spectroscopy

INTRODUCTION Anatomic imaging alone is often inadequate for tuning systemic treatment for individual tumor response. Optically based techniques could potentially contribute to fast and objective response monitoring in personalized cancer therapy. In the present study, we evaluated the feasibility of dual-modality diffuse reflectance spectroscopy-autofluorescence spectroscopy (DRS-AFS) to monitor the effects of systemic treatment in a mouse model for hereditary breast cancer. METHODS Brca1(-/-); p53(-/-) mammary tumors were grown in 36 mice, half of which were treated with a single dose of cisplatin. Changes in the tumor physiology and morphology were measured for a period of 1 week using dual-modality DRS-AFS. Liver and muscle tissues were also measured to distinguish tumor-specific alterations from systemic changes. Model-based analyses were used to derive different optical parameters like the scattering and absorption coefficients, as well as sources of intrinsic fluorescence. Histopathologic analysis was performed for cross-validation with trends in optically based parameters. RESULTS Treated tumors showed a significant decrease in Mie-scattering slope and Mie-to-total scattering fraction and an increase in both fat volume fraction and tissue oxygenation after 2 days of follow-up. Additionally, significant tumor-specific changes in the fluorescence spectra were seen. These longitudinal trends were consistent with changes observed in the histopathologic analysis, such as vital tumor content and formation of fibrosis. CONCLUSIONS This study demonstrates that dual-modality DRS-AFS provides quantitative functional information that corresponds well with the degree of pathologic response. DRS-AFS, in conjunction with other imaging modalities, could be used to optimize systemic cancer treatment on the basis of early individual tumor response.

The triplite–triploidite supergroup: structural modulation in wagnerite, discreditation of magniotriplite, and the new mineral hydroxylwagnerite

Electron-microprobe analysis, single-crystal X-ray diffraction with an area detector, and high-resolution transmission electron microscopy show that minerals related to wagnerite, triplite and triploidite, which are monoclinic Mg, Fe and Mn phosphates with the formula Me2+ 2PO4(F,OH), constitute a modulated series based on the average triplite structure. Modulation occurs along b and may be commensurate with (2b periodicity) or incommensurate but generally close to integer values (∼3b, ∼5b, ∼7b, ∼9b), i.e. close to polytypic behaviour. As a result, the Mg- and F-dominant minerals magniotriplite and wagnerite can no longer be considered polymorphs of Mg2PO4F, i.e., there is no basis for recognizing them as distinct species. Given that wagnerite has priority (1821 vs. 1951), the name magniotriplite should be discarded in favour of wagnerite. Hydroxylwagnerite, end-member Mg2PO4OH, occurs in pyrope megablasts along with talc, clinochlore, kyanite, rutile and secondary apatite in two samples from lenses of pyrope–kyanite–phengite–quartz-schist within metagranite in the coesite-bearing ultrahigh-pressure metamorphic unit of the Dora-Maira Massif, western Alps, Vallone di Gilba, Val Varaita, Piemonte, Italy. Electron microprobe analyses of holotype hydroxylwagnerite and of the crystal with the lowest F content gave in wt%: P2O5 44.14, 43.99; SiO2 0.28, 0.02; SO3 –, 0.01; TiO2 0.20, 0.16; Al2O3 0.06, 0.03; MgO 48.82, 49.12; FeO 0.33, 0.48; MnO 0.01, 0.02; CaO 0.12, 0.10; Na2O 0.01, –; F 5.58, 4.67; H2O (calc) 2.94, 3.36; –O = F 2.35, 1.97; Sum 100.14, 99.98, corresponding to (Mg1.954Fe0.007Ca0.003Ti0.004Al0.002Na0.001)Σ=1.971(P1.003Si0.008)Σ=1.011O4(OH0.526F0.474)Σ=1 and (Mg1.971Fe0.011Ca0.003Ti0.003Al0.001)Σ=1.989(P1.002Si0.001)Σ=1.003O4(OH0.603F0.397)Σ=1, respectively. Due to the paucity of material, H2O could not be measured, so OH was calculated from the deficit in F assuming stoichiometry, i.e., by assuming F + OH = 1 per formula unit. Holotype hydroxylwagnerite is optically biaxial (+), α 1.584(1), β 1.586(1), γ 1.587(1) (589 nm); 2V Z(meas.) = 43(2)°; orientation Y = b. Single-crystal X-ray diffraction gives monoclinic symmetry, space group P21/c, a = 9.646(3) Å, b = 12.7314(16) Å, c = 11.980(4) Å, β = 108.38(4) , V = 1396.2(8) Å3, Z = 16, i.e., hydroxylwagnerite is the OH-dominant analogue of wagnerite [β-Mg2PO4(OH)] and a high-pressure polymorph of althausite, holtedahlite, and α- and ε-Mg2PO4(OH). We suggest that the group of minerals related to wagnerite, triplite and triploidite constitutes a triplite–triploidite super-group that can be divided into F-dominant phosphates (triplite group), OH-dominant phosphates (triploidite group), O-dominant phosphates (staněkite group) and an OH-dominant arsenate (sarkinite). The distinction among the three groups and a potential fourth group is based only on chemical features, i.e., occupancy of anion or cation sites. The structures of these minerals are all based on the average triplite structure, with a modulation controlled by the ratio of Mg, Fe2+, Fe3+ and Mn2+ ionic radii to (O,OH,F) ionic radii.

An Increased Iliocapsularis-to-rectus-femoris Ratio Is Suggestive for Instability in Borderline Hips

BACKGROUND The iliocapsularis muscle is an anterior hip structure that appears to function as a stabilizer in normal hips. Previous studies have shown that the iliocapsularis is hypertrophied in developmental dysplasia of the hip (DDH). An easy MR-based measurement of the ratio of the size of the iliocapsularis to that of adjacent anatomical structures such as the rectus femoris muscle might be helpful in everyday clinical use. QUESTIONS/PURPOSES We asked (1) whether the iliocapsularis-to-rectus-femoris ratio for cross-sectional area, thickness, width, and circumference is increased in DDH when compared with hips with acetabular overcoverage or normal hips; and (2) what is the diagnostic performance of these ratios to distinguish dysplastic from pincer hips? METHODS We retrospectively compared the anatomy of the iliocapsularis muscle between two study groups with symptomatic hips with different acetabular coverage and a control group with asymptomatic hips. The study groups were selected from a series of patients seen at the outpatient clinic for DDH or femoroacetabular impingement. The allocation to a study group was based on conventional radiographs: the dysplasia group was defined by a lateral center-edge (LCE) angle of < 25° with a minimal acetabular index of 14° and consisted of 45 patients (45 hips); the pincer group was defined by an LCE angle exceeding 39° and consisted of 37 patients (40 hips). The control group consisted of 30 asymptomatic hips (26 patients) with MRIs performed for nonorthopaedic reasons. The anatomy of the iliocapsularis and rectus femoris muscle was evaluated using MR arthrography of the hip and the following parameters: cross-sectional area, thickness, width, and circumference. The iliocapsularis-to-rectus-femoris ratio of these four anatomical parameters was then compared between the two study groups and the control group. The diagnostic performance of these ratios to distinguish dysplasia from protrusio was evaluated by calculating receiver operating characteristic (ROC) curves and the positive predictive value (PPV) for a ratio > 1. Presence and absence of DDH (ground truth) were determined on plain radiographs using the previously mentioned radiographic parameters. Evaluation of radiographs and MRIs was performed in a blinded fashion. The PPV was chosen because it indicates how likely a hip is dysplastic if the iliocapsularis-to-rectus-femoris ratio was > 1. RESULTS The iliocapsularis-to-rectus-femoris ratio for cross-sectional area, thickness, width, and circumference was increased in hips with radiographic evidence of DDH (ratios ranging from 1.31 to 1.35) compared with pincer (ratios ranging from 0.71 to 0.90; p < 0.001) and compared with the control group, the ratio of cross-sectional area, thickness, width, and circumference was increased (ratios ranging from 1.10 to 1.15; p ranging from 0.002 to 0.039). The area under the ROC curve ranged from 0.781 to 0.852. For a one-to-one iliocapsularis-to-rectus-femoris ratio, the PPV was 89% (95% confidence interval [CI], 73%-96%) for cross-sectional area, 77% (95% CI, 61%-88%) for thickness, 83% (95% CI, 67%-92%) for width, and 82% (95% CI, 67%-91%) for circumference. CONCLUSIONS The iliocapsularis-to-rectus-femoris ratio seems to be a valuable secondary sign of DDH. This parameter can be used as an adjunct for clinical decision-making in hips with borderline hip dysplasia and a concomitant cam-type deformity to identify the predominant pathology. Future studies will need to prove this finding can help clinicians determine whether the borderline dysplasia accounts for the hip symptoms with which the patient presents. LEVEL OF EVIDENCE Level III, prognostic study.

It's your game, keep it real. Sexual education study

Purpose: This study translated and adapted the It's Your Game, Keep It Real study currently being implemented with middle school youth in Southeast Texas for a middle school population in rural western Honduras. The study tested the effects of a sexual health education program focused on human immunodeficiency virus, sexually transmitted infections, and pregnancy prevention. We hypothesized that the number of adolescents in the intervention group who initiate sexual activity will reduce in comparison to the control group and there will be an increase consistent condom use in sexually active adolescents in the intervention group. ^ Methods: The target population included Spanish-speaking Hispanic middle school students from a small, semi-urban city in western Honduras. One school was randomly selected to receive the intervention and one to the comparison condition. The intervention curriculum consisted of 10 seventh-grade lessons that included individual and group classroom-based activities and personal journaling. Follow-up surveys were completed three months after the last lesson with 146 students (79.3% of the defined cohort). ^ Results: In the comparison condition, 21.4% of students initiated sex by the post-test follow-up three months after the intervention compared to 7.8% in the intervention condition. ^ Conclusions: A multi-component, curriculum-based program that is theory driven and culturally relevant can increase knowledge about STIs and HIV, increase self-confidence amongst middle school students, and develop communication skills amongst friends and partners. Further research must be conducted to assess delay in sexual initiation and the generalizability of these results.^

The cost of insuring the uninsured in the U.S.

Objectives: This study included two overarching objectives. Through a systematic review of the literature published between 1990 and 2012, the first objective aimed to assess whether insuring the uninsured would result in higher costs compared to insuring the currently insured. Studies that quantified the actual costs associated with insuring the uninsured in the U.S. were included. Based upon 2009 data from the Medical Expenditure Panel Survey (MEPS), the second objective aimed to assess and compare the self-reported health of populations with four different insurance statuses. The second part of this study involved a secondary data analysis of both currently insured and currently uninsured individuals who participated in the MEPS in 2009. The null hypothesis was that there were no differences across the four categories of health insurance status for self-reported health status and healthcare service use. The alternative hypothesis was that were differences across the four categories of health insurance status for self-reported health status and healthcare service use. Methods: For the systematic review, three databases were searched using search terms to identify studies that actually quantified the cost of insuring the uninsured. Thirteen studies were selected, discussed, and summarized in tables. For the secondary data analysis of MEPS data, this study compared four categories of health insurance status: (1) currently uninsured persons who will become eligible for Medicaid under the Patient Protection and Affordable Care Act (PPACA) healthcare reforms in 2014; (2) currently uninsured persons who will be required to buy private insurance through the PPACA health insurance exchanges in 2014; (3) persons currently insured under Medicaid or SCHIP; and (4) persons currently insured with private insurance. The four categories were compared on the basis of demographic information, health status information, and health conditions with relatively high prevalence. Chi-square tests were run to determine if there were differences between the four groups in regard to health insurance status and health status. With some exceptions, the two currently insured groups had worse self-reported health status compared to the two currently uninsured groups. Results: The thirteen studies that met the inclusion criteria for the systematic review included: (1) three cost studies from 1993, 1995, and 1997; (2) four cost studies from 2001, 2003, and 2004; (3) one study of disabilities and one study of immigrants; (4) two state specific studies of uninsured status; and (5) two current studies of healthcare reform. Of the thirteen studies reviewed, four directly addressed the study question about whether insuring the uninsured was more or less expensive than insuring the currently insured. All four of the studies provided support for the study finding that the cost of insuring the uninsured would generally not be higher than insuring those already insured. One study indicated that the cost of insuring the uninsured would be less expensive than insuring the population currently covered by Medicaid, but more expensive to insure than the populations of those covered by employer-sponsored insurance and non-group private insurance. While the nine other studies included in the systematic review discussed the costs associated with insuring the uninsured population, they did not directly compare the costs of insuring the uninsured population with the costs associated with insuring the currently insured population. For the MEPS secondary data analysis, the results of the chi-square tests indicated that there were differences in the distribution of disease status by health insurance status. As anticipated, with some exceptions, the uninsured reported lower rates of disease and healthcare service use. However, for the variable attention deficit disorder, the uninsured reported higher disease rates than the two insured groups. Additionally, for the variables high blood pressure, high cholesterol, and joint pain, the currently insured under Medicaid or SCHIP group reported a lower rate of disease than the two currently insured groups. This result may be due to the lower mean age of the currently insured under Medicaid or SCHIP group. Conclusion: Based on this study, with some exceptions, the costs for insuring the uninsured should not exceed healthcare-related costs for insuring the currently uninsured. The results of the systematic review indicated that the U.S. is already paying some of the costs associated with insuring the uninsured. PPACA will expand health insurance coverage to millions of Americans who are currently uninsured, as the individual mandate and insurance market reforms will require. Because many of the currently uninsured are relatively healthy young persons, the costs associated with expanding insurance coverage to the uninsured are anticipated to be relatively modest. However, for the purposes of construing these results, it is important to note that once individuals obtain insurance, it is anticipated that they will use more healthcare services, which will increase costs. (Abstract shortened by UMI.)^

Geochemistry of ODP Site 135-834 basalts

New major, trace element, and isotope data (Pb, Sr, and Nd) reveal an impressive compositional variation in the basalts recovered from Site 834. Major element compositions span almost the entire range observed in basalts from the modern axial systems of the Lau Basin, and variations are consistent with low-pressure fractionation of a mid-ocean-ridge-basalt (MORB)-like parent, in which plagioclase crystallization has been somewhat suppressed. Trace element compositions deviate from MORB in all but one unit (Unit 7) and show enrichments in large-ion-lithophile elements (LILEs) relative to high-field-strength elements (HFSEs) more typically associated with island-arc magmas. The Pb-isotope ratios define linear trends that extend from the field of Pacific MORB to highly radiogenic values similar to those observed in rocks from the northernmost islands of the Tofua Arc. The Sr-isotope compositions also show significant variation, and these too project from radiogenic values back into the field for Pacific MORB. The variations in key trace element and isotopic features are consistent with magma mixing between two relatively mafic melts: one represented by Pacific MORB, and the other by a magma similar to those erupted on 'Eua when it was part of the original Tongan arc, or perhaps members of the Lau Volcanic Group (LVG). Based on our model, the most radiogenic compositions (Units 2 and 8) represent approximately 50:50 mixtures of these MORB and arc end-members. Magma mixing requires that both components are simultaneously available, and implies that melts have not shown a compositional progression from arc-like to MORB-like with extension at this locality. Rather, it is apparent that essentially pristine MORB can erupt as one of the earliest products of backarc initiation. Indeed, repetition of isotopic and trace element signatures with depth suggests that eruptions have been triggered by periodic injections of fresh MORB melts into the source regions of these magmas. The slow and almost amagmatic extension of the original arc complex envisaged to explain the observed chemistry is also consistent with the horst-and-graben topography of the western side of the Lau Basin. Given the similarities between basalts erupted at the modern Lau Basin spreading centers and MORB from the Indian Ocean, the overwhelming evidence for involvement of mantle similar to Pacific MORB in the petrogenesis of basalts from Site 834 is a new and important observation. It indicates that the original arc was underlain by asthenospheric material derived from the Pacific mantle convection cell, and that this has somehow been replaced by Indian Ocean MORB during the last ~5.5 Ma.

Optical and structural properties of InAlN/GaN Bragg reflectors examined by transmission electron microscopy and electron energy loss spectroscopy

Molecular beam epitaxy growth of ten-period lattice-matched InAlN/GaN distributed Bragg reflectors (DBRs) with peak reflectivity centered around 400nm is reported including optical and transmission electron microscopy (TEM) measurements [1]. Good periodicity heterostructures with crack-free surfaces were confirmed, but, also a significant residual optical absorption below the bandgap was measured. The TEM characterization ascribes the origin of this problem to polymorfism and planar defects in the GaN layers and to the existence of an In-rich layer at the InAlN/GaN interfaces. In this work, several TEM based techniques have been combined.

An intelligent sales assistant for configurable products

Some of the recent proposals of web-based applications are oriented to provide advanced search services through virtual shops. Within this context, this paper proposes an advanced type of software application that simulates how a sales assistant dialogues with a consumer to dynamically configure a product according to particular needs. The paper presents the general knowl- edge model that uses artificial intelligence and knowledge-based techniques to simulate the configuration process. Finally, the paper illustrates the description with an example of an application in the field of photography equipment.

Efficient local unfolding with ancestor stacks

The most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Ancestor (sub)sequences are used to increase the specialization power of unfolding while still guaranteeing termination and also to reduce the number of atoms for which the wqo has to be checked. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with a wqo and allows a stack-based implementation without losing any opportunities for specialization. Using our technique, certain non-leftmost unfoldings are allowed as long as local unfolding is performed, i.e., we cover depth-first strategies. To deal with practical programs, we propose assertion-based techniques which allow our approach to treat programs that include (Prolog) built-ins and external predicates in a very extensible manner, for the case of leftmost unfolding. Finally, we report on our mplementation of these techniques embedded in a practical partial evaluator, which shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations. To appear in Theory and Practice of Logic Programming (TPLP).

Efficient local unfolding with ancestor stacks for full prolog

The integration of powerful partial evaluation methods into practical compilers for logic programs is still far from reality. This is related both to 1) efficiency issues and to 2) the complications of dealing with practical programs. Regarding efnciency, the most successful unfolding rules used nowadays are based on structural orders applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with any structural order and allows a stack-based implementation without losing any opportunities for specialization. Regarding the second issue, we propose assertion-based techniques which allow our approach to deal with real programs that include (Prolog) built-ins and external predicates in a very extensible manner. Finally, we report on our implementation of these techniques in a practical partial evaluator, embedded in a state of the art compiler which uses global analysis extensively (the Ciao compiler and, specifically, its preprocessor CiaoPP). The performance analysis of the resulting system shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations.

Evaluación y análisis de la trazabilidad metrológica en redes para la verificación y calibración de instrumental GNSS (Global Navigation Satellite System)

Los estudios realizados hasta el momento para la determinación de la calidad de medida del instrumental geodésico han estado dirigidos, fundamentalmente, a las medidas angulares y de distancias. Sin embargo, en los últimos años se ha impuesto la tendencia generalizada de utilizar equipos GNSS (Global Navigation Satellite System) en el campo de las aplicaciones geomáticas sin que se haya establecido una metodología que permita obtener la corrección de calibración y su incertidumbre para estos equipos. La finalidad de esta Tesis es establecer los requisitos que debe satisfacer una red para ser considerada Red Patrón con trazabilidad metrológica, así como la metodología para la verificación y calibración de instrumental GNSS en redes patrón. Para ello, se ha diseñado y elaborado un procedimiento técnico de calibración de equipos GNSS en el que se han definido las contribuciones a la incertidumbre de medida. El procedimiento, que se ha aplicado en diferentes redes para distintos equipos, ha permitido obtener la incertidumbre expandida de dichos equipos siguiendo las recomendaciones de la Guide to the Expression of Uncertainty in Measurement del Joint Committee for Guides in Metrology. Asimismo, se han determinado mediante técnicas de observación por satélite las coordenadas tridimensionales de las bases que conforman las redes consideradas en la investigación, y se han desarrollado simulaciones en función de diversos valores de las desviaciones típicas experimentales de los puntos fijos que se han utilizado en el ajuste mínimo cuadrático de los vectores o líneas base. Los resultados obtenidos han puesto de manifiesto la importancia que tiene el conocimiento de las desviaciones típicas experimentales en el cálculo de incertidumbres de las coordenadas tridimensionales de las bases. Basándose en estudios y observaciones de gran calidad técnica, llevados a cabo en estas redes con anterioridad, se ha realizado un exhaustivo análisis que ha permitido determinar las condiciones que debe satisfacer una red patrón. Además, se han diseñado procedimientos técnicos de calibración que permiten calcular la incertidumbre expandida de medida de los instrumentos geodésicos que proporcionan ángulos y distancias obtenidas por métodos electromagnéticos, ya que dichos instrumentos son los que van a permitir la diseminación de la trazabilidad metrológica a las redes patrón para la verificación y calibración de los equipos GNSS. De este modo, ha sido posible la determinación de las correcciones de calibración local de equipos GNSS de alta exactitud en las redes patrón. En esta Tesis se ha obtenido la incertidumbre de la corrección de calibración mediante dos metodologías diferentes; en la primera se ha aplicado la propagación de incertidumbres, mientras que en la segunda se ha aplicado el método de Monte Carlo de simulación de variables aleatorias. El análisis de los resultados obtenidos confirma la validez de ambas metodologías para la determinación de la incertidumbre de calibración de instrumental GNSS. ABSTRACT The studies carried out so far for the determination of the quality of measurement of geodetic instruments have been aimed, primarily, to measure angles and distances. However, in recent years it has been accepted to use GNSS (Global Navigation Satellite System) equipment in the field of Geomatic applications, for data capture, without establishing a methodology that allows obtaining the calibration correction and its uncertainty. The purpose of this Thesis is to establish the requirements that a network must meet to be considered a StandardNetwork with metrological traceability, as well as the methodology for the verification and calibration of GNSS instrumental in those standard networks. To do this, a technical calibration procedure has been designed, developed and defined for GNSS equipment determining the contributions to the uncertainty of measurement. The procedure, which has been applied in different networks for different equipment, has alloweddetermining the expanded uncertainty of such equipment following the recommendations of the Guide to the Expression of Uncertainty in Measurement of the Joint Committee for Guides in Metrology. In addition, the three-dimensional coordinates of the bases which constitute the networks considered in the investigationhave been determined by satellite-based techniques. There have been several developed simulations based on different values of experimental standard deviations of the fixed points that have been used in the least squares vectors or base lines calculations. The results have shown the importance that the knowledge of experimental standard deviations has in the calculation of uncertainties of the three-dimensional coordinates of the bases. Based on high technical quality studies and observations carried out in these networks previously, it has been possible to make an exhaustive analysis that has allowed determining the requirements that a standard network must meet. In addition, technical calibration procedures have been developed to allow the uncertainty estimation of measurement carried outby geodetic instruments that provide angles and distances obtained by electromagnetic methods. These instruments provide the metrological traceability to standard networks used for verification and calibration of GNSS equipment. As a result, it has been possible the estimation of local calibration corrections for high accuracy GNSS equipment in standardnetworks. In this Thesis, the uncertainty of calibration correction has been calculated using two different methodologies: the first one by applying the law of propagation of uncertainty, while the second has applied the propagation of distributions using the Monte Carlo method. The analysis of the obtained results confirms the validity of both methodologies for estimating the calibration uncertainty of GNSS equipment.