D. Buy, Olena Shyshatska, S. Fabunmi, Karam Mohammed
{"title":"Mathematical foundations of multiple inheritance: Reflexive-transitive closure of the binary relations","authors":"D. Buy, Olena Shyshatska, S. Fabunmi, Karam Mohammed","doi":"10.1109/MEMSTECH.2016.7507540","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507540","url":null,"abstract":"The paper is devoted to the mathematical foundations of the linearization algorithms - the method of conflict resolution that occurs in object-oriented programming languages which support multiple inheritance. The main object of study is the reflexive-transitive closure of a binary relation. The basic properties of this closure are found: the criterion to be partial order, closure is the closure operator, denotative representations of closure in terms of its properties and as the least solution of some equation (the structure of the set of all solutions of this equation is established).","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121125936","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}
{"title":"Reliability modeling of bridge structure system with load-sharing taking into account","authors":"M. Lobur, S. Shcherbovskykh, Tetyana Stefanovych","doi":"10.1109/MEMSTECH.2016.7507525","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507525","url":null,"abstract":"The impact of load-sharing effects that occurs in cold redundancy internal component for bridge structure system is analyzed. System reliability is formalized by dynamic fault tree. In the paper tree reliability model of bridge structure system is suggested and compared. For each dynamic fault tree Markov model is formed and failure cause probability characteristics are calculated.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123752620","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}
{"title":"Algorithms and approaches for processing an output signal from lab-on-a-chip devices in bioanalysis","authors":"D. Lizanets, R. Walczak","doi":"10.1109/MEMSTECH.2016.7507507","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507507","url":null,"abstract":"Algorithms and approaches used for implementing software for processing an image output signal from microfluidic devices are presented in this paper. Such microdevices (often called a lab-on-a-chip) are utilized in analysis of biological cells; their behaviors are investigated under different sets of conditions. We present here algorithms for cell detecting, processing and automatic recognition of shape and size of cells in lab-chips for bioanalysis.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"231 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115805908","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}
{"title":"Vision system model for mobile robotic systems","authors":"K. Matviichuk, V. Teslyuk, T. Teslyuk","doi":"10.1109/MEMSTECH.2016.7507529","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507529","url":null,"abstract":"In the paper, the problem of vision systems development for mobile robotics is considered. A model of a vision system is proposed. The purpose and the algorithm of the system and technical equipment justification are described. UML class diagram of stream configurator was built.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124730900","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}
V. Sheketa, Vitaliy Melnyk, Y. Romanyshyn, M. Chesanovskyy
{"title":"The construction of technological problems cases for the purpose of intelligible control","authors":"V. Sheketa, Vitaliy Melnyk, Y. Romanyshyn, M. Chesanovskyy","doi":"10.1109/MEMSTECH.2016.7507527","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507527","url":null,"abstract":"The expected classes of the technological problems cases with the evaluation structure in the form of certainties were defined. This was done by the way of sums calculation for the weights prescribed to the constraints imposed in the form of estimations with the probability coefficients of relevancy for actual case's of the technological problems.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122753431","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}
{"title":"Working hours controls methods and increasing its efficiency in the IT company","authors":"M. Seniv, Andriy Sambir, M. Seniv","doi":"10.1109/MEMSTECH.2016.7507546","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507546","url":null,"abstract":"In this paper, methods of controlling of working hours and increasing its efficiency, means: formalized algorithm of software development project modified Gantt chart and software prototype for controlling working hours, are described.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124649305","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}
Andriy Maherovsky, Yuri Kurko, R. Ivantsiv, D. Vivchar
{"title":"Research block ciphers based on matrix transformations","authors":"Andriy Maherovsky, Yuri Kurko, R. Ivantsiv, D. Vivchar","doi":"10.1109/MEMSTECH.2016.7507543","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507543","url":null,"abstract":"In this paper analysis of block ciphers based on matrix transformations and research of its perspectives are given.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131730829","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}
{"title":"Planning of routes based on distribution of passenger flows in time and space","authors":"V. Mazur","doi":"10.1109/MEMSTECH.2016.7507541","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507541","url":null,"abstract":"The model for public transport routes planning, taking into account the distribution of passenger flows in time and space, is considered in this article.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117124716","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}
{"title":"Applying composite design pattern for MEMS program model creation","authors":"Andriy Zelinskyy, V. Tesliuk, Taras Maloid","doi":"10.1109/MEMSTECH.2016.7507509","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507509","url":null,"abstract":"This paper is devoted to applying structural design patterns (composite pattern) to create MEMS program model.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124304961","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}
{"title":"Applying decorator design pattern for MEMS program model creation","authors":"Andriy Zelinskyy, V. Tesliuk, Taras Maloid","doi":"10.1109/MEMSTECH.2016.7507510","DOIUrl":"https://doi.org/10.1109/MEMSTECH.2016.7507510","url":null,"abstract":"This paper is devoted to applying structural design patterns (decorator pattern) to design of MEMS program model. It describes areas, where this pattern is worth applying and problems that can be solved using aforementioned patterns.","PeriodicalId":102420,"journal":{"name":"2016 XII International Conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126315564","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}