Data obtained from the scientific experiments are heterogeneous and distributed. They are stored in different file formats so it is difficult to be integrated, analyzed, processed and visualised. Scientific experiment...
详细信息
Data obtained from the scientific experiments are heterogeneous and distributed. They are stored in different file formats so it is difficult to be integrated, analyzed, processed and visualised. Scientific experiments require effective and efficient data management. In this paper an approach to convert raw data obtained from scientific experiments into relational database using XML based description is proposed. The approach is tested and verified by database and web service implementations. The implemented web service provides authorized access to the experimental data. In order to provide a secure data transmission and data access the database is encrypted through an asymmetric 128-bit encrypting method implementation based on public and private key. A number of experiments using specific scientific data obtained from various experimental instruments are conducted to illustrate the usage of the proposed approach.
The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Tec...
详细信息
The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Technology School ＂electronic Systems＂ （TUES） associated with the Technical University of Sofia is on focus. The modules for admission of students, specialty classification, and graduation of students, management of the student＇s work in computer classrooms and lecturers＇ data management have been analyzed, developed and implemented. The additionally developed modules concern mainly the management of educational process and do not affect the e-learning or the official part modules. That led to the idea that the functionality for managing educational process has to be organized in a separate module defined as module for administrative services of educational process. Such restructuring of the system will bring flexibility in further growth of the system--for example students＇ admission or selection for different purposes.
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logi...
详细信息
This paper is concerned with the design procedures of an automated testing tool, developed in Matlab ® /Simulink ® environment, that performs software verification during runtime on a PLC (Programmable Logic Controller) or so called HiL test (Hardware-in-the-Loop) for model-based development of control applications. In addition to checking the “semantic” or “functional” correctness of the automatically generated C++ - Code with RTW (Real Time Workshop ® ) for algorithms designed and developed in Simulink ® on hardware targets, the tool compares results obtained from the HiL test with the results of the MiL test (Model-in-the-Loop) performed in early stage of development for the same developed application. The main purpose behind this work is to develop reliable software that fulfil system requirements and to test its behaviour during realtime hardware simulation, in order to achieve the validation step which represents the terminating - step of almost all projects.
When dealing with complex systems design and application the notion of ontologies helps the process of application integration. To solve the problems with discover, interpret and reuse data we have to recognize ontolo...
详细信息
When dealing with complex systems design and application the notion of ontologies helps the process of application integration. To solve the problems with discover, interpret and reuse data we have to recognize ontology as a concept that formalizes the management and integration of information, services and processes. In this paper we present our work towards the development and evaluation of scientific data ontology that helps the system integration architect achieve interoperability between different systems.
A data security and validation framework of a SOA based system for management, storage, processing and visualization of data obtained from scientific experiments is proposed in this paper. The framework covers the thr...
详细信息
A data security and validation framework of a SOA based system for management, storage, processing and visualization of data obtained from scientific experiments is proposed in this paper. The framework covers the three levels of data security: authorized user access, data encryption and data validation. To ensure authorized user access three access levels are provided: ownership, distribution rights and read rights. To ensure the data encryption an asymmetric 128-bit encrypting method based on public and private key is implemented. A universal approach for complete data validation has been suggested and implemented as web service. Data validation service allows validating the input data processed by each of the modules in the system. A declarative language defining the data validation and their interpretation based on XML standard is specified, by which precise rules in XML format are established and simultaneously with a library that supports this grammar is performed. In the language structures are included elements describing the data, rules and logic, which have to satisfy the input data. The actual definition is supported by a definition repository XML file and allows adding additional field types or complex validation logic as needed and easy modification of the validation rules.
The purpose of the automatic conversion of scientific data into canonical format is to provide a link between raw representation of data and database schemas. On the basis of these concepts Web services are developed ...
详细信息
The purpose of the automatic conversion of scientific data into canonical format is to provide a link between raw representation of data and database schemas. On the basis of these concepts Web services are developed for automatic XML description. They describe structurally and semantically scientific data and the conversion of the raw data layout description into canonical form based on data semantics. The canonical form looks like a relational data model where efficient methods for storage and retrieval of scientific data have been used. This paper describes the implementation of the converter compiler of raw scientific data layout description into canonical format. Using canonical XML form we have achieved better standardization of the input for data manipulation and visualization routines and minimization of their number.
This paper presents a novel approach of using unmanned vehicles for Automated Meter Reading (AMR) applications in rural areas where there are a few consumers scattered around a wide area. The proposed system does not ...
详细信息
This paper presents the communication related design considerations of Wireless Sensor Network (WSN) aided Multi-Robot Simultaneous Localization and Mapping (SLAM). In this approach, multiple robots perform WSN-aided ...
详细信息
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how this combination engenders the composi...
详细信息
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how this combination engenders the composition of loosely coupled parallel modules safely accessing a common shared array. That loose coupling enables both better flexibility in parallel execution and greater ease of implementing multi-physics simulations. As a case study, we describe how the parallelization of a new method for molecular dynamics simulation benefits from both of these advantages. We also describe a system of typed handle objects that embed some of the determinacy constraints of the Multiphase Shared Array programming model in the C++ type system, to catch some violations at compile time. The combined programming model communicates in terms of these handles as a natural means of detecting and preventing errors.
Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of mo...
详细信息
Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of models with combination of lego-like predefined model building blocks, ability to define model libraries with reusable components, support for modeling and simulation of complex applications involving parts from several application domains, and many more useful facilities. This paper gives an overview of some aspects of the Modelica language and the OpenModelica environment - the most complete Modelica open-source tool for modeling, simulation, and development of Modelica applications. Special features are MetaModeling for efficient model transformations, the ModelicaML profile for UML-Modelica cyber-physical hardware-software modeling, as well as generation of parallel code for multi-core architectures.
暂无评论