Miracle-dz/UniFAR-FTUs huggingface dataset:
Deep Learning Based Fuzzy Extractor for Generating Strong Keys from Biometric Face Images

Biometric techniques have traditionally been used in various cybersecurity applications. For instance, some user authentication systems use biometric facial images, fingerprints, iris images, vein patterns, and much more. Most of these applications store biometric features copies (or data derived from these features). Authentication is carried out based on the results of comparing the presented biometric images with the reference ones. However, if the storage is compromised, biometric personal data will be lost and this significantly limits the scope of biometric techniques. Fuzzy extractors solve this problem. Instead of reference biometric data, fuzzy extractors extract cryptographically strong keys (secret bit strings, passwords) that are used to authenticate users. In addition, the extracted keys can be used as a source of entropy for various cryptographic mechanisms (encryption, electronic signature, etc.). In this paper, we propose a fuzzy extractor for generating cryptographically strong keys from biometric images of a human face. Our extractor uses biometric image preprocessing using deep learning methods, as well as code-based cryptosystems that provide a post-quantum (quantum-resistant) level of security.
Analysis and Research of Computer Software Security Vulnerability Technology Based on COQ

With the rapid development of computer technology, the Internet age has become the mainstream. The problem of information security has become very serious. Especially, the security of database system, the protection of data and the prevention of illegal destruction have become the focus of social attention. The security of software is the foundation of computer security and communication security. No matter how good firewall, intrusion detection and anti-virus software is, if the security of the software itself can't be guaranteed, then it can't improve the security at all. The fundamental reason is that the most important problem of computer security is the defect of computer software. Blocking the attacker's attack from the outside is always a temporary solution but not a permanent cure, and the core part of the problem is not grasped, so the effect is minimal. Therefore, how to detect the vulnerabilities in the software system in advance is an urgent problem to be solved in the field of software security. In this paper, we propose a COQ based formal method and proof system to verify the above three types of operations against the nonstandard operations that threaten software security, such as array overrun, null pointer reference and buffer overflow. The results show that the method proposed in this paper effectively verifies three types of problems in software security, and lays a foundation for the application of formal methods in software security verification.
Helmet-mounted pilot night vision systems: Human factors issues

Helmet-mounted displays of infrared imagery (forward-looking infrared (FLIR)) allow helicopter pilots to perform low level missions at night and in low visibility. However, pilots experience high visual and cognitive workload during these missions, and their performance capabilities may be reduced. Human factors problems inherent in existing systems stem from three primary sources: the nature of thermal imagery; the characteristics of specific FLIR systems; and the difficulty of using FLIR system for flying and/or visually acquiring and tracking objects in the environment. The pilot night vision system (PNVS) in the Apache AH-64 provides a monochrome, 30 by 40 deg helmet-mounted display of infrared imagery. Thermal imagery is inferior to television imagery in both resolution and contrast ratio. Gray shades represent temperatures differences rather than brightness variability, and images undergo significant changes over time. The limited field of view, displacement of the sensor from the pilot's eye position, and monocular presentation of a bright FLIR image (while the other eye remains dark-adapted) are all potential sources of disorientation, limitations in depth and distance estimation, sensations of apparent motion, and difficulties in target and obstacle detection. Insufficient information about human perceptual and performance limitations restrains the ability of human factors specialists to provide significantly improved specifications, training programs, or alternative designs. Additional research is required to determine the most critical problem areas and to propose solutions that consider the human as well as the development of technology.
Comprehensive Seq2Seq Attention Model for Typhoon Trajectory Forecasting

Typhoons are powerful tropical cyclones that often result in devastating secondary effects due to their high destructive potential. Therefore, accurate forecasting of typhoon paths is of great importance for timely and effective disaster warnings. This study proposes a typhoon prediction model based on Seq2Seq attention, which addresses the performance degradation issue in the encoder-decoder structure when predicting long sequences. The model effectively captures long-term dependencies, ensures convergence, mitigates the problem of gradient vanishing or exploding, and improves prediction accuracy. To evaluate the model, typhoon data from the China Typhoon Network spanning from 2000 to 2022 were used. The Seq2Seq attention model is compared with TCN, LSTM and Seq2Seq model to forecast the typhoon trajectory for a 12-hour period. The results indicate that the Seq2Seq attention model outperforms other prediction methods, demonstrating its effectiveness in this study based on superior forecasting accuracy.
An Application-Aware Clustering Strategy in Vehicular Ad Hoc Network

VANET (Vehicular Ad Hoc Network) was developed to address the unique challenges of communication in a mobile vehicular environment. This technology can enhance driving safety and traffic control. Moreover, similar principles can be applied to unmanned aerial vehicles and robotics. When transmitting data in moving vehicles, it is challenging as access points and base stations keep changing, requiring handovers between different access points and base stations. Clustering is a popular approach used to address this challenge. Common clustering strategies are based on the proximity, communication range, the density, the application requirements of the moving vehicles, or hybrid of them. In this paper, we propose a clustering strategy based on the application sublayer in the vehicle communication protocol. If two computing devices on the move run the same application, they can be grouped together. The contribution of this research is to develop a clustering mechanism based on the application with very low overhead. We also validate the proposed method through simulations. The simulation results indicate that the proposed method is feasible.
Operating Principle and Characterisation of a Novel Contra-Rotating Dual-Rotor Switched Reluctance Machine

This paper proposes a novel dual mechanical port machine composed of a stator with a single set of windings with two coaxially housed rotors which are capable of rotating in opposite directions. This topology makes the machine suitable for applications in renewable energy as well as in hybrid drive systems. A torque characteristic in function of the switch-on angle is derived for each rotor from which the possible operating modes of the whole machine are established. Due to the fact that two rotors are magnetically coupled to a single stator winding, the total back-emf is the result of the superposition of the back-emf produced by each rotor separately. The modulating effect of the relative position of the rotors on the back-emf profile is validated for a range of operating modes by means of simulation and experimental results. The results show that when the machine is operating as a transmission, with one rotor motoring and the other generating, the total time-average back-emf profile is zero.
Multiuser MIMO Detection Via the EM Algorithm

Multiuser MIMO (MU-MIMO) detection as an essential part of the receiver is crucially important for wireless communication. This paper presents an expectation-maximization (EM) based detection algorithm with reduced complexity for downlink MU-MIMO systems. First, we decouple the original multiuser data detection problem into several separate single-user MIMO detection problems based on the EM method. Next, each optimization problem can be solved by the sphere decoding algorithm alternately. The decomposition and maximization perform iteratively until convergence. Simulations in various cases demonstrate the superiority of the algorithm in comparison with linear detectors, as well as the complexity efficiency against multiuser and dense constellations.
Effects of 3 Weeks Yogic Breathing Techniques on Sub-maximal Running Responses

This study investigated the influence of yoga breathing techniques (YBT) on physiological and perceptual responses during sub-maximal treadmill running. Runners (n = 21) of various fitness (VO2max 48.4 ± 9.5 ml/kg/min) were assigned to Yoga (YG) or control (CT) group before completing pre/post treadmill trials where velocity was self-selected to produce an RPE 4 and RPE 7 (10 min each). YG (n =11) practiced three styles of YBT (30 min/day, 6 days/wk) for 3 consecutive wks. Self-selected running velocity for YG improved significantly at both prescribed RPE 4 (pre 157.63 ± 26.20 M/min, post 181.02 ± 24.22 M/min, p = 0.01) and prescribed RPE 7 (pre 201.97 ± 31.28 M/min, post 222.68± 35.32 M/min, p = 0.01). VO2 at RPE 7 increased significantly (pre 42.6 ± 6.9 ml/kg/min, post 47.3 ± 6.2 ml/kg/min, p = 0.02), TV at RPE 7 (pre 1.81 ± 0.30, post 2.04 ± 0.41, p = 0.01), and MV at RPE 7 (pre 77.25 ± 12.42, post 91.23 ± 20.05, p = 0.01). The CT group showed no significant changes except for TV at RPE 7 (pre 1.9 ± 0.3, post 2.0 ± 0.3, p = 0.04). Current results suggest YBT positively influences running velocity regulation during self-selected running.
Uma arquitetura orientada a serviços para visualização de dados em dispositivos inteligentes

A evolucao tecnologica dos smartphones e tablets, a grande quantidade de informacoes armazenadas eletronicamente, e a necessidade de tomada de decisao, individual ou colaborativa, em qualquer lugar e momento demandam a concepcao e desenvolvimento de servicos para visualizacao desses dados. A Internet tem desempenhado um importante papel como rede de compartilhamento de conhecimento, e neste contexto tem surgido aplicacoes com arquiteturas orientadas a servicos (SOA) nos mais diversos campos de estudo. Assim, este trabalho tem como objetivo a concepcao e desenvolvimento de um agregado de servicos que favorecam a ubiquidade e pervasividade em aplicacoes de visualizacao de dados, permitindo que o usuario construa visualizacoes de dados sobre um determinado dominio de problema de maneira facil e intuitiva. Com este tipo de servico e possivel construir aplicacoes de visualizacoes de dados em diferentes dispositivos inteligentes, tais como: smartphones, tablets, desktop, TV Digital e etc. Esta abstracao e conseguida atraves de uma API Web que suporta as principais caracteristicas de aplicacoes de visualizacao de informacoes em diferentes plataformas. O modelo arquitetural de comunicacao utilizado na concepcao do servico foi o REST (REpresentational State Transfer), as aplicacoes cliente e servidora foram desenvolvidas na linguagem Java, e foi utilizado um motor de geracao de visualizacoes de dados denominado PRISMA. Como cenario de uso, foi desenvolvida uma aplicacao cliente Android para testar os servicos criados. Por fim, serao apresentados dados iniciais sobre testes de usabilidade realizados na aplicacao desenvolvida.
A Unified Approach for Physical-layer Security over α - η - F and α - ϰ - F Fading Channels

Recently, the $\alpha - \kappa - {\mathcal{F}}$ and $\alpha - \eta - {\mathcal{F}}$composite fading models have been presented to characterize the shadowing, the nonlinear and the multipath effects simultaneously. However, the complex mathematical expressions of their probability density functions render it difficult to analyze the performance of some wireless communication systems. To this end, we present a mixture $\alpha - {\mathcal{F}}$ model to unify both of them. Then, this mixture model is applied to evaluate the physical-layer security performance of a wireless communication system. The unified exact and asymptotic expressions of the average secrecy capacity, the secrecy outage probability and the probability of intercept are derived, respectively, when the main channel and the eavesdropper’s channel undergo the identical and independent fading (such as $\alpha - \kappa - {\mathcal{F}}/\alpha - \kappa - {\mathcal{F}}$) and the mixed and independent fading (such as $\alpha - \kappa - {\mathcal{F}}/\alpha - \eta - {\mathcal{F}}$), respectively. Finally, we employ numerical and simulation results to assess the accuracy of the theoretical analysis.
A General 3D GBSM for 6G Satellite Communication Systems

Satellite communications hold great promises in achieving the global coverage vision of the sixth generation (6G) mobile communications. This paper presents a general three-dimensional (3D) geometry-based stochastic model (GBSM) for satellite communication channel modeling. The proposed GBSM is suitable for commonly used satellite communication frequency bands from S-band to millimeter wave (mmWave) band, and is applicable to different satellite orbits through modeling satellite trajectories based on the real orbit. The model considers the spatial consistency of large-scale parameters (LSPs) and the dependence of channel parameters on environment, frequency, and satellite elevation angle. In addition, the model considers the ionospheric effect and the rain attenuation. Finally, under different satellite trajectories and rain rates, we simulate and analyze statistical properties including delay spread (DS), temporal auto-correlation function (ACF), and local Doppler spread. Results prove that satellite elevation and height have considerable effect on channel characteristics. In addition, it is proved that rain attenuation can cause more severe multipath effect.
A Secure Design Methodology to Prevent Targeted Trojan Insertion during Fabrication

Hardware Trojans are malicious modifications made to a circuit for the purpose of altering its behavior. If Integrated Circuit (IC) fabrication is outsourced to an untrusted foundry, learning the correspondence between the layout and logical design nodes can enable that foundry to strategically choose target sites for adding Hardware Trojans to the layout. Split manufacturing mitigates this threat by printing only FEOL layers in the untrusted foundry, and then completing the design in a trusted facility. In this work we propose a new synthesis-based approach for k-secure personalization in split manufacturing.Based on the design, cell library, and user-specified security level k, our approach automatically chooses a subset of library cells for technology mapping, and then scalably partitions the mapped design to identify security-critical wires that must be withheld from the untrusted foundry. We demonstrate our approach by implementing four publicly available benchmark designs in a 15nm open cell library across a wide range of security levels from 10-100,000. We show that our method appropriately tailors library cell choices according to design and security level, and that the secure partitioning algorithm scales to thousands of cells and beyond. Designs created with our method achieve a high level of security even while withholding as little as 9% of wires from the untrusted foundry. Our method is furthermore able to explore tradeoffs by generating a set of equally-secure designs that are Pareto-optimal in area versus number of wires withheld.
A Mathematical Model for Wound Field Switched Flux Machine Considering Inductance Harmonics of Field and Armature Windings

To predict the DC winding induced voltage of the wound field switched flux (WFSF) machine, the mathematical model of the WFSF machine considering harmonics in the DC winding self-inductance Lf, and harmonics in the mutual inductance Mfx (x=A, B, C) between x-phase armature winding and the DC winding is proposed in this paper. The modelling method decouples each current differential term in the d- and q-axis voltage equations and the DC winding terminal voltage. The control system simulation with the proposed mathematical model is built to verify the accuracy of the modelling method, and the capability to predict the DC winding induced voltage pulsation. Meanwhile, by adopting this mathematical model, finite element analysis can be avoided when conducting the motor control simulation, which can reduce the simulation time cost whilst ensuring the control precision.
Research on Industrial Load Decomposition Based on Correlation Analysis and DNN

Non-Intrusive Load Monitoring (NILM) technology plays a crucial role in regulating the electricity consumption behavior of industrial enterprises and the power grid dispatching process. However, existing algorithms are plagued by issues including load feature selection, limited application scenarios, complex decomposition processes, and low decomposition accuracy. This paper proposes a novel load decomposition model that combines correlation analysis with a fully connected neural network (DNN). The model enhances the accuracy of load decomposition by calculating the Pearson correlation coefficient between each load feature and the operational state of electrical devices. A fully connected neural network is utilized to streamline the NILM decomposition process and improve the model's robustness. The effectiveness of the algorithm is validated through extensive simulation experiments using an enterprise-level device dataset. The experimental results demonstrate that the proposed algorithm achieves high decomposition accuracy for various industrial production equipment, providing significant implications for enterprise production monitoring and management.
Application of the Method of Analysis of Hierarchies to Solve the Problem of Aircraft Selection

The article presents the results of research using the method of analysis of hierarchies. This method, unlike the existing ones, allows comparing indicators of different nature in one decision-making plane. The selection of aircraft has been made. Characteristics and additional tactical and technical parameters are defined, which are divided into 5 groups in accordance with the indicators they describe. The calculation of integral quality indicators was carried out with the formation of a generalized global assessment criterion for each aircraft and unmanned aerial vehicle. A comparison of evaluation options was made for reference calculations and in accordance with the task being performed. The results of the calculations highlighted the advantages and disadvantages that should be paid attention to when choosing an aircraft.
Establishment and Analysis of New Topology for Power Internet of Things

With the rapid development and wide application of the power Internet of things, its security has received more and more attention. This paper mainly focuses on the topology of power Internet of things, aiming at the problems of poor invulnerability and only applicable to longitudinal data transmission of the existing overall topology of power Internet of things, considering the anti-attack and stability of the topology, based on the traditional topology of power Internet of things, a new topology is established by classifying perception devices, adding intelligent processing nodes and increasing interactive communication links. Simulation results show that the new topology has good anti-attack ability on the basis of ensuring communication efficiency.
Dynamic Unmanned Aerial Vehicle Selection via Evolutionary Game

Unmanned aerial vehicle assisted (UAV-assisted) wireless communication network is a promising paradigm of wireless communication network. In this paper, we apply the evolutionary game to the UAV selection process of ground user equipment (UE). Specifically, we first establish a UAV-assisted uplink wireless communication model, and then we use replicator dynamics to describe the process of evolution game. Finally, we propose a dynamic UAV selection algorithm based on evolutionary game with low computation complexity. The numerical results prove the effectiveness of our developed algorithm in UAV-assisted wireless communication network.
Modular Stator Surface-mounted Permanent Magnet Machines with Flux Gaps

A novel modular stator surface-mounted permanent magnet (SSPM) machine is proposed, which features E-type stator modular units with surface-mounted permanent magnets (PMs) on alternate teeth, as well as the tangential flux gaps (FGs) sandwiched by the stator units. The bipolar sinusoidal phase flux-linkage can be obtained in the machines with specific slot/pole number combinations, albeit with the unipolar coil flux-linkages. Based on the theoretical and finite element analyses, the influences of FGs on electromagnetic performances of modular SSPM machines, including winding factors, airgap flux densities, back-EMFs, cogging torques, and on-load torques, are comprehensively investigated. It is revealed that the appropriate stator FGs not only enhance the manufacturability and phase independence, but also improve the back-EMF and average torque by 21.6% and 7.1% respectively. In addition, it is identified that the multiple working harmonics co-exist for torque generations in the modular SSPM machines.
Reliability Dynamic Perception-based Power Line Communication Hierarchical Networking Method

With the large-scale access of distributed photovoltaic, controllable load, and energy storage devices to the low-voltage distribution network, the requirements for the transmission quality and processing efficiency of power line communication data are rapidly increasing. However, large access of high proportion power electronic components will introduce color noise, which will have a great impact on the channel environment of power line communication. This paper first constructs a multi-layer hierarchical power line communication networking architecture. Then, a reliability dynamic perception-based optimal subcarrier selection method is proposed to meet the high-speed transmission requirements of renewable power system services. The simulation results show that the algorithm has excellent performance in probability of selecting the optimal subcarrier versus iteration and data transmission efficiency.