DOI: 10.15514/ISPRAS-2025-37(1)-1

Article Title (style: ispHeader)

1 I.I. Ivanov, ORCID: 0000-0000-0000-0000 <ivanov@ispras.ru>

2 P.P. Petrov, ORCID: 0000-0000-0000-0000 <petrov@ispras.ru>

1 Ivannikov Institute for System Programming of the Russian Academy of Sciences,

(Indices are given in direct superscript (not italics);

if all authors have the same affiliation, or the article has only one author,

indices are not placed.

Indentation of the paragraph with the first line
of the list of affiliations of each author: "before" – 3 pt.)

25, Alexander Solzhenitsyn st., Moscow, 109004, Russia.

2 Lomonosov Moscow State University,

GSP-1, Leninskie Gory, Moscow, 119991, Russia. (style: ispAuthor)

Abstract. An abstract is independent of the main text and gives basic information that helps understand the research. The abstract section must describe the main objectives of the research; explain how the research was conducted (but without extra details); summarize the most important results and their significance; be compact (200-300 words including articles).

The abstract should be comprehensive and reflect correctly the paper contents: introduction, problems, research methods, results and conclusion. It should not contain references to literature, abbreviations (if possible), unnecessary introductory phrases and complex grammar structures. (style ispAnotation)

Keywords: list of keywords (no capitalization) separated by semicolons. (style: ispAnotation)

For citation: Ivanov I.I., Petrov P.P. Article title. Trudy ISP RAN/Proc. ISP RAS, vol. 37, issue 1, 2025, pp. xx-xx. DOI: 10.15514/ISPRAS-2025-37(1)-1. (style ispAnotation)

Acknowledgements. This block contains information about organizations supporting the research described in the article, grants, etc. (style ispAnotation)

Заголовок статьи

(style: ispHeader1)

1 И.И. Иванов, ORCID: 0000-0000-0000-0000 <ivanov@ispras.ru>

2 П.П. Петров, ORCID: 0000-0000-0000-0000 <petrov@ispras.ru>

1 Институт системного программирования им. В.П. Иванникова РАН,

Россия, 109004, г. Москва, ул. А. Солженицына, д. 25.

2 Московский государственный университет имени М.В. Ломоносова,

Россия, 119991, Москва, Ленинские горы, д. 1. (style: ispAuthor)

Аннотация. Abstract in Russian. (style: ispAnotation)

Ключевые слова: list of keywords in Russian (no capitalization) separated by semicolons. (style: ispAnotation)

Для цитирования: Иванов И.И., Петров П.П. Заголовок статьи. Труды ИСП РАН, том 37, вып. 1, 2025 г., стр. xx–xx (на английском языке). DOI: 10.15514/ISPRAS–2025–37(1)–1. (style: ispAnotation)

Благодарности. Acknowledgement in Russian. (style: ispAnotation).

1. Introduction (style: ispSubHeader-2 level)

The following material will help you prepare article for the Proceedings of the Institute for System Programming of the RAS. The text should be typed using Microsoft Office Word or OpenOffice Writer.

Only original manuscripts that have not been previously published nor in other editions, neither in the Internet, are accepted for publication in Proceedings of ISP RAS. The authors of the articles can be ISP RAS staff or representatives of other organizations. Only manuscripts in Russian or English are allowed to be published. As a rule, the volume of published articles should not be less than 8-9 pages, and shouldn’t exceed 20 pages. (style: ispText_main)

The paper must consequently include the following elements:

full title of the paper;

initials and names of the authors;

ORCID

author e-mail;

full names and addresses (including country, city, zip code and street address) of organizations where each author works;

abstract;

keywords;

acknowledgements;

the paper text itself;

references;

Information about authors. (style: ispList1)

If the article is written in English, it must have the following information in Russian:

full title of the paper in Russian;

initials and names of the authors in Russian;

author e-mail;

full names and addresses (including country, city, zip code and street address) of organizations where each author works in Russian;

Аннотация (Abstract in Russian);

Ключевые слова (Keywords in Russian);

Благодарности (Acknowledgement in Russian).

Информация об авторах (Information about authors in Russian) – at the end of the article.

When preparing an article author should pay additional attention to abstract contents and rules of typing references list.

2. Formatting overview

This section describes the characteristics of the styles used in this document.

2.1 Requirements for fonts (style: ispSubHeader-3 level)

General rules:

main font – Times New Roman;

headline font – Arial;

line spacing – single;

main font size – 10;

paragraph indentation 1,5 pt (“before” and “after”), a new paragraph does not skip a line;

fit to the width.

2.1.1 Levels 1 and 2

The main title of the paper (level 1 title) is typed in 16-point Arial bold font, centered. Paragraph indentation: “before” 48 pt, “after” 24 pt.

Level 2 titles, such as names of manuscript sections (the first must be named “Introduction”, and the last – “Conclusion”) are typed in 11-point Arial italic font. Section titles are numbered with a dot after section number (1., 2., etc.) and typed without alignment. Paragraph indentation: “before” 12 pt, “after” 3 pt.

2.1.2 Levels 3 and 4

Level 3 and 4 titles (subsections and paragraphs of the article) are typed in 11-point and 10-point Arial bold font respectively. Subsection titles are numbered without a dot at the end (1.1, 1.2, etc.) and are typed without alignment. Paragraph indentation: “before” 12 pt, “after” 3 pt.

2.1.3 Levels 5 and higher

Level 5 and higher-level titles are not welcome. If they are needed author decides how to decorate them. In any case, such titles should not be numbered.

Initials and names of the authors, e-mails, names of institutions and their addresses (including country, city, zip code and street address) are separated from the title by empty string and typed in Times New Roman italic font size 10 on consequent lines with center alignment.

Keywords for the article (not more than 10) are typed after abstract. The “Keywords” title is typed in 9-point Times New Roman font, and then immediately follows the list of keywords (no capitalization) separated by semicolons.

2.2 Indentation

Align paragraphs corresponds to common practice: main text fit to the width, title is centered (except for sub-headings). Indentation and spacing for different styles are different. A new paragraph does not skip a line.

2.3 Fields

Article should be prepared for size paper 16.5х24 cm.

Fields:

Top: 0.8 cm	Bottom: 1 cm	(1)

Left: 1.5 cm	Right: 1 cm	(2)

Gutter: 0	(3)

2.4 Pictures and tables

If the text contains pictures created outside Microsoft Word or OpenOffice Writer (including math formulas), they must be attached to the article in separate files (JPEG, GIF, PNG formats) with high resolution (300 dpi or higher). If there are many such files it is recommended to create additional text file catalogue, linking file names with picture numbers or formula’s positions inside the text.

Fig. 1. Geometric figures. (стиль ispPicture_sign)

Table 1. Results for different diode insertion strategies.

Category	Scheme 1	Scheme 2
Points

2.4.1 Figure captions

Figure captions must begin with text “Fig. 1”, with dot at the end and center alignment.

2.5 Tables

If there are tables in the article, the table title must be placed above the table, start with text “Table 1” and is not aligned. Reference to figures and tables inside the text should have the form of “Fig. 1” and “Table 1” respectively.

References (style: ispSubHeader-1 level)

The References section is based on the list of bibliographic references to used publications. References in the list should be numbered in the same order as corresponding links appear in the text (i.e., the first reference in the list is the first publication mentioned in the article). To refer to sources cited in the reference list from the article text, a number in square brackets should be used.

Literature references should include the following:

for books – names and initials of all authors; full title of the book; publisher name and city of publication; year of publication; volume in pages;

for papers of journals – names and initials of all authors; full title of the paper; full journal title, newspaper title or proceedings title; year of publication; publication date identifiers (for newspaper – issue number or date, for journals – volume or issue number); numbers of pages;

for standards – full standard title; standard number; place and year of publication; numbers of pages;

for patents – patent title; number of the patent; country, number and date of declaration and patent publication; bulletin of inventions number; numbers of pages;

for dissertations: name and initials of the author; full dissertation title; science degree; place and year of defense; volume in pages;

for sites on the Internet – names and initials of all authors (if known); full title of the text; full site address (for example, http://ispras.ru/en/proceedings/for_authors.php); date of publication or creation; date of access (if date of publication or creation is not known);

If you know DOI (Digital Object Identifier) for publication, it should be placed in the end of the reference (for example, doi: 10.1134/S0361768806040037).

The reference list should not include unpublished texts or articles that are not in public access.

It is not allowed to mix Russian and English language parts, for example, to translate a Russian reference into English.

For articles in Russian use the following format of references:

all information about article in Russian;

Symbol “/”;

initials and names of the authors (transliteration);

title of the paper in English;

source in English;

the output data with the notation in the English language;

Phrase “(in Russian)”.

Transliteration should be done according to BS 2979: 1958 «Transliteration of Cyrillic and Greek characters». You can use the online service http://translitor.net/.

For articles of Proceedings of ISP RAS is recommend to use this journal title: Trudy ISP RAN/Proc. ISP RAS.

Examples:

Ермаков М. К., Вартанов С. П. Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java. Труды ИСП РАН, том 27, вып. 2, 2015 г., стр. 23-38. DOI: 10.15514/ISPRAS-2015-27(2)-2. / Ermakov M.K, Vartanov S.P. Dynamic Java Program Analysis Using Virtual Machine Modification. Trudy ISP RAN/Proc. ISP RAS, 2015, vol. 27, issue 2, pp. 23-38 (in Russian). DOI: 10.15514/ISPRAS-2015-27(2)-2.

Chervyakov N., Babenko M., Tchernykh A., Kucherov N., Miranda-López V., Cortés-Mendoza J. M. AR-RRNS: Configurable reliable distributed data storage systems for Internet of Things to ensure security. Future Generation Computer Systems, vol. 92, 2019, pp. 1080-1092.

Proskuryakova L., Meissner D., Rudnik P. (2015) The use of technology platforms as a policy tool to address research challenges and technology transfer. The Journal of Technology Transfer (online). Available at: http://link.springer.com/article/10.1007/s10961-014-9373-8#/page-1, accessed 12.02.2016.

Burgess N. Scaling an RNS number using the core function. In Proc. of the 16th IEEE Symposium on Computer Arithmetic, 2003. pp. 262-269.

Naveh Y., Rimon M., Jaeger I., Katz Y., Vinov M., Marcus E., Shurek G. Constraint-Based Random Stimuli Generation for Hardware Verification. AI Magazine, 28(3), 2007, pp. 13-30.

Dijkstra E.W. A Discipline of Programming. Prentice-Hall, 1976. 217 p.

Ettus Research, Universal Software Radio Peripheral and Daughter Boards, Available at: http://www.ettus.com/product/details/UN210-KIT, accessed 30.01.2019.

Акушский И.Я., Юдицкий Д.И. Машинная арифметика в остаточных классах. М., Советское радио, 1968, 440 c. / Akushsky I. Ya., Yuditsky D. I. Computer arithmetic in residual classes. Moscow, Soviet Radio, 1968, 440 p. (in Russian).

(style: ispLitList)

Информация об авторах / Information about authors

Иван Иванович ИВАНОВ – кандидат технических наук, профессор, заведующий отделом прикладной математики и информатики Института системного программирования с 2004 года. Сфера научных интересов: алгебраические структуры в полях Галуа, модулярная арифметика, нейрокомпьютерные технологии, цифровая обработка сигналов, криптографические методы защиты информации.

Ivan Ivanovich IVANOV – Cand. Sci. (Tech.), Professor, Head of the Department of Applied Mathematics and Computer Science of the Institute for System Programming of the RAS since 2004. Research interests: algebraic structures in the Galois fields, modular arithmetic, neurocomputer technologies, digital signal processing, cryptographic methods for protecting information.

Петр Петрович ПЕТРОВ является специалистом кафедры Системного программирования Московского государственного университета имени М.В. Ломоносова, доктор физико-математических наук. Его научные интересы включают распознавание образов, системы остаточных классов.

Petr Petrovich PETROV – Dr. Sci. (Phys.-Math,), specialist of the Department of system programming of CMC of Lomonosov Moscow State University. His research interests include pattern recognition, residual class systems.

ATTENTION: Do not forget to remove all references to the style in the final version of the article. Publisher changes the yellow text.