?
Исторические реконструкции: методологические ограничения
С. 3-24.
Danilevsky I.
In book
М. : Институт всеобщей истории РАН, 2012
Shevchenko E., Синева И., Банковское дело 2011 № 3 С. 70-78
The article gives an overview of the main approaches to verification of the internal rating methods of analysis of the creditworthiness. The article gives practical advice on the application of these techniques by an example of real internal rating technique. ...
Added: December 14, 2012
Botchkarev A., Вестник Нижегородского университета им. Н.И. Лобачевского 2016 № 2 С. 192-199
No study of meaning is possible without recourse to knowledge. In this context, semantics should first at all define what particular type of knowledge should be used in interpretation - an objectified in public practice taxonomic knowledge or alternatively opinions and views, witch are not always reliable. Obviously we would not be able to find ...
Added: February 16, 2016
Gnatenko A., Zakharov V., Системная информатика 2020 Vol. 17 P. 21-32
Sequential reactive systems such as controllers, device drivers, computer interpreters operate with two data streams and transform input streams of data (control signals, instructions) into output streams of control signals (instructions, data). Finite state transducers are widely used as an adequate formal model for information processing systems of this kind. Since runs of transducers develop ...
Added: November 9, 2020
М., Зеленоград : ИППМ РАН, 2016
отсутствует ...
Added: September 27, 2016
Danilevsky I., Вестник Томского государственного университета. История 2017 № 48 С. 29-37
The aim of the presented article is to consider the conditions in which intuitive conjectures in historical constructions transform into a scientific hypothesis. In order to prove it, the author takes into account the procedure of identifying verbal texts which underlie the descriptions found in the historical source, and which explicitly reveal the meaning of ...
Added: September 22, 2017
Korotayev A., Borinskaya S., Starostin G. et al., Social Evolution & History 2019 Vol. 18 No. 2 P. 286-312
Currently, the main source for the reconstruction of the most ancient history of humankind is archeology, which almost by definition makes it possible to restore only just a few elements of the most ancient human culture (naturally, almost exclusively – material culture). A mere introduction of comparative linguistic data makes it possible to significantly refine ...
Added: November 23, 2019
Ermakova V., Lomazova I. A., Труды Института системного программирования РАН 2016 Т. 28 № 4 С. 115-136
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Multi-agent systems are highly concurrent. Verification of such systems with model ...
Added: October 21, 2016
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Added: March 19, 2011
Vladimir A. Bashkin, Irina A. Lomazova, Transactions on Petri Nets and Other Models of Concurrency 2014 Vol. 9 P. 1-18
A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. Neither the intermediate nor final resource markings are constrained, hence a net can have an infinite number of different reachable states. An RWF-net with k tokens in the ...
Added: December 7, 2014
Klimova S., Научные Ведомости БелГУ. Серия: Философия. Социология. Право. 2014 Т. 9 (180) № 28 С. 89-92
Humanitarian expertise is one of the most rapidly developing areas of social sciences and humanities nowadays. Its ever increasing im-portance is due to the need to assess the new social, engineering, biomed-ical and other technologies, the implementation of large-scale national projects from the point of their risks and consequences for the human society. Humanitarian expertise ...
Added: November 8, 2014
Ivanova E., Vishnekov A., Erokhin V., Нано- и микросистемная техника 2014 № 12 С. 30-36
Every SoC design center has its own design flow, i.e. process of chip designing, testing, verification and production. The design flow depends on many factors: a finance possibility, personal's quality and even traditions in the firm. As SoC production is very expensive task, every firm try to produce good chip on the first iteration. So ...
Added: February 4, 2015
Artemov S., Protopopescu T. I., Review of Symbolic Logic 2016
Added: November 19, 2016
Gordin V. E., Alushkin L., Международный журнал исследований культуры 2019 № 3 (36) С. 1-20
The concept of historical reenactment is considered in the article as a form of post-memory implementation with the help of conventional theatricalization, which has many elements of the theatrical process: a development of action scenarios, a selection of appropriate natural or architectural scenery, a distribution of roles among the participants, a creation of individual appearance of ...
Added: October 18, 2019
Danilevsky I., Электронный научно-образовательный журнал "История" 2013 № 6 (22)
The article deals with the problem of the reconstruction of historical facts as the main task of a historian. The author sees the historical reconstruction based on the various types of information (the unique information, the verified one and the repeated one) as a description the most close to the historical reality. ...
Added: November 28, 2013
С. А. Шершаков, В кн. : XIII Апрельская международная научная конференция по проблемам развития экономики и общества: сборник студенческих работ. : М. : Издательский дом НИУ ВШЭ, 2014. С. 112-128.
Вопрос корректности программного обеспечения является одним из непреходящих в области информационных технологий. Обычно под корректностью программы подразумевают соответствие рассматриваемой программы некоторой определенным образом заданной спецификации. Обычно спецификация явно определяет, что должна делать эта система, не касаясь вопроса, каким образом. Проблема тестирования и верификации программно-аппаратных комплексов неоднократно поднималась в научных работах. Данная работа посвящена вопросам верификации ...
Added: June 1, 2014
Yaroslavl : Yaroslavl State University, 2013
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc. ...
Added: July 14, 2013
SciTePress, 2021
The International Conference on Information Systems Security and Privacy provides a meeting point for researchers and practitioners, addressing the security and privacy challenges of information systems from both technological and social perspectives. The conference welcomes papers of either practical or theoretical nature, and is interested in research or applications addressing all aspects of security and privacy, ...
Added: October 18, 2021
Редькин Н. Е., Вестник Костромского государственного университета им. Н.А. Некрасова. Серия Психологические науки: Акмеология образования, Гендерная психология 2010 Т. 16 № 3 С. 38-42
This paper examines the practice of using the intuitivity test as an evaluation criterion of normative ethical theories. Mechanism of intuitive thinking and its differences from rational decision-making is described. It is shown, that due to the nature of intuitive thinking, the results of intuitivity test are often influenced by factors that contradict the conditions ...
Added: October 5, 2012
Storchevoy M., В кн. : Мораль и универсальность. Вып. 3.: М. : Издательский дом "Гуманитарий", 2020. С. 147-160.
В этой статье мы обосновываем тезис о том, что универсальная этика может быть построена на основе научного подхода, что позволяет обосновать ее универсальность и спасти от методологических обвинений в субъективизме или релятивизме. Вначале мы объясняем выбор критериев научности: 1) точная терминология, 2) корректный логический анализ, 3) эмпирическая верификация, 4) точность эмпирических измерений. Затем мы выстраиваем ...
Added: October 31, 2020
Vladimir A. Bashkin, Lomazova I. A., Novikova Y., , in : Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings. Vol. 7979: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2013. P. 13-25.
The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the ...
Added: October 1, 2013
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. et al., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 454-471
Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации ...
Added: May 31, 2021
Семакин И. Г., Zalogova L. A., Rusakov S. V. et al., М. : Бином. Лаборатория знаний, 2012
Учебник предназначен для изучения курса информатики в 7 классе общеобразовательной школы. Учебник содержит теоретический материал курса, вопросы и задания для закрепления знаний, в конце каждой главы в схематическом виде представлена система основных понятий этой главы. Некоторые главы учебника содержат дополнительный раздел, позволяющий изучить данную тему на углубленном уровне.
Учебник входит в учебно-методический комплект по информатике, наряду ...
Added: December 9, 2012
Kuliamin V., Petrenko A. K., Khoroshilov A. V., Труды Института системного программирования РАН 2018 Т. 30 № 6 С. 367-382
В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации промышленно используемых операционных систем (ОС). Таковыми считаются не системы, разработанные в целях демонстрации определенной исследовательской идеи, а ОС, активно используемые в каких-то областях экономики и управленческой деятельности и развиваемые на протяжении значительного времени. Предлагается декомпозиция заявленной цели верификации промышленной ОС в целом на задачи ...
Added: February 14, 2019