Client-Server Implementation in Solving the Problem of Modeling the Small Spacecraft Flight at Low-Earth Orbit
The possibility of implementing a modeling of the flight of a small spacecraft in low earth orbit based on a client-server architecture was researched. Issues such as transmitting and displaying the system state, aggregating states at different points in time, and executing user code were discussed. The conducted studies demonstrate the benefits of using a client-server implementation in solving the problem of simulating the flight of a small spacecraft in near-earth orbit in a world of increasing interest in satellite developments.
The paper presents the approach of selection general architecture pattern and design tactics for the software project. Proposed method is based on the satisfying required software quality attributes. The domain ontology is defined along with the main concepts and structure. Base software architectural patterns and main design tactics were analyzed and as a result the problem of building software architecture with required quality attributes has stated. As a solution, analytical model of selecting necessary tactics has presented. The general approach to select the best software architecture pattern and tactics is defined and described with the example of preventive maintenance systems.
A radiation-resistant diamond-based detector for registration of fluxes of particles of cosmic radiation with low linear energy transfer is developed and investigated. The device may be used to register gamma radiation of water-moderated, water-cooled nuclear energy reactors. The characteristics of a detector when exposed to beta radiation are determined and modeling of the signals of the device when exposed to beta and gamma radiation is performed. The use of a multi-layer diamond structure makes it possible to increase the signal-to-noise ratio and expand the dynamic range of measurements of the linear energy transfer of cosmic radiation particles.
The paper examines the studies that devoted to simulation the instrument amplifier on a printed circuit board made of a nanoconductive dielectric. The main aim of the work is simulation of instrumentation amplifier protected from electrostatic discharges, using the LTspice. In connection with the fact that any dielectric in a spacecraft can lead to electrostatic discharge, it is proposed to replace high-resistivity insulators with nanoconductive dielectrics. This approach is widely used in the feasibility study of next-generation satellites, which confirms the practical feasibility of this concept.
Ways to improve the sensitivity and signal-to-noise ratio of primary converters in each case have their fundamental and practical limitations. To determine the optimal frequency of the electromechanical conversion and ensure the specified accuracy and stability of metrological characteristics are encouraged to use the method of probabilistic stability studies of the output characteristic of the converter. The research is based on the methods of the stability characteristics of the probabilistic stability studies, provides the most comprehensive account of the random nature of the structural abnormalities and electrical parameters under the influence of destabilizing factors in serial production. Formed the basis of the method of moments technique allows for a small amount of calculations to obtain the necessary accuracy.
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to debug behavioral specifications. In the paper, we consider examples of the metamodel usage to represent dynamics for the following two aspects of AADL-models: 1) simulation of a modelled system on the basis of a Behavior Annex specification; 2) failure modes and effects analysis on the basis of an Error Model Annex specification. We also present a stepwise visualization tool (engine and applications for both mentioned examples) that is implemented in MASIW framework for design of modern avionics systems.
This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.
The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.
The aim of this article is to highlight the relationships between contemporary tendencies in the humanities (the new ontologies) and contemporary architectural practices. The author articulates the distinction between the optics of the «old ontologies» and the new ones. The ontologies considered to be new ones are flat, free from classical opposition between the whole and the parts and based on modality of possibility, but not obligation. Objects and practices traditionally referred to as architecture appear to be based on the principles of the «old ontologies». For them human being is an extraordinary object compared to others, the part-to-whole relationships appear to reflect either the superiority of the whole (society) or the superiority of the part (individual), finally, they are aimed at creating an “it has to be this way” picture. The new ontologies seem to be impossible to apply to architecture in its traditional meaning. Nevertheless, a two-fold link between the new ontologies and architecture can be posed. On the one hand, the former offer a new language to describe the variety of traditional architecture and accept that all of directions, styles and buildings are ontologically coordinate. On the other hand, the new ontologies enable some new architectural practices (computer architecture, architecture of virtual space and speculative architecture) which do not substitute for traditional architecture, but accompany it.
Keywords: new ontologies, flat ontologies, architecture, computer architecture, architecture of virtual space, speculative architecture