发布求助
文献互助 智能选刊 最新文献

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS最新文献

筛选
英文 中文
Information Refilling Model of an Automated System 自动化系统的信息填充模型
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105524700456
M. A. Prokhorov, D. S. Tobin, R. S. Zlobin
{"title":"Information Refilling Model of an Automated System","authors":"M. A. Prokhorov,&nbsp;D. S. Tobin,&nbsp;R. S. Zlobin","doi":"10.3103/S0005105524700456","DOIUrl":"10.3103/S0005105524700456","url":null,"abstract":"<p>The role of information support in scientific and technical activity is indicated. A model of information resource replenishment of an automated information provision system is developed and implemented in the form of a system of models with its process and simulation. An approach of bringing a process model to the simulation is proposed, and the distribution dependencies of the demand dwell time in the mass service system are obtained. The information resource replenishment model for a typical automated information provisioning system is investigated.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"20 - 24"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Systems Approach to Ensuring Security in a Special-Purpose Automated Information System 确保专用自动化信息系统安全的系统方法
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105525700049
A. S. Dubrovin, V. I. Sumin, Yu. Yu. Gromov, V. M. Tyutyunnik
{"title":"A Systems Approach to Ensuring Security in a Special-Purpose Automated Information System","authors":"A. S. Dubrovin,&nbsp;V. I. Sumin,&nbsp;Yu. Yu. Gromov,&nbsp;V. M. Tyutyunnik","doi":"10.3103/S0005105525700049","DOIUrl":"10.3103/S0005105525700049","url":null,"abstract":"<p>A mathematical model of the subsystem of security in an automated information system with a special purpose, hierarchically decomposed by security levels, is considered, on the basis of which it is possible to develop and analyze relatively flexible rules of differentiation of access to information with high guarantee of their fulfillment with the help of the apparatus of finite nonlinear lattices. Two finite nonlinear lattices suitable for this purpose are proposed. For each, carrier, partial ordering, and algebraic operations are defined. Interpretations of these lattices are given as vector security levels, in contrast to the well-known interpretation of finite linear lattices as numerical security levels. For vector security levels, the “no read up” and “no write down” rules of the mandated security policy are defined. The equivalence of the modeling capabilities of these lattices is justified. The developed model integrates the principles of mandating and discretionary access control methods, taking subjects in the role of intermediaries between users and objects. The Bell-LaPadula model, as adapted to the formalization of security levels by finite nonlinear lattices is presented.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"33 - 40"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Models and Algorithms for Decision Support of the Information System for Accounting Foreign Currency Transactions Based on a Neural Network 基于神经网络的外汇交易会计信息系统决策支持模型与算法
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105525700013
I. E. Gagloeva
{"title":"Models and Algorithms for Decision Support of the Information System for Accounting Foreign Currency Transactions Based on a Neural Network","authors":"I. E. Gagloeva","doi":"10.3103/S0005105525700013","DOIUrl":"10.3103/S0005105525700013","url":null,"abstract":"<p>This article presents the results of an analysis of the activities of a credit institution that conducts foreign exchange transactions with to optimize and automate them based on neural networks. It shows the model and algorithms of the functioning of the decision support system of an information system for accounting for foreign exchange transactions with BPMN and UML, as well as the developed functional model of decision-making by a participant in a financial transaction.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"57 - 69"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Information Modeling of Business Processes Using Formal-Semantic Alphabet 使用形式语义字母表的业务流程信息建模
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105524700444
S. I. Matorin, A. G. Zhikharev, Yu. V. Dmitrieva
{"title":"Information Modeling of Business Processes Using Formal-Semantic Alphabet","authors":"S. I. Matorin,&nbsp;A. G. Zhikharev,&nbsp;Yu. V. Dmitrieva","doi":"10.3103/S0005105524700444","DOIUrl":"10.3103/S0005105524700444","url":null,"abstract":"<p>Modern methods of information modeling of organizational-business and production-technological processes are considered. It is shown that the main problem is the lack of subject content in the symbols that are used in graphic notations. A method for constructing a formal-semantic alphabet of processes (functional units) is proposed, the elements of which, first, satisfy all of the requirements for formal systems and, second, have subject-oriented content as intersections of material, energy and information links. It is shown that the set of elements of the proposed alphabet is an algebraic group and also corresponds to the definition of a generator, as the main initial concept of pattern theory. At the same time, the example of a specific generator as a universal operator noted in the theory is clarified. The correspondence between some concepts and procedures of pattern theory and the concepts and procedures of the information modeling of processes is analyzed. This allowed to substantiate the possibility and expediency of using the formal apparatus of pattern theory (image algebra) for the formalization of information-modeling procedures.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"15 - 19"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Cognitive Interface of Intelligent Systems Implementing the JSM Method of Automated Research Support 基于JSM方法的自动化科研支持智能系统认知接口研究
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105525700037
O. P. Shesternikova, V. K. Finn
{"title":"On the Cognitive Interface of Intelligent Systems Implementing the JSM Method of Automated Research Support","authors":"O. P. Shesternikova,&nbsp;V. K. Finn","doi":"10.3103/S0005105525700037","DOIUrl":"10.3103/S0005105525700037","url":null,"abstract":"<p>This article presents comments on the cognitive interface of an intelligent system (IS) implementing the JSM method of automated research support (JSM method ARS). The IS consists of an information environment, a Solver, and a cognitive interface. One component of the cognitive interface is a metatheoretical study (metatheoretical analysis) applied to the results generated by the Solver of IS. New procedures are proposed that expand the existing set of procedures in metatheoretical research: determining the type of the cause context (determining the influence of other causes in a situation of multiple causes) and recognizing the ternary of the cause (satisfaction with the ternary relation “object-set of obstacles (brakes)-effect”) for empirical preregularities (EPRs) and, accordingly, empirical regularities (ERs), a superposition of EPRs. An example from a study of type 3c diabetes is given.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"50 - 56"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100352","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Software Implementation of the Method of Finding Extrema in Tree Representation 树表示中求极值方法的软件实现
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105524700432
L. S. Goglacheva, N. A. Mamedova, M. A. Afanasev
{"title":"Software Implementation of the Method of Finding Extrema in Tree Representation","authors":"L. S. Goglacheva,&nbsp;N. A. Mamedova,&nbsp;M. A. Afanasev","doi":"10.3103/S0005105524700432","DOIUrl":"10.3103/S0005105524700432","url":null,"abstract":"<p>The possibilities of using a mathematical apparatus for solving current applied problems related to finding extreme values in areas such as process optimization, data analysis, and technical calculations are shown. Attention is focused on the development of the binary tree concept as a basis for finding extremes and solving problems that require fast and efficient information processing. The development of a software implementation of the proposed mathematical apparatus in the C++ programming language is presented; how the methods and algorithms can be integrated into existing software environments is described; and the advantages of using C++ for working with large amounts of data and high performance requirements are demonstrated.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"9 - 14"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Prospects for the Development of Information Technologies in the Management System of Metallurgical Companies 冶金企业管理系统信息技术发展展望
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105524700420
V. S. Vasiltsov
{"title":"Prospects for the Development of Information Technologies in the Management System of Metallurgical Companies","authors":"V. S. Vasiltsov","doi":"10.3103/S0005105524700420","DOIUrl":"10.3103/S0005105524700420","url":null,"abstract":"<p>This article considers the trends of the accelerating import substitution of the production management of IT; the importance of metallurgy in national security and for the achievement of information sovereignty; and self-investment by the industry in digitalization and software development. Based on the complex structure of the corporate business system of PAO Severstal; the specifics of the functioning of the ERP and MES systems and the subsystems APS, EAM, and SCADA; and the problems, characteristics, implementation examples, and forecast of the effectiveness of the Russian MES prototype Metallurgy are clarified.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"25 - 32"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Study of Multiplicative Sequence of Pseudorandom Frames in a Knowledge Base 知识库中伪随机帧的乘法序列研究
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105525700025
N. I. Sidnyaev, E. E. Sineva
{"title":"Study of Multiplicative Sequence of Pseudorandom Frames in a Knowledge Base","authors":"N. I. Sidnyaev,&nbsp;E. E. Sineva","doi":"10.3103/S0005105525700025","DOIUrl":"10.3103/S0005105525700025","url":null,"abstract":"<p>This paper describes models of knowledge representation in intelligent systems, namely frames, that allow a knowledge hierarchy to be organized. Basic information on random and pseudorandom sequences and their use, obtainment, and testing in knowledge bases is presented. Particular attention is paid to different types of generators, the quality control of the output sequences, and the potential for their use in the cryptographic protection of knowledge bases. Frames extend the potential of intelligent systems, holding entities as structured objects that have named cells and associated values. This article examines the peculiarities of the functioning of intelligent systems using frames.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"41 - 49"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100351","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mathematical Models of Software Failures of Digital Control Systems 数字控制系统软件故障的数学模型
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-05-20 DOI: 10.3103/S0005105524700419
A. V. Bogomolov, E. V. Larkin, A. N. Privalov
{"title":"Mathematical Models of Software Failures of Digital Control Systems","authors":"A. V. Bogomolov,&nbsp;E. V. Larkin,&nbsp;A. N. Privalov","doi":"10.3103/S0005105524700419","DOIUrl":"10.3103/S0005105524700419","url":null,"abstract":"<p>The results of a reliability study of digital management software for multiloop objects, information processes, and systems are presented. Mathematical models of the control object, control program, and processes of the occurrence of malfunctions and failures under digital control are developed. Expressions for calculating the estimates of software development time to malfunction and to failure are obtained. Poisson flows of malfunctions and failures of software and a digital control system in general are described. It is shown that the synthesized mathematical models enable correct prediction of software failures in digital control systems.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"1 - 8"},"PeriodicalIF":0.5,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144100354","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Digital Tools and Virtual Assistants to Support Scientific Research in Geology 支持地质科学研究的数字工具和虚拟助手
IF 0.5
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS Pub Date : 2025-04-16 DOI: 10.3103/S0005105525700360
V. V. Naumova, A. A. Zagumennov, V. S. Eremenko
{"title":"Digital Tools and Virtual Assistants to Support Scientific Research in Geology","authors":"V. V. Naumova,&nbsp;A. A. Zagumennov,&nbsp;V. S. Eremenko","doi":"10.3103/S0005105525700360","DOIUrl":"10.3103/S0005105525700360","url":null,"abstract":"<p>The article describes the main stages of the application of information technologies to scientific research in geology. A number of digital technologies of the near future are considered that currently have prospects for application in geology. The first results of the work at the SGM RAS showed the prospect of applying the next steps in the development of IT technologies in the creation of information and computing systems to support geological research.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"58 5 supplement","pages":"S289 - S293"},"PeriodicalIF":0.5,"publicationDate":"2025-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143835678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信