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

System Informatics最新文献

筛选
英文 中文
CONSTRUCTING VERIFICATION-ORIENTED DOMAIN-SPECIFIC PROCESS ONTOLOGIES 构造面向验证的特定于领域的流程本体
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2019.n14.p19-30
N. Garanina, I. Anureev, V. Zyubin
{"title":"CONSTRUCTING VERIFICATION-ORIENTED DOMAIN-SPECIFIC PROCESS ONTOLOGIES","authors":"N. Garanina, I. Anureev, V. Zyubin","doi":"10.31144/si.2307-6410.2019.n14.p19-30","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2019.n14.p19-30","url":null,"abstract":"User-friendly formal specification and verification of concurrent systems from various subject domains are active research topics due to their practical significance. In this paper, we present the method for development of verification-oriented domain-specific process ontologies which are used to describe concurrent systems of subject domains. One of advantages of such ontologies is their formal semantics which makes possible formal verification of described systems. Our method is based on the verification-oriented process ontology. For constructing a domain-specific process ontology, our method uses techniques of semantic markup and pattern matching to associate domain-specific concepts with classes of the process ontology. We give detailed ontological specifications of these techniques. Our method is illustrated by the example of developing a domain-specific ontology for typical elements of automatic control systems.","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133139975","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}
引用次数: 1
INFORMATION EXTRACTION FROM SCIENTIFIC TEXTS IN RUSSIAN 俄语科学文本的信息提取
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2021.n19p57-70
Tatiana Batura, E. Bruches, A. Mezentseva
{"title":"INFORMATION EXTRACTION FROM SCIENTIFIC TEXTS IN RUSSIAN","authors":"Tatiana Batura, E. Bruches, A. Mezentseva","doi":"10.31144/si.2307-6410.2021.n19p57-70","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2021.n19p57-70","url":null,"abstract":"This article describes methods for automatic term extraction and linking to Wikidata. The advantage of the proposed methods is the potential possibility of their applicability to any field of knowledge where only unmarked texts and small term dictionaries are available. To carry out the experiments, a corpus of scientific texts RuSERRC was collected and marked up. The corpus and models are published on GitHub and may be useful to other research teams.","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123342793","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
TOWARDS AUTOMATED ERROR LOCALIZATION IN C PROGRAMS WITH LOOPS 用循环实现c程序中的自动错误定位
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/SI.2307-6410.2019.N14.P31-44
D. Kondratyev, A. Promsky
{"title":"TOWARDS AUTOMATED ERROR LOCALIZATION IN C PROGRAMS WITH LOOPS","authors":"D. Kondratyev, A. Promsky","doi":"10.31144/SI.2307-6410.2019.N14.P31-44","DOIUrl":"https://doi.org/10.31144/SI.2307-6410.2019.N14.P31-44","url":null,"abstract":"","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128525540","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}
引用次数: 2
EVOLUTION OF THE CONCEPT AND LIFE CYCLE OF KNOWLEDGE GRAPHS 知识图谱概念的演变与生命周期
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/SI.2307-6410.2020.N16.P57-74
Z. Apanovich
{"title":"EVOLUTION OF THE CONCEPT AND LIFE CYCLE OF KNOWLEDGE GRAPHS","authors":"Z. Apanovich","doi":"10.31144/SI.2307-6410.2020.N16.P57-74","DOIUrl":"https://doi.org/10.31144/SI.2307-6410.2020.N16.P57-74","url":null,"abstract":"The evolution of the concept of \"knowledge graph\" from the moment of its inception to the present moment is considered. The paper also discusses how the evolution of systems that position themselves as knowledge graphs has affected the definition and life cycle of knowledge graphs.","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128029460","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
SEQUENCE AS AN ABSTRACTION OF STRUCTURED DATABASE BUILDING 序列作为结构化数据库构建的抽象
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2021.n18.p35-52
A. Marchuk
{"title":"SEQUENCE AS AN ABSTRACTION OF STRUCTURED DATABASE BUILDING","authors":"A. Marchuk","doi":"10.31144/si.2307-6410.2021.n18.p35-52","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2021.n18.p35-52","url":null,"abstract":"The article presents a database model based on a sequence of objects. The issues of serialization/deserialization of objects, index constructions, structure and methods of the universal sequence and universal index, implementation of the complete editing basis through the use of the primary key, timestamp and \"empty\" value are considered.","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115795676","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
THEMATIC CLUSTERS WITHIN TEXT SETS AND EXAMINING TEMPORAL DYNAMICS OF THEMES (USING CONFERENCE PROCEEDINGS IN "ARGUMENT MINING") 文本集中的主题聚类并检查主题的时间动态(使用“论据挖掘”中的会议记录)
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2019.n15.p65-78
I. Pimenov, N. Salomatina, Elena Sidorova
{"title":"THEMATIC CLUSTERS WITHIN TEXT SETS AND EXAMINING TEMPORAL DYNAMICS OF THEMES (USING CONFERENCE PROCEEDINGS IN \"ARGUMENT MINING\")","authors":"I. Pimenov, N. Salomatina, Elena Sidorova","doi":"10.31144/si.2307-6410.2019.n15.p65-78","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2019.n15.p65-78","url":null,"abstract":"","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124229305","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
DEDUCTIVE VERIFICATION OF PREDICATE PROGRAM OF BINARY SEARCH OF AN ARBITRARY TYPE OBJECT 任意类型对象二分查找谓词程序的演绎验证
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2019.n15.p45-64
Shelekhov Vladimir
{"title":"DEDUCTIVE VERIFICATION OF PREDICATE PROGRAM OF BINARY SEARCH OF AN ARBITRARY TYPE OBJECT","authors":"Shelekhov Vladimir","doi":"10.31144/si.2307-6410.2019.n15.p45-64","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2019.n15.p45-64","url":null,"abstract":"","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123146903","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 METHOD TO VERIFY PARALLEL AND DISTRIBUTED SOFTWARE IN C# BY DOING ROSLYN AST TRANSFORMATION TO A PROMELA MODEL 通过对promela模型进行roslyn ast转换，在c#中验证并行和分布式软件的方法
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2019.n15.p13-44
S. Sergey, Dubko Anatoliy, Скб Контур
{"title":"A METHOD TO VERIFY PARALLEL AND DISTRIBUTED SOFTWARE IN C# BY DOING ROSLYN AST TRANSFORMATION TO A PROMELA MODEL","authors":"S. Sergey, Dubko Anatoliy, Скб Контур","doi":"10.31144/si.2307-6410.2019.n15.p13-44","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2019.n15.p13-44","url":null,"abstract":"In this paper, we describe an approach to formal verification of parallel and distributive programs in C#. We use Microsoft Roslyn technique to get syntax and semantic information about interesting constructions in the real source code to generate some corresponding code in Promela language, designed to model actor-based interoperation systems, so we do a program-to-model transformation. Then, we verify the usual problems of parallel and distributive code by checking pre-defined LTL formulas for the model program. We are able to provide checking of data races, improper locking usage, possible deadlocks in distributive service interoperations using the Model Checking approach. This method can be used to construct a static analyzer for the .NET platform.","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115517633","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}
引用次数: 3
METHODS AND TECHNOLOGIES FOR CONSTRUCTING EFFICIENT AND RELIABLE PROGRAMS AND SOFTWARE SYSTEMS BASED ON GRAPH MODELS AND SEMANTIC TRANSFORMATIONS 基于图模型和语义转换构建高效可靠的程序和软件系统的方法和技术
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2021.n19.p1-14
V. Kasyanov, E. Kasyanova
{"title":"METHODS AND TECHNOLOGIES FOR CONSTRUCTING EFFICIENT AND RELIABLE PROGRAMS AND SOFTWARE SYSTEMS BASED ON GRAPH MODELS AND SEMANTIC TRANSFORMATIONS","authors":"V. Kasyanov, E. Kasyanova","doi":"10.31144/si.2307-6410.2021.n19.p1-14","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2021.n19.p1-14","url":null,"abstract":"Since 2021 in the Institute of Informatics Systems SB RAS the project «Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations» has been implementing by a team of researchers of the Program Construction and Optimization Laboratory and System Programming Laboratory under the scientific leadership of D.Sc., Full Professor V.N. Kasyanov. The main executors of the project are Ph.D., Associate Professor E.V. Kasyanova and Ph.D. V.I. Shelekhov. This article briefly presents such results of the first stage of this project, which were obtained by the staff of the Program Construction and Optimization Laboratory.","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116544022","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}
引用次数: 1
INFORMATION SYSTEMS LABORATORY. MAIN SCIENTIFIC RESULTS IN 2021 信息系统实验室。2021年主要科研成果
System Informatics Pub Date : 1900-01-01 DOI: 10.31144/si.2307-6410.2021.n19.15-40
A. Marchuk, T. Andreeva, L. Gorodnyaya, Alexander Victorovich Demin, Irina Alexandrovna Krayneva, D. Ponomaryov, T. I. Tikhonova, M. Philippova
{"title":"INFORMATION SYSTEMS LABORATORY. MAIN SCIENTIFIC RESULTS IN 2021","authors":"A. Marchuk, T. Andreeva, L. Gorodnyaya, Alexander Victorovich Demin, Irina Alexandrovna Krayneva, D. Ponomaryov, T. I. Tikhonova, M. Philippova","doi":"10.31144/si.2307-6410.2021.n19.15-40","DOIUrl":"https://doi.org/10.31144/si.2307-6410.2021.n19.15-40","url":null,"abstract":"This paper presents main scientific results of Information systems laboratory in 2021","PeriodicalId":398328,"journal":{"name":"System Informatics","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125320890","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学术官方微信
小红书