Harvester open publications of NAS Ukraine
Harvester open publications of NAS UkraineNot a member yet
2350 research outputs found
Sort by
Особливості сезонного розвитку садових троянд за кліматичних змін у Степовій зоні України
No full textObjective – to determine the peculiarities of seasonal development of garden roses in the collections of the Kryvyi Rih Botanical Garden of the NAS of Ukraine for optimization of their assortment in urban planting in the steppe zone of Ukraine.
Material and methods. Was the material processed with data of beginning and duration of phenological stages (growing, flowering, the massive flowering) and vegetation period of different garden rose groups (tea-hybrid, floribunda, climbing and miniature) in 1997–2016 in the conditions of Kryvyі Rіh which is located on the south-west of the Dnipropetrovsk Region in the steppe zone of Ukraine. Introductory research methods were used.
Results. It is proved that plants react on the changes of temperature condition of air, and duration of basic phases of seasonal development is related to the climatic terms on Kryvorizhzhya and depends on the varietal features of the roses. I was revealed that changes in the temperature regime of air during the 20 years of the study affected the dates of the beginning of the vegetation (earlier by 6–14 days) and flowering (earlier by 10–12 days), the massive flowering (earlier by 15–20 days) and an increase of the growing season collection samples (more than 12–36 days). More variability were celebrated terms of beginning and duration of phases vegetative, than generative development. It is established that for 20 years climbing cultivars increased the flowering time by 8–10 days, while the tea-hybrid for 15–27 days.
Conclusions. Specific changes in of rhythms of development of individual garden groups of roses have been recorded. For climbing varieties are characterized by the least indicators of temporal changes and minor changes in the duration of flowering. In cultivar of floribunda the duration of flowering did not change or decreased by 45–48 %. Tea-hybrid roses begin the mass flowering on 20–28 days before and increased a flowering period at 1,3–1,9 time. The most various features of flowering rhythm educed cultivar of miniature, for that there was characteristically both an increase and reduction the duration of flowering
Interactive method for cumulative analysis of software formal models behavior
Get PDFThe aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which is an evidence of test goal reachability or explanation of some inconsistency during debugging process), theproposed method generates a projection of all satisfiable paths, which provokes exposure of undesired behavior. For test cases generation, the feature plays a role of interactive path constructor, which prompts all satisfiable behavior alternatives, so user can find a desired path by iteratively specifying points-of-interest. Appropriate novel algorithm for efficient searching is presented.Problems in programming 2018; 2-3: 115-12
Credibility of fuzziness: theory and application
No full textAn approach to finding a credible estimates of fuzzy events in fuzzy inference systems is considered. Such systems are used to represent fuzzy knowledge, in particular, in expert systems, pattern recognition systems, forecasting systems, and so on. The extraction of knowledge in such systems is carried out with the help of cumbersome intellectual calculations, and the knowledge obtained requires an assessment oftheir сredibility. An example of application of the proposed approach in expert diagnostic system with fuzzy model of presentation of knowledge is given.Problems in programming 2018; 2-3: 164-17
Method of forming multi-leveled sequential patterns
No full textThe research is dedicated to the problem of large volumes of results acquired from sequential pattern mining. The new form of sequential patterns is proposed. The requirements for a programmed implementation of the described method are introduced. The results of experiments based on real malware behavior data are demonstrated.Problems in programming 2016; 2-3: 158-16
Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation
No full textThe article devoted to reliability estimation of fault-tolerant reconfigurable multiprocessor systems. The paper briefly describes implementation of software SERC (Statistical Experiments for Reliability Calculation) which contains known and proposed by author statistical methods for fault tolerant reconfigurable multiprocessor systems reliability estimation and tools for Monte Carlo Error analysis of the estimation.Problems in programming 2016; 4: 48-57
Appliсation of the phase correlation algorithm and its extension in the optical stabilizer of unmanned aerial vehicles
No full textThe use of the phase correlation algorithm as the basis of unmanned aerial vehicles (UAV) Optical Stabilizer on purpose to determine the displacement of the housing relative to the surface is described. Also, the possibility of application of the phase correlation algorithm extensions to increase accuracy and reduce computing costs is considered. The algorithm implementation in bot MATLAB language and C is provided. The computational complexity of the algorithm implementation in C was experimentally analyzed in the scope of embedded systems. The proposed algorithm gives not only an auxiliary possibility to stabilize the aircraft position but also to calculate absolute position of the aircraft in space.Problems in programming 2017; 1: 111-11
Context term calculus for rewriting systems
No full textIn this paper, a calculus of context-full terms is proposed. Calculus extends the traditional algebraic signatures, used in term rewriting systems, by so-called constructions, that works with context: context constructor, resolving a context value and binding term to context with compatibility checking. Such extension allows to refining algorithms connected with analysis and transformations of source code in the more natural form, because f the structure of the sense in the modern programming language defined in hierarchical contexts, which can be directly mapped to context-full term in rewriting rule. Type analysis for a programming language can be implemented as checking for context compatibility. In such way, relative simple mechanism, which unites term rewriting and context analysis can be received. The approach is illustrated by defining rules for typing in context-full term formalism.Problems in programming 2018; 2-3: 021-030
Characteristics for choice of models in the ansables classification
No full textThe analysis of researches and approaches of practical application of ensembles is carried out and the characteristic factors of influence on a combination of models are determined. Factors are determinative and inherent in combinations of models. The necessity of using patterns of models that are characteristic only for ensembles is substantiated. The characteristic features of ensembles are established and the necessity of developing specific characteristics of models in terms of a combination of solutions by definition of their characteristic features is determined. These attributes, namely precision and distinction have a decisive influence on the choice and applicability of solutions in ensembles and allow to choose the most effective combination. We propose to use such a characteristic of the models in the ensemble as distinction of a certain rank by precision parameter. These characteristics of the models allow them to be chosen and characterize the model in the ensemble. It applies only in the case of a combination of models and indicates the distinction between one model and another and takes into account the precision of the model. This approach allows you to define models of different nature, to determine the depth of model distinction and allows it to be combined with other well-known characteristics of classifiers. Its peculiarity consists in the fact that it allows to evaluate the use of solutions in the ensemble and to carry out the selection of models.Problems in programming 2018; 2-3: 171-17
On the classes of causal networks, identifiable by simple independence tests
No full textWe tackle some theoretical problems of constraint-based approach to causal network inference from data (without prior restrictions). Our interest is to recover a model structure from independence tests of zero and first rank only. Class of 1-identifiable causal structures is defined. An idea to recognize whether model recovery is successfully completed (i.e. adequate model structure is outputted) is suggested. Theframework of locally minimal separation in DAG is shown to be appropriate instrument to tackle the problem. A few subclasses of class of 1-identifiable structures are specified; corresponding structural restrictions and criteria of recovery completeness are given. We present some causal structures which are not 1-identifiable.Problems in programming 2018; 2-3: 180-18
Extending UML specification for semantic modeling objects
No full textIn the article, propose mapping from UML class diagrams to SHOIQ. descriptive logic. Made approach through extension the UML notations by using stereotypes as close to semantic structures. Specified on the causes and problems that arise in such mapping.Problems in programming 2016; 2-3: 211-21