Database and logic abduction method. Classical Logic Programming approach. Soundness and completeness DLA method. Various aspects of analysis of security protocols. Needham-Schroeder protocol. Optimized Otway-Rees protocol. Internet Key Exchange Protocol.
Основы продвижения сайтов в поисковых системах. Сущность семантического ядра как набора ключевых слов, используемых при поисковом запросе. Наиболее типичные ошибки при развитии интернет-ресурса. Особенности продвижения сайта с помощью внешних ссылок.
The software which automates the process of air-traffic situations generation. The set includes: airspace sector editor, dynamic situation generator. Reducing the generation time and increasing the quantities of practical tasks due to automation.
Micali-Reyzin computational model. Target circuit and block cipher. Analysis of single point leakages. Towards the analysis of real constructions. Definition of security against side-channel attacks. The initialize a PRNG securely with a public seed.
- 395. Simple relational database text format for developing, describing and exchanging over a network
The article considers an example that contains the main features of a relational database - tabular representation, primary key, foreign key. It is shown that this database is completely described by the new format. A comma-separated values (CSV) files.
Application of mathematical methods - important condition in the analysis, work optimization of industrial structures. Use of the device of imitating modeling for research of production systems. The program table parameters for collecting statistics.
The process of helicopter pilots training by simulator. Analyzed the aviation accidents due to human factor. The way of estimation of pilots training by simulators. The formalization of the educational process with the control of training information.
Общие сведения о программе Simulink, её интерфейс, назначение и преимущества. Создание модели в программе, основные приёмы подготовки и редактирования. Установка параметров расчёта и его выполнение. Использование редактора дифференциальных уравнений.
- 399. SKiiP модуль
Основные понятия, связанные с технологией Skiip, которая используется SEMIKRON и сочетается с различными клеммами питания и управления, подключенными к модулю. Описание электрических характеристик модулей SKiiP. Сферы применения современных модулей Skiip.
Основные улучшения новой версии SolidWorks 2012. Система управления инженерными данными SolidWorks Enterprise PDM. Работа с уравнениями в SolidWorks. Библиотека стандартных компонентов Toolbox. Модуль экологической экспертизы проекта Sustainability.
Установка и администрирование SolidWorks. Индивидуальные и множественные установки на отдельных компьютерах и нескольких клиентах. Программа Workgroup PDM Viewer. Администрирование лицензий и устранение неполадок. Справка менеджера установки SolidWorks.
Характеристика некоторых особенностей работы с SolidWorks. Разработка и модификация приложения SwCSharpAddin. Разработка макроса отрисовки болта. Описание этапов процесса построения шестигранного болта на основе разных подходов при создании детали.
Linear Programming is concerned with maximizing or minimizing an equation over certain criteria. Mixed Integer Linear Programming: Techniques for Solving, Contribution of the Project, Solving Using Branch. Schematic for Branch and Cut algorithm.
Major machine translation methods designed to speed up the process of multilingual text translation by using a computer software. Analysis of the performance of rule-based machine translation, statistical models, hybrid and neural machine translation.
Язык программирования SQL - инструмент, предназначенный для обработки и чтения данных, содержащихся в компьютерной базе. Функциональные возможности, которые СУБД предоставляет пользователю. Запросы, транзакции в SQL, защита данных и обработка ошибок.
Создание курсоров и их использование, средства программирования приложений. Кэширование при обработке больших объемов информации. Доступ к базам данных SQL Server с помощью вложений клиента. Конфигурирование интерфейса при работе с Microsoft Server 6.5.
Полупроводниковый накопитель как энергонезависимое перезаписываемое компьютерное запоминающее устройство. История развития SSD, принцип работы. Преимущества и недостатки систем SSD. Реализация SSD в Windows 7. Анализ сценарий развития технологии SSD.
- 408. Steven Paul Jobs
Biography of Steve Jobs - founder of corporation Apple. Work in Atari and "club of home-made computers". Creation of company "Apple Computer", "Pixar" and "Disney". Development of iPod and iTunes. Relationships with the figures of the IT-industry.
- 409. Strategies of information and innovation activity development at enterprise in digital conditions
The robotics complex as a strategy for the development of information and innovation activity in the enterprise in terms of digitalization. The digital recording, chronology, accessibility and openness, globality - the main benefits of blockchain.
FSMs are widely used in various application domains such as telecommunication systems, communication protocols and other systems. Existence of a separating sequence of two FSMs depends on the number of nondeterministic transitions in these FSMs.
Public key encryption and digital signature security definitions. Composable symbolic analysis for public key encryption. Ideal functionality formulations. Redefining ideal functionalities. Adding signatures to universally composable symbolic analysis.
The characteristics and features of the topic model in the form of stochastic matrices, their purpose and application. Creation and distinctive features of the new algorithm to build a Sub-hierarchy Galois, the specificity of the visualization tools.
Характеристика систем сбора и передачи данных, построенных на платформе tagnet. Исследование и анализ структуры тега. Определение сущности буферной передачи, которая используется при передачи данных в системы, требующие гарантированной доставки.
- 414. Task models
Methods to analyse people's jobs. Approaches to task analysis. Development of the script processing, review grammar. Description of the procedure subtasks, hierarchical evaluation tasks using temporary operators. Refinement description of the model.
Description of technology of off-wire computer networks with the productivity 100 Mb/s in the point of output and maintenance of information. Description of parameters of middle access and determination of multiple entrance. Physical layer, radio, WLAN.
Research entities of the software defined networking which is currently one of the most promising technologies in mobile backhaul networks based on the open flow protocol. Characteristic apply Mininet software to verify the open flow protocol messages.
The working with excel. The basic operations in the work: creating, editing, copying, removing different data. Editing the cell by using the formula bar and by double-clicking, using the formatting toolbar. Changing the font size and formatting numbers.
- 418. The bias of the initial information flows intensities estimates of the global cyber-physical network
Forecasting the development of the statistical reporting network. Improving the accuracy of predicting the development of the Internet of things in the context of the dynamics of primary information flows. Deterministic models of mathematical programming.
- 419. The code book
The history of codes and ciphers as the story of the centuries-old battle between codemakers and codebreakers, an intellectual arms race that has had a dramatic impact on the course of history. The mechanization of secrecy. A qantum leap into the future.
The comparison of the computer development in the USA and Ukraine. At the time when the computer science was just uprising this two countries were one of the most noticeably influential. Howard Aiken's contributions to the development of the computer.
