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

Proceedings of the 30th Minisymposium最新文献

筛选
英文 中文
Behavior of Observer Performing Discrete Gabor Transform 离散Gabor变换观测器的行为
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-005
Bence Ország, L. Sujbert
{"title":"Behavior of Observer Performing Discrete Gabor Transform","authors":"Bence Ország, L. Sujbert","doi":"10.3311/minisy2023-005","DOIUrl":"https://doi.org/10.3311/minisy2023-005","url":null,"abstract":"—The theory of discrete Gabor transforms provides a constructive and interpretable way of creating biorthogonal transforms. These transforms can achieve a non-uniform frequency resolution and they can be implemented recursively by observers based on Hostetter’s approach. The dead-beat property of the observers were previously shown for coherent signals with the help of an adequately chosen conceptual signal model. This paper investigates the properties of the signal model-observer pair and derives the dead-beat property in the case of noncoherent signals based on a modified signal model.","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"31 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":"123052370","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
Improving the Convergence Speed of the Resonator-Based Observer by Significant Component Selection 利用显著分量选择提高基于谐振器观测器的收敛速度
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-004
András Palkó, L. Sujbert
{"title":"Improving the Convergence Speed of the Resonator-Based Observer by Significant Component Selection","authors":"András Palkó, L. Sujbert","doi":"10.3311/minisy2023-004","DOIUrl":"https://doi.org/10.3311/minisy2023-004","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"14 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":"127278223","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
N-Version Programming as a Mitigation for Smart Contract Faults in Execute-Order-Validate Blockchain Systems n版本编程作为执行-订单-验证区块链系统中智能合约故障的缓解
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-009
Bertalan Zoltán Péter, I. Kocsis
{"title":"N-Version Programming as a Mitigation for Smart Contract Faults in Execute-Order-Validate Blockchain Systems","authors":"Bertalan Zoltán Péter, I. Kocsis","doi":"10.3311/minisy2023-009","DOIUrl":"https://doi.org/10.3311/minisy2023-009","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"25 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":"126821237","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
Thoratic Spine Segmentation Based on CT Images 基于CT图像的胸椎分割
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-007
Gabor Revy, D. Hadhazi, G. Hullám
{"title":"Thoratic Spine Segmentation Based on CT Images","authors":"Gabor Revy, D. Hadhazi, G. Hullám","doi":"10.3311/minisy2023-007","DOIUrl":"https://doi.org/10.3311/minisy2023-007","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"42 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":"121771890","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
Analyzing the Discriminative Power of EEG Microstates Over Mental Tasks 脑电微观状态对心理任务的判别能力分析
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-006
Mihály Vetró, G. Hullám
{"title":"Analyzing the Discriminative Power of EEG Microstates Over Mental Tasks","authors":"Mihály Vetró, G. Hullám","doi":"10.3311/minisy2023-006","DOIUrl":"https://doi.org/10.3311/minisy2023-006","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"69 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":"132574240","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
Integration Test Generation and Formal Verification for Distributed Controllers 分布式控制器集成测试生成与形式化验证
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-001
Bence Graics, I. Majzik
{"title":"Integration Test Generation and Formal Verification for Distributed Controllers","authors":"Bence Graics, I. Majzik","doi":"10.3311/minisy2023-001","DOIUrl":"https://doi.org/10.3311/minisy2023-001","url":null,"abstract":"—Software-intensive distributed controllers are becoming increasingly prevalent, among others, also in railway interlocking systems (RIS). As such systems carry out critical tasks, their systematic verification and testing are a must, which can be supported by formal methods. This paper presents a verification and testing approach for a distributed RIS subsystem using hidden formal methods. The subsystem’s functional behavior is modeled using statechart components defined in a high-level UML-based modeling language, which are integrated according to sound execution and interaction semantics defined by the RIS protocol. The emergent model is automatically mapped into input formalisms of model checker back-ends. Integration tests for the system implementation are derived according to various model-based coverage criteria using the model checker back-ends and generated properties. The approach is implemented in our open source Gamma Statechart Composition Framework.","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"11 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":"132459627","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
Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains 面向执行-订单-验证区块链的知识驱动探索性性能数据分析
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-010
Noor Al-Gburi, I. Kocsis
{"title":"Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains","authors":"Noor Al-Gburi, I. Kocsis","doi":"10.3311/minisy2023-010","DOIUrl":"https://doi.org/10.3311/minisy2023-010","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"8 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":"133008887","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
Lazy Abstraction for Probabilistic Systems 概率系统的惰性抽象
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-003
D. Szekeres, I. Majzik
{"title":"Lazy Abstraction for Probabilistic Systems","authors":"D. Szekeres, I. Majzik","doi":"10.3311/minisy2023-003","DOIUrl":"https://doi.org/10.3311/minisy2023-003","url":null,"abstract":"—Reliability analysis of complex safety-critical systems by probabilistic model checking is often hindered by state space explosion. Abstraction is one way to counteract this problem. In this paper, we adapt an existing lazy abstraction algorithm to the analysis of Markov Decision Process reliability models and prove its soundness.","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","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":"130649897","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
Handling Uncertainity in Error Propagation Analysis 错误传播分析中的不确定性处理
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-008
András Földvári, A. Pataricza
{"title":"Handling Uncertainity in Error Propagation Analysis","authors":"András Földvári, A. Pataricza","doi":"10.3311/minisy2023-008","DOIUrl":"https://doi.org/10.3311/minisy2023-008","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"27 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":"125097685","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
Towards Automated Worst-Case Analysis of Circuits: Selecting Initial Values for Global Optimization 走向电路的自动最坏情况分析:选择初始值进行全局优化
Proceedings of the 30th Minisymposium Pub Date : 1900-01-01 DOI: 10.3311/minisy2023-002
K. Horváth, B. Bank, György Orosz
{"title":"Towards Automated Worst-Case Analysis of Circuits: Selecting Initial Values for Global Optimization","authors":"K. Horváth, B. Bank, György Orosz","doi":"10.3311/minisy2023-002","DOIUrl":"https://doi.org/10.3311/minisy2023-002","url":null,"abstract":"","PeriodicalId":420228,"journal":{"name":"Proceedings of the 30th Minisymposium","volume":"12 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":"130443395","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学术官方微信