AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS最新文献

英文中文

Features of Automation of Information Search in the Design of Technical Objects Using Their Digital Twins 数字孪生技术对象设计中信息检索自动化的特点

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-09-01 DOI: 10.3103/S0005105523030081

V. N. Shvedenko, O. V. Shchekochikhin, Y. A. Sinkevich, A. A. Volkov

The development of a new methodology for the search and use of scientific and technical information from a wide class of electronic resources to improve the design efficiency of new models, modifications, and implementations of technical products is proposed. Verification of the possibilities for achieving the tactical and technical characteristics of scientific and technical products is conducted through virtual experiments as recommended in the scientific and technical literature and the documentation of innovations. To implement effective search, it is proposed to create an information system for the continuous monitoring of scientific journals, patents, sites of manufacturers of components, materials, and so on. A schematic diagram of the information system for searching for scientific and technical information is presented. A fragment of an information and search system based on a microservice architecture is shown.

建议开发一种新的方法，从广泛的电子资源中搜索和使用科学和技术信息，以提高技术产品的新模型、修改和实施的设计效率。按照科学技术文献和创新文献中的建议，通过虚拟实验验证实现科学技术产品战术和技术特征的可能性。为了实现有效的搜索，建议创建一个信息系统，对科学期刊、专利、零部件制造商网站、材料等进行持续监控。给出了搜索科技信息的信息系统示意图。展示了一个基于微服务架构的信息和搜索系统的片段。

引用次数: 0

Implementation of a Plausible Reasoning in the Prolog Programming Language Prolog程序设计语言中合理推理的实现

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-09-01 DOI: 10.3103/S0005105523030068

E. A. Efimova

Features of the representation of a plausible reasoning in various implementations of the logical programming language Prolog are considered. A number of computer applications developed in Prolog are described, which contain examples of practical use of the JSM method of automatic research support.

考虑了逻辑编程语言Prolog的各种实现中合理推理的表示特征。介绍了在Prolog中开发的一些计算机应用程序，其中包括自动研究支持的JSM方法的实际使用示例。

引用次数: 0

Classification of Bibliographic References to Determine the Mutual Influence of Large Areas of Knowledge 书目参考文献分类以确定大知识领域的相互影响

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020061

R. S. Gilyarevskii, A. N. Libkind, I. A. Libkind

This paper discusses the structure of the list of the thematic categories of the Web of Science in connection with the incorrectness of calculations of the number of profiling publications contained in them, as well as a possible way out of the situation using bibliographic references. It is established that the comparison of citations between large sections of science confirms the strengthening of the mutual influence of the natural and social sciences and the humanities in interdisciplinarity of research.

本文讨论了科学网主题类别列表的结构，以及其中所包含的简介出版物数量计算的错误，以及使用书目参考文献解决这种情况的可能方法。可以肯定的是，大科学部分之间引用的比较证实了自然科学、社会科学和人文科学在跨学科研究中的相互影响得到了加强。

引用次数: 0

Existence of Large Sublattices Isomorphic to Boolean Algebra in a Candidate Lattice 候选格中与布尔代数同构的大子格的存在性

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020097

D. Vinogradov

Algebraic machine learning has emerged as a way to overcome the need to generate a (potentially exponential) lattice of all candidates (as, for example, in the case of Boolean algebra). In this paper, it is proven that for a random training sample generated by the Bernoulli sequence, the probability that a large sublattice will arise in the lattice of candidates isomorphic to Boolean algebra will tend to unity as the sample size increases.

代数机器学习已经成为一种克服生成所有候选者的（潜在指数）格的需要的方法（例如，在布尔代数的情况下）。本文证明，对于由伯努利序列生成的随机训练样本，随着样本量的增加，同构于布尔代数的候选格中出现大子格的概率将趋于一致。

引用次数: 1

Application of the JSM Method of Automated Research Support to Predict Diabetes Development in Patients with Chronic Pancreatitis 自动研究支持的JSM方法在预测慢性胰腺炎患者糖尿病发展中的应用

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020085

O. P. Shesternikova, V. K. Finn, K. A. Lesko, L. V. Vinokurova

The article describes the application of algorithmic tools for finding empirical regularities using the JSM method of automated research support to an array of patients for studying type 3c (pancreatogenic) diabetes mellitus. A generalized method, representing the ternary predicate of causality (cause–set of brakes for the cause–effect), is used to find empirical regularities for the first time.

本文描述了使用自动化研究支持的JSM方法，在一系列研究3c型（胰源性）糖尿病的患者中应用算法工具来寻找经验规律。首次使用一种表示因果关系三元谓词（因果关系的原因-刹车集）的广义方法来寻找经验规律。

引用次数: 2

Conception and Linguistic Means of Representation and Knowledge Processing at the Semantic Level 概念、语言表示方法和语义层面的知识处理

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020073

G. Sergievsky, M. Sergievsky

Abstract—

The requirements that knowledge representation languages must meet are determined. It is concluded that the reasons for the failures of previous projects within the knowledge-based systems paradigm are the lack of knowledge representation languages focused on processing knowledge expressed in a conceptual form. The main elements of the system are the knowledge base, the database, and the inference machine. Facts are stored in a database in the form of a network of instances of concepts; universal knowledge is presented in the form of an ontology of the domain area, consisting of a set of definitions of concepts, integrity conditions, and rules. The tools of ontology definition allow solving the problem of describing the semantics of concepts using the concept model of the representation/content type, which allows representing and processing information at the semantic level. The advantage of the proposed approach is the possibility of using the same language for entering not only facts and queries but also for defining concepts and rules.

摘要——确定了知识表示语言必须满足的要求。结果表明，以往基于知识的系统范式中的项目失败的原因是缺乏专注于处理以概念形式表达的知识的知识表示语言。系统的主要元素是知识库、数据库和推理机。事实以概念实例网络的形式存储在数据库中；通用知识以领域本体的形式呈现，由概念、完整性条件和规则的一组定义组成。本体定义的工具允许使用表示/内容类型的概念模型来解决描述概念的语义的问题，这允许在语义级别上表示和处理信息。所提出的方法的优点是可以使用相同的语言不仅输入事实和查询，还可以定义概念和规则。

{"title":"Conception and Linguistic Means of Representation and Knowledge Processing at the Semantic Level","authors":"G. Sergievsky, M. Sergievsky","doi":"10.3103/S0005105523020073","DOIUrl":"10.3103/S0005105523020073","url":null,"abstract":"<div><div><h3>\u0000 <b>Abstract</b>—</h3><p>The requirements that knowledge representation languages must meet are determined. It is concluded that the reasons for the failures of previous projects within the knowledge-based systems paradigm are the lack of knowledge representation languages focused on processing knowledge expressed in a conceptual form. The main elements of the system are the knowledge base, the database, and the inference machine. Facts are stored in a database in the form of a network of instances of concepts; universal knowledge is presented in the form of an ontology of the domain area, consisting of a set of definitions of concepts, integrity conditions, and rules. The tools of ontology definition allow solving the problem of describing the semantics of concepts using the concept model of the representation/content type, which allows representing and processing information at the semantic level. The advantage of the proposed approach is the possibility of using the same language for entering not only facts and queries but also for defining concepts and rules.</p></div></div>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"57 2","pages":"127 - 133"},"PeriodicalIF":0.5,"publicationDate":"2023-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48766491","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

Control Systems: Intellectualization As a Response to Challenges of the Big Data Era 控制系统:智能化应对大数据时代的挑战

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020048

M. I. Zabezhailo

Abstract—

This article analyzes the problem of processing massive amounts of data under strict time constraints in control systems. One strategy for solving this problem involves the use of artificial intelligence (AI) technologies. The range of mathematical models traditionally used in control systems has been supplemented by AI-based solutions that involve computer-oriented formalizations of strategies used by human experts to solve problems of this type: so-called interpolation/extrapolation (I/E) models. This article discusses certain significant features of I/E-type solutions, in particular, their ability to generate effective solutions in open big data environments (where the behavior of the control object is not characterized by a single NORMAL state), the problem of identifying stable (inheritable) solutions in the set of permissible solutions when updating empirical data on behaviors of the control object, and finally the problem of identifying empirical dependencies of a causal nature in the current data to compile informal interpretations of alternatives (recommendations) generated by the digital control system to be presented to decision makers (DMs).

摘要——本文分析了控制系统在严格时间约束下处理大量数据的问题。解决这个问题的一个策略是使用人工智能技术。传统上用于控制系统的一系列数学模型得到了基于人工智能的解决方案的补充，这些解决方案涉及人类专家用于解决这类问题的策略的面向计算机的形式化：所谓的内插/外插（I/E）模型。本文讨论了I/E型解决方案的某些重要特征，特别是它们在开放的大数据环境中生成有效解决方案的能力（其中控制对象的行为不以单个NORMAL状态为特征），当更新关于控制对象的行为的经验数据时，在允许解的集合中识别稳定（可继承）解的问题，最后是识别当前数据中因果性质的经验依赖性的问题，以汇编数字控制系统生成的备选方案（建议）的非正式解释，并提交给决策者（DM）。

{"title":"Control Systems: Intellectualization As a Response to Challenges of the Big Data Era","authors":"M. I. Zabezhailo","doi":"10.3103/S0005105523020048","DOIUrl":"10.3103/S0005105523020048","url":null,"abstract":"<div><div><h3>\u0000 <b>Abstract</b>—</h3><p>This article analyzes the problem of processing massive amounts of data under strict time constraints in control systems. One strategy for solving this problem involves the use of artificial intelligence (AI) technologies. The range of mathematical models traditionally used in control systems has been supplemented by AI-based solutions that involve computer-oriented formalizations of strategies used by human experts to solve problems of this type: so-called interpolation/extrapolation (I/E) models. This article discusses certain significant features of I/E-type solutions, in particular, their ability to generate effective solutions in open big data environments (where the behavior of the control object is not characterized by a single NORMAL state), the problem of identifying stable (inheritable) solutions in the set of permissible solutions when updating empirical data on behaviors of the control object, and finally the problem of identifying empirical dependencies of a causal nature in the current data to compile informal interpretations of alternatives (recommendations) generated by the digital control system to be presented to decision makers (DMs).</p></div></div>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"57 2","pages":"73 - 81"},"PeriodicalIF":0.5,"publicationDate":"2023-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41568953","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

Domain Delineation of an Emerging Field of Interdisciplinary Research Using Scientometric Methods: Case Study of Exposomics 用科学计量学方法描述一个新兴的跨学科研究领域:暴露组学的案例研究

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020024

B. L. Milman, I. K. Zhurkovich

Abstract—

This article presents an analysis of citation and co-citation in exposomics, an emerging interdisciplinary field of biomedical, biochemical, and other research related to environmental impacts on health. Exposomics is adjacent to several research fronts (genomics and metabolomics). Distinct research subfields in the considered area are defined based on clusters of highly cited and highly co-cited documents from the Google Scholar database, together with the corresponding citing publications. By varying the co-citation threshold, research subfields can be distinguished: a general area focused on developing the concept of exposome and individual specialized subfields. The problem of delineation of research topics within interdisciplinary research monitoring is discussed.

摘要——本文分析了暴露组学中的引用和共引用，暴露组学是生物医学、生物化学和其他与环境对健康影响相关的研究的新兴跨学科领域。暴露组学与几个研究前沿（基因组学和代谢组学）相邻。所考虑的领域中不同的研究子领域是根据谷歌学者数据库中的高引用和高共引用文献集群以及相应的引用出版物来定义的。通过改变共引阈值，可以区分研究子领域：一个专注于发展暴露组和个别专业子领域概念的一般领域。讨论了跨学科研究监测中研究主题的界定问题。

引用次数: 0

Using Big Data Technology to Improving Navigation Methods for Mobile Robots 利用大数据技术改进移动机器人导航方法

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-06-13 DOI: 10.3103/S0005105523020036

D. M. Tsapin, K. V. Pitelinskiy

This article describes mobile robot systems and their information management processes that generate the use of Big Data technologies. The features of the application of the group of simultaneous localization and mapping (SLAM) methods for navigating the terrain of mobile robots are considered. An overview of approaches to the implementation of SLAM methods and their implementations on the platform of robot operation system packages is given. The possibility of using convolutional neural networks to improve the accuracy of the SLAM method is substantiated. In addition, this article presents conceptual diagram of the navigation algorithm for a mobile robotic system.

本文描述了移动机器人系统及其信息管理过程，这些过程产生了大数据技术的使用。考虑了一组同时定位和映射（SLAM）方法在移动机器人地形导航中的应用特点。概述了SLAM方法的实现方法及其在机器人操作系统包平台上的实现。证明了使用卷积神经网络来提高SLAM方法准确性的可能性。此外，本文还给出了移动机器人系统导航算法的概念图。

引用次数: 0

Algorithm for Setting Fuzzy Logical Inclusion Systems Based on Statistical Data 基于统计数据的模糊逻辑包含系统设置算法

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

Pub Date : 2023-04-18 DOI: 10.3103/S0005105523010028

M. S. Golosovskiy, A. V. Bogomolov, D. S. Tobin

An original algorithm for tuning zero-order Sugeno-type fuzzy inference systems based on statistical data is presented. The algorithm is based on selecting areas around the reference points, finding the coordinates of the center of mass of the selected areas, and using them to set up a fuzzy inference system. A convergence theorem is proven for the proposed algorithm. The paper presents the results of studying the quality of the algorithm under conditions of changing the number of membership functions of input variables and the number of statistical data points, on the basis of which the fuzzy inference systems were tuned.

提出了一种基于统计数据的零阶Sugeno型模糊推理系统整定算法。该算法基于在参考点周围选择区域，找到所选区域的质心坐标，并利用它们建立模糊推理系统。证明了该算法的收敛性定理。本文给出了在改变输入变量隶属函数个数和统计数据点个数的条件下研究算法质量的结果，在此基础上对模糊推理系统进行了调整。

引用次数: 0

首页上一页

下一页尾页

类型

全部化学•材料生命科学医学物理工程技术环境•农林材料科学地球科学法学管理学化学环境科学与生态学计算机科学教育学经济学农林科学人文科学生物学数学物理与天体物理心理学综合性期刊其他工业工程理学历史学农学文学信息工程

数据库

全部 ACS Publications Elsevier ieeexplore Springer The Royal Society of Chemistry Wiley

期刊

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.

﹀