The structure and basic properties of a generalized cyber-physical system are studied. Information security problems and basic approaches to ensuring the cyber security of these systems are analyzed. A method based on the analysis of the indicators of compromise for assessing the degree of compromise of a generalized cyber-physical system is presented.

Energy consumption and lacking of spectrum resources have become the bottleneck in the development of the Internet of Things. Reducing energy consumption in RFID tags is an important issue that needs to be studied in the communication links. The modulation module in the tag consumes as little energy as possible and applies most of the collected energy to the tag the IC. In order to increase the communication efficiency in the passive system, it is necessary to optimize the modulation mode of the traditional passive RFID. The traditional modulation method cannot collect the energy effectively and transmit the data accurately. In this pursuit, the present study was envisaged to improve the situation by using QAM modulation instead of traditional modulation, and provide a new possibility for the application of CRFID. Furthermore, the transmission quality of signals under different channels was compared. In the experiment simulation stage, the QAM modulation simulation module was established, and the energy of the tag IC was maximized when the modulation impedance was greater than half of the impedance of the tag antenna.

An Erratum to this paper has been published: https://doi.org/10.3103/S0146411623050139

To facilitate the prediction and early warning of coal dust explosions in mines, a real-time online detection system that employs photoelectric diodes as light sources and narrow beam transmission technology based on the extinction statistical method is proposed. The study establishes a coal dust test model using the extinction statistical method, derives the extinction statistical test equations, and numerically analyzes the relationship between the average and standard deviation of transmittance using beams of varying thicknesses based on the theory of light transmission. The experimental devices of the test system and signal acquisition circuit are designed, and the interference of the original background light measure and light signal in the test is eliminated by prism splitting. Subsequently, coal dust measurement experiments are conducted using beams of diameters 0.05, 0.24, 0.72, and 1 mm. The experimental results indicate that selecting an appropriate beam thickness can enhance the accuracy of coal dust testing. The proposed system is capable of real-time online detection of coal dust particle size and concentration, demonstrating the practicality and feasibility of the system.

To enhance the anti-interference performance of airborne communication data link system, a transmission control method based on improved fish swarm algorithm is constructed. Firstly, the airborne data link channel model is constructed. Secondly, equalization algorithm of airborne data link is constructed, and the improved artificial fish algorithm is designed, and the algorithm procedure of transmission control of airborne communication data link system is established. Finally, simulation analysis is carried out, results show that the proposed method has higher transmission success rate, lower transmission time, and higher transmission rate, the proposed model has better performance in transmission control of airborne communication data link system.

With the rapid growth of smart mobile devices, the limited resources and computing performance of mobile devices might increase the delay of processing tasks, resulting in greater energy and cost consumption by terminal devices. This study aimed to focus on the balance of delay and energy consumption in the mobile edge environment, considering the impact of computationally intensive network interference on system performance under blockchain and proposed a joint optimization algorithm for computing offloading and resource allocation of adaptive data block size in the edge environment. First, a computing offloading model and a communication model were established, and the problem model was optimized on that basis. Second, the incentive mechanism of a virtual currency based on blockchain was introduced, and a coordinate descent method was used to formulate the offloading decision of adaptive data block size. Then, a subchannel allocation was based on the improved Hungarian algorithm and the greedy algorithm while satisfying the user delay constraint. Finally, energy minimization problems were converted into power minimization problems, then into a convex optimization problem, and finally into the user’s optimal transmit power. Experimental results showed that compared with similar computing offloading algorithms, the proposed offloading decision could reduce the energy consumption of the system while satisfying different time delay requirements of the users and improving the system performance.

This article is written in support of the academic discipline “Nonclassical logics”. The objects of study within this discipline are the basic principles and constructive elements used in formal construction of various nonclassical propositional logics. Despite the abstract nature of the theory of nonclassical logics, which is mainly focused on strict mathematical formalization of logical reasoning, there are real practical applications for its theoretical results. In particular, languages of temporal modal logics are widely used for modeling, specification, and verification (correctness analysis) of logic control program systems. This article demonstrates, based on the example of linear temporal logic (LTL), how abstract concepts of nonclassical logics can be applied in practice in the area of information technology and programming. It is shown that the behavior of a software system can be represented as a set of LTL formulas, which can then be used to check the satisfiability of the properties of that software system via the procedure for proving the validity of logical inferences expressed in terms of linear temporal logic (LTL). The approach to using LTL to specify the behavior of software systems is demonstrated based on Minsky counter machines. Minsky machines are one of the ways of formalizing the intuitive concept of an algorithm. Their computational power is equivalent to that of Turing machines. A counter machine is a computer program written in a high-level language, since it contains variables called counters and conditional and unconditional jump operators used for loop construction. It is known that any algorithm can (hypothetically) be implemented as a three-counter Minsky machine.

A model that can describe the functioning of large-scale systems with a dynamical and adaptive network topology is developed. Dynamical graph theory is chosen as the mathematical tools on which the model is based. Therefore, the functioning of the ad hoc network is represented as a set of static graphs, each of which corresponds to a certain timestamp. Dynamic graphs allow one to track changes in the network and mark them as legitimate or illegitimate. The choice of key parameters of the developed model is based on the practical experience of researchers involved in the detection of different attacks in ad hoc networks, which makes the model a priori focused on subsequent security analysis.

An approach to detecting network attacks based on deep learning (autoencoders) is proposed. It is shown that learning examples can be obtained by connecting IoT devices to the network, as long as the traffic does not carry malicious code. Statistical values and functions extracted from traffic are proposed; patterns of IoT devices are based on them.

The use of blockchain in 5G networks gives a number of opportunities to improve security, privacy, and quality of service. However, despite all its advantages, blockchain technology has a number of disadvantages associated with low performance and high transaction latency. This article describes an experiment that compares public and private blockchains. The main goal of the experiment is to test the possibility of using private blockchains in mobile networks in order to resolve problems of network performance.