首页 > 最新文献

International Journal of Applied Mathematics and Computer Science最新文献

英文 中文
A Holistic Study on the Use of Blockchain Technology in CPS and IoT Architectures Maintaining the CIA Triad in Data Communication 在CPS和物联网架构中使用区块链技术的整体研究维护数据通信中的CIA三元组
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0029
A. Bhattacharjya
Abstract Blockchain-based cyber-physical systems (CPSs) and the blockchain Internet of things (BIoT) are two major focuses of the modern technological revolution. Currently we have security attacks like distributed denial-of-service (DDoS), address resolution protocol (ARP) spoofing attacks, various phishing and configuration threats, network congestion, etc. on the existing CPS and IoT architectures. This study conducts a complete survey on the flaws of the present centralized IoT system’s peer-to-peer (P2P) communication and the CPS architecture’s machine-to-machine (M2M) communication. Both these architectures could use the inherent consensus algorithms and cryptographic advantages of blockchain technology. To show how blockchain technology can resolve the flaws of the existing CPS and IoT architectures while maintaining confidentiality, integrity, and availability (the CIA triad), we conduct a holistic survey here on this topic and discuss the research focus in the domain of the BIoT. Then we analyse the similarities and dissimilarities of blockchain technology in IoT and CPS architectures. Finally, it is well understood that one should explore whether blockchain technology will give advantages to CPS and IoT applications through a decision support system (DSS) with a relevant mathematical model, so here we provide the DSS with such a model for this purpose.
基于区块链的网络物理系统(cps)和区块链物联网(BIoT)是现代技术革命的两大焦点。目前,在现有的CPS和IoT架构上,我们面临着分布式拒绝服务(DDoS)、地址解析协议(ARP)欺骗攻击、各种网络钓鱼和配置威胁、网络拥塞等安全攻击。本研究对目前集中式物联网系统的点对点(P2P)通信和CPS架构的机器对机器(M2M)通信的缺陷进行了全面调查。这两种架构都可以利用区块链技术固有的共识算法和加密优势。为了展示区块链技术如何解决现有CPS和物联网架构的缺陷,同时保持机密性、完整性和可用性(CIA三位一体),我们在这里对这一主题进行了全面调查,并讨论了BIoT领域的研究重点。然后分析了区块链技术在物联网和CPS架构中的异同。最后,众所周知,应该通过具有相关数学模型的决策支持系统(DSS)来探索区块链技术是否会为CPS和物联网应用带来优势,因此我们在此为DSS提供了这样一个模型。
{"title":"A Holistic Study on the Use of Blockchain Technology in CPS and IoT Architectures Maintaining the CIA Triad in Data Communication","authors":"A. Bhattacharjya","doi":"10.34768/amcs-2022-0029","DOIUrl":"https://doi.org/10.34768/amcs-2022-0029","url":null,"abstract":"Abstract Blockchain-based cyber-physical systems (CPSs) and the blockchain Internet of things (BIoT) are two major focuses of the modern technological revolution. Currently we have security attacks like distributed denial-of-service (DDoS), address resolution protocol (ARP) spoofing attacks, various phishing and configuration threats, network congestion, etc. on the existing CPS and IoT architectures. This study conducts a complete survey on the flaws of the present centralized IoT system’s peer-to-peer (P2P) communication and the CPS architecture’s machine-to-machine (M2M) communication. Both these architectures could use the inherent consensus algorithms and cryptographic advantages of blockchain technology. To show how blockchain technology can resolve the flaws of the existing CPS and IoT architectures while maintaining confidentiality, integrity, and availability (the CIA triad), we conduct a holistic survey here on this topic and discuss the research focus in the domain of the BIoT. Then we analyse the similarities and dissimilarities of blockchain technology in IoT and CPS architectures. Finally, it is well understood that one should explore whether blockchain technology will give advantages to CPS and IoT applications through a decision support system (DSS) with a relevant mathematical model, so here we provide the DSS with such a model for this purpose.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"17 1","pages":"403 - 413"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78732673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
An SFA–HMM Performance Evaluation Method Using State Difference Optimization for Running Gear Systems in High–Speed Trains 基于状态差优化的高速列车走行系统SFA-HMM性能评价方法
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0028
Chao Cheng, Meng Wang, Jiuhe Wang, Junjie Shao, Hongtian Chen
Abstract The evaluation of system performance plays an increasingly important role in the reliability analysis of cyber-physical systems. Factors of external instability affect the evaluation results in complex systems. Taking the running gear in high-speed trains as an example, its complex operating environment is the most critical factor affecting the performance evaluation design. In order to optimize the evaluation while improving accuracy, this paper develops a performance evaluation method based on slow feature analysis and a hidden Markov model (SFA-HMM). The utilization of SFA can screen out the slowest features as HMM inputs, based on which a new HMM is established for performance evaluation of running gear systems. In addition to directly classical performance evaluation for running gear systems of high-speed trains, the slow feature statistic is proposed to detect the difference in the system state through test data, and then eliminate the error evaluation of the HMM in the stable state. In addition, indicator planning and status classification of the data are performed through historical information and expert knowledge. Finally, a case study of the running gear system in high-speed trains is discussed. After comparison, the result shows that the proposed method can enhance evaluation performance.
摘要系统性能评估在网络物理系统可靠性分析中起着越来越重要的作用。在复杂系统中,外部不稳定因素会影响评价结果。以高速列车走行装置为例,其复杂的运行环境是影响其性能评价设计的最关键因素。为了在优化评价的同时提高准确性,本文提出了一种基于慢特征分析和隐马尔可夫模型(SFA-HMM)的性能评价方法。利用SFA可以筛选出最慢的特征作为隐马尔可夫模型的输入,在此基础上建立新的隐马尔可夫模型,用于齿轮传动系统的性能评价。在对高速列车走行系统进行直接经典性能评估的基础上,提出了慢速特征统计量,通过试验数据检测系统状态的差异,进而消除HMM在稳定状态下的误差评估。通过历史信息和专家知识对数据进行指标规划和状态分类。最后,以高速列车走行机构系统为例进行了讨论。经过比较,结果表明该方法可以提高评价性能。
{"title":"An SFA–HMM Performance Evaluation Method Using State Difference Optimization for Running Gear Systems in High–Speed Trains","authors":"Chao Cheng, Meng Wang, Jiuhe Wang, Junjie Shao, Hongtian Chen","doi":"10.34768/amcs-2022-0028","DOIUrl":"https://doi.org/10.34768/amcs-2022-0028","url":null,"abstract":"Abstract The evaluation of system performance plays an increasingly important role in the reliability analysis of cyber-physical systems. Factors of external instability affect the evaluation results in complex systems. Taking the running gear in high-speed trains as an example, its complex operating environment is the most critical factor affecting the performance evaluation design. In order to optimize the evaluation while improving accuracy, this paper develops a performance evaluation method based on slow feature analysis and a hidden Markov model (SFA-HMM). The utilization of SFA can screen out the slowest features as HMM inputs, based on which a new HMM is established for performance evaluation of running gear systems. In addition to directly classical performance evaluation for running gear systems of high-speed trains, the slow feature statistic is proposed to detect the difference in the system state through test data, and then eliminate the error evaluation of the HMM in the stable state. In addition, indicator planning and status classification of the data are performed through historical information and expert knowledge. Finally, a case study of the running gear system in high-speed trains is discussed. After comparison, the result shows that the proposed method can enhance evaluation performance.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"108 1","pages":"389 - 402"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91064537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
RBF Based Quadrature on the Sphere 基于RBF的球面正交
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0034
M. Kindelan, P. González-Rodríguez, Diego Álvarez
Abstract The paper describes a new RBF-FD based technique to compute quadrature weights on the sphere. In the proposed method, the sphere is divided into rectangles in the latitude-azimuth coordinate system, and the function is integrated over each rectangle using RBF interpolation. The method is easy to implement and its accuracy is comparable to that based on SPH expansions. One advantage of the proposed method is its ability to handle non-uniform node distributions. On this respect, we propose a new algorithm to cluster nodes in regions of steep changes in the function. It is a repulsion-based algorithm with a non-uniform distribution of electrical charges. We show that, using node clustering, the accuracy of the method can be significantly improved.
摘要本文提出了一种基于RBF-FD计算球上正交权值的新方法。在该方法中,将球面在纬度-方位角坐标系下划分为多个矩形,并利用RBF插值对每个矩形进行积分。该方法易于实现,其精度与基于SPH展开的方法相当。该方法的一个优点是能够处理非均匀节点分布。在这方面,我们提出了一种新的算法在函数急剧变化的区域聚类节点。它是一种基于斥力的非均匀电荷分布算法。结果表明,使用节点聚类可以显著提高该方法的准确率。
{"title":"RBF Based Quadrature on the Sphere","authors":"M. Kindelan, P. González-Rodríguez, Diego Álvarez","doi":"10.34768/amcs-2022-0034","DOIUrl":"https://doi.org/10.34768/amcs-2022-0034","url":null,"abstract":"Abstract The paper describes a new RBF-FD based technique to compute quadrature weights on the sphere. In the proposed method, the sphere is divided into rectangles in the latitude-azimuth coordinate system, and the function is integrated over each rectangle using RBF interpolation. The method is easy to implement and its accuracy is comparable to that based on SPH expansions. One advantage of the proposed method is its ability to handle non-uniform node distributions. On this respect, we propose a new algorithm to cluster nodes in regions of steep changes in the function. It is a repulsion-based algorithm with a non-uniform distribution of electrical charges. We show that, using node clustering, the accuracy of the method can be significantly improved.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"2 1","pages":"467 - 478"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73506656","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Stochastic Models of the Slow/Fast Type of Atrioventricular Nodal Reentrant Tachycardia and Tachycardia with Conduction Aberration 慢/快型房室结折返性心动过速和伴传导畸变的心动过速的随机模型
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0031
B. Jackowska-Zduniak
Abstract Models are proposed to describe the heart’s action potential. A system of stochastic differential equations is used to recreate pathological behaviour in the heart such as atrioventricular nodal reentrant tachycardia (AVNRT) and also AVNRT with conduction aberration. Part of the population has abnormal accessory pathways: fast and slow. An additional pathway is not always induced, since the deterministic model is not proper due to a stochasticity in this process. Introduction of a stochastic term allows modelling a pre-excitation perturbation (such as unexpected excitation by premature contractions in atrium (PAC)) which triggers the mechanism of AVNRT. Also, a system of AVNRT with additional conduction aberration, which is a rare type of arrhythmia, is considered. The aim of this work is to propose a mathematical model superior to the deterministic one that recreates this disease better and allows understanding its mechanism and physical dependencies, which may help to propose a new therapy of AVNRT. Results are illustrated with numerical solutions.
摘要提出了描述心脏动作电位的模型。随机微分方程系统用于重建心脏的病理行为,如房室结性重入性心动过速(AVNRT)和伴有传导畸变的AVNRT。部分人群有异常的副通路:快的和慢的。由于这一过程的随机性,确定性模型是不合适的,因此并不总是诱导一个额外的途径。引入随机术语可以模拟触发AVNRT机制的预兴奋扰动(例如由心房过早收缩(PAC)引起的意外兴奋)。此外,考虑到AVNRT系统伴有额外的传导畸变,这是一种罕见的心律失常。这项工作的目的是提出一种优于确定性模型的数学模型,更好地再现这种疾病,并允许理解其机制和物理依赖性,这可能有助于提出一种新的治疗AVNRT的方法。结果用数值解说明。
{"title":"Stochastic Models of the Slow/Fast Type of Atrioventricular Nodal Reentrant Tachycardia and Tachycardia with Conduction Aberration","authors":"B. Jackowska-Zduniak","doi":"10.34768/amcs-2022-0031","DOIUrl":"https://doi.org/10.34768/amcs-2022-0031","url":null,"abstract":"Abstract Models are proposed to describe the heart’s action potential. A system of stochastic differential equations is used to recreate pathological behaviour in the heart such as atrioventricular nodal reentrant tachycardia (AVNRT) and also AVNRT with conduction aberration. Part of the population has abnormal accessory pathways: fast and slow. An additional pathway is not always induced, since the deterministic model is not proper due to a stochasticity in this process. Introduction of a stochastic term allows modelling a pre-excitation perturbation (such as unexpected excitation by premature contractions in atrium (PAC)) which triggers the mechanism of AVNRT. Also, a system of AVNRT with additional conduction aberration, which is a rare type of arrhythmia, is considered. The aim of this work is to propose a mathematical model superior to the deterministic one that recreates this disease better and allows understanding its mechanism and physical dependencies, which may help to propose a new therapy of AVNRT. Results are illustrated with numerical solutions.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"33 1","pages":"429 - 440"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84376990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Decentralized Multi–Agent Formation Control with Pole–Region Placement via Cone–Complementarity Linearization 基于锥互补线性化的极点区域分散多智能体编队控制
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0030
A. Gonzalez, A. Sala, L. Armesto
Abstract An output-feedback decentralised formation control strategy is pursued under pole-region constraints, assuming that the agents have access to relative position measurements with respect to a set of neighbors in a graph describing the sensing topology. No communication between the agents is assumed; however, a shared one-way communication channel with a pilot is needed for steering tasks. Each agent has a separate copy of the same controller. A virtual structure approach is presented for the formation steering as a whole; actual formation control is established via cone-complementarity linearization algorithms for the appropriate matrix inequalities. In contrast to other research where only stable consensus is pursued, the proposed method allows us to specify settling-time, damping and bandwidth limitations via pole regions. In addition, a full methodology for the decoupled handling of steering and formation control is provided. Simulation results in the example section illustrate the approach.
摘要在极点区域约束下,假设智能体可以获得描述感知拓扑的图中一组邻居的相对位置测量值,采用输出反馈分散编队控制策略。假设代理之间没有通信;然而,需要一个与飞行员共享的单向通信通道来完成驾驶任务。每个代理都有同一控制器的单独副本。提出了一种整体编队转向的虚拟结构方法;利用锥互补线性化算法对相应的矩阵不等式建立实际的编队控制。与其他只追求稳定共识的研究相反,本文提出的方法允许我们通过极点区域指定沉降时间、阻尼和带宽限制。此外,还提供了一个完整的方法来解耦处理转向和地层控制。示例部分中的仿真结果说明了这种方法。
{"title":"Decentralized Multi–Agent Formation Control with Pole–Region Placement via Cone–Complementarity Linearization","authors":"A. Gonzalez, A. Sala, L. Armesto","doi":"10.34768/amcs-2022-0030","DOIUrl":"https://doi.org/10.34768/amcs-2022-0030","url":null,"abstract":"Abstract An output-feedback decentralised formation control strategy is pursued under pole-region constraints, assuming that the agents have access to relative position measurements with respect to a set of neighbors in a graph describing the sensing topology. No communication between the agents is assumed; however, a shared one-way communication channel with a pilot is needed for steering tasks. Each agent has a separate copy of the same controller. A virtual structure approach is presented for the formation steering as a whole; actual formation control is established via cone-complementarity linearization algorithms for the appropriate matrix inequalities. In contrast to other research where only stable consensus is pursued, the proposed method allows us to specify settling-time, damping and bandwidth limitations via pole regions. In addition, a full methodology for the decoupled handling of steering and formation control is provided. Simulation results in the example section illustrate the approach.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"48 1","pages":"415 - 428"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79927557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Application of Fuzzy Logic in a Secure Beacon–Based Guidance System for Public Transportation 模糊逻辑在安全信标引导系统中的应用
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0027
J. Molina-Gil, P. Caballero-Gil, A. Quesada-Arencibia, G. D. Blasio
Abstract Promoting the use of public transport is increasingly urgent in our society, both to reduce traffic congestion, air pollution and stress levels, and to ensure the high level of mobility demanded by citizens. The lack of continuous on-trip assistance for public transport users discourages many travellers. Thus, the main objective of this work is to design a personal digital travel companion for outdoor location and event detection based on Bluetooth Low Energy, which can be used for intelligent transport technology. After analysing the functional requirements, the proposal is implemented as a mobile application for beacon-based event detection. The system includes an algorithm aided by fuzzy logic to determine the action to be carried out by the user at all times, being able to distinguish between different possible events when more than one beacon is detected. To defend the scheme against possible attacks based on beacon forgery or user tracking, the proposal includes different forms of authentication for data sent from beacons and data sent from the mobile application. The results obtained in simulations show that the proposed system is a viable guidance solution for public transport, including energy saving as one of its main advantages.
促进公共交通的使用在我们的社会中越来越迫切,既可以减少交通拥堵,空气污染和压力水平,又可以确保市民所需的高水平的机动性。公共交通工具使用者在旅途中得不到持续的协助,令许多旅客感到气馁。因此,本工作的主要目标是设计一款基于Bluetooth Low Energy的户外定位和事件检测的个人数字旅行伴侣,可用于智能交通技术。在分析了功能需求后,将该方案作为基于信标的事件检测移动应用实现。该系统包括一个由模糊逻辑辅助的算法,以确定用户在任何时候要执行的操作,当检测到多个信标时,能够区分不同的可能事件。为了防止基于信标伪造或用户跟踪的可能攻击,该提案包括对信标发送的数据和从移动应用程序发送的数据进行不同形式的身份验证。仿真结果表明,该系统是一种可行的公共交通引导方案,其主要优点之一是节能。
{"title":"Application of Fuzzy Logic in a Secure Beacon–Based Guidance System for Public Transportation","authors":"J. Molina-Gil, P. Caballero-Gil, A. Quesada-Arencibia, G. D. Blasio","doi":"10.34768/amcs-2022-0027","DOIUrl":"https://doi.org/10.34768/amcs-2022-0027","url":null,"abstract":"Abstract Promoting the use of public transport is increasingly urgent in our society, both to reduce traffic congestion, air pollution and stress levels, and to ensure the high level of mobility demanded by citizens. The lack of continuous on-trip assistance for public transport users discourages many travellers. Thus, the main objective of this work is to design a personal digital travel companion for outdoor location and event detection based on Bluetooth Low Energy, which can be used for intelligent transport technology. After analysing the functional requirements, the proposal is implemented as a mobile application for beacon-based event detection. The system includes an algorithm aided by fuzzy logic to determine the action to be carried out by the user at all times, being able to distinguish between different possible events when more than one beacon is detected. To defend the scheme against possible attacks based on beacon forgery or user tracking, the proposal includes different forms of authentication for data sent from beacons and data sent from the mobile application. The results obtained in simulations show that the proposed system is a viable guidance solution for public transport, including energy saving as one of its main advantages.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"2 1","pages":"371 - 387"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85016940","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Improving the LUT Count for Mealy FSMS with Transformation of Output Collections 利用输出集合的变换提高粉状FSMS的LUT计数
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0035
A. Barkalov, L. Titarenko, M. Mazurkiewicz
Abstract A method is proposed which aims at reducing the number of LUTs in the circuits of FPGA-based Mealy finite state machines (FSMs) with transformation of collections of outputs into state codes. The reduction is achieved due to the use of two-component state codes. Such an approach allows reducing the number of state variables compared with FSMs based on extended codes. There are exactly three levels of LUTs in the resulting FSM circuit. Each partial function is represented by a single-LUT circuit. The proposed method is illustrated with an example of synthesis. The experiments were conducted using standard benchmarks. They show that the proposed method produces FSM circuits with significantly smaller LUT counts compared with those produced by other investigated methods (Auto and One-hot of Vivado, JEDI, and transformation of output collection codes into extended state codes). The LUT count is decreased by, on average, from 9.86% to 59.64%. The improvement of the LUT count is accompanied by a slightly improved performance. The maximum operating frequency is increased, on average, from 2.74% to 12.93%. The advantages of the proposed method become more pronounced with increasing values of FSM inputs and state variables.
提出了一种将输出集合转换为状态码的方法,以减少基于fpga的Mealy有限状态机(fsm)电路中lut的数量。减少是由于使用双组分状态代码。与基于扩展代码的fsm相比,这种方法可以减少状态变量的数量。在生成的FSM电路中有三个级别的lut。每个部分函数由一个单lut电路表示。通过一个综合实例说明了该方法。这些实验是使用标准基准进行的。他们表明,与其他研究方法(Vivado的Auto和One-hot, JEDI以及将输出集合代码转换为扩展状态代码)相比,所提出的方法产生的FSM电路具有显着更小的LUT计数。LUT计数平均从9.86%下降到59.64%。LUT计数的改进伴随着性能的略微改进。最大工作频率平均由2.74%提高到12.93%。随着FSM输入值和状态变量的增加,该方法的优点变得更加明显。
{"title":"Improving the LUT Count for Mealy FSMS with Transformation of Output Collections","authors":"A. Barkalov, L. Titarenko, M. Mazurkiewicz","doi":"10.34768/amcs-2022-0035","DOIUrl":"https://doi.org/10.34768/amcs-2022-0035","url":null,"abstract":"Abstract A method is proposed which aims at reducing the number of LUTs in the circuits of FPGA-based Mealy finite state machines (FSMs) with transformation of collections of outputs into state codes. The reduction is achieved due to the use of two-component state codes. Such an approach allows reducing the number of state variables compared with FSMs based on extended codes. There are exactly three levels of LUTs in the resulting FSM circuit. Each partial function is represented by a single-LUT circuit. The proposed method is illustrated with an example of synthesis. The experiments were conducted using standard benchmarks. They show that the proposed method produces FSM circuits with significantly smaller LUT counts compared with those produced by other investigated methods (Auto and One-hot of Vivado, JEDI, and transformation of output collection codes into extended state codes). The LUT count is decreased by, on average, from 9.86% to 59.64%. The improvement of the LUT count is accompanied by a slightly improved performance. The maximum operating frequency is increased, on average, from 2.74% to 12.93%. The advantages of the proposed method become more pronounced with increasing values of FSM inputs and state variables.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"47 1","pages":"479 - 494"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76305241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
ATiPreTA: AN Analytical Model for Time–Dependent Prediction of Terrorist Attacks 基于时间的恐怖袭击预测分析模型
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0036
O. Kebir, I. Nouaouri, Lilia Rejeb, L. B. Said
Abstract In counter-terrorism actions, commanders are confronted with difficult and important challenges. Their decision-making processes follow military instructions and must consider the humanitarian aspect of the mission. In this paper, we aim to respond to the question: What would the casualties be if governmental forces reacted in a given way with given resources? Within a similar context, decision-support systems are required due to the variety and complexity of modern attacks as well as the enormous quantity of information that must be treated in real time. The majority of mathematical models are not suitable for real-time events. Therefore, we propose an analytical model for a time-dependent prediction of terrorist attacks (ATiPreTA). The output of our model is consistent with casualty data from two important terrorist events known in Tunisia: Bardo and Sousse attacks. The sensitivity and experimental analyses show that the results are significant. Some operational insights are also discussed.
在反恐行动中,指挥员面临着艰巨而重要的挑战。他们的决策过程遵循军事指示,必须考虑到特派团的人道主义方面。在本文中,我们的目标是回答这个问题:如果政府部队以给定的资源以给定的方式作出反应,伤亡将是多少?在类似的情况下,由于现代攻击的多样性和复杂性以及必须实时处理的大量信息,需要决策支持系统。大多数数学模型不适合实时事件。因此,我们提出了一种基于时间的恐怖袭击预测分析模型(ATiPreTA)。我们的模型输出与突尼斯已知的两个重要恐怖事件的伤亡数据一致:Bardo和Sousse袭击。灵敏度和实验分析表明,结果是显著的。还讨论了一些操作见解。
{"title":"ATiPreTA: AN Analytical Model for Time–Dependent Prediction of Terrorist Attacks","authors":"O. Kebir, I. Nouaouri, Lilia Rejeb, L. B. Said","doi":"10.34768/amcs-2022-0036","DOIUrl":"https://doi.org/10.34768/amcs-2022-0036","url":null,"abstract":"Abstract In counter-terrorism actions, commanders are confronted with difficult and important challenges. Their decision-making processes follow military instructions and must consider the humanitarian aspect of the mission. In this paper, we aim to respond to the question: What would the casualties be if governmental forces reacted in a given way with given resources? Within a similar context, decision-support systems are required due to the variety and complexity of modern attacks as well as the enormous quantity of information that must be treated in real time. The majority of mathematical models are not suitable for real-time events. Therefore, we propose an analytical model for a time-dependent prediction of terrorist attacks (ATiPreTA). The output of our model is consistent with casualty data from two important terrorist events known in Tunisia: Bardo and Sousse attacks. The sensitivity and experimental analyses show that the results are significant. Some operational insights are also discussed.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"26 1","pages":"495 - 510"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85061670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Hybrid Approach of a Deep Learning Technique for Real–Time ECG Beat Detection 一种用于实时心电心跳检测的深度学习混合方法
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-09-01 DOI: 10.34768/amcs-2022-0033
K. K. Patro, A. J. Prakash, S. Samantray, Joanna Plawiak, R. Tadeusiewicz, Paweł Pławiak
Abstract This paper presents a new customized hybrid approach for early detection of cardiac abnormalities using an electrocardiogram (ECG). The ECG is a bioelectrical signal that helps monitor the heart’s electrical activity. It can provide health information about the normal and abnormal physiology of the heart. Early diagnosis of cardiac abnormalities is critical for cardiac patients to avoid stroke or sudden cardiac death. The main aim of this paper is to detect crucial beats that can damage the functioning of the heart. Initially, a modified Pan–Tompkins algorithm identifies the characteristic points, followed by heartbeat segmentation. Subsequently, a different hybrid deep convolutional neural network (CNN) is proposed to experiment on standard and real-time long-term ECG databases. This work successfully classifies several cardiac beat abnormalities such as supra-ventricular ectopic beats (SVE), ventricular beats (VE), intra-ventricular conduction disturbances beats (IVCD), and normal beats (N). The obtained classification results show a better accuracy of 99.28% with an F1score of 99.24% with the MIT–BIH database and a descent accuracy of 99.12% with the real-time acquired database.
摘要本文提出了一种新的定制混合方法,用于使用心电图(ECG)早期检测心脏异常。心电图是一种生物电信号,有助于监测心脏的电活动。它可以提供关于心脏正常和异常生理的健康信息。心脏异常的早期诊断对于心脏病患者避免中风或心源性猝死至关重要。本文的主要目的是检测可能损害心脏功能的关键节拍。首先,改进的Pan-Tompkins算法识别特征点,然后进行心跳分割。随后,提出了一种不同的混合深度卷积神经网络(CNN)在标准和实时长期心电数据库上进行实验。本文成功地对室性上异位搏(SVE)、室性搏(VE)、室性内传导干扰搏(IVCD)和正常搏(N)等几种心跳异常进行了分类。分类结果表明,使用MIT-BIH数据库的准确率为99.28%,F1score为99.24%,使用实时获取的数据库的下降准确率为99.12%。
{"title":"A Hybrid Approach of a Deep Learning Technique for Real–Time ECG Beat Detection","authors":"K. K. Patro, A. J. Prakash, S. Samantray, Joanna Plawiak, R. Tadeusiewicz, Paweł Pławiak","doi":"10.34768/amcs-2022-0033","DOIUrl":"https://doi.org/10.34768/amcs-2022-0033","url":null,"abstract":"Abstract This paper presents a new customized hybrid approach for early detection of cardiac abnormalities using an electrocardiogram (ECG). The ECG is a bioelectrical signal that helps monitor the heart’s electrical activity. It can provide health information about the normal and abnormal physiology of the heart. Early diagnosis of cardiac abnormalities is critical for cardiac patients to avoid stroke or sudden cardiac death. The main aim of this paper is to detect crucial beats that can damage the functioning of the heart. Initially, a modified Pan–Tompkins algorithm identifies the characteristic points, followed by heartbeat segmentation. Subsequently, a different hybrid deep convolutional neural network (CNN) is proposed to experiment on standard and real-time long-term ECG databases. This work successfully classifies several cardiac beat abnormalities such as supra-ventricular ectopic beats (SVE), ventricular beats (VE), intra-ventricular conduction disturbances beats (IVCD), and normal beats (N). The obtained classification results show a better accuracy of 99.28% with an F1score of 99.24% with the MIT–BIH database and a descent accuracy of 99.12% with the real-time acquired database.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"20 1","pages":"455 - 465"},"PeriodicalIF":1.9,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74060957","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Reliability–Aware Zonotopic Tube–Based Model Predictive Control of a Drinking Water Network 基于可靠性感知分区管的饮水管网模型预测控制
IF 1.9 4区 计算机科学 Q3 AUTOMATION & CONTROL SYSTEMS Pub Date : 2022-06-01 DOI: 10.34768/amcs-2022-0015
Khoury Boutrous, F. Nejjari, V. Puig
Abstract A robust economic model predictive control approach that takes into account the reliability of actuators in a network is presented for the control of a drinking water network in the presence of uncertainties in the forecasted demands required for the predictive control design. The uncertain forecasted demand on the nominal MPC may make the optimization process intractable or, to a lesser extent, degrade the controller performance. Thus, the uncertainty on demand is taken into account and considered unknown but bounded in a zonotopic set. Based on this uncertainty description, a robust MPC is formulated to ensure robust constraint satisfaction, performance, stability as well as recursive feasibility through the formulation of an online tube-based MPC and an accompanying appropriate terminal set. Reliability is then modelled based on Bayesian networks, such that the resulting nonlinear function accommodated in the optimization setup is presented in a pseudo-linear form by means of a linear parameter varying representation, mitigating any additional computational expense thanks to the formulation as a quadratic optimization problem. With the inclusion of a reliability index to the economic dominant cost of the MPC, the network users’ requirements are met whilst ensuring improved reliability, therefore decreasing short and long term operational costs for water utility operators. Capabilities of the designed controller are demonstrated with simulated scenarios on the Barcelona drinking water network.
摘要针对预测控制设计中存在不确定性预测需求的饮用水管网控制问题,提出了一种考虑网络中执行机构可靠性的鲁棒经济模型预测控制方法。对标称MPC的不确定预测需求可能会使优化过程变得难以处理,或者在较小程度上降低控制器的性能。因此,考虑了需求的不确定性,并认为在分区集中是未知的但有界的。在此不确定性描述的基础上,通过制定在线管材MPC和相应的终端集,制定了鲁棒MPC,以保证鲁棒约束满足、性能、稳定性和递归可行性。然后基于贝叶斯网络对可靠性进行建模,这样,在优化设置中容纳的非线性函数通过线性参数变化表示以伪线性形式呈现,由于将公式作为二次优化问题而减轻了任何额外的计算费用。通过将可靠性指标纳入MPC的经济主导成本,在确保提高可靠性的同时满足了网络用户的要求,从而降低了水务公司运营商的短期和长期运营成本。设计的控制器的功能通过巴塞罗那饮用水网络的模拟场景进行了验证。
{"title":"Reliability–Aware Zonotopic Tube–Based Model Predictive Control of a Drinking Water Network","authors":"Khoury Boutrous, F. Nejjari, V. Puig","doi":"10.34768/amcs-2022-0015","DOIUrl":"https://doi.org/10.34768/amcs-2022-0015","url":null,"abstract":"Abstract A robust economic model predictive control approach that takes into account the reliability of actuators in a network is presented for the control of a drinking water network in the presence of uncertainties in the forecasted demands required for the predictive control design. The uncertain forecasted demand on the nominal MPC may make the optimization process intractable or, to a lesser extent, degrade the controller performance. Thus, the uncertainty on demand is taken into account and considered unknown but bounded in a zonotopic set. Based on this uncertainty description, a robust MPC is formulated to ensure robust constraint satisfaction, performance, stability as well as recursive feasibility through the formulation of an online tube-based MPC and an accompanying appropriate terminal set. Reliability is then modelled based on Bayesian networks, such that the resulting nonlinear function accommodated in the optimization setup is presented in a pseudo-linear form by means of a linear parameter varying representation, mitigating any additional computational expense thanks to the formulation as a quadratic optimization problem. With the inclusion of a reliability index to the economic dominant cost of the MPC, the network users’ requirements are met whilst ensuring improved reliability, therefore decreasing short and long term operational costs for water utility operators. Capabilities of the designed controller are demonstrated with simulated scenarios on the Barcelona drinking water network.","PeriodicalId":50339,"journal":{"name":"International Journal of Applied Mathematics and Computer Science","volume":"9 1","pages":"197 - 211"},"PeriodicalIF":1.9,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89780752","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
International Journal of Applied Mathematics and Computer Science
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1