• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Of all publications in the section: 31
Sort:
by name
by year
Article
Рыбаков М. Н., Чагрова Л. А. Программные продукты и системы. 2018. Т. 31. № 3. С. 591-597.

It is common to use the first-order language as a formal tool for describing properties of various (computational) structures. On the one hand, this language is well understood and easy to use; on the other, many questions that are im-portant from the applications point of view related to this language are algorithmically undecidable, i.e., cannot be answered using a computer program. These days, there exist various alternative languages that can be used for describing computational processes and their properties, for which the corresponding questions are, in contrast to the first-order language, algorithmically decidable. In this paper, we consider one of such languages, – the language of the Computational Tree Logic (CTL). It is commonly used for program verification as it is capable of describing properties of computational processes, – in particular, properties of the binary relation used in the Kripke semantics. The authors investigate the possibility of finding algorithmically first-order formulas defining the same classes of Kripke frames as the formulas of the language of CTL. It is well known the problem of finding first-order correspondents of propositional intuitionistic formulas is algorithmically undecidable. The authors reduce – using the Gödel translation of intuitionistic formulas into modal ones, and subsequently a translation of resultant modal formulas into CTL-formulas – the first-order correspondence problem for propositional intuitionistic formulas to the first-order correspondence problem for CTL-formulas on Kripke frames. As a result of this reduction, they prove that the first-order correspondence problem for CTL-formulas is algorithmically undecidable. In the conclusion, the authors discuss some possible modifications of their construction for fragments of the language of CTL as well as algorithmic decidability of the CTL correspondence problem for first-order formulas.

Added: Oct 6, 2019
Article
Мадера А. Г. Программные продукты и системы. 2014. № 4. С. 41-45.
Added: Aug 17, 2015
Article
Папулин С. Ю. Программные продукты и системы. 2014. № 1. С. 57-60.

The article provides information about analysis of data collection using logic-set histogram representation. This type of representation is based on using histogram and a special mathematical system that allows implementing user queries as statements/expressions with logic and set operations. Result of the analysis is a quantitative value of presence of elements (designated in a query) in a data. Moreover, it’s possible to use a sample query to find quantitative values of similarity to an analyzed data. Collection is defined as a list of one-type data (for example, textual documents, images, video or others), which is made up of a universal set elements. Each element of a collection matches with its histogram representation. The paper considers two approaches of analysis of data collection using the logic-set histogram representation.

Added: Oct 29, 2015
Article
Завертяева М. А., Паршаков П. А. Программные продукты и системы. 2012. № 4 (100). С. 90-96.

The article presents a comparative analysis of neural network modeling and regression analysis for forecasting the S & P 500 index. Initially, the forecast of the absolute value of the index is provided, then we justify the use of stationery data, that is, the return of S & P 500. The comparison of two methods is carried out in two stages. Firstly methods are compared by the coefficient of determination on the periods of three and twelve months, and by the quality of trend predictions. Note that the choice of model and its testing is performed at different time intervals (the so-called in-sample and out-of-sample periods). Taking into account the fact that the primary desire of a typical trader is to gain a profit at the second stage we have chosen such trading criteria as profit and profit, weighted on risk (drawdown). On a longer time interval (12 months) regression shows the best results, but in terms of economic gains neural network win. When we consider a shorter period (3 months) neural network has better results. Thus, neural networks are able to assess the dynamics of the stock due to its flexibility and ability to find non-linear patterns.

Added: Mar 12, 2013
Article
Воронова Л. И., Григорьева М. Программные продукты и системы. 2009. № 2(86). С. 170-172.
Added: Oct 30, 2010
Article
Поликарпов С. А., Жижченко А. Б., Жижченко М. и др. Программные продукты и системы. 2013. № 2.
Added: Oct 19, 2015
Article
Овсянников А. П., Овсянникова Т. В., Овчаренко С. А. Программные продукты и системы. 2012. № 4. С. 10-18.

The paper describes a federated identity management infrastructure based on eduroam. This technology enables secure authentication using single netid for network and resources access in eduroam federation. Major protocols and technologies for transparent user authentication are covered. A way of authorization, based on membership in institutional groups and individual user membership is proposed. For user authentication a service provider sends an authentication request contained the encrypted user name and password to user's institute RADIUS server (identity provider). Identity provider is determined by the domain user name/ The authentication request is passed through th eduroam hierarchy of proxy RADIUS servers. If the service provider provides special access for a certain group of users, it also sends a request to group identity RADIUS-server. A request passes through a hierarchy of group RADIUS servers for group membership checking. Eduroam federation and group RADIUS servers hierarchies are based on the domain name system. The implementation of these mechanisms requires a slight modification of service provider RADIUS server for group support and do not require changes of the identity provider and eduroam federations RADIUS servers. Group support is fully compatible with the existing eduroam infrastucture, the both types of RADIUS servers with and without group support can operate simultaneously

Added: Aug 20, 2015
Article
Мадера А. Г., Решетников В. Программные продукты и системы. 2017. № 3. С. 367-372.
Abstract:The paper considers fundamental concepts of mathematical and computer modeling, which are the basis of the development and creation of a multifunctional software package for thermal design of complex electronic systems. It shows the basic flaws of foreign thermal design software systems, which are not applicable in practice of designing and creating competitive electronic systems. The article establishes the requirements for a multifunctional software package for adequate design of thermal processes and temperature distributions in real electronic systems under real conditions of operation and functioning. Namely, the software package should provide the ability to model thermal processes in electronic systems that are nonlinear, nonstationary, three-dimensional, interval stochastic, as well as take into account the influence of thermal feedback, design and installation of elements in electronic systems, effects of destabilizing mechanical, climatic and radiation factors. The architecture of the multifunctional software package should contain a highly efficient mathematical computing core, a de-veloped service user interface that meets modern requirements for complex software packages and systems. The service shell, in turn, should provide a visual, intuitive and easy-to-understand form of setting initial data in the form of color images of temperature distributions and other thermal characteristics at different hierarchical levels. The software package is implemented in Microsoft Visual Studio that provides an object-oriented approach in the high-level language C# powered by Microsoft Windows operating system family. Modular architecture allows expanding the possibilities and upgrading the software complex effectively
Added: Nov 1, 2017
Article
Мадера А. Г., Кандалов П. Программные продукты и системы. 2010. № 2. С. 29-33.
Added: Jan 15, 2011
Article
Афанасьев А. П., Дзюба С. М., Емельянова И. Программные продукты и системы. 2017. Т. 30. № 2. С. 235-240.

This review is devoted to the history of the General situation of movements of dynamic and non-Autonomous periodic systems, as it turned out that a full and detailed description of the General situation it allows solving the problem of constructing generalized-periodic motions of dynamical and nonautonomous periodic systems. The necessity of numerical study of these systems is explained by the fact that the vast majority of models of real technical, biological, economic and other processes are described by such systems.

Added: Mar 12, 2018
Article
Афанасьев А. П., Дзюба С., Пчелинцев А. и др. Программные продукты и системы. 2018. Т.  31. № 4. С. 705-709.
Added: Feb 12, 2019
Article
Большакова Е. И., Январев В. И. Программные продукты и системы. 2011. № 4. С. 136-141.
The paper reviews approaches to design multimedia document models and proposes a new model that combines the extensibility of visual object types and the possibility to combine objects of various types within the document page to be edited. The system Fuzzle CMS developed on the proposed model and intended for web sites management is described.
Added: Mar 13, 2013
Article
Аладышев О. С., Биктимиров М. Р., Жижченко М. А. и др. Программные продукты и системы. 2008. № 2. С. 9-12.
Added: Aug 20, 2015
Article
Налютин Н. Ю., Давыдов А., Синицын С. и др. Программные продукты и системы. 2010. № 2. С. 61-64.
Added: Oct 31, 2010
Article
Папулин С. Ю. Программные продукты и системы. 2011. № 1. С. 10-16.

This article describes image retrieval using semantic features which is based on conversion from visual features to convenient form for human perception. Particularly, on these pages considered general conception of image retrieval via textual description of image features and textual retrieval via semantic features of image.

Added: Oct 29, 2015
Article
Каленов Н., Серебряков В., Сотников А. и др. Программные продукты и системы. 2012. № 4. С. 10-16.
Added: Nov 12, 2016
Article
Мадера А. Г., Кандалов П. И. Программные продукты и системы. 2018. Т. 3. № 31. С. 435-438.
Added: Oct 29, 2018
Article
Налютин Н. Ю., Синицын С. Программные продукты и системы. 2008. № 1. С. 26-29.
Added: Oct 31, 2010
Article
Московский А., Ровбо М., Хорошевский В. Ф. Программные продукты и системы. 2013. № 3. С. 194-202.

The creation of software of analyst workplace supporting the mining process large amounts of statistical data of science, education and innovation are discussed in the paper. A hybrid approach, to the integration of classical methods of mathematical correlation analysis, pattern analysis and time series, as well as the interpretation of the results is provided. Particular attention is paid to the business processes to identify trends and changes in indicators, atypical dynamics of indicators and to the definition of «Best Performance» indicators vectors.

Added: Nov 24, 2013
1 2