The polymake XML File Format

For a long time, one of the major research goals in the computer science research community has been to raise the level of abstraction power of specification languages/programming languages. Many specification languages and formalisms have been invented, but unfortunately very few of those are practically useful, due to limited computer support of these languages and/or inefficient implementations. Thus, one important goal is executable specification languages of high abstraction power and with high performance, good enough for practical usage and comparable in execution speed to hand implementations of applications in low-level languages such as C or C++. In this paper we briefly describe our work in creating efficient executable specification languages for two application domains. The first area is formal specification of programming language semantics, whereas the second is formal specification of complex systems for which we have developed an object-oriented mathematical modeling language called Modelica, including architectural support for components and connectors. Based on these efforts, we are currently working on a unified equation-based mathematical modeling language that can handle modeling of items as diverse as programming languages, computer algebra, event-driven systems, and continuous-time physical systems. The key unifying feature is the notion of equation. In this paper we describe the design and implementation of the unified language. A compiler implementation is already up and running, and used for substantial applications.KeywordsModeling LanguageUnify Modeling LanguageAbstract Syntax TreeNatural SemanticPattern EquationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

In this paper we describe a new XML file format and a database schema designed for the storage of performance data and meta-data relating to live electronic music. We briefly describe the architecture of the Integra environment, and give examples of the hierarchical modelling of Integra classes. The separation of module definition, module instance data and module implementation data is presented as one of the key components of the Integra system. The libIntegra library is proposed as a means for supporting the file formats in target applications.

A general perturbation technique is developed for the iteration of one- and two-channel Schrödinger equations for potentials, which can be expanded around a minimum. The channel coupling is assumed to be weak. In order to facilitate the numerical or algebraic computer calculation of terms of higher order, a recurrence relation is derived for some particularly important coefficients. The eigenvalues and oscillatorlike solutions are then derived explicitly up to and including the third-order iteration. Furthermore, we demonstrate that certain parts of every nth order iteration can be lumped together in a manner which is independent of the specific form of the potential. Finally, these methods are applied to the calculation of the eigenvalues of the one-channel equation for linear and logarithmic potentials with or without a weak Coulomb contribution.

This paper presents AMCOS (Automated Acquisition Chromatography System) and CONSYS, (Chromatogram Online System) a system to retrieve chromatography data in XML and XLS format. AMOCS and CONSYS are an alternative type of Laboratory Information Management System (LIMS). Both systems were developed as a data interchange system with the advantage of overcoming the proprietary format and sharing problem. Commercially available proprietary software of LIMS allow user to only save the measurement data into files of their formats; and it is not readable and shared the chromatogram in other formats. AMCOS allows user to acquire the data of HPLC and store the measured data into the centralized database of CONSYS, which is a open source webbased system. CONSYS allows users to retrieve data without using proprietary software and producing both XML and XLS file formats, thus, can be viewed and shared by other CONSYS users. Data acquired are analyzed to determine the appropriate setting for sampling. The measured data are compared in order to justify based on reliability and trustworthy of the system.

The purpose of this paper is to show how XML is applied to digital library systems. For a better understanding of XML, the major features of XML are reviewed and compared with those of HTML. An experimental XML-based metadata retrieval system, which is designed as a subsystem of the Korean Virtual Library and Information System (VINIS) is demonstrated. The metadata retrieval system consists of two modules: a retrieval module and a browsing module. The retrieval module allows the retrieval of metadata stored in Microsoft Access files and the display of search results in an XML file format, while the browse module permits browsing of metadata in XML/XSL document formats. Finally, some issues for a more efficient application of XML to digital libraries are discussed.

An interface for specifying rigid-body motions for CFD applications is presented. This interface provides a means of describing a component hierarchy in a geometric configuration, as well as the motion (prescribed or six-degree-of-freedom) associated with any component. The interface consists of a general set of datatypes, along with rules for their interaction, and is designed to be flexible in order to evolve as future needs dictate. The specification is currently implemented with an XML file format which is portable across platforms and applications. The motion specification is capable of describing general rigid body motions, and eliminates the need to write and compile new code within the application software for each dynamic configuration, allowing client software to automate dynamic simulations. The interface is integrated with a GUI tool which allows rigid body motions to be prescribed and verified interactively, promoting access to non-expert users. Illustrative examples, as well as the raw XML source of the file specifications, are included.

The use of emulators in the WSN design process offers the advantage of precise timing and cross layer simulation. The former due to the fact that each instruction executes in specific machine cycles, and the latter because the emulated machine code contains both application and protocol stack code. Emulators used in sensor network simulation are bounded to specific hardware. Adding different modules of hardware (RF's, MCU's, FPGA's) to these simulators-emulators is a hard and time consuming task. In this paper we present a generic emulator, component of a general WSN simulator architecture [1][2], capable of emulating any MCU/FPGA/DSP chip functionality completely described in XML file format. Moreover, the design of an efficient agent controller for the proposed multi-agent simulation system architecture is illustrated for GPGPU/CUDA systems.

The article is devoted to the consideration of the complex of works on the establishment of a protective zone of the gas pipeline-a plume. For linear structures that act as an element of the engineering and transport infrastructure of the country, there is a need to establish security zones. The main purpose of security zones is to ensure the safety of facilities and create the necessary conditions for their operation. The object of the study (gas pipeline-plume) is located on the territory of the Yamsoveisky oil and gas condensate field, Purovsky district, Yamalo-Nenets Autonomous Okrug. As a research methodology, the article presents a technological scheme formed on the basis of practical experience and regulatory legal regulations presented in legislative acts of various levels. The technological scheme reflects the stages of work on the establishment of the boundaries of the security zone. During the research, each of the stages is considered on a specific example. Based on the results of the preparatory work, a list of necessary documentation is provided, which forms the basis for subsequent field and desk work. Topographic and geodetic works are presented, including the equipment used (geodetic instruments and software). The processing of the results obtained and the formation of a description of the location of the boundaries of the security zone refers to the desk stage of the boundary setting process. A ready-made package of documents signed with an electronic digital signature, in XML file format, is submitted to the rights registration authority through the multifunctional center (MFC). The result of the establishment of the boundaries of the protected zone is a notification of the entry of information about it into the unified state register of real estate. In the course of the study, the features of the establishment of protective zones for gas pipelines-plumes located in inter-settlement territories were determined. The article also lists the imperfections of the technological process of establishing the boundaries of security zones and offers recommendations for their elimination.

Metadata, by definition, is information associated with data, covering where, how, when and by whom the data were acquired. The chance to take part in European projects such as the EU-SeaDataNet (the Pan-European infrastructure for ocean and marine data management) made it necessary to use XML (Extensible Markup Language) as a standard file format for sharing data and metadata. At present, the Italian National Oceanographic Data Centre (OGS/NODC) has all its data and metadata contained in an Oracle relational database, and the metadata is managed using XML formats and schema (XSD; XML Schema Definition), giving common vocabularies for parameters, instruments, ships, etc. in agreement with European project standards. One problem with XML is the dynamic change in metadata schemas (XSD), necessitating development of a system which is flexible and capable of managing the changes. This paper describes a system for managing oceanographic metadata using XML files and the functionalities provided by the Oracle database. To better manage the XML format, we chose to load into the OGS/NODC database the whole XML file, using a dedicated field. The database Oracle gives us the flexibility to manage the XML format locally, within the OGS/NODC information system, using the XML DB (XML DataBase) Oracle features. This, through the use of XMLType, allows the inclusion of the XML into the database. Furthermore, through the use of the XQuery functions it is possible to create a set of views through which information contained in the XML can be viewed more immediately in a relational form. Using the XML and the XQuery functions, it is possible to store, extract and manage different kinds of information that might be exchanged at the European level. Moreover, with a RESTful (Representational State Transfer) Web Service, we have a simple and standard interface for rapidly and easily creating, modifying and deleting records containing XML files inside the database. Finally, through the use of a RESTful Web Service, it is possible to decouple the application from the database, so that through the use of software that manages HTTP URLs, such as the Mikado (SeaDataNet project), the XML file can be inserted, updated and deleted inside the database without the need for a direct connection to it.

International audience

11 - Application Profiles

Chapter 4 - Planning and Preliminary Design

Most CAD tools currently do not have advanced capability built in for directly analyzing the feasibility of product assembly during the design stage. As a result, the feasibility of product assembly has to be analyzed using external assembly analysis tools. To integrate external assembly analysis tools with CAD tools, geometrical data from the CAD models must be extracted from CAD files and imported into the assembly analysis tools. To transfer geometrical data between CAD tools and assembly analysis tools, a neutral file format is needed. STEP (standard for the exchange of product model data) is a neutral file format for convenient and reliable data exchange between different design and manufacturing systems. Therefore, STEP is considered as one of the most popular formats for saving designs. As a result, to evaluate designs, extracting geometrical data from CAD-STEP file is important. Comparing with some other currently available methods, first translating STEP file into XML and then using Java DOM to get geometrical information from XML file is much better. This paper explores the process of extracting geometrical data from a CAD-STEP file for assembly sequence planning. A STEPXML translator, Java-XML parser and DTD (document type definition) generator are used on the JDK 1.4 platform. In this project, DOM (document object model) is applied as the API (Application Programming Interface) for XML.

This paper explicates a systematic approach of implementing text format categorization. It also emphasizes defined corpus linguistics and accordingly demonstrates how various Text files Html, Pdf, Doc and Txt format respectively could be analyzed. This work concentrates on comparing Arabic text format with English text format, for which various text formats have been considered. Hence the idea is implemented by calculating a distributed factor for the keywords distribution with respect to Arabic and English text documentation. All the text selected is from the Computer Technology domain. The text categorization process is implemented on the text collection and consists of two main corpus namely, Arabic and English text respectively. The obtained results show that the Arabic text format document is well distributed in Doc files compared to the English text document which is well distributed in Xml files. These results shall contribute in handling and building an effective Electronic Learning System for Arabic and English Texts. The results and conclusions are presented here with various graphical outputs for better understanding.

In this study, a method for collision avoidance (CA) in external beam radiation therapy (EBRT) is proposed. The method encompasses the analysis of all positions of the moving components of the beam delivery system, such as the treatment table and gantry, including patient specific information obtained from the computed tomography (CT) images. This method eliminates the need for time-consuming dry runs prior to the actual treatments. This method includes a rigorous computer simulation and CA check prior to each treatment. With this treatment simulation, it is possible to quantify and graphically represent all positions and corresponding trajectories of all points of the moving parts during treatment delivery. The development of the workflow includes several steps: (a) derivation of combined dynamic equation of motion of the EBRT delivery systems, (b) developing the simulation model capable of drawing the motion trajectories of the specific points, (c) developing the interface between the model and the treatment plan parameters, such as couch and gantry parameters for each field. The patient CT images were registered to the treatment couch, so the patient dimensions were included into the simulation. The treatment field parameters were structured in an XML file that was used as an input into the dynamic equations. The trajectories of the moving components were plotted on the same graph using the dynamic equations. If the trajectories intersect, it was the signal that collision exists. This CA method is effective in the simulation of the treatment delivery.