An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text: • assertions (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST).

Tratados de arquitectura civil montea y canteria y reloxes

Segun Palau, 337934 este vol. contiene un extracto de os tomos V y IX de la obra "Compendio Mathematico, en que se contienen todas las materias mas principales de las Ciencias que traten de la Cantidad"

Compendio mathematico : en que se contienen todas las materias mas principales de las Ciencias que tratan de la cantidad

Sign. : [ ]1, [estrella]8, A-Z8, Aa-Dd8

Libro de instrumentos nueuos de Geometría muy necessarios para medir distancias, y alturas, sin que interuengan numeros como se demuestra en la practica : demas desto se ponen otros tratados, como es vno, de conduzir aguas, y otro vna question de artilleria, en donde se ponen algunas demostraciones curiosas

En prelim. aparece el autor como Andrés Garcia de Cespedes

Curso de ciencias fisicas para el uso de los alumnos de filosofía quimica

Subtít. posterior a la mención de responsabilidad

Tratado de la Gnomonica u De la Theorica y practica de los reloxes de sol

Sign. : []2, A-P8

Agricultura general : y gobierno de la Casa de Campo ..., con los nuevos descubrimientos y metodos de cultivo para la multiplicacion de los granos ; del aumento en la cria de ganados ... compuesta del "Noble Agricultor" de M. Dupuy, de los autores que mejor han tratado de esta Arte ... con diuersas estampas

En pról. se menciona a Mr. Dupuy Demportes, como traductor de la obra "Noble agricultor o Cuerpo completo de Agricultura" de Mr. Hall, inglés, p. [14]

Agricultura general y gobierno de la Casa de Campo : en que por estenso se trata de todos los bienes del campo, con los nuevos descubrimientos y metodos de cultivo para la multiplicacion de los granos ...

Sign.: []2, A-Z4, 2A-2Z4, 3A-3F4

Agricultura general : y gobierno de la Casa de Campo ..., con los nuevos descubrimientos y metodos de cultivo para la multiplicacion de los granos ; del aumento en la cria de ganados ... compuesta del "Noble Agricultor" de M. Dupuy, de los autores que mejor han tratado de esta Arte ... con diuersas estampas

Sign.: []4, A-Z4, 2A-2Z4, 3A-3Q4

Agricultura general : y gobierno de la Casa de Campo ..., con los nuevos descubrimientos y metodos de cultivo para la multiplicacion de los granos ; del aumento en la cria de ganados ... compuesta del "Noble Agricultor" de M. Dupuy, de los autores que mejor han tratado de esta Arte ... con diuersas estampas

Sign.: []4, B1, A2-A4, B-Z4-, 2A-2Z4, 3A-3N4

Agricultura general y gobierno de la Casa de Campo en que por estenso se trata de todos los bienes del campo, con los nuevos descubrimientos y metodos de cultivo para la multiplicacion de los granos ...

[]4, A-Z4, 2A-2Z4, 3A-3L4

El museo pictorico, y escala óptica : Práctica de la pintura, en que se trata el modo de pintar á el olio, temple, y fresco, con la resolucion de todas las dudas ... y de la perspectiva comun ...

Contiene además con port. propia : El Parnaso español pintoresco y laureado con la vida de los pintores y estatuarios eminentes españoles... / por don Antonio Palomino de Castro y Velasco ... ; tomo tercero

Effects of traffic loads on reinforced concrete railroad culverts

In the context of the present conference paper culverts are defined as an opening or conduit passing through an embankment usually for the purpose of conveying water or providing safe pedestrian and animal crossings under rail infrastructure. The clear opening of culverts may reach values of up to 12m however, values around 3m are encountered much more frequently. Depending on the topography, the number of culverts is about 10 times that of bridges. In spite of this, their dynamic behavior has received far less attention than that of bridges. The fundamental frequency of culverts is considerably higher than that of bridges even in the case of short span bridges. As the operational speed of modern high-speed passenger rail systems rises, higher frequencies are excited and thus more energy is encountered in frequency bands where the fundamental frequency of box culverts is located. Many research efforts have been spent on the subject of ballast instability due to bridge resonance, since it was first observed when high-speed trains were introduced to the Paris/Lyon rail line. To prevent this phenomenon from occurring, design codes establish a limit value for the vertical deck acceleration. Obviously one needs some sort of numerical model in order to estimate this acceleration level and at that point things get quite complicated. Not only acceleration but also displacement values are of interest e.g. to estimate the impact factor. According to design manuals the structural design should consider the depth of cover, trench width and condition, bedding type, backfill material, and compaction. The same applies to the numerical model however, the question is: What type of model is appropriate for this job? A 3D model including the embankment and an important part of the soil underneath the culvert is computationally very expensive and hard to justify taking into account the associated costs. Consequently, there is a clear need for simplified models and design rules in order to achieve reasonable costs. This paper will describe the results obtained from a 2D finite element model which has been calibrated by means of a 3D model and experimental data obtained at culverts that belong to the high-speed railway line that links the two towns of Segovia and Valladolid in Spain

Crotalogía ó Ciencia de las castañuelas : instruccion científica del modo de tocar las Castañuelas para baylar el Bolero ... ; parte primera : contiene una nocion exacta del Instrumento llamado Castañuelas, su origen, modo de usarlas ...

Índice