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 the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding o...
详细信息
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...
详细信息
In this paper, we have proposed and analyzed an agricultural pest control system. For this purpose, an eco-epidemiological type predator–prey model has been proposed with the consideration of a sound predator populat...
详细信息
In this paper, we have proposed and analyzed an agricultural pest control system. For this purpose, an eco-epidemiological type predator–prey model has been proposed with the consideration of a sound predator population and two classes of pest populations namely susceptible pest and infected pest. Further to consider uncertainty, we modify our model and transform it into a fuzzy system with incorporation of imprecise parameters. The dynamical behavior of the proposed model has been investigated by examining the existence and stability criteria of all feasible equilibria. An optimal control problem is formed by considering the pesticide control as the control parameter and then the problem is solved both theoretically and numerically with the help of some computer simulation works.
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.
L(0, 1)-labelling of a graph G= (V, E) is a function f from the vertex set V(G) to the set of non-negative integers such that adjacent vertices get number zero apart, and vertices at distance two get distinct num...
详细信息
This paper considers a model that deals with an imperfect production process where both perfect and imperfect quality items are ***,demand depends on selling price and reliability of the *** manufacturing company expe...
详细信息
This paper considers a model that deals with an imperfect production process where both perfect and imperfect quality items are ***,demand depends on selling price and reliability of the *** manufacturing company expects to produce perfect quality *** due to the long-run process,several kinds of problem such as labor,machinery,and technology *** a result,the manufacturing system becomes out-of-control state and consequently produces both perfect and imperfect quality *** items are ready to sell but imperfect items are reworked at a cost to become *** cost,reliability of the product and reliability parameter of the manufacturing system can be improved by introducing the development cost and also by improving the quality of the raw material of the production *** such circumstances,a profit function has been developed to find the optimum values of reliability parameter of the manufacturing system,reliability of the product and duration of production such that a manufacturer gets a maximum ***,the model has been illustrated with some numerical examples exploring the sensitivity analysis with respect to some 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 ...
详细信息
暂无评论