Autonomous vehicles represent a transformative technology with the best implications for transportation systems. The key component of their success is their capability to detect and respond to their surroundings. For ...
详细信息
Many of us are busy in our lives and may not bother about blind people who need help in their basic tasks like walking. Hence, to make them more independent. In this paper, propose a design of a pair of smart shoe ext...
详细信息
Quantum computer(QC) technology is progressing remarkably and is becoming one of the important computing technologies of the future. However, the number of qubits that current quantum computers can run is limited, so ...
详细信息
Using quantum computing for drug design is among the most promising applications in quantum technologies. Genetic algorithms with their evolutionary iterations make it a propitious approach in various tasks, including...
详细信息
Steganography is the process of concealing a message's real nature by enclosing it in other information. Due to their ubiquitous use on the internet, digital photographs are the most often utilised sort of carrier...
详细信息
Cloud computing has problems such as untimeliness and poor network stability. In order to solve this problem, the predictive maintenance model of information and communication station owners based on edge computing is...
详细信息
Healthcare systems, beyond delivering health services, play a pivotal role in shaping national identities. Their resilience is thus crucial. This paper, anchored on the World Health Organization’s resilience framewor...
详细信息
Soteria is a blockchain-based authentication mechanism for vehicular ad-hoc networks (VANETs). It aims to enhance the security and efficiency of VANETs by using blockchain technology to authenticate the identity of ve...
详细信息
The tobacco industry faces numerous network security challenges during its digital transformation. With the picture of Chinese informationtechnology application innovation (ITAI), network security issues have become ...
详细信息
The tobacco industry faces numerous network security challenges during its digital transformation. With the picture of Chinese informationtechnology application innovation (ITAI), network security issues have become more prominent. This article explores to evaluate network security in the tobacco industry's digital environment by verification and testing. First, it proposes a security index system for ITAI products. Second, it conducts formal verification using the ProVerif to detect vulnerabilities and security issues in the network system in the ITAI environment. Thirdly, a combination testing method is designed to assess the security of ITAI hosts and security defense products. Through formal verification and testing, this research provides theoretical support and practical guidance for network security protection in the tobacco industry's digital environment.
The steep technological and performance advances in GPU cards have led to their increasing use in data centers in the recent years, especially in machine learning jobs. However, high hardware performance alone does no...
详细信息
暂无评论