Evaluating untrusted computer programs online by executing and testing them real-time has a challenging task of protecting the system integrity and the data confidentiality of the computer host. For ...the web based services on one of the most popular computer platforms, Linux, we propose three security protection tiers of different complexity and resource cost to incorporate the potentially unsafe application service via a web server. By utilizing a single regular Linux account of a corporate computer, or dual accounts as a combination, or multi-accounts of a dedicated computer, these three protection tiers can offer a trade-offbetween the simplicity in design and maintenance at the expense of a somewhat reduced security strength, and the more costly implementation and maintenance with a relatively better security strength. The need for such different tiers is especially true for our implemented in-house applications that aim to evaluate programming work automatically by executing the pertinent but untrusted client programs.
The pH of any polyprotic weak and strong acid (or base) can be calculated employing the logarithmic concentration diagram. The aim of this text is to introduce a joint approach of algebraic, as used ...in textbook, and graphical method. The logarithmic diagrams provide an easy insight into the acid–base systems. The mathematical complexities are overtaken using a Computer Algebra System program, which is also exploited to draw the diagrams. Examples of the use of the program are given together with the code employed.
There is a need to develop ITER instrumentation and control (I&C) systems with high reliabilities. Interlock systems that activate machine protection functions are implemented on robust wired-logic ...systems such as programmable logic controllers (PLCs). We herein propose a software tool that generates program code templates for the control systems using PLC logic. This tool decreases careless mistakes by developers and increases reliability of the program codes. A large-scale engineering database has been implemented in the ITER project. To derive useful information from this database, we propose adding semantic data to it using the Resource Description Framework format. In our novel proposal for the ITER diagnostic control system, a guide words generator that analyzes the engineering data by inference is applied to the hazard and operability study. We validated the methods proposed in this paper by applying them to the preliminary design for the I&C system of the ITER edge Thomson scattering system.
Verification of the structure of program code in the development process is a possible approach for increasing the quality of the software product. Its intent is to provide a systematic and ...structured process for checking and confirming if the code fulfills the architecture requirements laid down for its creation. The paper aims to outline the main points related to the proposed by the authors possibilities for verification of the program code against its structural and technical requirements. Clarifies the essence of the concept and the activities related to its implementation; reveals appropriate types of testing and tools for conducting it; describes the sequence of steps through which its implementation goes, as well as the advantages and disadvantages of its application. The described specifics are basis for the future development of a universal, technologically independent expert system for verifying the program code.
Physical and hydrodynamic processes, accompanying explosions of condensed explosives and fuel-air mixtures are considered. The physical model, algorithm, and program code for modeling one-dimensional ...hydrodynamic processes, which are based on the equations of gas dynamics in the Lagrangian presentation, are discussed. The results of multiple systematic calculations of the dynamics of explosion are presented. These results have allowed in details to describe the spatial-temporal pattern of flow, the process of the energy transfer from explosion products to the surrounding medium, formation, propagation, and decay of a shock wave. The obtained results are compared with the approximation of a strong point explosion, theoretical and experimental literature data. The developed model and program code showed high efficiency and operability within a wide range of explosion parameters and conditions of the outer medium.
Frequent table look-up can result in high memory access, and high memory access can cause increased power consumption in CAVLC decoding. Aiming to solve the problem of high table memory access during ...the process of CAVLC decoding for H.264/AVC due to frequent table look-up, thereby reducing the power consumption, a high-efficient table memory access saving algorithm is presented in this paper. The contribution of the proposed scheme is that we use program code to instead of the conventional table look-up method that requires a lot of memory access. In our scheme, we use program code to realize fully the expression of all the UVLT (Unstructured Variable Length Tables) in CAVLC decoding, as a result, all the decoded codewords in UVLT can be obtained easily through a program execution way instead of sequential table look-up. which can save a lot of memory access and power consumption due to without looking up UVLT in CAVLC decoding, The simulation results show that our proposed scheme can save 100 % memory access of table look-up for CAVLC decoding compared with TLSS method due to the use of program code, thereby saving much power consumption, without degrading video quality.
The paper is devoted to a stenographic approach to storing data in the space of the FPGA chips program code. In this approach, data is covertly embedded in the program code and forms a single whole ...with it. As a result, the presence of embedded data is hidden from the outside observer. The data hidden in this way can only be retrieved with a stego key. Traditionally for stego embedding of additional data into FPGA program code equivalent transformations of this program code are used. To do this, the program codes of the FPGA LUT units are transformed so that the FPGA functionality does not change. In this case, additional data is embedded in the target bits of the program code. This paper proposes a method that combines traditional equivalent embedding with non-equivalent embedding. The method uses an additional stego resource - inessential LUT units. This is a subset of LUT units that perform arithmetic calculations for approximate data. Inessential LUT units participate only in the calculation of the bits to be discarded as a result of rounding. Therefore, distortion for the program code of these units does not affect the correct operation of the device. The proposed method allows to increase the volume of data steganographically embedded in the FPGA program code. This increase is achieved through the use of an additional nonequivalent stego resource. An experiment was carried out in the paper, which confirmed the effectiveness of the proposed method. The experiment showed an increase in the volume of embedded data compared to using only an equivalent stego resource.
Distributed information systems play a key role in the modern world, therefore it is critically necessary to be able to assess its reliability, for which it is possible to apply an integrated ...approach. Initially, most of the potential errors and failures that occur during operation are embedded in the program code. It follows that the performance of the system depends not only on the algorithm, but also on the correctness of its program code. The paper considers the metrics of code connectivity and establishes its connection with the theory of automata. The reliability of the code is assessed based on the principles of structural reliability assessments.
One of the main goals for developers of local positioning systems is to ensure that their framework can be deployed in any possible place. The challenge is that the indoor network infrastructure ...often is planned to suit the purpose of Internet access provision for all the users, but not to determine the locations of said users. The most commonly used geopositioning methods require additional adjustments to the existing network, whether it is rearranging or adding new Wi-Fi access points. Another approach is statistical analysis and decision-making based on previously obtained data. In this article, the taxometric method of rating the probability of finding a user in a particular room is considered and the work of the engineered software for the implementation of this method is demonstrated. The results presented in the article show that it is possible to use the taxometric decision-making method for Wi-Fi networks that were built for accessing the Internet, but were not optimized for positioning. In this regard, in most rooms it is possible to ensure the accuracy of location determination up to 10 meters.
The presented study aims to design an electrical control and program code and perform experimental studies of the "Gauss curve'' in a newly designed specialized automated mechatronic system (SAMS) ...with flat cylindrical parts. It includes a feed hopper, a space for examination, dedicated cutoffs for part release and separation, a self-flowing magazine collector, and an automatic system for returning the examined parts to the feed hopper for a subsequent cycle. The research will be carried out using a real purpose-built SAMS prototype with flat cylindrical work details. The shape of the distribution and the type of curve to be obtained will be analyzed.