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

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

筛选
英文 中文
ISO 26262 compliant memory BIST architecture 兼容ISO 26262内存BIST架构
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312145
D. Sargsyan
{"title":"ISO 26262 compliant memory BIST architecture","authors":"D. Sargsyan","doi":"10.1109/CSITECHNOL.2017.8312145","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312145","url":null,"abstract":"The modern automotive industry has entered an era where tendencies are towards the increased automation and connectivity. The proportion of electronics-controlled systems is steadily growing in vehicles. In parallel the safety and reliability requirements to automobiles are becoming more stringent due to the increased number of accidents with fatalities on the roads. The problem is complicated by the fact that automotive has started to use cutting-edge technologies irrespective of their maturity level. This paper describes the use of BIST implementations for self-test of memories in an automotive SoC, to support testing in mission mode. Case study at the end of the paper demonstrates a practical built-in self-test architecture implementation providing efficient solutions for both production and in-field testing.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"122 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":"123369272","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}
引用次数: 8
Semigroup models of cyber-physical systems 信息物理系统的半群模型
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312129
A. Letichevsky
{"title":"Semigroup models of cyber-physical systems","authors":"A. Letichevsky","doi":"10.1109/CSITECHNOL.2017.8312129","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312129","url":null,"abstract":"A new mathematical model for cyber-physical systems based on algebraic theory of interaction and the technology of insertion modeling is considered. It is based on the notion of a semigroup transition system and is abstract enough to describe a wide class of timed transition systems. Multi agent cyber-physical systems are formalized on a base of the theory of interaction of agents and environments. Using this new model allows efficient algorithms to analyze, synthesize, and verify models of cyber-physical systems.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"156 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":"123285522","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
Discrete tomography with distinct rows: Relaxation 具有不同行的离散断层扫描:松弛
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312153
H. Sahakyan, L. Aslanyan
{"title":"Discrete tomography with distinct rows: Relaxation","authors":"H. Sahakyan, L. Aslanyan","doi":"10.1109/CSITECHNOL.2017.8312153","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312153","url":null,"abstract":"In this paper we consider a discrete tomography problem, where a new constraint — the requirement of distinct rows is imposed. We focus on a relaxed version of the problem, where some constant number of repeated rows are allowed; and investigate the complexity of the relaxed problem, as well as obtain several properties/results.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"13 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":"133229889","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}
引用次数: 5
A linear algebra approach to some problems of graph theory 图论若干问题的线性代数方法
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/csitechnol.2017.8312127
Elizaveta A. Kalinina, Gennady M. Khitrov
{"title":"A linear algebra approach to some problems of graph theory","authors":"Elizaveta A. Kalinina, Gennady M. Khitrov","doi":"10.1109/csitechnol.2017.8312127","DOIUrl":"https://doi.org/10.1109/csitechnol.2017.8312127","url":null,"abstract":"In this paper, we consider some known problems of graph theory from the linear algebra point of view. Studying features of vector spaces over characteristic-two finite field allows us to reprove the theorem on graph circuits and cut-sets and develop a new algorithm to recognize a line graph and construct its original graph.","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":"129451607","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
Short-term memory with read-only unit in neural image caption generator 神经图像标题生成器中带只读单元的短期记忆
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312163
Aghasi Poghosyan, H. Sarukhanyan
{"title":"Short-term memory with read-only unit in neural image caption generator","authors":"Aghasi Poghosyan, H. Sarukhanyan","doi":"10.1109/CSITECHNOL.2017.8312163","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312163","url":null,"abstract":"Automated caption generation for digital images is one of the fundamental problems in artificial intelligence. Most of the existing works use Long Short-Term Memory as a recurrent neural network cell to solve this task. After training, their deep neural models can generate an image caption. But there is an issue, the next predicted word of the caption depends mainly on the last predicted word, rather than the image content. In this paper we present model that can automatically generate an image description and is based on a recurrent neural network with modified LSTM cell with an additional gate responsible for image features. This modification results in generation of more accurate captions. We have trained and tested our model on MSCOCO image dataset by using only images and their captions.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"9 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":"114880604","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}
引用次数: 13
Direct computational experiments in fluid mechanics using three-dimensional tensor mathematics 三维张量数学在流体力学中的直接计算实验
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312158
A. Bogdanov, A. Degtyarev, V. Khramushin
{"title":"Direct computational experiments in fluid mechanics using three-dimensional tensor mathematics","authors":"A. Bogdanov, A. Degtyarev, V. Khramushin","doi":"10.1109/CSITECHNOL.2017.8312158","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312158","url":null,"abstract":"Architecture of a digital computing system determines the technical foundation of a unified mathematical language for exact arithmetic-logical description of phenomena and laws of continuum mechanics for applications in fluid mechanics and theoretical physics. Deep parallelization of the computing processes serves to the revival of application of functional programming at a new technological level. The efficiency of computations is provided by true reproduction of the fundamental laws of physics and continuum mechanics. Tensor formalization of numerical objects and computing operations serves to spatial interpolation of rheological state parameters and laws of the fluid mechanics as mathematical models in the local coordinates of the elementary numeric cells — large liquid particles. The proposed approach allows the use of explicit numerical scheme, which is an important condition for increasing the efficiency of the algorithms developed by numerical procedures with natural parallelism.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"16 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":"114635164","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
Maximum inequalities and their applications to Hadamard matrices 极大不等式及其在Hadamard矩阵中的应用
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/csitechnol.2017.8312151
G. Giorgobiani, V. Kvaratskhelia, M. Menteshashvili
{"title":"Maximum inequalities and their applications to Hadamard matrices","authors":"G. Giorgobiani, V. Kvaratskhelia, M. Menteshashvili","doi":"10.1109/csitechnol.2017.8312151","DOIUrl":"https://doi.org/10.1109/csitechnol.2017.8312151","url":null,"abstract":"A new numerical characterization for Hadamard matrices is introduced. Its estimations for different norms are established by use of appropriate maximal inequalities for the signed vector summands.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"89 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":"114799978","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
Towards adequate constructive models of mental systems 建立适当的心理系统的建设性模型
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312137
E. Pogossian
{"title":"Towards adequate constructive models of mental systems","authors":"E. Pogossian","doi":"10.1109/CSITECHNOL.2017.8312137","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312137","url":null,"abstract":"Mental systems represent realities, particularly, our utilities, have varying effectiveness with respect to our goals and are processed to support utilization and gaining the benefits from the utilities. Classifying mental systems are effective with respect to the goals insofar as they provide appropriate utilities regularly, i.e. are modeling the utilities constructively and adequately. In the paper we specify ontological, constructive and systemic models of mental systems comparable by expressiveness with algorithms and natural languages, provide arguments of their adequacy for explaining, understanding and human-computer interactions as well as convince to follow the ideas of inventors of algorithms in adequate modeling of mental behavior.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"7 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":"128528020","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
Virtual process controlling 虚拟进程控制
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312160
Juri Koval
{"title":"Virtual process controlling","authors":"Juri Koval","doi":"10.1109/CSITECHNOL.2017.8312160","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312160","url":null,"abstract":"This paper provides the description of mechanism for virtual process controlling. The set of functions for such controlling is proposed and discussed.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"31 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":"122044225","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
Dynamic knowledge integration into HBD knowledge presentation model 动态知识集成到HBD知识表示模型中
2017 Computer Science and Information Technologies (CSIT) Pub Date : 2017-09-01 DOI: 10.1109/CSITECHNOL.2017.8312136
Sedrak V. Grigoryan
{"title":"Dynamic knowledge integration into HBD knowledge presentation model","authors":"Sedrak V. Grigoryan","doi":"10.1109/CSITECHNOL.2017.8312136","DOIUrl":"https://doi.org/10.1109/CSITECHNOL.2017.8312136","url":null,"abstract":"We aim to construct adequate models of knowledge presentation. Language is one of the main spaces of knowledge transfer, thus we have developed a model based on main dimensions of verbs in English “have”, “be”, “do” (HBD). Below we purpose ways to enhance the existing HBD model to provide more flexible knowledge acquisition of it by integration of dynamic types.","PeriodicalId":332371,"journal":{"name":"2017 Computer Science and Information Technologies (CSIT)","volume":"43 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":"127586953","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学术官方微信