The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper we consider the problem of autonomous landing on a horizontally moving platform with vertical unpredictable oscillatory dynamics using a quadrotor system. The quadrotor is equipped with an external Raspberry PI as a companion computer used for communications. The task is divided in two subproblems: tracking and landing. We present the algorithms involved for the entire procedure; a PI...
Unit testing is based on the idea that units under test behave in a reproducible and deterministic way. If the unit's code is dependent on external context factors like time or location, these factors have to be controlled in order to produce meaningful results. Spaced repetition mobile learning games in which users are reminded to play at time intervals are based on previous user interaction with...
Currently, there are many tools that modify the program code of the compiled protected modules. The authors of the considered tools do not publish technique of embedding their protection system and any proofs of their tools' algorithm correctness. This article describes the technique of program module modification with algorithm preservation for the subsequent embedding a protection system. The article...
Protein Docking is an important task in computational chemistry and computational biology and yet is very computationally expensive. This paper presents a study on implementing molecular docking program in the Hadoop-based system. The molecular docking platform based on Hadoop provides the preprocessing of ligand datasets and the analysis function of the docking results, it also implements the parallel...
In given paper offered methods and algorithms of determination of complexity of test questions for formation a database system of the adaptive test control for objective estimation of knowledge of students (pupils) in the course of training learning systems.
The software composition using high-granularity entities nowadays is a common practice. The process of software composition is supported by various CASE tools. First tools were made on the basis of very simple formalisms (e.g. intuitionistic propositional logic). During the years the tools evolved to more efficient ones, which are able to deal with concurrency, multiparty sessions and other advanced...
The combination of Software Defined Networking (SDN) and Network Function Virtualization (NFV) promises to provide highly flexible and configurable network infrastructures. This relies, however, on an efficient assignment of the respective Service Function Chain (SFC). This is related to Virtual Network Embedding (VNE), where algorithms are devised to provide such an assignment. To evaluate and compare...
Cheetah flows, which are high-rate flows, can cause increased packet delays and losses in other flows. Leveraging the flexibility offered by the NFV paradigm, our proposed Cheetah Flow Identification Network Function (CFINF) uses a novel method in which a new measure, short-duration flight rate, which is the rate of a flight of packets received over a fixed (short) time interval, is computed and compared...
Identification of the conserved non-coding sequences (CNSs) for plants is a challenging problem because the plants have small CNSs compared to animals. The existing alignment based methods are neither efficient nor sensitive to smaller CNSs when the number of species is large. In this paper, we propose an alignment-free approach that can process any number sequences simultaneously. Our approach uses...
New software applications for linear multivariable system identification are presented. The incorporated algorithms use subspace-based techniques (MOESP, N4SID, or their combination) to find a standard discrete-time state-space description, and optionally the covariance matrices and Kalman predictor gain, using input and output (I/O) trajectories. For flexibility, separate applications are offered...
The software tools that were used to simulate the impacts from the change of prices for fuel and energy on economic subjects of the Russian economy are described. The equations of product input-output balances are used here to coordinate the decisions of economic subjects. An algorithm for obtaining a solution of a system of linear inequalities of this problem is proposed. It based on the method of...
Determinism is a key concern in the certification of software for safety-critical systems. In this paper, we evaluate the role of determinism in certification standards, using airborne software as example. We analyze and speculate how the requirements and underlying concepts related to determinism can be adapted for Machine Learning algorithms.In addition, we systematically identify and analyze a...
For the collection of massive complex information, the collaborative filtering system can work as a highly efficient information screening tool. It can recommend reasonable information reserve with multi angles according to the living service facility information of the scenic spots. The collaborative filtering system can collect information and forecast rating results based on users' preference....
Pebble game rigidity analysis is an efficient method for extracting rigidity and flexibility information of biomolecules without performing costly molecular dynamics simulations. The standard algorithm works on a multi-graph associated to a mechanical model constructed from an arbitrary atom-bond network. Motivated by large scale protein flexibility and simulated unfolding applications, we have developed...
We develop a cache-efficient RNA folding algorithm, ByBox, that is based on Zuker's method. Using a simple LRU cache model, we show that the traditional implementation, Zuker, of Zuker's method has a much higher number of cache misses than ByBox. Extensive experiments conducted on the Xeon E5 server show that cache efficiency translates into time and energy efficiency. Our benchmarking shows that,...
The primary motivation of much of software analytics is decision making. How to make these decisions? Should one make decisions based on lessons that arise from within a particular project? Or should one generate these decisions from across multiple projects? This work is an attempt to answer these questions. Our work was motivated by a realization that much of the current generation software analytics...
Integrated development environments (IDEs) are complex applications that integrate multiple tools for creating and manipulating software project artifacts. To improve users' knowledge and the effectiveness of usage of the available functionality, the inclusion of recommender systems into IDEs has been proposed. We present a novel IDE command recommendation algorithm that, by taking into account the...
Predicting the number of defects in software modules can be more helpful in the case of limited testing resources. The highly imbalanced distribution of the target variable values (i.e., the number of defects) degrades the performance of models for predicting the number of defects. As the first effort of an in-depth study, this paper explores the potential of using resampling techniques and ensemble...
This conception of an information system, formed for making a decision on a specific problem and temporarily existing only during this period, is proposed. Virtual information system (VI-system). To justify the concept, used a system definition that implements the system-target approach.
This paper proposes a scheme for observing cooperative Unmanned Surface Vehicles (USV), using a rotorcraft Unmanned Aerial Vehicle (UAV) with camera movements (tilt and yaw) prioritized over UAV movements. Most of the current researches consider a fixed-wing type UAV for surveillance of multiple moving targets (MMT), whose functionality is limited to just UAV movements. Experiments in simulation are...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.