39,827 research outputs found
ConSIT: A conditioned program slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including reuse, reengineering and program comprehension. However there has been relatively little work on the implementation of conditioned slicing. Algorithms for implementing conditioned slicing necessarily involve reasoning about the values of program predicates in certain sets of states derived from the conditioned slicing criterion, making implementation particularly demanding. The paper introduces ConSIT, a conditioned slicing system which is based upon conventional static slicing, symbolic execution and theorem proving. ConSIT is the first fully automated implementation of conditioned slicing. An implementation of ConSIT is available for experimentation at &http://www.mcs.gold.ac.uk/tilde/~mas01sd/consit.htm
A computer program for calculating symmetrical aerodynamic characteristics and lateral-directional stability derivatives of wing-body combinations with blowing jets
The necessary information for using a computer program to calculate the aerodynamic characteristics under symmetrical flight conditions and the lateral-directional stability derivatives of wing-body combinations with upper-surface-blowing (USB) or over-wing-blowing (OWB) jets are described. The following new features were added to the program: (1) a fuselage of arbitrary body of revolution has been included. The effect of wing-body interference can now be investigated, and (2) all nine lateral-directional stability derivatives can be calculated. The program is written in FORTRAN language and runs on CDC Cyber 175 and Honeywell 66/60 computers
Program simplification as a means of approximating undecidable propositions
We describe an approach which mixes testing, slicing, transformation and formal verification to investigate speculative hypotheses concerning a program, formulated during program comprehension activity. Our philosophy is that such hypotheses (which are typically undecidable) can, in some sense, be `answered' by a partly automated system which returns neither `true' nor `false' but a program (the `test program') which computes the answer. The motivation for this philosophy is the way in which, as we demonstrate, static analysis and manipulation technology can be applied to ensure that the resulting test program is significantly simpler than the original program, thereby simplifying the process of investigating the original hypothesi
Multi-filter transit observations of WASP-39b and WASP-43b with three San Pedro M\'artir telescopes
Three optical telescopes located at the San Pedro M\'artir National
Observatory were used for the first time to obtain multi-filter defocused
photometry of the transiting extrasolar planets WASP-39b and WASP-43b. We
observed WASP-39b with the 2.12m telescope in the U filter for the first time,
and additional observations were carried out in the R and I filters using the
0.84m telescope. WASP-43b was observed in VRI with the same instrument, and in
the i filter with the robotic 1.50m telescope. We reduced the data using
different pipelines and performed aperture photometry with the help of custom
routines, in order to obtain the light curves. The fit of the light curves
(1.5--2.5mmag rms), and of the period analysis, allowed a revision of the
orbital and physical parameters, revealing for WASP-39b a period ( days) which is seconds larger than
previously reported. Moreover, we find for WASP-43b a planet/star radius
() which is larger in the i filter
with respect to previous works, and that should be confirmed with additional
observations. Finally, we confirm no evidence of constant period variations in
WASP-43b.Comment: 13 pages, 7 figures, accepted in PASP, scheduled for the February 1,
2015 issu
Human acclimation and acclimatization to heat: A compendium of research, 1968-1978
Abstracts and annotations of the majority of scientific works that elucidate the mechanisms of short-term acclimation to heat in men and women are presented. The compendium includes material from 1968 through 1977. Subject and author indexes are provided and additional references of preliminary research findings or work of a peripheral nature are included in a bibliography
Pre/post conditioned slicing
Th paper shows how analysis of programs in terms of pre- and postconditions can be improved using a generalisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and reengineering. Fully automated analysis is impossible because of the inherent undecidability of pre- and post- conditions. The method presented reformulates the problem to circumvent this. The reformulation is constructed so that programs which respect the pre- and post-conditions applied to them have empty slices. For those which do not respect the conditions, the slice contains statements which could potentially break the conditions. This separates the automatable part of the analysis from the human analysis
Using fNIRS to study working memory of infants in rural Africa
A pilot study was conducted to assess the feasibility of using fNIRS as an alternative to behavioral assessments of cognitive development with infants in rural Africa. We report preliminary results of a study looking at working memory in 12ā16-month-olds and discuss the benefits and shortcomings for the potential future use of fNIRS to investigate the effects of nutritional insults and interventions in global health studies
Simulation of organismic morphology and behavior by synthetic poly-alpha-amino acids
Simulation of organismic morphology and behavior by synthetic poly-amino acid
- ā¦