Response of Overhanging RC Beams Strengthened with Various Schemes of Externally Bonded CFRP Strips
Published in: Practice Periodical on Structural Design and Construction
Nov 01, 2024
This study evaluated the effectiveness of carbon fiber-reinforced polymer (CFRP) composites in strengthening RC beams for a simple span overhanging from both ends and subjected to equal concentrated forces at each end. This innovative loading configuration allows for investigating the performance of CFRP composites under pure moment within the middle span and ensuring continuity of the moment over the supports, which cannot be captured using the classical simple span with four-point loading con...
Access Control Verification in Smart Contracts Using Colored Petri Nets
Published in: Computers
Oct 22, 2024
This paper presents an approach for the verification of access control in smart contracts written in the Digital Asset Modeling Language (DAML). The approach utilizes Colored Petri Nets (CPNs) and their analysis tool CPN Tools. It is a model-driven-based approach that employs a new meta-model for capturing access control requirements in DAML contracts. The approach is supported by a suite of tools that fully automates all of the steps: parsing DAML code, generating DAML model instances, transfo...
Cybersecurity activities for education and curriculum design: A survey
Published in: Computers in Human Behavior Reports
Oct 21, 2024
Cyber threats are one of the main concerns in this growing technology epoch. To tackle this issue, highly skilled and motivated cybersecurity professionals are increasingly in demand to prevent, detect, respond to, or even mitigate the effects of such threats. However, the world faces a workforce shortage of qualified cybersecurity professionals and practitioners. To address this dilemma, several cybersecurity educational programs have been introduced, such as specialized cybersecurity courses ...