На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

Статьи журнала №2 2013

21. Контроль знаний в автоматизированной обучающей системе [№2 за 2013 год]
Авторы: Шустова Н.А. (komandor.99@mail.ru) - Санкт-Петербургский филиал НИИ «Центрпрограммсистем» (старший научный сотрудник), кандидат технических наук;
Аннотация: Для более удобной работы преподавателя при создании и отладке тестовых заданий в автоматизированной сис-теме обучения (АСО) предлагается модернизировать интерфейс контролирующей части. Приведены алгоритм полу-чения оценки для теста, содержащего однотипные вопросы, и унифицированная таблица для тестовых вопросов, которая может использоваться программистами и преподавателями при подготовке теста. Преподаватель может вво-дить данные в контролирующую часть АСО с помощью копирования своей заранее подготовленной таблицы в таб-лицу БД контролирующей части АСО. Для корректировки тестового задания используются результаты уже собранных данных. Предлагается собирать эти данные в отдельную таблицу, в которой должны сохраняться ответы обучающихся, прошедших контроль.
Abstract: The article suggests to upgrade the interface of controlling part for the comfort of the instructor when creating and debugging tests in an automatic training system (ATS). In order to justify this suggestion there is an algorithm of obtain-ing the estimates for the test containing similar questions. It allows offering a unified table for test questions which can be used by programmers and teachers while preparing tests. A teacher also can enter data into the controlling part of ATS by copying their prearranged table in the controlling ATS database table. In order to correct the test it is proposed to use the results of the already collected data. This data are collected in a sepa-rate table which saves answers of the students who passed inspection.
Ключевые слова: таблица., бд, авто-матизированный тест, тестовое задание, контролирующая часть, автоматизированная обучающая система
Keywords: table, database, automated test, test assignment, controlling part, the automated training system
Просмотров: 9607

22. Автоматизация процесса оценки обучающихся на тактических тренажерах [№2 за 2013 год]
Авторы: Довженко В.Н. () - Военный институт дополнительного профессионального образования ВУНЦ ВМФ «Военно-морская академия» (профессор), кандидат военных наук; Реньш С.Ю. () - Военный институт дополнительного профессионального образования ВУНЦ ВМФ «Военно-морская академия» (доцент ), кандидат военных наук; Шустова Н.А. (komandor.99@mail.ru) - Санкт-Петербургский филиал НИИ «Центрпрограммсистем» (старший научный сотрудник), кандидат технических наук;
Аннотация: В статье показана важность использования тактических тренажеров для подготовки офицерского состава ВМФ. Рассматривается вопрос оценки действий обучающихся на тактических тренажерах и предлагается подход к созда-нию такой суммарно-параметрической оценки. Каждая задача на тренажере может быть разбита на элементарные действия, направленные на достижение промежуточного результата. Все оценочные параметры подготовленности обучающихся на тренажере предлагается разделить на два вида: критичные оценки, определяющие успех или неуспех решения поставленной перед обучающимся задачи, и оценки, определяющие величину отклонения от норматива или от правил. Получение интегральной оценки по этим параметрам представлено в модели выработки итоговой оценки на тренажере на основе графоаналитического метода.
Abstract: The article shows the importance of tactical simulators for of Navy officers training. It emphasizes the issue of actions appraisal of the students trained on tactical simulators. It also suggests the approach to the creation of such a total-parametric estimator. Each simulator task can be split into elementary steps to achieve an output. All performance parameters of preparedness of the students training on simulator are divided into two types. The first type is critical evaluation determin-ing the success or failure of the problem solution by students. The second type includes appraisal determining the overrange from norms or rules. Obtaining an integral estimation with these parameters is presented in the model of final appraisal gen-eration on the simulator based on the graph-analytical method.
Ключевые слова: гра-фоаналитический метод., модель оценки, суммарно-параметрическая оценка, контроль, тактический тренажер
Keywords: graphic-analytical method, assessment model, total-parametric estimator, control, tactical trainer
Просмотров: 10163

23. Аспекты применения предметно-ориентированного подхода к проектированию сложных программных систем [№2 за 2013 год]
Авторы: Карпов А.В. (KarpovAV@cps.tver.ru) - НИИ «Центрпрограммсистем» (зав. отделением), кандидат технических наук;
Аннотация: Ключевым аспектом предметно-ориентированного проектирования является разработка архитектуры программных систем на основе модели предметной области. Применение предметно-ориентированного подхода к проектированию классических двухзвенных сложных программных систем зачастую приводит к распределению функцио-нала, связанного с одними и теми же объектами единой модели предметной области, по разным программам. Адаптация программной системы к изменившимся условиям применения может потребовать реализации централизованного доступа пользователей ко всей информации по объектам модели предметной области, который может быть обеспечен формированием единого информационно-функционального пространства системы. Такое пространство можно сформировать за счет реализации специального взаимодействия между программны-ми компонентами системы и использовать программой-порталом для предоставления централизованного доступа пользователей к информации по общесистемным объектам и функциям ее обработки. Данное решение позволяет применить ряд основных преимуществ сервис-ориентированной архитектуры в классических двухзвенных сложных программных системах.
Abstract: Domain-driven design implies that software systems architecture development is based on domain model. When designing classic two-tiered advanced software systems, using domain-driven design often leads to functionality distribution throughout different programs. This functionality is connected with the same objects of one domain model. Adaptation of software system to changed conditions can require central user access to all the information about the do-main model objects. This central user access is provided when forming same information functional space of the system. It can be formed us-ing special interaction between program components of the system. There is a program-portal to use the information functional space for providing central user access to information about the general-system objects and processing functions. Proposed method allows using main advantages of service-oriented architecture in classic two-tiered advanced software systems.
Ключевые слова: зацепление., связность, сервис-ориентированная архитектура, цен-трализованный доступ, адаптация, модель предметной области, предметно-ориентированное проектирование
Keywords: cohesion, coupling, service oriented architecture, central access, adaptation, domain model, domain-driven design
Просмотров: 9687

24. Способы решения проблем доступа к служебным файлам в условиях мандатного контроля доступа [№2 за 2013 год]
Автор: Ефимов А.Ю. (efimovay@cps.tver.ru) - НИИ «Центрпрограммсистем» (зав. отделом);
Аннотация: Статья посвящена проблемам работы со служебными данными в программном обеспечении, функционирующем в защищенной программной среде с действующим мандатным контролем доступа. Описаны основные причины возникновения этих проблем. Рассмотрены типовые сценарии работы приложений со служебными данными в случае хранения этих данных в виде файлов – работа с конфигурационными файлами и запись протоколов. Определены конфликты рассмотренных сценариев с мандатным контролем доступа. Классифицированы и описаны способы дос-тупа к служебным файлам, основанные на дополнении модели Белла–Лападула и на виртуализации контролируемых ресурсов и позволяющие устранить указанные конфликты. Проведен сравнительный анализ этих способов с точки зрения простоты использования и защищенности. Предложены критерии выбора подходящего способа доступа к служебным файлам для различных условий применения, описан алгоритм выбора при использовании нескольких критериев. Приведен пример использования критериев и алгоритма.
Abstract: The article describes the problems of dealing with service data in a protected software environment with work-ing mandatory access control. The main causes of these problems are described. The article considers typical application op-erating scenarios that use service data when it is storing in files. It includes dealing with configuration files and history rec-ord. Conflicts between these scenarios with mandatory access control are identified. Access methods to service files resolving these conflicts are classified and described. These methods are based on the addition of Bell–LaPadula model and on con-trolled resources virtualization. Comparative analysis of these methods is performed in the context of usability and security. Selection criteria of suitable access method to service files for variety of application conditions are proposed, selection algo-rithm when using multiple criteria is described. An example of using the criteria and algorithm is given.
Ключевые слова: служебные файлы., модель белла–лападула, мандатный контроль доступа, защищенная программная среда, защита информации
Keywords: service files, Bell–LaPadula model, mandatory access control, protected software environment, security of the information
Просмотров: 8613

25. Опыт аппаратной реализации функциональных модулей средств защиты информации на интегральных схемах программируемой логики [№2 за 2013 год]
Автор: Архангельский А.В. (arhangelskiyav@cps.tver.ru) - НИИ «Центрпрограммсистем» (зав. отделом); Торопченов Н.Ю. (toropchenovnj@cps.tver.ru) - НИИ «Центрпрограммсистем» (вед. инженер );
Аннотация: В статье рассматривается опыт аппаратной реализации основных функциональных систем средств защиты информации на ПЭВМ. Приводится краткий обзор технических характеристик интегральных схем программируемой логики фирмы Altera. Приведены варианты архитектурного построения функциональных модулей. Рассмотрены вариант аппаратной реализации криптозащищенной сети Ethernet и особенности аппаратной реализации криптографического алгоритма. Предлагаются авторские методы реализации блока подстановки условно-постоянных ключей, а также формирования пула случайных чисел на основе аналогового датчика случайных чисел. Представлены авторские предложения по перспективным направлениям аппаратной реализации средств защиты информации.
Abstract: The article describes practice in hardware implementation of basic functional systems of information security measures on PC. There is a brief overview of technical characteristics of variable logic integrated circuits f.Altera. The article gives variants of functional modules architectural construction. It also considers the variant of the Ethernet secure network hardware implementation. The aspects of cryptographic algorithm hardware implementation are described. The article sug-gests the author\'s method of implementing a substitution block of semi-fixed keys. It also suggests the author\'s method of de-veloping a pool of random numbers based on an analog sensor of random numbers. There are author\'s suggestions on pro-spective lines of development concerning hardware implementation of information security measures.
Ключевые слова: случайные числа., криптозащита, шифрование, fpga, программируемая логика, защита информации
Keywords: random numbers, cryptosecurity, cipher, fpga, variable logic, security of the information
Просмотров: 12046

26. Создание технологии для разработки систем информационной поддержки руководителей при борьбе за живучесть корабля [№2 за 2013 год]
Авторы: Москаленко В.А. (vasmoskalenko@mail.ru) - Санкт-Петербургский филиал НИИ «Центпрограммсистем» (доцент, ст. научный сотрудник), кандидат технических наук;
Аннотация: Представлен анализ задач и проблем, которые необходимо решить разработчику при подготовке и разработке информационных технологий по обеспечению живучести кораблей в соответствии с современными требованиями. Определено, что внедрение информационных технологий, как правило, начинается с создания математического обеспечения, моделирования, формирования информационных хранилищ для промежуточных данных и решений. Рассмотрен порядок создания информационных технологий и определен путь решения, который предусматривает сбор, изучение и анализ информации по системам информационной поддержки, локализацию аварийных ситуаций морских объектов, определение задач, формулирование требований к информационному, математическому и ПО, а также разработку решений по конструктивной и аппаратной реализации системы информационной поддержки ЛПР.
Abstract: The article shows the analysis of tasks and problems for a developer when developing IT for shipboard damage control using modern requirements. Practical implementation of IT starts with mathematical support creating, modeling, forming data warehouse for intermediate data and decisions. The article describes the creation order of IT and determines the tentative solution. It includes: data capture, examination and analysis in data support systems, emergency situations localization; task definition, formulation requirements for infoware, mathematical support and software, decisions work out for hardware of decision maker data support system.
Ключевые слова: системы обработки информации., по, математическое обеспечение, бд, системы информационной поддержки, лпр, информационная поддержка, информационные технологии
Keywords: infor-mation processing systems, software, mathematical support, database, data support systems, decision maker, data support, information technologies
Просмотров: 11632

27. Программный комплекс оценки эффективности и оптимизации налоговой политики в федеративных системах в условиях региональной налоговой конкуренции [№2 за 2013 год]
Авторы: Леонова Н.А. (leonovana@mail.ru) - НИИ «Центрпрограммсистем» (зав. лабораторией ), кандидат технических наук;
Аннотация: В последние годы проблеме налоговых отношений в Российской Федерации уделяется значительное внимание. Актуальной является задача исследования налоговых отношений с целью их оптимизации, при этом необходимо проводить более тонкий анализ воздействия налоговой конкуренции на привлечение инвестиций в регионы с использованием методов теории принятия решений в социально-экономических системах. В статье рассматривается трехуровневая модель налоговой конкуренции, состоящая из множества инвесторов, множества регионов и феде-рального уровня власти. В данной модели учитываются издержки агентов, необходимые на перемещение в выбранный регион, и влияние конкуренции между агентами, инвестировавшими средства в данный регион, на деятельность инвестора. Для анализа представленной модели разработан комплекс программ, с помощью которого можно получить оптимальную норму расщепления ставки налога на прибыль между региональной и федеральной составляющими, объемы трансфертов, направляемых в регионы федеральным уровнем власти, а также равновесные региональные ставки налога на прибыль и налога на имущество.
Abstract: Recently the tax relations issue is emphasized in Russian Federation. It is a relevant objective to research tax relations in order to optimize them. Furthermore it is necessary to carry out an accurate analysis of tax competition influence on attracting investment to regions using the decision theory methods in economic and social systems. In this regard the arti-cle considers a three-tier model of tax competition which consists of many investors, many regions and federal level of gov-ernance. This model includes agent costs on relocation in a chosen region and agent competition influence on investor activi-ty in given region. The bundled software has been developed to analyze this model. This software helps to obtain an optimized splitting standard of income tax rate between regional and federal part, transfer amount directed to regions by the federal level, balanced regional income tax rates and estate tax rates.
Ключевые слова: теория игр., инвести-ции, региональная экономика, налоговые льготы, налоговая конкуренция, эффективность
Keywords: theory of games, investment, regional economics, tax remissions, tax competition, effectively
Просмотров: 7065

28. Тактические особенности обоснования стоимости жизненного цикла образцов вооружения и военной техники [№2 за 2013 год]
Авторы: Арепин Ю.И. (arep@cps.tver.ru) - НИИ «Центрпрограммсистем», г. Тверь, доктор технических наук; Допира Р.В. (rvdopira@yandex.ru) - НПО РусБИТех, пр-т Калинина, 17, г. Тверь, 170001, Россия (профессор, зав. отделом), доктор технических наук; Зосиев В.В. () - Военно-космическая академия им. А.Ф. Можайского (доцент, зам. начальника филиала по учебной и научной работе ), кандидат технических наук;
Аннотация: В статье описываются методические подходы к расчету жизненного цикла продукции военного назначения и вариант графической поддержки для принятия решений при управлении созданием сложных технических систем на основе B-сплайнов. Практика формирования планов развития вооружения и военной техники определила ряд методов прогнозирования стоимости, которые могут применяться в зависимости от состава исходных данных, имеющихся в наличии. Эти методы отличаются также точностью прогноза, что влияет на их применимость для решения конкретных задач при определении цены образца вооружения и военной техники.
Abstract: The article describes methodological approaches to military products life cycle costing and the variant of graphical decision support when managing the creation of complex engineering systems based on B-splines. The experience of development planning of weapons and military equipment determines the cost forecasting methods. They can be used de-pending on basic data structure. The specific feature of these methods is forecast accuracy. It affects their applicability in certain cases when determining the cost of test piece.
Ключевые слова: в-сплайн., продукция военного назначения, финансовые ресурсы, вооружение и военная техника, технико-экономические показатели
Keywords: b-spline, military products, financial assets, weapons and military equipment, technical and economic performance
Просмотров: 12409

29. Опыт разработки комплекса программ для учетно-операционного отдела складов различных видов обеспечения [№2 за 2013 год]
Автор: Макурина И.В. (mak_62ir@mail.ru) - НИИ «Центрпрограммсистем» (зав. лабораторией );
Аннотация: Описана разработка комплекса программ «Учет наличия, движения и качественного состояния имущества на базах и складах различного подчинения». Проанализированы руководящие документы по организации учета и отчетности на складах различных видов обеспечения. Приведен список документов, выбранных для автоматизированного формирования с помощью комплекса программ. Описана технология создания и поддержания в актуальном состоянии классификатора имущества. Приведены функции комплекса программ. Комплекс программ разработан сотрудниками Научно-исследовательского института «Центрпрограммсистем» (г. Тверь).
Abstract: The article describes development of software system «Recording availability, moving and quality of materiel on firm bases and storage depots with different attachment». Guidelines on financial accounting and reporting in storage de-pots are analyzed. There is a documentary list for automated unit. Creation and update technologies for materiel classifier are described. There are functions of software system. The system had been developed by the staff of R&D Institute «Centrprogrammsystem
Ключевые слова: информационный обмен склада и выше-стоящего довольствующего органа., классификатор имущества, документооборот склада
Keywords: information exchange between storage depot and upline issuing office, materiel classifier, storage depot paperwork
Просмотров: 9215

30. Методология построения систем управления базами знаний для интеллектуальных систем поддержки принятия решений [№2 за 2013 год]
Авторы: Башлыков А.А. (bashlykovAA@mpei.ru) - Национальный исследовательский университет «МЭИ», г. Москва, кандидат технических наук;
Аннотация: Рассматривается методология построения систем управления БЗ для интеллектуальных систем поддержки принятия решений. Определяются архитектура систем управления БЗ и все ее компоненты. Предлагаемая архитектура систем управления БЗ рассматривается как дальнейшее развитие архитектуры систем управления БД. Излагаются вопросы ориентации предложенной архитектуры на существующие формализмы построения моделей знаний и методы автоматического поиска решений. Описания базируются на формализме семиотической модели знаний, который трактуется как мультимодельная структура представления знаний. Мультимодельность относится к составляющим компонентам семиотической модели и включает семантические сети, фреймы, формальные модели, продукции, вычислительные модели. Выделяются индуктивная и дедуктивная составляющие знаний, описываемых семиотической моделью. Индуктивная составляющая включает средства описания знаний, с помощью которых пользователи системы могут определять проблемные ситуации, описывать мультимодельную структуру знаний предметной области, логику решения задач оперативного принятия решений. В качестве таких средств предлагается формализм языка определения знаний. Основная особенность дедуктивной составляющей семиотической модели – возможность представлять в ней знания о средствах достижения цели управления. Эти знания имеют вид упорядоченного множества процедур, моделей и способов их использования (управления на моделях) для решения возникающих задач в мультимодельной структуре знаний. В основу дедуктивной составляющей положен формализм языка манипулирования знаниями как средства постановки и поиска решений для разрешимых задач поддержки принятия решений. Вводится понятие разрешимости задачи в модели знаний. Приводится описание методов определения разрешимости задачи и планирования ее процессов поиска решений в семиотической модели знаний. Определяются этапы планирования процессов поиска решений: нахождение решающего задачу алгоритма, интерпретация алгоритма для полу-чения результата. Описываются области применения систем управления БЗ.
Abstract: The methodology of creation of knowledge bases control systems for intelligent systems of decision support is considered. The architecture of knowledge bases control systems and all its components is defined. The offered architecture of control systems is considered as development of architecture of knowledge bases control systems. Questions of offered ar-chitecture orientation to existing formalism of knowledge models creation and to methods of automatic decisions search are stated. The descriptions are based on a formalism of semiotics knowledge model which is interpreted as a multimodel struc-ture of knowledge representation. The multimodel component belongs to semiotics model and includes: semantic networks, frames, formal models, production, computational models. There are inductive and deductive components of knowledge de-scribed by semiotics model. The inductive component includes means of knowledge description. These means help system users to define problems, describe multimodel knowledge structure of subject domain, logic of the problem solution of expe-ditious decision-making. The formalism of language of knowledge definition is one of these means. The main feature of a deductive component of semiotics model – representability of knowledge of management purpose achievement means in it. This knowledge looks like the ordered set of procedures, models and ways of their using (management on models) for the so-lution of tasks in multimodel knowledge structure. The formalism of knowledge manipulation language is taken as a basis of a deductive component, it is a mean of statement and finding solutions for solvable problems of decision support. There is a notion of concept of task resolvability in a knowledge model. The description of determination methods of task resolvability and planning of its decisions search processes is provided in semiotics knowledge model. Stages of finding solutions process-es planning are defined: finding the algorithm of problem solving; algorithm interpretation for receiving the result. Scopes of knowledge bases control systems are described.
Ключевые слова: средства интерпретации моделей знаний в моделях данных., языки определения и манипулирования зна-ниями, модели знаний, системы управления базами знаний
Keywords: means of interpretation of models of knowledge in models of data, language of definition of knowledge, manipulation language knowledge, model of knowledge, control systems of knowledge bases
Просмотров: 8164

← Предыдущая | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Следующая →