检索结果-内蒙古大学图书馆

Embeddings Between State and Action Based Probabilistic Logics

Formal Aspects of Computing 2025年第2期37卷 1-58页

作者： Das, Susmoy Sharma, Arpit Department of Electrical Engineering and Computer Science Indian Institute of Science Education and Research Bhopal Madhya Pradesh Bhopal India

This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings proposed in the literature to allow invisible computation steps and the preservation of forward and backward bisimulation relations. Next, we propose the syntax and semantics of an action-based Probabilistic Computation Tree Logic (APCTL) and an action-based PCTL∗(APCTL∗) interpreted over action-labeled discrete-time Markov chains (ADTMCs). We show that both these logics are strictly more expressive than the probabilistic variant of Hennessy-Milner logic (prHML). We define an embedding aldl which can be used to construct APCTL∗formulae from PCTL∗formulae and an embedding sldl from APCTL∗formulae to PCTL∗formulae. Similarly, we define the embeddings and from PCTL to APCTL and APCTL to PCTL, respectively. We also define the reward-based variant of APCTL (APRCTL) interpreted over action-based Markov Reward Models (AMRM), and accordingly modify the logical embeddings and which allows us to take into account the notion of rewards. Additionally, we also show that the idea of rewards can be used to reason about the bounded until operator in PCTL and APCTL. Finally, we prove that our logical embeddings combined with the model embeddings enable one to minimize, analyze, and verify probabilistic models in one domain using state-of-the-art tools and techniques developed for the other domain. In order to validate the efficacy of our theoretical framework, we apply it to two case studies using the probabilistic symbolic model checker (PRISM). © 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Probabilistic Markov chain equivalence bisimulation logic embeddings rewards model checking

来源：评论

学校读者我要写书评

暂无评论

Efficient Communication in Wireless Sensor Networks Using Optimized Energy Efficient Engroove Leach Clustering Protocol

引用

Tsinghua science and Technology 2024年第4期29卷 985-1001页

作者： N.Meenakshi Sultan Ahmad A.V.Prabu J.Nageswara Rao Nashwan Adnan Othman Hikmat A.M.Abdeljaber R.Sekar Jabeen Nazeer SRM Institute of Science and Technology KattankulathurChennai 603203India Department of Computer Science College of Computer Engineering and SciencesPrince Sattam Bin Abdulaziz UniversityAlkharj 11942Saudi Arabia University Center for Research and Development(UCRD) Department of Computer Science and EngineeringChandigarh UniversityGharuanMohali 140413India Department of ECE Koneru Lakshmaiah Education FoundationVaddeswaramGuntur 522502India Department of Computer Science and Engineering Lakireddy Balireddy College of Engineering(A)NTR District 521230India Department of Computer Engineering College of EngineeringKnowledge UniversityErbil 44001Iraq Department of Computer Science Faculty of Information TechnologyApplied Science Private UniversityAmman 11937Jordan Department of Electronics and Communication Engineering(ECE) School of EngineeringPresidency UniversityBangalore 834001India

The Wireless Sensor Network(WSN)is a network that is constructed in regions that are inaccessible to human *** widespread deployment of wireless micro sensors will make it possible to conduct accurate environmental monitoring for a use in both civil and military *** make use of these data to monitor and keep track of the physical data of the surrounding environment in order to ensure the sustainability of the *** data have to be picked up by the sensor,and then sent to the sink node where they may be *** nodes of the WSNs are powered by batteries,therefore they eventually run out of *** energy restriction has an effect on the network life span and environmental *** objective of this study is to further improve the Engroove Leach(EL)protocol’s energy efficiency so that the network can operate for a very long time while consuming the least amount of *** lifespan of WSNs is being extended often using clustering and routing *** Meta Inspired Hawks Fragment Optimization(MIHFO)system,which is based on passive clustering,is used in this study to do *** cluster head is chosen based on the nodes’residual energy,distance to neighbors,distance to base station,node degree,and node *** on distance,residual energy,and node degree,an algorithm known as Heuristic Wing Antfly Optimization(HWAFO)selects the optimum path between the cluster head and Base Station(BS).They examine the number of nodes that are active,their energy consumption,and the number of data packets that the BS *** overall experimentation is carried out under the MATLAB *** the analysis,it has been discovered that the suggested approach yields noticeably superior outcomes in terms of throughput,packet delivery and drop ratio,and average energy consumption.

关键词： wireless sensor networks energy efficient engroove leach protocol meta inspired Hawks fragment optimization heuristic wing antfly optimization

来源：评论

学校读者我要写书评

暂无评论

Data-driven output regulation control for constrained linear systems

引用

science China(Information sciences) 2025年第3期68卷 338-353页

作者： Chaoyu XIA Yi DONG Chaoli WANG Shengyuan XU Shanghai Research Institute for Intelligent Autonomous Systems Tongji University College of Electronic and Information Engineering Shanghai Research Institute for Intelligent Autonomous SystemsTongji University Department of Control Science and Engineering School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and Technology Department of Automation Nanjing University of Science and Technology

This study introduces a data-driven approach for state and output feedback control addressing the constrained output regulation problem in unknown linear discrete-time systems. Our method ensures effective tracking performance while satisfying the state and input constraints, even when system matrices are not available. We first establish a sufficient condition necessary for the existence of a solution pair to the regulator equation and propose a data-based approach to obtain the feedforward and feedback control gains for state feedback control using linear programming. Furthermore, we design a refined Luenberger observer to accurately estimate the system state, while keeping the estimation error within a predefined set. By combining output regulation theory, we develop an output feedback control strategy. The stability of the closed-loop system is rigorously proved to be asymptotically stable by further leveraging the concept of λ-contractive sets.

关键词： output regulation constrained system data-driven.

来源：评论

学校读者我要写书评

暂无评论

DSANet: dilated spatial attention network for the detection of text, non-text and touching components in unconstrained handwritten documents

引用

Neural Computing and Applications 2024年第27期36卷 16959-16976页

作者： Bhowmik, Showmik Risat, Shaikh Sarkar, Bhaskar Research Lab Department of Computer Science and Engineering Ghani Khan Choudhury Institute of Engineering and Technology Malda India

Handwritten documents generated in our day-to-day office work, class room and other sectors of society carry vital information. Automatic processing of these documents is a pipeline of many challenging steps. The very first and crucial step is to identify text separately from the non-text as any OCR (optical character recognition) engine can only process the textual content. Separating text from non-text in unconstrained handwritten documents is a very complex task. In addition to other challenges, touching component is one of the major issues for text non-text separation in unconstrained handwritten documents. Detection of text, non-text along with touching component in such documents is an unexplored area of research. To address this issue, in this work, we develop a dilated spatial attention-based network for text, non-text and touching component detection. Additionally, in this work, we also prepare a realistic dataset for the said task. In the proposed dataset, the present model obtains overall accuracy of 87.85%. The performance of the present model is compared with seven feature-engineering-based methods and six deep learning-based methods. In most of the cases, the proposed model outperforms the comparing methods in the proposed dataset. The codes of our method are available here https://***/Showmik-Bhowmik/DSANet-Dilated-Spatial-Attention-.git. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Arrhythmia Detection by Using Chaos Theory with Machine Learning Algorithms

引用

computers, Materials & Continua 2024年第6期79卷 3855-3875页

作者： Maie Aboghazalah Passent El-kafrawy Abdelmoty M.Ahmed Rasha Elnemr Belgacem Bouallegue Ayman El-sayed Math and Computer Science Department Faculty of ScienceMenoufia UniversityShebin El-komEgypt College of Engineering Computer Science DepartmentEffat UniversityJeddahKingdom of Saudi Arabia Department of Computer Engineering College of Computer ScienceKing Khalid UniversityAbha61421Saudi Arabia Computer Science and Engineering Department Faculty of Electronic EngineeringMenoufia UniversityShebin El-komEgypt Climate Change Information Center and Expert Systems Agriculture Research CenterGizaEgypt

Heart monitoring improves life ***(ECGs or EKGs)detect heart *** learning algorithms can create a few ECG diagnosis processing *** first method uses raw ECG and time-series *** second method classifies the ECG by patient *** third technique translates ECG impulses into Q waves,R waves and S waves(QRS)features using richer *** ECG signals vary naturally between humans and activities,we will combine the three feature selection methods to improve classification accuracy and *** using all three approaches have not been examined till *** researchers found that Machine Learning(ML)techniques can improve ECG *** study will compare popular machine learning techniques to evaluate ECG *** algorithms—Support Vector Machine(SVM),Decision Tree,Naive Bayes,and Neural Network—compare categorization *** plus prior knowledge has the highest accuracy(99%)of the four ML *** characteristics failed to identify signals without chaos *** 99.8%classification accuracy,the Decision Tree technique outperformed all previous experiments.

关键词： ECG extraction ECG leads time series prior knowledge and arrhythmia chaos theory QRS complex analysis machine learning ECG classification

来源：评论

学校读者我要写书评

暂无评论

A Two-Stage Deep Learning Approach for Optimizing Fashion Product Recommendations

引用

SN computer science 2025年第4期6卷 1-13页

作者： Buradagunta, Suvarna Balakrishna, Sivadi Department of Computer Science and Engineering Vignan’s Foundation for Science Technology and Research Guntur India Department of Advanced Computer Science and Engineering Vignan’s Foundation for Science Technology and Research Guntur India

Online shopping platforms are experiencing rapid growth, necessitating effective product recommendation systems to enhance customer satisfaction by recommending visually similar products. Traditional statistical techniques often result in less accurate recommendations. This study encompasses two primary tasks: Query Product Classification and Product Recommendation Retrieval. The initial job employs a Deep Neural Network, which takes high-level feature representations derived from the Xception and VGG16 for the query image. The features are further analyzed to forecast the category of the product. The second step is retrieving analogous products by calculating cosine similarity, facilitating the identification of visually comparable items within the product database. By leveraging diverse feature representations, the proposed approach improves the precision and relevance of recommendations. Experimental evaluations on fashion product images and Shoe datasets demonstrate significant performance improvements over existing models, achieving accuracies of 91.76%, and 82.23% respectively. These results underscore the capability of the system to provide superior recommendations in online fashion shopping scenarios, emphasizing its effectiveness in improving customer experience. © The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd. 2025.

关键词： Content-based recommendation Image based recommendation system Pretrained models Recommendation systems VGG-16 Visual product recommendation Xception

来源：评论

学校读者我要写书评

暂无评论

Representing a Model for the Anonymization of Big Data Stream Using In-Memory Processing

引用

Annals of Data science 2025年第1期12卷 223-252页

作者： Shamsinejad, Elham Banirostam, Touraj Pedram, Mir Mohsen Rahmani, Amir Masoud Department of Computer Engineering Central Tehran Branch Islamic Azad University Tehran Iran Department of Electrical and Computer Engineering Faculty of Engineering Kharazmi University Tehran Iran Department of Computer Engineering Science and Research Branch Islamic Azad University Tehran Iran

In light of the escalating privacy risks in the big data era, this paper introduces an innovative model for the anonymization of big data streams, leveraging in-memory processing within the Spark framework. The approach is founded on the principle of K-anonymity and propels the field forward by critically evaluating various anonymization methods and algorithms, benchmarking their performance with respect to time and space complexities. A distinctive formula for optimized cluster determination in the K-means algorithm is presented, along with a novel tuple expiration time strategy for the efficient purging of clusters. The integration of these components into Spark’s RDD and MLlib modules results in a significant decrease in execution time and data loss rates, even with increasing data volumes. The paper’s notable contributions are its methodological advancements that offer a robust, scalable solution for data anonymization, safeguarding user privacy without sacrificing data utility or processing efficiency. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

A Review of Anonymization Algorithms and Methods in Big Data

引用

Annals of Data science 2025年第1期12卷 253-279页

In the era of big data, with the increase in volume and complexity of data, the main challenge is how to use big data while preserving the privacy of users. This study was conducted with the aim of finding a solution to this challenge. In this study, we examined various data anonymization methods, including differential privacy, advanced encryption, and strong access controls. In addition, the operation, advantages, disadvantages, and use of these methods, the challenges of adapting these methods to big data, and possible solutions for them were also examined. Our results show that traditional data anonymization methods lack scalability, leading to privacy breaches and data loss. When faced with large volumes of data, these methods may not be able to fully process the data. Also, these methods may be ineffective against re-identification attacks, linkage attacks, and inference attacks. We introduced emerging methods that are capable of providing improved privacy with minimal data loss. These methods have scalability for big data. Finally, we examined future research works and raised important questions that can help improve existing algorithms or develop new methods, better manage the complexity and scale of unstructured data. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Dynamic-EC:an efficient dynamic erasure coding method for permissioned blockchain systems

引用

Frontiers of computer science 2025年第1期19卷 15-28页

作者： Mizhipeng ZHANG Chentao WU Jie LI Minyi GUO Department of Computer Science and Engineering Shanghai Jiao Tong UniversityShanghai 200200China Yancheng Blockchain Research Institute Hengyang 421200China

Blockchain as a decentralized storage technology is widely used in many *** has extremely strict requirements for reliability because there are many potentially malicious ***,blockchain is a chain storage structure formed by interconnecting blocks1),which are stored by full replication method,where each node stores a replica of all blocks and the data consistency is maintained by the consensus *** decrease the storage overhead,previous approaches such as BFT-Store and Partition Chain store blocks via erasure ***,existing erasure coding based methods utilize static encoding schema to tolerant f malicious nodes,but in the typical cases,the number of malicious nodes is much smaller than f as described in previous *** redundant parities to tolerate excessive malicious nodes introduces unnecessary storage *** solve the above problem,we propose Dynamic-EC,which is a Dynamic Erasure Coding method in permissioned blockchain *** key idea of Dynamic-EC is to reduce the storage overhead by dynamically adjusting the total number of parities according to the risk level of the whole system,which is determined by the number of perceived malicious nodes,while ensuring the system *** demonstrate the effectiveness of Dynamic-EC,we conduct several experiments on an open source blockchain software *** results show that,compared to the state-of-the-art erasure coding methods,Dynamic-EC reduces the storage overhead by up to 42%,and decreases the average write latency of blocks by up to 25%,respectively.

关键词： blockchain Byzantine Fault Tolerance(BFT) erasure coding consensus reputation evaluation

来源：评论

学校读者我要写书评

暂无评论

Enriched cloud computing data security through a triple level encryption model for healthcare systems

引用

International Journal of Cloud Computing 2024年第6期13卷 566-580页

作者： Kanagaraj, Hari Priya Christo, Brintha Nalsingh Department of Computer Science and Engineering Kalasalingam Academy of Research and Education Tamil Nadu Krishnankovil India

Cloud computing (CC) stores and accesses data over the internet, posing security risks from within the cloud service provider (CSP) or outsiders, especially in medical systems. Cryptography is crucial for security, but performance must not be compromised. This research proposes enhancing security with minimal performance impact by refining Blowfish cipher and using an elliptic curve-based algorithm for key coding. Serpent encryption divides data into blocks and combines them for triple-level encryption. Hash functions reduce processing time, even with multiple users accessing the same document. The approach aims to bolster confidentiality in medical cloud data while ensuring data integrity with digital signatures. Software evaluation shows improvements in throughput, execution time, and memory consumption. © 2024 Inderscience Enterprises Ltd.

关键词： Cloud security

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：