HyperPro An integrated documentation environment for CLP

AbdelAli Ed-Dbali,Pierre Deransart,Mariza A. S. Bigonha,Jose de Siqueira,Roberto da S. Bigonha
DOI: https://doi.org/10.48550/arXiv.cs/0111046
2001-11-20
Abstract:The purpose of this paper is to present some functionalities of the HyperPro System. HyperPro is a hypertext tool which allows to develop Constraint Logic Programming (CLP) together with their documentation. The text editing part is not new and is based on the free software Thot. A HyperPro program is a Thot document written in a report style. The tool is designed for CLP but it can be adapted to other programming paradigms as well. Thot offers navigation and editing facilities and synchronized static document views. HyperPro has new functionalities such as document exportations, dynamic views (projections), indexes and version management. Projection is a mechanism for extracting and exporting relevant pieces of code program or of document according to specific criteria. Indexes are useful to find the references and occurrences of a relation in a document, i.e., where its predicate definition is found and where a relation is used in other programs or document versions and, to translate hyper-texts links into paper references. It still lack importation facilities.
Programming Languages,Software Engineering
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: How to achieve highly accurate and reliable timed trigger pulse distribution in the National Ignition Facility (NIF) to meet the strict time - synchronization requirements of lasers and diagnostic devices. Specifically, the NIF requires more than 1,500 precisely - timed trigger pulses to control the timing of lasers and diagnostic devices. In particular, within the last 2 seconds of each shot cycle, the jitter of the trigger pulses must be less than 20 picoseconds (rms), and the wander must be less than 100 picoseconds (maximum). In addition, the Integrated Timing System (ITS) also needs to allow multiple clients to use the system simultaneously and independently by dividing the hardware into subsets controlled by independent software keys. To solve these problems, the paper proposes a brand - new Integrated Timing System architecture. This architecture utilizes fiber - optic communication and network technologies to distribute time - encoded data streams and generate independently - controlled real - time trigger pulses near the triggered devices. This is different from the traditional tree - structure - based pulse distribution system, which has problems such as system - wide pulse rate limitations, gradually increasing jitter, and the impact on unchanged channels during reconfiguration. ### Summary of Main Problems 1. **Requirement for High - Precision Trigger Pulses**: - It is necessary to ensure that the jitter of the trigger pulses is less than 20 picoseconds (rms) and the wander is less than 100 picoseconds (maximum) within the last 2 seconds of each shot cycle. 2. **Independent Use by Multiple Users**: - The system needs to support multiple clients to perform setup and maintenance tasks simultaneously and independently without interfering with each other. 3. **Limitations of Traditional Systems**: - Traditional systems have common pulse rate limitations, gradually increasing jitter, and the impact on unchanged channels during reconfiguration. ### Overview of Solutions - **Integrated Timing System (ITS)**: Adopt fiber - optic communication and network technologies to distribute time - encoded data streams and generate independently - controlled real - time trigger pulses near the triggered devices. - **Master Clock and Master Timing Transmitter (MTT)**: Provide a stable time - reference signal and convert it into a serial data stream (SDS) of standard communication frequencies. - **Local Timing System (LTS)**: Contain multiple Delay Generator (DG) modules, receive and decode data streams, and generate the required trigger pulses. - **Measurement System (MS)**: Used to monitor and compensate for transmission delays to ensure the high - precision of the system. Through these designs and technologies, the ITS has successfully achieved high - precision and reliable trigger pulse distribution, meeting the NIF's time - synchronization requirements for lasers and diagnostic devices.