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

2017 Computer Science and Information Technologies (CSIT)最新文献

筛选
英文 中文
Modeling dynamic single-cell and coupling faults via automata models 利用自动机模型对动态单细胞故障和耦合故障进行建模
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/csitechnol.2017.8312142
D. Hayrapetyan, A. Manukyan
{"title":"Modeling dynamic single-cell and coupling faults via automata models","authors":"D. Hayrapetyan, A. Manukyan","doi":"10.1109/csitechnol.2017.8312142","DOIUrl":"https://doi.org/10.1109/csitechnol.2017.8312142","url":null,"abstract":"The main purpose of this paper is to introduce a new method of static and dynamic fault representation with the help of deterministic finite automata (DFA) formalization. This method can be used during memory behavior simulation at register transfer level.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121035027","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
A multi-user and multi-purpose CA simulator 一个多用户和多用途CA模拟器
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312133
H. Nahapetyan, J. Jessel, S. Poghosyan, Yu. H. Shoukourian
{"title":"A multi-user and multi-purpose CA simulator","authors":"H. Nahapetyan, J. Jessel, S. Poghosyan, Yu. H. Shoukourian","doi":"10.1109/CSITECHNOL.2017.8312133","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312133","url":null,"abstract":"In this paper, a software package for cellular automata simulation, 2D/3D visualization with a shared work support system was introduced, that was designed considering the needs of researchers in both local and virtual laboratories. As an example of cellular automata, abelian sandpile model has been chosen. An appropriate software package has been developed using Microsoft .Net and C# enabling users to work at the same time on the same models independent of the geographical location of users within the public network.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122495742","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
Volterra polynomials in the intelligent control system of wind power plant operation Volterra多项式在风电场运行智能控制系统中的应用
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312157
S. Solodusha, I. Orlova
{"title":"Volterra polynomials in the intelligent control system of wind power plant operation","authors":"S. Solodusha, I. Orlova","doi":"10.1109/CSITECHNOL.2017.8312157","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312157","url":null,"abstract":"The paper is focused on the possibility of integrating situation control and simulation modeling based on the Volterra integro-power series when describing transient processes in a nonlinear dynamic object of input-output type. A reference object was represented by a model of horizontal-axis wind turbine. The research deals with nonlinear dynamics of a rotation speed of wind turbine components depending on the blade angle and wind speed. A two-level technology is applied to prevent emergency situations. It consists of a quantitative analysis and a qualitative analysis. The first level is implemented using the situation analysis tools based on semantic modeling. At the second level the simulation modeling is performed. An algorithm for construction of a set of current situations in the semantic model is based on the Volterra polynomial integral equations. The Newton-Kantorovich method was applied to develop an iterative method to approximately solve respective nonlinear equations. The paper demonstrates the specific features of numerically solving the studied equations with a fixed length of mantissa in machine representation of a floating-point number.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126093359","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
Fuzzy string matching with finite automat 有限自动模糊字符串匹配
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/csitechnol.2017.8312128
A. Kostanyan
{"title":"Fuzzy string matching with finite automat","authors":"A. Kostanyan","doi":"10.1109/csitechnol.2017.8312128","DOIUrl":"https://doi.org/10.1109/csitechnol.2017.8312128","url":null,"abstract":"The string matching problem is one of the widely-known symbolic computation problems having applications in many areas of artificial intelligence. The most famous algorithms solving the string matching problem are the finite automata method, Knuth-Morris-Pratt and Rabin-Karp's algorithms. In this paper we focus on applying the finite automata method to find a fuzzy pattern in a text.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124284357","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}
引用次数: 4
Novel approach to background-text-nontext separation in ancient degraded document images 古代退化文档图像背景-文本-非文本分离的新方法
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312161
D. Asatryan, Grigor Sazhumyan, Lusine Aznauryan
{"title":"Novel approach to background-text-nontext separation in ancient degraded document images","authors":"D. Asatryan, Grigor Sazhumyan, Lusine Aznauryan","doi":"10.1109/CSITECHNOL.2017.8312161","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312161","url":null,"abstract":"Nowadays lots of handwritten and printed ancient documents needs to perform to digitized form for automated processing and analysis. In this paper, an approach to background-text-nontext separation procedure based on differences of presented in a document image objects sizes which can be obtained by binarization and segmentation algorithms, is proposed. After binarization by a proper method, it is segmented and the distribution of segments sizes is obtained. It is assumed that the three types of objects presented in an image have significantly different sizes; therefore, the problem of separation comes to discrimination of the set of segments into three groups. The thresholds for the separation of these groups can be found by minimizing the intrasample variation which is used in discriminant analysis. Some examples of images from the Matenadaran collection are considered and the separated parts of the image are illustrated and interpreted.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121668402","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 Belousov quasigroups and bigroups 关于Belousov准群和大群
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312132
Yu. M. Movsisyan
{"title":"On Belousov quasigroups and bigroups","authors":"Yu. M. Movsisyan","doi":"10.1109/CSITECHNOL.2017.8312132","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312132","url":null,"abstract":"In this paper we characterize the variety of Belousov quasigroups by bigroups and finite fields.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116192862","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
First steps in building emergent view on teaching and learning Armenian as a second language via technology 第一步是透过科技建立新兴的亚美尼亚语教学与学习观点
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312167
Marina Khachaturyan
{"title":"First steps in building emergent view on teaching and learning Armenian as a second language via technology","authors":"Marina Khachaturyan","doi":"10.1109/CSITECHNOL.2017.8312167","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312167","url":null,"abstract":"Increasing the effectiveness of learning Armenian as a Second Language with the use of technology that helps to cover challenges of education and preservation of the national and cultural identity of Armenians in Diaspora via language are considered in the study. The research is conducted basing on the online teaching and instructing experience under the large number of students of different age, educational background and origin. Basing on the multiyear maintenance of the built system it is concluded that one of the biggest advantages of the system is guidance and facilitation in the personal environment via Online Instructor (OI) which gives students the possibility to learn and acquire language through natural communication, interaction and discussions with OI and classmates. A brief overview of the chosen online pedagogy principles and used approaches for their effectiveness measurement jointly with the implementation peculiarities is performed.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128068097","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
Visualization of behavioral aspects of AADL-models aadl模型行为方面的可视化
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312147
S. Zelenov, D. Buzdalov
{"title":"Visualization of behavioral aspects of AADL-models","authors":"S. Zelenov, D. Buzdalov","doi":"10.1109/CSITECHNOL.2017.8312147","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312147","url":null,"abstract":"In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to debug behavioral specifications. In the paper, we consider examples of the metamodel usage to represent dynamics for the following two aspects of AADL-models: 1) simulation of a modelled system on the basis of a Behavior Annex specification; 2) failure modes and effects analysis on the basis of an Error Model Annex specification. We also present a stepwise visualization tool (engine and applications for both mentioned examples) that is implemented in MASIW framework for design of modern avionics systems.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129434511","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
About one parallel algorithm of solving non-local contact problem for parabolic equations 求解抛物型方程非局部接触问题的一种并行算法
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312159
T. Davitashvili, H. Meladze, N. Skhirtladze
{"title":"About one parallel algorithm of solving non-local contact problem for parabolic equations","authors":"T. Davitashvili, H. Meladze, N. Skhirtladze","doi":"10.1109/CSITECHNOL.2017.8312159","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312159","url":null,"abstract":"In the present work, the initial-boundary problem with non-local contact condition for heat (diffusion) equation is considered. For the stated problem, the existence and uniqueness of the solution is proved. The constructed iteration process allows one to reduce the solution of the initial non-classical problem to the solution of a sequence of classical Cauchy-Dirichlet problems. The convergence of the proposed iterative process is proved; the speed of convergence is estimated. The algorithm is suitable for parallel implementation. The specific problem is considered as an example and solved numerically.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130530389","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
Functional system of the fuzzy constructive logic 模糊构造逻辑的功能系统
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312135
I. Zaslavsky
{"title":"Functional system of the fuzzy constructive logic","authors":"I. Zaslavsky","doi":"10.1109/CSITECHNOL.2017.8312135","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312135","url":null,"abstract":"The principles of constructive mathematics are applied to the fuzzy constructive logic. The preceding results of the author in fuzzy constructive logic are generalized for predicate formulas including (in general) functional symbols and symbols of constants. The constructive (intuitionistic) predicate calculus on the base of such formulas is considered; it is denoted by H(fcon). The notion of identically f-true predicate formula is introduced. It is proved that any predicate formula deducible in H(fcon) is identically f-true.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130826781","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学术官方微信