Software & Systems

Articles of journal № 2 at 2014 year.

Order result by: Public date | Title | Authors

31. Type checking system for functional programming language FPTL [№2 за 2014 год]
Authors: Bocharov I.A., Kutepov V.P., Shamal P.N.
Visitors: 9389
The paper describes static type checking methods and algorithm for functional parallel programming language FPTL. FPTL is implemented on multicore systems and is widely used. FPTL is a pure functional la nguage based on function compositions. By function composition we understand the application of four composition operations and recursive defin i-tions. Three of composition operations are parallel. It made possible to implement rather effective algorithms o f parallel pro-gram execution on multicore systems, using program interpretation. This is the key difference between FPTL and other fun c-tional languages, based on lambda-notation (such as Haskell, ML, etc.). Language type system consists of built -in types (int, real, bool, etc.) and user-defined abstract types. Functions in FPTL language are in general polymorphic. In theoretical se c-tion of this paper rules of correct typing and algorithm of type checking based on these rules are described. In the current lan-guage implementation on multicore system correctness of typing is checked while program is being executed. Type checking takes about 30 % of program execution time. Type checking system presented in the paper helps to significantly reduce time of program execution.

32. Transductive learning logistic regression for the text classification problem [№2 за 2014 год]
Authors: Shagraev A.G., Bocharov I.A., Falk V.N.
Visitors: 12720
In many classification problems there are difficulties with obtaining sufficient amount of labeled documents for train set. At the same time, usually we have many unlabeled documents. This paper describes how to increase the quality of classifier predictions when having relatively small train set in comparison with test set. Non-standard method of forming feature vectors for natural language texts, using peculiar properties of news articles, is described. The paper also describes modifications of a classical linear classifier (logistic regression). We use a modification of st o-chastic gradient descent in order to optimize classifier’s parameters. In addition, we use modified loss functional (enlargin g the margin between classes) to train logistic regression. Apart from that, we suggest original method of transductive learning for logistic regression classifier. To perform transductive learning we define quality functional for unlabeled documents which helps to in crease classification recall sig-nificantly. To test implemented modifications of logistic regression we use “inverse” cross -validation technique. Experi-mental results from using implemented modifications make the positive impact of authors’ modifications of logistic regres-sion classifier and transductive learning on classification quality obvious.

33. Creating a multi-model system to make optimal management decisions in the company [№2 за 2014 год]
Authors: Belyaevа M.A., Burlyaeva O.K., Syrova I.V.
Visitors: 12307
The article shows results of the developed system of decision-making support in meat packing industry. The base is models that developed using imitating systems Anylogic, Simplex3, BPwin 7.1 and Aris 7 source environments; sys-tem of structural and parametrical modeling. The computer multimodel system solves the problems of of technical supply evaluation, economic status assessment of meat packing enterprises, revenue forecasting and planning, expenses and losses, calculation of the number of employees at and payroll, evaluation and the enterprise structure planning, identification of priority directions of development of meat packing industry, planning the funds for construction, repair and maintenance of i nfrastructure, allocation of the major risk factors and emergencies forecast, the calculation of the volume of sales for finished products. The system helps to specify a marketing situation, pricing policy and determine the trade off prices, suitable for producers and consumers, determine the demand for meat products according to its range. These problems can be solved using modern methodologies, software and systems, creating company models (both the static and dynamic), the data multivariate analysis, their "export" and "import" from one software product to another, integrating the repository and enterprise information system into one. Computer multimodel decision-making support system gives the possibility to improve the process of meat production and helps managers, entrepreneurs in the meat business.

34. Evolution and information systems design principles for enterprise management [№2 за 2014 год]
Authors: Zalozhnev A.Yu., Zalozhneva L.L., Chistov D.V., Shuremov E.L.
Visitors: 12609
Evalution and some principles enterprise management information systems (MIS) design for different levels are considered in the article. MIS support the logistic and manufacturing systems operation. Industrial, technological and business processes are performed by these systems, they are also involved in goods a nd services distribution. Evolution is a MIS functionality gradual increasing. It involves the use of new approaches, principles and related technological solutions. The basic concepts of MIS are presented. Analogies between principles and technological solutions that underly in MIS con-cepts on the one side and concepts and approaches used in control theory on the other side are set. Particular examples show that notions checked and tested earlier in control theory were included into the enterprises managem ent practice as the result of gradual introduction of MIS design principles. These notions are feedback, equilibrium, controllability, sensitivity, stab il-ity, optimality, adaptation, identification, parameters evaluation, reachability and observability, in formation control and oth-ers. Special attention is paid to such subsystems of MIS as customer relationship management and supplier relationship ma n-agement as well as software applications and components within its composition. Attention is also paid to oth er subsystems focused on the business processes support. Complex approach to enterprise management system designing is considered. It implies both horizontal and vertical integration of control systems. In vertical integration the main emphasis is on the C IM concept. Its software implementations allow carrying out vertical automated control of industrial enterprise technological processes.

35. A reference model based on arcon for it-infrastructure administrative management system [№2 за 2014 год]
Authors: Grishakov V.G., Loginov I.V.
Visitors: 12653
Virtual administrative management system for dedicated IT-component is created by higher management sys-tem using recursive-hierarchical method. Virtual administrative management system creation and management in its lifecycle processes is based on hybrid model of control object. The article offers ARCON adaptive reference model of collaborative network organizations as an abstract model for creating a control object hybrid model. An adaptive reference model dete r-mines the structure, functions, processes and architecture of collaborative network organization. It can be used to specify vi r-tual enterprises, where management is distributed between several agents who coordinate their actions. It is typical for virtual administrative management system members. Abstract parameters of refe rence model have particular values, which are typi-cal for virtual administrative management system. Internal and external parameters are defined on the general abstraction level. To determine administrative management system lifecycle the article offers ma pping from ARCON model evaluate component to the lifecycle typical model based on State Standard 15288. A new agent -based method is offered to control administrative management system development according to its lifecycle using reference model. This metho d determines a management procedure based on hybrid model. This method allows increasing effectiveness of creating, maintenance and evolution of administrative management system. The paper determines a usage procedure for a hybrid model and its filling for solving particular tasks.

◄ ← Preview | 1 | 2 | 3 | 4