首页 > 最新文献

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS最新文献

英文 中文
Prospects for Big Text Data Application in Technology Maturity Assessment (Publications Review) 大文本数据在技术成熟度评估中的应用展望(出版物评论)
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-08-26 DOI: 10.3103/S0005105525700505
I. V. Loginova, F. M. Grozovskiy, A. S. Piekalnits

The paper analyzes the limitations of conventional methods for assessing the maturity of technology, such as the S-curve, technology readiness level (TRL), Gartner’s hype cycle and their dependence on experts’ opinions. Current approaches to this task based on big text data analysis and machine learning algorithms are reviewed, and their advantages are demonstrated. As a result of existing research systematization, the prospects of transition to automated technology maturity assessment using machine learning methods are revealed.

本文分析了传统技术成熟度评估方法的局限性,如s曲线、技术成熟度水平(TRL)、Gartner的炒作周期以及它们对专家意见的依赖。本文回顾了当前基于大文本数据分析和机器学习算法的方法,并展示了它们的优势。由于现有研究的系统化,揭示了使用机器学习方法向自动化技术成熟度评估过渡的前景。
{"title":"Prospects for Big Text Data Application in Technology Maturity Assessment (Publications Review)","authors":"I. V. Loginova,&nbsp;F. M. Grozovskiy,&nbsp;A. S. Piekalnits","doi":"10.3103/S0005105525700505","DOIUrl":"10.3103/S0005105525700505","url":null,"abstract":"<p>The paper analyzes the limitations of conventional methods for assessing the maturity of technology, such as the <i>S</i>-curve, technology readiness level (TRL), Gartner’s hype cycle and their dependence on experts’ opinions. Current approaches to this task based on big text data analysis and machine learning algorithms are reviewed, and their advantages are demonstrated. As a result of existing research systematization, the prospects of transition to automated technology maturity assessment using machine learning methods are revealed.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 3","pages":"145 - 153"},"PeriodicalIF":0.5,"publicationDate":"2025-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144905169","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
Analysis of Interrelations of Scientific Subject Areas Based on the Method of Graphosemantic Modeling 基于图语义建模方法的科学学科领域相互关系分析
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-08-26 DOI: 10.3103/S0005105525700621
A. D. Egorova, O. Yu. Amurskaya

This article explores the unification of two relevant areas that are rarely studied together: the computational linguistics field of sentiment analysis and the physico-mathematical field of entropy-complexity. Based on keywords from articles on both topics, links are established that form a single semantic space at the junction of these subject areas. The information system of the data visualization tool Semograph was used to visualize the data and identify semantic links between semantic components and between sentiment analysis and entropy complexity.

本文探讨了两个很少一起研究的相关领域的统一:情感分析的计算语言学领域和熵复杂性的物理数学领域。基于这两个主题文章的关键词,在这些主题领域的交界处建立链接,形成一个单一的语义空间。利用数据可视化工具Semograph的信息系统对数据进行可视化,识别语义成分之间、情感分析与熵复杂度之间的语义联系。
{"title":"Analysis of Interrelations of Scientific Subject Areas Based on the Method of Graphosemantic Modeling","authors":"A. D. Egorova,&nbsp;O. Yu. Amurskaya","doi":"10.3103/S0005105525700621","DOIUrl":"10.3103/S0005105525700621","url":null,"abstract":"<p>This article explores the unification of two relevant areas that are rarely studied together: the computational linguistics field of sentiment analysis and the physico-mathematical field of entropy-complexity. Based on keywords from articles on both topics, links are established that form a single semantic space at the junction of these subject areas. The information system of the data visualization tool Semograph was used to visualize the data and identify semantic links between semantic components and between sentiment analysis and entropy complexity.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 3","pages":"185 - 193"},"PeriodicalIF":0.5,"publicationDate":"2025-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144905183","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
Intelligent System for Detecting Environmental Problems Based on Multispectral Satellite Images 基于多光谱卫星图像的环境问题智能检测系统
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-08-26 DOI: 10.3103/S0005105525700566
E. P. Zharikova, Y. U. Grigoryev, I. N. Alkhimenko, A. L. Grigoryeva

This paper describes the development of an intelligent system for detecting environmental problems based on multispectral satellite images. The functionality of the system is based on machine learning algorithms and provides the ability to highlight areas of environmental problems based on the analysis of each individual pixel of the image. The article describes the system architecture, data collection and preprocessing process, model development and training. The evaluation of the results of the system is based on real data. The effectiveness of application of the developments obtained as a result of the study for the tasks of monitoring the environmental state of the Earth’s surface for large territories is confirmed. The use of software modules provides the ability to respond quickly to emerging environmental abnormal situations.

本文介绍了一种基于多光谱卫星图像的环境问题智能检测系统的研制。该系统的功能基于机器学习算法,并根据对图像每个像素的分析,提供突出显示环境问题区域的能力。本文介绍了系统架构、数据采集和预处理过程、模型开发和训练。系统的评价结果以实际数据为依据。将研究结果所取得的发展应用于监测广大地区地球表面环境状况的任务的有效性得到了证实。软件模块的使用提供了快速响应新出现的环境异常情况的能力。
{"title":"Intelligent System for Detecting Environmental Problems Based on Multispectral Satellite Images","authors":"E. P. Zharikova,&nbsp;Y. U. Grigoryev,&nbsp;I. N. Alkhimenko,&nbsp;A. L. Grigoryeva","doi":"10.3103/S0005105525700566","DOIUrl":"10.3103/S0005105525700566","url":null,"abstract":"<p>This paper describes the development of an intelligent system for detecting environmental problems based on multispectral satellite images. The functionality of the system is based on machine learning algorithms and provides the ability to highlight areas of environmental problems based on the analysis of each individual pixel of the image. The article describes the system architecture, data collection and preprocessing process, model development and training. The evaluation of the results of the system is based on real data. The effectiveness of application of the developments obtained as a result of the study for the tasks of monitoring the environmental state of the Earth’s surface for large territories is confirmed. The use of software modules provides the ability to respond quickly to emerging environmental abnormal situations.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 3","pages":"154 - 159"},"PeriodicalIF":0.5,"publicationDate":"2025-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144905185","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
Conceptual Model of Neural Network Algorithmization of Semantic Processing of Scientific and Technical Information 科技信息语义处理的神经网络算法概念模型
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-06-16 DOI: 10.3103/S0005105525700529
S. M. Pistsov, V. A. Trusov

The use of neural network language models to increase the efficiency of processing scientific and technical information (STI) on the Internet from the point of view of cognitive information retrieval is considered. A conceptual model is proposed to identify subject areas that corresponding to the object of information need based on existing STI classification systems. The model is based on the principles of coordinate indexing incorporating methods of detecting and tracking topics and the use of large language models to analyze the information space of the user’s information needs, metasearch of Internet resources, automatic abstracting and ranking of relevant documents.

从认知信息检索的角度考虑利用神经网络语言模型来提高互联网科技信息处理的效率。在现有科技创新分类系统的基础上,提出了一个概念模型来识别与信息需求对象相对应的主题领域。该模型基于坐标标引的原则,结合主题检测和跟踪方法,利用大型语言模型分析用户信息需求的信息空间,对互联网资源进行元搜索,对相关文档进行自动文摘和排序。
{"title":"Conceptual Model of Neural Network Algorithmization of Semantic Processing of Scientific and Technical Information","authors":"S. M. Pistsov,&nbsp;V. A. Trusov","doi":"10.3103/S0005105525700529","DOIUrl":"10.3103/S0005105525700529","url":null,"abstract":"<p>The use of neural network language models to increase the efficiency of processing scientific and technical information (STI) on the Internet from the point of view of cognitive information retrieval is considered. A conceptual model is proposed to identify subject areas that corresponding to the object of information need based on existing STI classification systems. The model is based on the principles of coordinate indexing incorporating methods of detecting and tracking topics and the use of large language models to analyze the information space of the user’s information needs, metasearch of Internet resources, automatic abstracting and ranking of relevant documents.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 2","pages":"78 - 85"},"PeriodicalIF":0.5,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166259","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
Some Methods for Finding a Solution in Partially Defined Functional Neural Networks Given by Declarations 由声明给出的部分定义泛函神经网络解的若干方法
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-06-16 DOI: 10.3103/S0005105525700542
V. N. Betin, V. A. Ivashchenko, A. P. Suprun

The paper considers the features of an algorithm for finding a solution in the formalism of functional neural networks (FN-networks), where the knowledge base and description of the initial problem contain concepts that are defined by partially defined FN-networks with a regular structure, in the form of enumerations of sets of the same type of objects and fragments of the same structure, when their number is unknown and possibly infinite.

本文考虑了一种求解泛函神经网络(FN-networks)形式的算法的特征,其中初始问题的知识库和描述包含由具有规则结构的部分定义的fn -网络定义的概念,这些概念以相同类型的对象和相同结构的片段的集合的枚举形式定义,当它们的数量是未知的并且可能是无限的。
{"title":"Some Methods for Finding a Solution in Partially Defined Functional Neural Networks Given by Declarations","authors":"V. N. Betin,&nbsp;V. A. Ivashchenko,&nbsp;A. P. Suprun","doi":"10.3103/S0005105525700542","DOIUrl":"10.3103/S0005105525700542","url":null,"abstract":"<p>The paper considers the features of an algorithm for finding a solution in the formalism of functional neural networks (FN-networks), where the knowledge base and description of the initial problem contain concepts that are defined by partially defined FN-networks with a regular structure, in the form of enumerations of sets of the same type of objects and fragments of the same structure, when their number is unknown and possibly infinite.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 2","pages":"98 - 108"},"PeriodicalIF":0.5,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166260","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
Algorithms for Identifying and Resolving Conflict Situations in Management of Organizational Systems 识别和解决组织系统管理中冲突情况的算法
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-06-16 DOI: 10.3103/S0005105525700530
L. V. Rossikhina, D. E. Orlova, V. A. Chertov

Structural, target, and resource conflict situations arising in management of organizational systems and algorithms that help to identify and resolve these situations are considered. This study is carried out in the interest of creating computer technologies for the intellectual support of decision-making in management in organizational systems on the basis of the provisions of system analysis, the theory of management and decision-making, and the theory of active systems and the concept of artificial intelligence.

在组织系统和算法的管理中产生的结构、目标和资源冲突情况,有助于识别和解决这些情况。本研究的目的是在系统分析、管理与决策理论、主动系统理论和人工智能概念的基础上,为组织系统中管理决策的智力支持创造计算机技术。
{"title":"Algorithms for Identifying and Resolving Conflict Situations in Management of Organizational Systems","authors":"L. V. Rossikhina,&nbsp;D. E. Orlova,&nbsp;V. A. Chertov","doi":"10.3103/S0005105525700530","DOIUrl":"10.3103/S0005105525700530","url":null,"abstract":"<p>Structural, target, and resource conflict situations arising in management of organizational systems and algorithms that help to identify and resolve these situations are considered. This study is carried out in the interest of creating computer technologies for the intellectual support of decision-making in management in organizational systems on the basis of the provisions of system analysis, the theory of management and decision-making, and the theory of active systems and the concept of artificial intelligence.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 2","pages":"86 - 97"},"PeriodicalIF":0.5,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166252","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
Structural-Functional Models for Effective Topologies Search 有效拓扑搜索的结构-功能模型
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-06-16 DOI: 10.3103/S0005105525700517
L. A. Mylnikov, S. L. Mylnikova, Z. Zh. Avramovic

The problem of generating effective configurations of structural-functional models of process activity using event-driven process methodology notation is discussed. A symbolic encoding system for topologies and a random search method, which allows generating many solutions based on previous options, are proposed. The presented experiments show that the proposed method helps to find effective configurations of the organization of processes that take into account the delimitations; if these delimitations cannot be implemented, then they suggest options in breach of them and introduce new options not previously proposed by experts, `comparing them according to performance evaluation data.

讨论了使用事件驱动过程方法学符号生成过程活动的结构-功能模型的有效配置问题。提出了一种拓扑符号编码系统和一种随机搜索方法,该方法可以基于先前的选项生成许多解。实验表明,该方法有助于找到考虑边界的过程组织的有效构型;如果不能实现这些界限,他们就会提出违反这些界限的方案,并引入以前没有专家提出的新方案,根据绩效评估数据进行比较。
{"title":"Structural-Functional Models for Effective Topologies Search","authors":"L. A. Mylnikov,&nbsp;S. L. Mylnikova,&nbsp;Z. Zh. Avramovic","doi":"10.3103/S0005105525700517","DOIUrl":"10.3103/S0005105525700517","url":null,"abstract":"<p>The problem of generating effective configurations of structural-functional models of process activity using event-driven process methodology notation is discussed. A symbolic encoding system for topologies and a random search method, which allows generating many solutions based on previous options, are proposed. The presented experiments show that the proposed method helps to find effective configurations of the organization of processes that take into account the delimitations; if these delimitations cannot be implemented, then they suggest options in breach of them and introduce new options not previously proposed by experts, `comparing them according to performance evaluation data.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 2","pages":"71 - 77"},"PeriodicalIF":0.5,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166258","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
Ontology of Engineering and Computational Architecture of Multimodal Transport and Logistics Center 多式联运物流中心工程本体与计算体系结构
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-06-16 DOI: 10.3103/S0005105525700554
N. A. Mamedova, M. A. Afanasev, Yu. V. Nefedov, A. I. Urintsov

The conceptual framework and building of the ontology of a selected subject area is considered. The subject area is the development of engineering and computational architectures for the specific object of warehousing logistics. The research methodology is presented iteratively and includes a definition of the ontology structure and its requirements, a specification of terms, and a class hierarchy. The conceptual representation framework takes into account the distinction among objects of links identified from the data concerning the generative operation of a multimodal transport and logistics center. The chosen approach to ontology development allows the formulation of rules and operations for transforming the class hierarchy. This approach involves creating a hierarchy, where each concept can inherit attributes and relationships from a parent class, which simplifies data management within the subject area. The ontology is developed in the Protégé editor, the links expressing object relationships are defined, and a basis is created for searching axioms of dependencies among component objects of the IT architecture of the multimodal transport and logistics center. The ontology is intended to provide methodological support for decisions concerning configuring and parameterizing software and network components of the engineering and computing architectures of the multimodal transport and logistics center.

考虑了选定学科领域本体的概念框架和构建。主题领域是为仓储物流的具体对象的工程和计算架构的发展。研究方法是迭代的,包括本体结构及其需求的定义、术语规范和类层次结构。概念表示框架考虑到从多式联运和物流中心的生成操作数据中确定的链接对象之间的区别。所选择的本体开发方法允许制定用于转换类层次结构的规则和操作。这种方法涉及到创建一个层次结构,其中每个概念都可以从父类继承属性和关系,从而简化了主题区域内的数据管理。在prot编辑器中开发了本体,定义了表示对象关系的链接,并为搜索多式联运和物流中心IT体系结构的组件对象之间的依赖公理创建了基础。该本体旨在为多式联运和物流中心的工程和计算架构的软件和网络组件的配置和参数化决策提供方法学支持。
{"title":"Ontology of Engineering and Computational Architecture of Multimodal Transport and Logistics Center","authors":"N. A. Mamedova,&nbsp;M. A. Afanasev,&nbsp;Yu. V. Nefedov,&nbsp;A. I. Urintsov","doi":"10.3103/S0005105525700554","DOIUrl":"10.3103/S0005105525700554","url":null,"abstract":"<p>The conceptual framework and building of the ontology of a selected subject area is considered. The subject area is the development of engineering and computational architectures for the specific object of warehousing logistics. The research methodology is presented iteratively and includes a definition of the ontology structure and its requirements, a specification of terms, and a class hierarchy. The conceptual representation framework takes into account the distinction among objects of links identified from the data concerning the generative operation of a multimodal transport and logistics center. The chosen approach to ontology development allows the formulation of rules and operations for transforming the class hierarchy. This approach involves creating a hierarchy, where each concept can inherit attributes and relationships from a parent class, which simplifies data management within the subject area. The ontology is developed in the Protégé editor, the links expressing object relationships are defined, and a basis is created for searching axioms of dependencies among component objects of the IT architecture of the multimodal transport and logistics center. The ontology is intended to provide methodological support for decisions concerning configuring and parameterizing software and network components of the engineering and computing architectures of the multimodal transport and logistics center.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 2","pages":"109 - 123"},"PeriodicalIF":0.5,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166261","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 Refilling Model of an Automated System 自动化系统的信息填充模型
IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-05-20 DOI: 10.3103/S0005105524700456
M. A. Prokhorov, D. S. Tobin, R. S. Zlobin

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.

指出了信息支助在科学和技术活动中的作用。建立了自动化信息提供系统的信息资源补充模型,并以模型系统及其过程和仿真的形式予以实现。提出了一种将过程模型引入仿真的方法,得到了需求停留时间在海量服务系统中的分布依赖关系。研究了典型自动化信息供应系统的信息资源补充模型。
{"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 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS Pub Date : 2025-05-20 DOI: 10.3103/S0005105525700049
A. S. Dubrovin, V. I. Sumin, Yu. Yu. Gromov, V. M. Tyutyunnik

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.

考虑了一种特殊用途自动化信息系统安全子系统的数学模型,将其按安全级别进行分层分解,在此基础上,利用有限的非线性格装置,可以制定和分析相对灵活的信息访问微分规则,并保证其实现。提出了两个适用于此目的的有限非线性格。对于每一个,都定义了载波、偏序和代数运算。这些格的解释是作为向量安全级别给出的,而不是众所周知的有限线性格作为数值安全级别的解释。对于矢量安全级别,定义了强制安全策略的“不向上读”和“不向下写”规则。这些格的建模能力是等价的。所开发的模型集成了强制和自由访问控制方法的原则,将主体作为用户和对象之间的中介。提出了适用于用有限非线性格表示安全等级的Bell-LaPadula模型。
{"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
期刊
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1