Key Engineering Materials Vol. 685

Abstract: The increasing complexity of software systems is making source code analysis a more economic option to automate the identification of defects, vulnerabilities and inefficiencies. This paper initially outlines the general anatomy of automatic source code analyzers, dimensions of analysis that can be performed with today’s state-of-the-art tools, various limitations of automatic source code analysis in the areas of programming language coverage, quantity of false positive claims, system architecture breakdowns and code/time complexity. The paper is concluded by presenting future tentative trends of source code analysis.

Abstract: Software traceability is an important part in software development that is getting more and more attention nowadays from organizations and researchers. The paper outlines the importance, different methods and techniques of software traceability. It also explains the need of automating traceability, problems and drawbacks of existing traceability tools, the ongoing challenges facing implementation of traceability in software development life cycle, and finally the paper discusses whether software traceability should be mandated as a key to improve software evolution

Abstract: The work relevance is determined by the urgent need to design and study queuing systems (QS). The selection and justification of resource management laws - the standby and service disciplines are very important here. The main aim of the study is to develop a QS simulation model with non-priority cyclic service RR (round robin) discipline, to compare the performance of the system under different control algorithm resources: RR and FCFS (first come-first served). To develop a simulation model the system of dynamic and event-driven modeling Matlab + Simulink and SimEvents libraries were used. 5 parallel processes were consistently allocated in RR time quantum algorithm. To imitate FCFS algorithm the round-robin size was set equal to 1. The testing of the developed QS model confirmed a correctness of its work. By varying the flow in the short and long (performance time) processes, it was shown that an advantage of RR algorithm over FCFS is observed, if a share of long processes is not more than 20 - 30%.

Abstract: The paper describes the algebraic logical methods, logical network theory, and information object and process models. The algebraic appliance of finite predicates is used as a mathematical framework. The analysis of the formal description means for information processes allows selecting the logical network appliance for design of complete models of the information process description. This logical network appliance is designed for static object modelling. So, the modification of the logical network model is required for the description of information processes that allowing for the process dynamics. A two-layer logical network is designed comprising the system of binary predicates and predicate operations. The flexible process is presented by a modified logical network allowing to adapt the model to the domain.

Abstract: Mechanical engineering, chemical engineering and other industries have a high demand for the video compression systems that are used, e.g., in CCTV and video sensing. The newest video compression standard H.265/HEVC provides the compression rate of 100–300 times to the uncompressed video. The side effect is the increase of a computational complexity of the compression system. This high complexity obstructs the industrial implementation of H.265/HEVC video compression systems. One of the main objectives is to reduce intra compression complexity. In this paper, we present our algorithm of a fast search for intra prediction mode in H.265/HEVC video compression. The algorithm on average provides only 1.9% bitrate increase with 41% timesaving.

Abstract: The algorithm for automated formation of alternatives in geological and engineering operation planning is developed. The algorithm is based on method of the Weighted k-Nearest Neighbours and tested on data of Tomskneft company.

Abstract: The article discusses process of decision support in oilfield development. The algorithm of geological and engineering operations planning, based on the principal stages of the decision-making process to perform GEO, is proposed.

Abstract: This paper denotes approaches to discrete-continuous process simulation via E-network. It covers principals of discrete-continuous process simulation via E-networks using the scheme of the interaction of static and dynamic components modeling. The construction of discrete-continuous process dynamic models is based on the state space method and is implemented by using E-network.

Abstract: A method of modeling derivatives in a real-time non-stationary process is proposed. This concept is based on approximation of variation smoothing splines. A recurrent estimation formula for parameters of a spline where the number of measurements of every segment is higher than the number of node is given. Dependence between accuracy of estimations of derivatives and values of the spline parameters is studied. Optimal values of parameters are found.

Abstract: The article discusses the uniform model of representation heterogeneous data hydrometeorological observations from international codes used for transmission. Physical this model simply shows the machine representation of aggregate tables with variable-length strings. A list of keys creates for all tables and this list of keys allows to carry out a targeted search for the required data.