AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS最新文献

英文中文

Materials Data Typology 材料数据类型

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

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

A. O. Erkimbaev, V. Yu. Zitserman, G. A. Kobzev

Technologies for storing and processing vast amounts of data have opened a new stage in the development of materials science, based on the application of artificial intelligence methods to the results of many years of research. Large volumes of heterogeneous data combined with powerful analytic facilities have allowed us to significantly expand the range and rate of production of research in comparison with empirical methods of selecting materials with specified properties. The emphasis is placed on the specifics of these data, which mainly determines the level and capabilities of information technologies in modern materials science. Their main features are revealed, which guarantee sufficient completeness of the information needed for creating and using various materials. These features include coverage, along with properties, of data on the microstructure and technology of the material; a large amount of qualitative information; and semistructured data type, i.e., the absence of a regular presentation scheme. Using the example of a number of infrastructure projects, the potential of management of materials science data taking into account their volume, logical structure and format are considered.

基于人工智能方法对多年研究成果的应用，存储和处理大量数据的技术开启了材料科学发展的新阶段。与选择具有特定性质的材料的经验方法相比，大量的异质数据与强大的分析设施相结合，使我们能够显著扩大研究的范围和生产率。重点是这些数据的细节，这主要决定了现代材料科学中信息技术的水平和能力。它们的主要特征被揭示出来，保证了创建和使用各种材料所需信息的充分完整性。这些特征包括材料微观结构和技术数据的覆盖范围以及性能；大量的定性信息；以及半结构化数据类型，即缺乏规则的表示方案。以一些基础设施项目为例，考虑到材料科学数据的数量、逻辑结构和格式，考虑了材料科学数据管理的潜力。

{"title":"Materials Data Typology","authors":"A. O. Erkimbaev, V. Yu. Zitserman, G. A. Kobzev","doi":"10.3103/S000510552303007X","DOIUrl":"10.3103/S000510552303007X","url":null,"abstract":"<p>Technologies for storing and processing vast amounts of data have opened a new stage in the development of materials science, based on the application of artificial intelligence methods to the results of many years of research. Large volumes of heterogeneous data combined with powerful analytic facilities have allowed us to significantly expand the range and rate of production of research in comparison with empirical methods of selecting materials with specified properties. The emphasis is placed on the specifics of these data, which mainly determines the level and capabilities of information technologies in modern materials science. Their main features are revealed, which guarantee sufficient completeness of the information needed for creating and using various materials. These features include coverage, along with properties, of data on the microstructure and technology of the material; a large amount of qualitative information; and semistructured data type, i.e., the absence of a regular presentation scheme. Using the example of a number of infrastructure projects, the potential of management of materials science data taking into account their volume, logical structure and format are considered.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"57 3","pages":"178 - 192"},"PeriodicalIF":0.5,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45273777","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 Features of Intelligent Analysis of Empirical Data Collections Updated with New Information, but Limited in Size 用新信息更新但规模有限的经验数据集的智能分析的一些特征

IF 0.5

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS

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

M. I. Zabezhailo, A. V. Amentes

This paper discusses certain possibilities and limitations of the use of mathematical models and methods of computer data analysis in the processing of collections of empirical data, which are open, replenished with new elements but limited in size. The characteristics of the statistical methods of data analysis, artificial neural networks, and methods based on interpolation-extrapolation techniques for identifying empirical cause-and-effect dependencies hidden in the analyzed data are considered.

本文讨论了在处理经验数据集时使用数学模型和计算机数据分析方法的某些可能性和局限性，这些数据集是开放的，补充了新的元素，但规模有限。考虑了数据分析的统计方法、人工神经网络和基于插值-外推技术的方法的特点，这些方法用于识别隐藏在分析数据中的经验因果相关性。

引用次数: 0

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

首页上一页

下一页尾页

类型

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

数据库

全部 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.

﹀