ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Journal articles №1 2012

31. Distributed information system for literature research [№1 за 2012 год]
Authors: (lwinmgsoe@gmail.com) - ; (mm@appmat.ru) - , Ph.D;
Abstract: This paper deals with design principles and implementation of distributed information systems for information resources search. The implementation is made in accordance with the principles of service-oriented architecture on Windows Communication Foundation, Microsoft SQL Server 2008 and Visual Studio 2010 platforms.
Keywords: ADONET MVC, WCF, soa, information resources search, information system
Visitors: 10990

32. Developing of mandatory security policy mechanism in CIM based on Oracle ECM 11G [№1 за 2012 год]
Authors: (gic@tvcom.ru) - ; Palyukh B.V. (pboris@tstu.tver.ru) - Tver State Technical University, Ph.D; Melnikova V.V. (viklipse@mail.ru) - Tver State Technical University, ; S.L. Kotov (info@gicpsvt.ru) - Main Testing Certification Center of Security Software and Computer Engineering (Associate Professor), Ph.D;
Abstract: The problem of Oracle ECM 11g mandatory access control subsystem correspondence to the requirements of management directive «Computer Aids» is considered in the article. The main idea of the article is mandatory access policy mechanism implementation in Oracle ECM 11g.
Keywords: certified tests, computer integrated manufacturing, content server, certification, mandatory Bell-LaPadula model, , Oracle ECM 11g
Visitors: 11896

33. Software simulation model walter grey’s machina speculatrix [№1 за 2012 год]
Author: (dr_peter@cdu.edu.ua) - ; (manunya@i.ua) - ;
Abstract: The article deals with the features of modeling of the living beings behavior for the creation of technical systems. There are described the cybernetic biomorphic robotic systems machina speculatrix made by Walter Gray, also there are investigated the features of the creation and using of simulation models of such systems in this article.
Keywords: software simulation models, biomorphic robots, robotic systems, cyber turtles, biomimetic
Visitors: 8820

34. Verilog-A compact model of graphene field-effect transistor [№1 за 2012 год]
Authors: (atsel@niisi.msk.ru) - ; (danilov@niisi.msk.ru) - ; (gizebrev@mephi.ru) - , Ph.D;
Abstract: The paper presents a compact model of the graphene field-effect transistor and its Verilog-A implementation. The potential for using the model in the industry CAD is demonstrated by modeling of analog circuits based on graphene transistors.
Keywords: ambipolar electronics, compact model, modeling, current-voltage characteristic, Verilog-A, CAD system, full-wave rectification, frequency multiplication, phase shift keying, graphene field-effect transistor
Visitors: 16273

35. The review of systems of gathering and preprocessing the information applied in stations of geology-technological researches [№1 за 2012 год]
Author: (polinochcka86@rambler.ru) - ;
Abstract: In article systems of gathering the information applied at stations of geology-technological researches SIRIUS and «Geosphere» for support of drilling of chinks are considered extended, for today. Technical characteristics, reliability and convenience of operation of systems are compared.
Keywords: the device of gathering of the information, geology-technological researches, «Geosphere», «Razrez-2», SIRIUS
Visitors: 11249

36. Development tools of verification for device drivers based on semantic models [№1 за 2012 год]
Authors: Korablin Yu.P. (y.p.k@mail.ru) - Russian State Social University, Ph.D; (lucenticus@gmail.com) - ;
Abstract: In this article the questions of driver's proving are investigated. It is proposed the method of drivers verification, based on the processing semantics approach.
Keywords: algebraic semantics, equational characterization, process semantics, device drivers, verification
Visitors: 9996

37. Virtual machine placement method with resource redistribution [№1 за 2012 год]
Author: (wsolovjov@gmail.com) - ; (aspudovichenko@mail.ru) - ;
Abstract: A method for placement of virtual machines with resource redistribution is proposed in the paper. A problem of virtual machine placement is presented as well as the proposed method. Results of experiments are provided proving the efficiency of the proposed method.
Keywords: management of resources, virtual machine, virtualization, infrastructure, information system
Visitors: 12566

38. Automatic construction and generalization of circuit decisions at designing of control systems [№1 за 2012 год]
Authors: Filatova N.N. (nfilatova99@mail.ru) - Tver State Technical University, Ph.D; (nfilatova99@mail.ru) - ;
Abstract: New program complex for designing of control systems. The program automatically generates set of function charts, makes the analysis of schemes from system archive and creates new rules of schemes construction.
Keywords: decision rule, rough set, decision-tree scheme model, automation system scheme
Visitors: 10643

39. Multimethod simulation for optimization of the organization structure in consulting company [№1 за 2012 год]
Authors: (pvv@pgta.ru) - ; (pvv@pgta.ru) - , Ph.D;
Abstract: Questions of application of the multimethod simulation modeling for increase of efficiency of activity of the consulting company by change of composition of experts are considered. There are an example of a simulation model developed in the AnyLogic modeling tool, and the results of its use.
Keywords: multimethod simulation modeling, staff planning, consulting
Visitors: 12232

40. Parallel software package for nonholonomic control problems [№1 за 2012 год]
Author: (sachkov@sys.botik.ru) - ;
Abstract: A motion planning problem for nonlinear five-dimensional systems is considered. Parallel software package MotionPlanning235 was developed to solve this problem in class of piecewise constant and optimal controls. Nilpotent approximation is used to obtain an approximate solution with a necessary precision.
Keywords: parallel algorithms and programs Image processing, optimal control, nilpotent approximation
Visitors: 10643

← Preview | 1 | 2 | 3 | 4 | 5 | Next →