Software & Systems

Articles of journal № 2 at 2010 year.

Order result by: Public date | Title | Authors |

1. Automated protection technology of the internet information service [№2 за 2010 год]
Author: Алексеевский М.В.
Visitors: 11307
This article is devoted to the technology of construction of the automated information real-time systems on the Internet scale with dynamic encryption of the information resources. The submitted technology essentially outstrips the known technologies of information service, adhering to standard HTML/XML and the concept of application server, in effectivity, throughput, the level of automation and safety.

2. Program complex planning production on small business [№2 за 2010 год]
Author: Арендателева С.И.
Visitors: 15011
A mathematical model of optimal planning and forecasting of production activities taking into account the dynamic of the industrial environment and the limited capacity of small enterprises. The model is implemented as a specialized software system.

3. Implementation details of an architectural pattern Thin web client on Java EE 6 platform [№2 за 2010 год]
Authors: Arzhaev V.I., Полыгаев А.C.
Visitors: 11753
Article describes implementation example of creation full-featured application interface based on a Thin Web Client pattern, using the Java Server Faces framework. To build the user interface used Woodstock JSF-components, extended with the DynamicFaces library.

4. The approach to use of the measure of possibility at the estimation of accepted decisions [№2 за 2010 год]
Authors: Балашов О.В., Uskov A.A.
Visitors: 12320
The original treatment of measures of possibility and necessity, and also the sentence on specification of the basic axioms of the theory of possibilities are given at use of these measures in the estimated device of a software of the automated control systems organi-zational-technical systems.

5. Program complex of supporting decisions adoption with optimization of production-sale process [№2 за 2010 год]
Author: Боковая Н.В.
Visitors: 12951
Enterprise principles, base functions and structural components of program complex of supporting decisions adoption with production-sale systems optimization, developed using optimizing-imitative approach are considered.

6. Application of analytic hierarchy method for support decision making at drug choice [№2 за 2010 год]
Authors: Bolshakov A.L., Butenko D.V.
Visitors: 13337
Designed model for support decision making at safety drug choice. Model is based on analytic hierarchy method. Designed model allow to take into consideration individual specifics of concrete patient.

7. Model of the elementary particles accelerator [№2 за 2010 год]
Authors: Васильев Н.Г., Васильев Д.Н.
Visitors: 10320
Today the Accelerator of Ideal elementary Particles (AIP) is created in Russia which allows already to receive experimental acknowledgement or disproof of existing fundamental physical theories supposed to answer the most secret questions of mankind. The feature of this accelerator is its sizes. It can be placed inside computer that allows to turn existing submissions about accelerators as the most expensive and bulky machines which the mankind ever created for checking theories.

8. Monitor oriented programming as a part of controlled execution [№2 за 2010 год]
Authors: Galatenko V.A., Kostyukhin K.A., Шмырев Н.В.
Visitors: 11270
Formal methods of verification based on static code analysis, theorem proving and model verification do not describe quantitative characteristics of applications. This article presents the novel approach including the static analysis of a program code, model validation and dynamic verification of the program properties during runtime

9. A approach of principle to information system’s development of university’s scientific projects management [№2 за 2010 год]
Authors: Говорков А.С., R.D. Gutgarts
Visitors: 14743
The article describe of business process automation status in the university. The authors deduced about development of information system for scientific projects management.

10. The development of the system for microprocessor random testing INTEG [№2 за 2010 год]
Authors: Грибков И.В., Zakharov A.V., Коганов М.А., Koltsov P.P., Kotovich N.V., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш.
Visitors: 12291
Stochastic testing is one of the most powerful tools for verification of microprocessor design. To simplify the generation of random tests and to create a tool for testing processors of the MIPS64 architecture, the system named INTEG has been developed. After its use for several years, a deep modernization of INTEG has been carried out, resulting in the program complex INTEG2. In the paper the main features of both INTEG and INTEG2, as well as their similarities and dissimilarities, are considered. Also some directions for further development of INTEG2 are finally addressed

| 1 | 2 | 3 | 4 | Next → ►