Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot...
详细信息
The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed...
详细信息
The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed method, and evaluates the sufficiency of information in the SRS for assessing the non-functional software features - provides the conclusion and the numerical evaluation of the level of sufficiency of information in the SRS for assessment of non-functional features.
The purpose of the experimental study presented in the paper is to generate new knowledge about the possibility of using unmanned aerial vehicles to survey buildings and structures for subsequent extraction of informa...
The purpose of the experimental study presented in the paper is to generate new knowledge about the possibility of using unmanned aerial vehicles to survey buildings and structures for subsequent extraction of information about their condition in hard-to-reach or remote places. As objects for the pilot experiment, the following were selected: a residential building in an urban environment that has been destroyed during operation; an object of unfinished construction; a roadway on the carriageway. An unmanned aerial vehicle of the model: DJI Mavic Air was used to survey the objects. The results of the study of objects are recorded in the form of photo and video streams for each object. Comparison of the results of the inspection of objects by experts and unmanned aerial vehicles showed the possibility and necessity of using new means to collect information about the condition of buildings and structures. The primary processing of the obtained images revealed their features: the effect of illumination on the color characteristics of the object of study; the presence of a textural component that complicates the process of separating the defect from the background; the presence of objects in the image that are not related to the elements of surface destruction; the change in the initial size of the object over time. The detected features of the images allow the use of standard algorithms and processing and require the synthesis of unique trajectories of their application.
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C...
详细信息
ISBN:
(纸本)9781728112763;9781728112756
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.
A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The...
详细信息
The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilev...
详细信息
The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.
In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical ...
详细信息
In this paper, we investigate the effects on prey of two predators which are also related in terms of prey-predator relationship. Different types of functional responses are con- sidered to formulate the mathematical model for predator and generalist predator of our proposed model. Harvesting effort for the generalist predator is considered and the density-dependent mortality rate for predator and generalist predator is incorporated in our proposed model. Local stability as well as global stability for the system is dis- cussed. We analyze the different bifurcation parameters to evaluate Hopf bifurcation in the neighborhood of interior equilibrium point. Finally, some numerical simulations and graphical figures are provided to verify our analytical results with the help of different sets of parameters.
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C...
详细信息
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions ...
详细信息
Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the indus...
详细信息
ISBN:
(数字)9781538659953
ISBN:
(纸本)9781538659960
Development of the mobile robot can be executed in two different ways. Firstly, this creation of the built-in system, secondly, the use of "ready to use" industrial components. With distribution of the industrial mobile robots in the market there are more and more components which can be used for creation of all control system and sensors of the robot mobile platform. Use of the ready components doesn't demand the hardware development that accelerates time of development and reduces cost. The chassis of the Belarus-132 mini-tractor is used as a platform of robotic system in the research, "creation" of the program for traffic control is required. Results of the practical research on design and model development of a mobile robotic complex are given.
暂无评论