Abstract:

This work is related to the development of a high-tech popular science Internet portal "History of the Earth". The developed resource sets as its main goal the popularization of modern scientific geological knowledge using popular science multimedia content and software tools for interactive work with it. The Internet resource is intended for schoolchildren and students, as well as a wide range of Internet users.

Abstract: The variety of connected toys currently offered on the market, based on publications in Western scientific literature and the media, is being considered. A list of parents' safety requirements for toys purchased for their children is given. Expectations on interaction between manufacturers and products consumers are presented. Recommendations for parents on buying and using Internet toys are presented.

Abstract: В настоящей статье делается попытка очертить круг проблем, связанных с созданием и использованием языковых средств электронных библиотек.
Актуальность данной задачи не вызывает сомнений. Бурное развитие информатики в последние годы, в том числе невероятно быстрое развитие Интернета породили массовое создание электронных информационных ресурсов по всем областям знания и в самых различных видах деятельности. Специалистам очевидна необходимость организации этих ресурсов в систематически организованные массивы, в которых было бы удобно и эффективно проводить информационный поиск, в том числе неподготовленному пользователю. Очевидно также, что для этой цели нужны адекватные языковые средства.
Интернет стал практически единой средой для создания и размещения информационных ресурсов и для поиска в них. При этом, с одной стороны, он предоставляет множество возможностей, с другой стороны, накладывает определенные ограничения на выбор и применение языковых средств. Класс информационных технологий, направленный на организацию электронных ресурсов в условиях глобальных сетей и организации поиска в них, стал называться электронными или цифровыми библиотеками. Проблематика электронных библиотек (ЭБ) в целом достаточно полно изложена в работе [1]. Обсуждение понятия ЭБ и связанных с ним проблем имеется также в работе [2].
В то же время ощущается недостаток исследований, обобщающих опыт работ по созданию языковых средств, и ориентирующих разработчиков при выборе этих средств для ЭБ.

Abstract: We consider the construction of an internet site for students of technical university. We use the construction and management of the site program JOOMLA. The site can contain the materials for the students, results of an exam and so on.

Abstract:

Digital libraries in the XXI century have become the most important sources of information in all branches of science and technology, the main direction of development of world librarianship, any information activities. The first electronic library was Project Gutenberg, founded by Michael Hart exactly 50 years ago. It became world famous only in the 90s, after the appearance of Internet and the first browsers. Hart dreamed of 10,000 digitized books, and by his admission, he achieved all the goals that he set for himself. In Russia, one of the first and most significant is Maxim Moshkov’s library (1994). This paper traces the stages of creation of these libraries and the biographies of their creators; the difficulties in their work are analyzed. Special attention is paid to the issues of copyright duration legislation.

Abstract: История данной инициативы восходит к пониманию необходимости создания в России сетевого ресурса информации, объединяющего классическое искусство и поп-арт, культурное наследие и последние начинания в среде культуры, возможности информационных технологий и интересы аудитории. Для начала следует заметить, что в круг интересов аудитории Интернет входит не только развлекательная, но и познавательная информация. Поэтому проект ориентируется как на профессионалов в сфере культуры, так и на простых пользователей. В целом сетевая среда более всего подходит для просвещения и образования, а также наиболее активного обмена идеями, поэтому портал КР – это наиболее актуальное решение. Изначально портал КР построен таким образом, чтобы нести в себе всю полноту содержания российской культуры, а также все интерактивные новации и решения, необходимые для наилучшего представления российской культуры для широкой аудитории. Проект КР должен стать вместилищем всего богатства данных о культуре России, которые будут постоянно обновляться и будут доступны для всех, кто желает познакомиться интерактивно с российской культурой.

Abstract: A technology for creation of electronic educational materials is described. It allows to use the result electronic textbook as a part of smart-education environment. Developed algorithms make it possible to work with all kind of devices from PC to tablets without any limitations in functionality.

Abstract: Создана электронная библиотека знаний GeneExpress для обеспечения полного цикла аннотации геномной ДНК, включая накопление первичных экспериментальных данных; автоматический анализ этих данных; документирование закономерностей, выявленных в качестве результатов этого анализа; генерацию активных приложений, использующих эти закономерности для аннотации геномной ДНК, и, что является новшеством GeneExpress, объяснение результатов аннотации геномной ДНК вплоть до указания первичных экспериментальных данных, на основании которых были созданы методы получения этих результатов. Таким образом, GeneExpress сочетает в себе поисковые возможности статического информационного ресурса и прогностические возможности активных приложений. Одна из этих возможностей заключается в объяснении результатов аннотации вплоть до первичных экспериментальных данных, с помощью которых были созданы методы получения этих результатов; вторая - в комплексном анализе расшифрованных фрагментов ДНК путем сопоставления результатов распознавания функциональных сайтов, координированная работа которых регулирует экспрессию генов. Реализация и применение этих новых возможностей демонстрируются на примере распознавания функциональных сайтов, предсказания их биологической активности и предсказания "высокого/низкого" уровня экспрессии генов. Электронная библиотека знаний GeneExpress является общедоступной через Интернет, http://wwwmgs.bionet.nsc.ru/systems/GeneExpress/.

Abstract: The problem of representation of mathematical subject domains in digital libraries and usefulness of these resources for experts is discussed. The option of representation of mathematical subject domains on the Internet is given. As information model for unit of record article of the thesaurus is chosen. Implementation of the scheme is shown on the example of the partial differential equations. Approach to the organization of information space of the author is offered, using the thesaurus by the addressee. On the basis of descriptions of subject domains of individuals creation of ontology of scientific cross-disciplinary community is supposed what, according to authors, will allow not to lose new result or opening in science, to observe priorities of authors, to build in new knowledge the settled system of classical subject domains.

Abstract: В работе рассматриваются проблемы и задачи, возникающие при манипулировании ресурсами репозиториев цифровых библиотек, информационных Интернет систем и порталов. Анализируются соответствующие требования к службе управления потоками работ, которая в этом случае должна обеспечить управление созданием и модификацией информационных ресурсов произвольных типов. Описывается реализация такой службы, ее роль и место в новой версии системы ИСИР [8, 9, 10]. Реализация следует стандартам WfMC [4]; канонической модели и языку спецификации потоков работ [5]. Решение демонстрируется в применении к управлению потоками работ по сопровождению ресурсов Информационного Web-портала РАН [11].

Abstract:

The multitrading analytical system is designed for operational, tactical and strategic forecasting of price changes of various financial instruments in the Forex market using the Metatrader 5 computer Internet terminal. In the Analytical windows of the terminal, a functional distribution of 17 indicators of technical analysis is organized into Sections of Price, Oscillations, Trends and Control. When setting up complex indicators of Price Equilibrium Level, Oscillation Distribution, Trend Potential and Oscillation Group Trend, a technique is used to connect trend indicators to oscillator data. Complex indicators unmask the stages of formation of elementary price oscillations and their groups (packets of 4 oscillations, blocks of 2 packages and modules of 4 blocks), and help establish the location of pivot points of price channels. For synchronous analysis of operational, tactical and strategic trends in price changes of one financial instrument, the Analytical Display combines six Analytical windows with a sequential increase in the time scale of interval charts (timeframes) by 4 times. Regulations have been developed for multiscale marking, design and use of Andrews pitchforks for forecasting long-term trends. Operational and tactical forecasts are visualized using multi-scale trend arrows in the Zone of Actual Oscillations. A technique is proposed for combining the tools of fundamental and technical analysis to determine the probability of the onset and relative significance of fundamental events that are not contained in the economic calendar.

Abstract:

This paper presents the experience of verifying server implementations of the TLS cryptographic protocol version 1.3. TLS is a widely used cryptographic protocol designed to create secure data transmission channels and provides the necessary functionality for this: confidentiality of the transmitted data, data integrity, and authentication of the parties. The new version 1.3 of the TLS protocol was introduced in August 2018 and has a number of significant differences compared to the previous version 1.2. A number of TLS developers have already included support for the latest version in their implementations. These circumstances make it relevant to do research in the field of verification and security of the new TLS protocol implementations. We used a new test suite for verifying implementations of the TLS 1.3 for compliance with Internet specifications, developed on the basis of the RFC8446, using UniTESK technology and mutation testing methods. The current work is part of the TLS 1.3 protocol verification project and covers some of the additional functionality and optional protocol extensions. To test implementations for compliance with formal specifications, UniTESK technology is used, which provides testing automation tools based on the use of finite state machines. The states of the system under test define the states of the state machine, and the test effects are the transitions of this machine. When performing a transition, the specified impact is passed to the implementation under test, after which the implementation's reactions are recorded and a verdict is automatically made on the compliance of the observed behavior with the specification. Mutational testing methods are used to detect non-standard behavior of the system under test by transmitting incorrect data. Some changes are made to the protocol exchange flow created in accordance with the specification: either the values of the message fields formed on the basis of the developed protocol model are changed, or the order of messages in the exchange flow is changed. The protocol model allows one to make changes to the data flow at any stage of the network exchange, which allows the test scenario to pass through all the significant states of the protocol and in each such state to test the implementation in accordance with the specified program. So far, several implementations have been found to deviate from the specification. The presented approach has proven effective in several of our projects when testing network protocols, providing detection of various deviations from the specification and other errors.

Abstract:

This work addresses some of the legal issues emerging in connection with the necessary to implement mandatory testing of final qualifying works for borrowings at realization final attestation on educational programs of higher education, posting these works in electronic library systems educational organizations, but also their use. In particular, the need to comply with legislation on personal data when processing personal information in the course of audit work identifying plagiarism, publishing works in library systems. Paid attention to the enforcement of intellectual property rights of authors of final qualifying works during educational organizations assigned to them defined responsibilities. Analysis of legal issues carried out taking into account introduced by the Government of the Russian Federation the draft law on education the organization of higher education it is proposed to impose a duty on public access on the official website of the educational organization in the Internet the full texts of final qualification works of master's programs and specialist programs.

Abstract: В работе рассматривается общая архитектура новой версии системы ИСИР, опирающейся на открытые стандарты W3C: Semantic Web [SW], XML[XML] технологии, и на применение opensource решений. Архитектура позволяет разрабатывать распределённые объектно-ориентированные информационные системы - цифровые библиотеки, информационные и корпоративные порталы, сайты на базе различных типов хранилищ информации, таких как объектные и реляционные базы данных, LDAP-каталоги. Система параметризуется описанием объектной схемы данных конкретной предметной области и легко адаптируется к её изменениям. Для описания схемы используется W3C стандарт на описание схем Интернет ресурсов - RDFS. Архитектура имеет многоуровневую модульную организацию, каждый уровень имеет собственные цели и абстракции. Фундамент решения - ядро ИСИР - унифицирует механизмы работы с хранимыми объектными данными, предоставляет ряд услуг по управлению этими данными, например, разграничение прав доступа, журнализация изменений. На базе ядра строятся более высокоуровневые сервисы такие, как RDF/XML-обмен данными, репликация информации между репозиториями, атрибутно - полнотекстовая индексация данных и др. Имеются средства для простой и эффективной разработки пользовательских Web-интерфейсов. Средства публикации информации и построения отчётов применяют механизмы XSLT и поддерживают широкий спектр целевых форматов. Служба управления потоками работ по редактированию ресурсов репозиториев следует стандартам WfMC - канонической модели и языку спецификации потоков работ XPDL. Служба управления содержанием Web-сайта обеспечивает мульти - иерархическую каталогизацию слабоструктурированной информации, отличающейся нерегулярностью взаимосвязи ее элементов.

Abstract: В докладе представляются результаты реализации проекта "Нижегородский Интернет-справочник по культурному туризму" (www.museum.nnov.ru/tourism), поддержанного грантом Института "Открытое общество" (Фонд Сороса - Россия). Рассматриваются региональные проблемы информационного сопровождения культурного туризма, идеи и опыт их решения, предлагаются концепция, схемы и методы развития этого проекта на территории Центральной России.

Abstract:

This paper presents the experience of verifying client implementations of the TLS cryptographic protocol version 1.3. TLS is a widely used cryptographic protocol today, designed to create secure data transmission channels. The protocol provides the necessary functionality for its tasks: confidentiality of transmitted data, data integrity, and authentication of the parties. In the new version 1.3 of the TLS architecture was significantly redesigned, eliminating a number of shortcomings of previous versions that were identified both during the development of implementations and during their operation. We used a new test suite for verifying client implementations of the TLS 1.3 for compliance with Internet specifications, developed on the basis of the RFC8446, using UniTESK technology and mutation testing methods. To test implementations for compliance with formal specifications, UniTESK technology is used, which provides testing automation tools based on the use of finite state machines. The states of the system under test define the states of the state machine, and the test effects are the transitions of this machine. When performing a transition, the specified impact is passed to the implementation under test, after which the implementation's reactions are recorded and a verdict is automatically made on the compliance of the observed behavior with the specification. Mutational testing methods are used to detect non-standard behavior of the system under test by transmitting incorrect data. Some changes are made to the protocol exchange flow created in accordance with the specification: either the values of the message fields formed on the basis of the developed protocol model are changed, or the order of messages in the exchange flow is changed. The protocol model allows one to make changes to the data flow at any stage of the network exchange, which allows the test scenario to pass through all the significant states of the protocol and in each such state to test the implementation in accordance with the specified program. The presented approach has proven effective in several of our projects when testing network protocols, providing detection of various deviations from the specification and other errors. The current work is part of the TLS 1.3 protocol verification project and covers TLS client implementations.

Abstract: This work is devoted to the description of the project of updating the technology of algorithmic language application created in the USSR in the 60s of the XX century by V. F. Turchin. The language was originally intended for various logical transformations primarily of text material. In practice, the scope was wider: machine translation, optimization and compilation of programs, proof of theorems, modeling of complex electronic circuits, solving a number of problems of artificial intelligence. The language now has a sufficient number of followers, mainly in scientific circles.The objective of the described project is to create a product that allows the use of Refal in modern mass applications and to expand the range of its potential users to the entire Internet. A survey of the community of users and developers of Refal was conducted in order to get an idea of the current state of Affairs, current implementations and ways of language development. Possible means of project implementation were considered. No information was received on similar developments under way.

Abstract: Прошлый год принес существенные перемены в характере функционирования сети Интернет, и многие зарубежные музеи не остаются безучастными к этим переменам. В условиях превращения сети в мощный экономический двигатель, музеи постепенно начинают находить возможности для участия в электронной коммерческой деятельности и продвигать свои традиционные услуги в режиме он-лайн (D.Bearman, J.Trant). Некоторые делают это в одиночку, другие – вместе с коммерческими партнерами. Как музеи могут вписать себя в стремительно меняющийся ландшафт сети и какие стратегии им следует применять на этом пути – вот те основные проблемы, которые мы постараемся осветить.
Доклад основан на изучении международного, в первую очередь американского, опыта музейной электронной коммерции, который был приобретен в ходе участия автора в конференции ICHIM’1999 (Вашингтон), конференции Museums and the Web’2000 (Миннеаполис), что стало возможным благодаря Институту “Открытое Общество” и Фонду Форда, а также программам ознакомления с 14-ю американскими музеями в Вашингтоне, Нью-Йорке, Балтиморе, Миннеаполисе и Вильямсбурге, финансируемых фондом СЕС Интернешнел Партнешип и Гос. Департаментом США.