?
Научный подход и универсальная этика
С. 147–160.
СПб.: АО "ЦТСС", 2025.
В научном издании представлены труды Двенадцатой всероссийской научно-практической конференции по имитационному моделированию и его применению в науке и промышленности «Имитационное моделирование. Теория и практика» (ИММОД-2025) по следующим направлениям: - теоретические основы и методология имитационного и комплексного моделирования; - методы исследования и оценки качества моделей, валидация и верификации моделей; - методы и системы распределенного моделирования; - ...
Added: April 17, 2026
Gordin V. A., Smirnov M. A., Russian Meteorology and Hydrology 2025 No. 50 P. 1016–1028
Statistical evaluation of three-dimensional auto- and cross-correlation functions for increments from the first guess was performed to interpolate the complex forecast (postprocessing) of geopotential height and temperature to regular grid points. The forecast fields from the ICON model were used as the first guess. Positive definiteness was provided in the evaluation. The verification of the ...
Added: February 17, 2026
Stepanyants V., , in: 2025 International Russian Automation Conference (RusAutoCon).: IEEE, 2025. P. 982–986.
Transportation systems are complicated and deal with significant problems. With the pool of possible solutions being wide, extensive transportation planning has to be involved. However, planning based on expert opinions is significantly limited in terms of rapidity, accuracy, and confidence. Computer-aided design and automated decision-making systems are the next step to ensure transportation system development ...
Added: October 3, 2025
Poplavsky E., Kuznetsova A., Troitskaya Y., Journal of Marine Science and Engineering 2023 Vol. 11 No. 6 Article 1239
This paper presents an analysis of a new method for retrieving the parameters of the atmospheric boundary layer in hurricanes. This method is based on the approximation of the upper parabolic part of the wind speed profile and the retrieval of the lower logarithmic part. Based on the logarithmic part, the friction velocity, near-surface wind ...
Added: December 10, 2024
Biryukova S., Sinyavskaya O., Bochaver A. A. et al., Мониторинг общественного мнения: Экономические и социальные перемены 2024 № 3(181) С. 3–14
The article presents a Special Issue of the Journal dedicated to the study of life choices. The authors substantiate the relevance of the development of this direction in modern context, identify the key vectors for the development of theoretical and empirical scientific work on issues of choice and decision-making, as well as the main methodological ...
Added: July 10, 2024
Naumov A. V., Журнал зарубежного законодательства и сравнительного правоведения 2023 № 5 С. 105–111
В общей теории права компаративистика рассматривается как один из научных методов, применяемых в юриспруденции. Современные геополитические условия, выразившиеся в резком изменении взаимоотношения России и Запада (США-НАТО, Евросоюз, руководство крупнейших стран Европы), вылились в вооруженное противостояние и вынужденное проведение Вооруженными силами РФ Специальной военной операции (СВО). Сделано это в целях защиты не только русскоязычного населения Донбасса ...
Added: February 11, 2024
Akelev E., ВИВЛIОθИКА: E-Journal of Eighteenth-Century Russian Studies 2023 Т. 11 С. 241–270
Как практикующие историки приходят к тем или иным убеждениям? Как отличить «гипотетическое» от «доказанного»? Почему в определенный момент те или иные интерпретации находят всеобщую поддержку в научном сообществе, а другие нет? И как в дальнейшем общепризнанные интерпретации могут быть опровергнуты? Эти вопросы находятся в центре внимания этой статьи, но рассматриваются не отвлеченно, на уровне теории, ...
Added: November 23, 2023
Akayev S., История философии 2023 Т. 28 № 1 С. 5–17
В последние десятилетия историки моральной философии все чаще обращаются к фигуре Спинозы, изучая недооцененное этическое измерение его философии. Тем не менее, несмотря на этот растущий интерес, Спинозу редко помещают в канон моральной философии, и потому его связь с различными направлениями этической мысли остаётся непроясненной. В этой статье я показываю, что в моральной теории Спинозы важную роль ...
Added: October 18, 2022
Федотов И. А., Хританков А. С., Обидаре М. Д., Программная инженерия 2022 № 4 С. 200–208
Многосторонние соглашения используются в системах распределенного реестра и блокчейн-сетях для согласования изменений в системе. Если один из участников сети предлагает транзакцию на запись, то сначала ее должны подтвердить определенные участники сети. Многостороннее соглашение, или консенсус, определяет состав этих участников. На основе предыдущих ответов можно посчитать вероятность подтверждения транзакции для каждого из участников. В настоящей работе ...
Added: September 20, 2022
Кухаренко В. А., Зиборов К. В., Садыков Р. Ф. et al., Моделирование и анализ информационных систем 2020 Т. 27 № 4 С. 454–471
Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена. Распространение систем распределенного реестра (СРР), известных также как блокчейн, быстро меняет ситуацию. Поскольку основной областью применения СРР является автоматизация финансовых транзакций, свойства предсказуемости и надежности являются критическими при реализации таких систем. Реальное поведение СРР определяется выбранным протоколом консенсуса, свойства которого нуждаются в строгой спецификации ...
Added: May 31, 2021
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
Minina E., Yanbarisova D., Pavlenko E., International Studies in Sociology of Education 2020 Vol. 29 No. 4 P. 326–343
Drawing on the data provided by Russian panel study ‘Trajectories in Education and Careers’ (TrEC), we explore the different rationales pupils employ in deciding their education path in grade nine. Drawing on the relative risk aversion theory we show how young people’s decision-making logics are aimed at class maintenance and risk management. Using a qualitative ...
Added: February 20, 2020
Slobodenyuk E., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.
The chapter covers the issue of monetary relative poverty line location in modern Russia. As it follows from international studies on income stratification it should be placed between 0.5 to 0.75 of median per capita income. Based on the poverty risk data, it is shown that the 0.5 line can be applied as a deep poverty line, and the ...
Added: April 16, 2019
Kuliamin V., Petrenko A. K., Khoroshilov A. V., Труды Института системного программирования РАН 2018 Т. 30 № 6 С. 367–382
В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации промышленно используемых операционных систем (ОС). Таковыми считаются не системы, разработанные в целях демонстрации определенной исследовательской идеи, а ОС, активно используемые в каких-то областях экономики и управленческой деятельности и развиваемые на протяжении значительного времени. Предлагается декомпозиция заявленной цели верификации промышленной ОС в целом на задачи ...
Added: February 14, 2019
Kapeliushnikov R., Журнал Новой экономической ассоциации 2017 № 1 С. 162–166
The paper provides a short overview of different applications of rationality principle in economics. Author argues that although in the last decades the role of rationality principle was substantially undermined in both empirical and theoretical studies. It is likely to preserve its traditional status as a basic methodological guide for economic analysis. ...
Added: October 30, 2018
Tatarnikov A., Kamkin A., Проценко А. С. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 2 С. 2–8
In this paper, a specification-based test program generator for functional verification of RISC-V microprocessors is presented. The tool is based on the MicroTESK framework and consists of two main parts: (1) the formal specifications of the RISC-V ISA and (2) the ISA-independent generation core. Test programs are generated on the basis of the ISA specifications and test templates ...
Added: October 30, 2018
Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018.
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 ninth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, algebraic and logical aspects of programming. ...
Added: October 26, 2018
Лапутенко А. В., Лопез Х. Е., Evtushenko N. V., Известия высших учебных заведений. Физика 2017 Т. 60 № 11 С. 146–151
Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например, встраиваемые датчики и элементы, используемые для передачи данных. Для экспериментальных исследований выбраны схемы из пакета бенчмарок B01-B10 (ITC’99 benchmarks (Second Release)), которые представляют собой компоненты физических систем, спроектированных для различных приложений. Тестовые последовательности ...
Added: August 11, 2018
Gavrilov K. A., В кн.: Нормы и мораль в социологической теории: от классических концепций к новым идеям.: Весь мир, 2017. С. 135–156.
In this chapter I make an attempt to reconstruct the risk-responsibility link. On the one hand, the analysis departs from the concept of risk, assuming that the interpretation of this concept – as a danger, a probable event or a rational decision – will inevitably impact on the conceptualization of the normative dimension and, in ...
Added: July 9, 2018
Kashnikov B., В кн.: Мораль в современном мире и проблемы российской этики.: СПб.: ЦГИ Принт, 2017. С. 143–160.
The meaning of ethics and morality is concentrated mostly in enlightenment. Moral enlightenment in its turn is realized by harmonious interaction between both theoretical and practical components of morality and between its individual and social forms. The character traits of these interactions make the distinction between the specificity of moral enlightenment in Europe and Russia. ...
Added: February 3, 2018
Storchevoy M., Switzerland: Palgrave Macmillan, 2018.
The book considers how to make the methodology of business ethics more scientific, especially its normative branch. Storchevoy explores the attempts of economic theory to contribute to the scientific normative analysis of economic behavior, particularly the welfare economics of 1910-1950 and methodological discussions of economics and ethics from 1980-2015. He then examines the development of ...
Added: January 26, 2018
Storchevoy M., Switzerland: Palgrave Macmillan, 2018.
This book suggests that normative ethics should be developed as a social science, and that this will improve its reputation in business and society. Storchevoy defines four criteria of a good scientific method (clear definitions, correct logic, empirical verification, accurate measurement) and demonstrates how normative ethics can make use of them. He provides a historical ...
Added: January 26, 2018