With the anticipated growth in air traffic complexity in the coming years,future civil aviation transportation system(CATS)is transforming into a complex cyber–physical–social system,surpassing all previous experien...With the anticipated growth in air traffic complexity in the coming years,future civil aviation transportation system(CATS)is transforming into a complex cyber–physical–social system,surpassing all previous experiences in the history of civil aviation safety management.Therefore,a new safety concept based on a system-of-systems(SoS)perspective is proposed for the next-generation aviation.This article begins by elucidating the complexity of existing aviation risks and emphasizing the necessity for an updated safety concept.It then presents the challenges of current safety management and potential solutions from the new SoS perspective.To address future risks,the concept of SoS safety is introduced with the inspiration of the human immune system in terms of capability,logic,and architecture,which can serve as a guiding framework and methodology for safety engineering in complex large-scale CATS.This concept indicates the transition from“process and outcome-oriented”to“capability-oriented”intelligent safety management.Our research highlights the development directions and potential technological areas that need to be addressed at different stages of SoS safety.The integration of SoS design and operation through rapid iterations enabled by artificial intelligence(AI)will ultimately achieve endogenous SoS safety.展开更多
The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficultie...The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.展开更多
The Reliability-Based Design Optimization(RBDO)of complex engineering structures considering uncertainties has problems of being high-dimensional,highly nonlinear,and timeconsuming,which requires a significant amount ...The Reliability-Based Design Optimization(RBDO)of complex engineering structures considering uncertainties has problems of being high-dimensional,highly nonlinear,and timeconsuming,which requires a significant amount of sampling simulation computation.In this paper,a basis-adaptive Polynomial Chaos(PC)-Kriging surrogate model is proposed,in order to relieve the computational burden and enhance the predictive accuracy of a metamodel.The active learning basis-adaptive PC-Kriging model is combined with a quantile-based RBDO framework.Finally,five engineering cases have been implemented,including a benchmark RBDO problem,three high-dimensional explicit problems,and a high-dimensional implicit problem.Compared with Support Vector Regression(SVR),Kriging,and polynomial chaos expansion models,results show that the proposed basis-adaptive PC-Kriging model is more accurate and efficient for RBDO problems of complex engineering structures.展开更多
The belief rule-based(BRB)system has been popular in complexity system modeling due to its good interpretability.However,the current mainstream optimization methods of the BRB systems only focus on modeling accuracy b...The belief rule-based(BRB)system has been popular in complexity system modeling due to its good interpretability.However,the current mainstream optimization methods of the BRB systems only focus on modeling accuracy but ignore the interpretability.The single-objective optimization strategy has been applied in the interpretability-accuracy trade-off by inte-grating accuracy and interpretability into an optimization objec-tive.But the integration has a greater impact on optimization results with strong subjectivity.Thus,a multi-objective optimiza-tion framework in the modeling of BRB systems with inter-pretability-accuracy trade-off is proposed in this paper.Firstly,complexity and accuracy are taken as two independent opti-mization goals,and uniformity as a constraint to give the mathe-matical description.Secondly,a classical multi-objective opti-mization algorithm,nondominated sorting genetic algorithm II(NSGA-II),is utilized as an optimization tool to give a set of BRB systems with different accuracy and complexity.Finally,a pipeline leakage detection case is studied to verify the feasibility and effectiveness of the developed multi-objective optimization.The comparison illustrates that the proposed multi-objective optimization framework can effectively avoid the subjectivity of single-objective optimization,and has capability of joint optimiz-ing the structure and parameters of BRB systems with inter-pretability-accuracy trade-off.展开更多
With the development of cyber-physical systems,system security faces more risks from cyber-attacks.In this work,we study the problem that an external attacker implements covert sensor and actuator attacks with resourc...With the development of cyber-physical systems,system security faces more risks from cyber-attacks.In this work,we study the problem that an external attacker implements covert sensor and actuator attacks with resource constraints(the total resource consumption of the attacks is not greater than a given initial resource of the attacker)to mislead a discrete event system under supervisory control to reach unsafe states.We consider that the attacker can implement two types of attacks:One by modifying the sensor readings observed by a supervisor and the other by enabling the actuator commands disabled by the supervisor.Each attack has its corresponding resource consumption and remains covert.To solve this problem,we first introduce a notion of combined-attackability to determine whether a closedloop system may reach an unsafe state after receiving attacks with resource constraints.We develop an algorithm to construct a corrupted supervisor under attacks,provide a verification method for combined-attackability in polynomial time based on a plant,a corrupted supervisor,and an attacker's initial resource,and propose a corresponding attack synthesis algorithm.The effectiveness of the proposed method is illustrated by an example.展开更多
Visual question answering(VQA)is a multimodal task,involving a deep understanding of the image scene and the question’s meaning and capturing the relevant correlations between both modalities to infer the appropriate...Visual question answering(VQA)is a multimodal task,involving a deep understanding of the image scene and the question’s meaning and capturing the relevant correlations between both modalities to infer the appropriate answer.In this paper,we propose a VQA system intended to answer yes/no questions about real-world images,in Arabic.To support a robust VQA system,we work in two directions:(1)Using deep neural networks to semantically represent the given image and question in a fine-grainedmanner,namely ResNet-152 and Gated Recurrent Units(GRU).(2)Studying the role of the utilizedmultimodal bilinear pooling fusion technique in the trade-o.between the model complexity and the overall model performance.Some fusion techniques could significantly increase the model complexity,which seriously limits their applicability for VQA models.So far,there is no evidence of how efficient these multimodal bilinear pooling fusion techniques are for VQA systems dedicated to yes/no questions.Hence,a comparative analysis is conducted between eight bilinear pooling fusion techniques,in terms of their ability to reduce themodel complexity and improve themodel performance in this case of VQA systems.Experiments indicate that these multimodal bilinear pooling fusion techniques have improved the VQA model’s performance,until reaching the best performance of 89.25%.Further,experiments have proven that the number of answers in the developed VQA system is a critical factor that a.ects the effectiveness of these multimodal bilinear pooling techniques in achieving their main objective of reducing the model complexity.The Multimodal Local Perception Bilinear Pooling(MLPB)technique has shown the best balance between the model complexity and its performance,for VQA systems designed to answer yes/no questions.展开更多
The optimization of civil engineering structures is critical for enhancing structural performance and material efficiency in engineering applications.Structural optimization approaches seek to determine the optimal de...The optimization of civil engineering structures is critical for enhancing structural performance and material efficiency in engineering applications.Structural optimization approaches seek to determine the optimal design,by considering material performance,cost,and structural safety.The design approaches aim to reduce the built environment’s energy use and carbon emissions.This comprehensive review examines optimization techniques,including size,shape,topology,and multi-objective approaches,by integrating these methodologies.The trends and advancements that contribute to developing more efficient,cost-effective,and reliable structural designs were identified.The review also discusses emerging technologies,such as machine learning applications with different optimization techniques.Optimization of truss,frame,tensegrity,reinforced concrete,origami,pantographic,and adaptive structures are covered and discussed.Optimization techniques are explained,including metaheuristics,genetic algorithm,particle swarm,ant-colony,harmony search algorithm,and their applications with mentioned structure types.Linear and non-linear structures,including geometric and material nonlinearity,are distinguished.The role of optimization in active structures,structural design,seismic design,form-finding,and structural control is taken into account,and the most recent techniques and advancements are mentioned.展开更多
This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-sta...This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.展开更多
This research aims to address the challenges of fault detection and isolation(FDI)in digital grids,focusing on improving the reliability and stability of power systems.Traditional fault detection techniques,such as ru...This research aims to address the challenges of fault detection and isolation(FDI)in digital grids,focusing on improving the reliability and stability of power systems.Traditional fault detection techniques,such as rule-based fuzzy systems and conventional FDI methods,often struggle with the dynamic nature of modern grids,resulting in delays and inaccuracies in fault classification.To overcome these limitations,this study introduces a Hybrid NeuroFuzzy Fault Detection Model that combines the adaptive learning capabilities of neural networks with the reasoning strength of fuzzy logic.The model’s performance was evaluated through extensive simulations on the IEEE 33-bus test system,considering various fault scenarios,including line-to-ground faults(LGF),three-phase short circuits(3PSC),and harmonic distortions(HD).The quantitative results show that the model achieves 97.2%accuracy,a false negative rate(FNR)of 1.9%,and a false positive rate(FPR)of 2.3%,demonstrating its high precision in fault diagnosis.The qualitative analysis further highlights the model’s adaptability and its potential for seamless integration into smart grids,micro grids,and renewable energy systems.By dynamically refining fuzzy inference rules,the model enhances fault detection efficiency without compromising computational feasibility.These findings contribute to the development of more resilient and adaptive fault management systems,paving the way for advanced smart grid technologies.展开更多
A single-phase anti-perovskite medium-entropy alloy nitride foams(MEANFs),as innovative materials for electromagnetic wave(EMW)absorption,have been successfully synthesized through the lattice expansion induced by nit...A single-phase anti-perovskite medium-entropy alloy nitride foams(MEANFs),as innovative materials for electromagnetic wave(EMW)absorption,have been successfully synthesized through the lattice expansion induced by nitrogen doping.This achievement notably overcomes the inherent constraints of conventional metal-based absorbers,including low resonance frequency,high conductivity,and elevated density,for the synergistic advantages provided by multimetallic alloys and foams.Microstructural analysis with comprehensive theoretical calculations provides in-depth insights into the formation mechanism,electronic structure,and magnetic moment of MEANFs.Furthermore,deliberate component design along with the foam structure proves to be an effective strategy for enhancing impedance matching and absorption.The results show that the MEANFs exhibit a minimum reflection loss(RL_(min))value of-60.32 dB and a maximum effective absorption bandwidth(EAB_(max))of 5.28 GHz at 1.69 mm.This augmentation of energy dissipation in EMW is predominantly attributed to factors such as porous structure,interfacial polarization,defect-induced polarization,and magnetic resonance.This study demonstrates a facile and efficient approach for synthesizing single-phase medium-entropy alloys,emphasizing their potential as materials for electromagnetic wave absorption due to their adjustable magnetic-dielectric properties.展开更多
This paper highlights the utilization of parallel control and adaptive dynamic programming(ADP) for event-triggered robust parallel optimal consensus control(ETRPOC) of uncertain nonlinear continuous-time multiagent s...This paper highlights the utilization of parallel control and adaptive dynamic programming(ADP) for event-triggered robust parallel optimal consensus control(ETRPOC) of uncertain nonlinear continuous-time multiagent systems(MASs).First, the parallel control system, which consists of a virtual control variable and a specific auxiliary variable obtained from the coupled Hamiltonian, allows general systems to be transformed into affine systems. Of interest is the fact that the parallel control technique's introduction provides an unprecedented perspective on eliminating the negative effects of disturbance. Then, an eventtriggered mechanism is adopted to save communication resources while ensuring the system's stability. The coupled HamiltonJacobi(HJ) equation's solution is approximated using a critic neural network(NN), whose weights are updated in response to events. Furthermore, theoretical analysis reveals that the weight estimation error is uniformly ultimately bounded(UUB). Finally,numerical simulations demonstrate the effectiveness of the developed ETRPOC method.展开更多
1 Introduction In recent years,the rapid development of industrial big data and artificial intelligence(AI)technologies has revolutionized the industrial landscape.Industrial systems,such as manufacturing,energy,trans...1 Introduction In recent years,the rapid development of industrial big data and artificial intelligence(AI)technologies has revolutionized the industrial landscape.Industrial systems,such as manufacturing,energy,transportation,and logistics,have become increasingly complex,generating vast amounts of data[1–3].These big data encompass a wide range of data sources,including sensor data,production logs,and maintenance records,which hold valuable insights[4–6].Moreover,machine learning-based AI techniques can be applied to extract meaningful insights from this big data[7].展开更多
The advent of sixth-generation(6G)networks introduces unprecedented challenges in achieving seamless connectivity,ultra-low latency,and efficient resource management in highly dynamic environments.Although fifth-gener...The advent of sixth-generation(6G)networks introduces unprecedented challenges in achieving seamless connectivity,ultra-low latency,and efficient resource management in highly dynamic environments.Although fifth-generation(5G)networks transformed mobile broadband and machine-type communications at massive scales,their properties of scaling,interference management,and latency remain a limitation in dense high mobility settings.To overcome these limitations,artificial intelligence(AI)and unmanned aerial vehicles(UAVs)have emerged as potential solutions to develop versatile,dynamic,and energy-efficient communication systems.The study proposes an AI-based UAV architecture that utilizes cooperative reinforcement learning(CoRL)to manage an autonomous network.The UAVs collaborate by sharing local observations and real-time state exchanges to optimize user connectivity,movement directions,allocate power,and resource distribution.Unlike conventional centralized or autonomous methods,CoRL involves joint state sharing and conflict-sensitive reward shaping,which ensures fair coverage,less interference,and enhanced adaptability in a dynamic urban environment.Simulations conducted in smart city scenarios with 10 UAVs and 50 ground users demonstrate that the proposed CoRL-based UAV system increases user coverage by up to 10%,achieves convergence 40%faster,and reduces latency and energy consumption by 30%compared with centralized and decentralized baselines.Furthermore,the distributed nature of the algorithm ensures scalability and flexibility,making it well-suited for future large-scale 6G deployments.The results highlighted that AI-enabled UAV systems enhance connectivity,support ultra-reliable low-latency communications(URLLC),and improve 6G network efficiency.Future work will extend the framework with adaptive modulation,beamforming-aware positioning,and real-world testbed deployment.展开更多
This paper systematically introduces and reviews a scientific exploration of reliability called the belief reliability.Beginning with the origin of reliability engineering,the problems of present theories for reliabil...This paper systematically introduces and reviews a scientific exploration of reliability called the belief reliability.Beginning with the origin of reliability engineering,the problems of present theories for reliability engineering are summarized as a query,a dilemma,and a puzzle.Then,through philosophical reflection,we introduce the theoretical solutions given by belief reliability theory,including scientific principles,basic equations,reliability science experiments,and mathematical measures.The basic methods and technologies of belief reliability,namely,belief reliability analysis,function-oriented belief reliability design,belief reliability evaluation,and several newly developed methods and technologies are sequentially elaborated and overviewed.Based on the above investigations,we summarize the significance of belief reliability theory and make some prospects about future research,aiming to promote the development of reliability science and engineering.展开更多
The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior...The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior.This paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are considered.Based on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,respectively.Then,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step opaque.Due to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.展开更多
The concept of Industrial Biosystems Engineering (IBsE) was suggested as a new engineering branch to be developed for meeting the needs for science, technology and professionals by the upcoming bioeconomy. With emphas...The concept of Industrial Biosystems Engineering (IBsE) was suggested as a new engineering branch to be developed for meeting the needs for science, technology and professionals by the upcoming bioeconomy. With emphasis on systems, IBsE builds upon the interfaces between systems biology, bioprocessing, and systems engineering. This paper discussed the background, the suggested definition, the theoretical framework and methodologies of this new discipline as well as its challenges and future development.展开更多
In this paper,a new optimal adaptive backstepping control approach for nonlinear systems under deception attacks via reinforcement learning is presented in this paper.The existence of nonlinear terms in the studied sy...In this paper,a new optimal adaptive backstepping control approach for nonlinear systems under deception attacks via reinforcement learning is presented in this paper.The existence of nonlinear terms in the studied system makes it very difficult to design the optimal controller using traditional methods.To achieve optimal control,RL algorithm based on critic–actor architecture is considered for the nonlinear system.Due to the significant security risks of network transmission,the system is vulnerable to deception attacks,which can make all the system state unavailable.By using the attacked states to design coordinate transformation,the harm brought by unknown deception attacks has been overcome.The presented control strategy can ensure that all signals in the closed-loop system are semi-globally ultimately bounded.Finally,the simulation experiment is shown to prove the effectiveness of the strategy.展开更多
Quantum resources such as entanglement and coherence are the holy grail for modern quantum technologies. Although the unwanted environmental effects tackle quantum information processing tasks, suprisingly these key q...Quantum resources such as entanglement and coherence are the holy grail for modern quantum technologies. Although the unwanted environmental effects tackle quantum information processing tasks, suprisingly these key quantum resources may be protected and even enhanced by the implementation of some special hybrid open quantum systems. Here, we aim to show how a dissipative atom-cavity-system can be accomplished to generate enhanced quantum resources.To do so, we consider a couple of dissipative cavities, where each one contains two effective two-level atoms interacting with a single-mode cavity field. In practical applications, a classical laser field may be applied to drive each atomic subsystem. After driving the system, a Bell-state measurement is performed on the output of the system to quantify the entanglement and coherence. The obtained results reveal that the remote entanglement and coherence between the atoms existing inside the two distant cavities are not only enhanced, but can be stabilized, even under the action of dissipation. In contrast, the local entanglement between two atoms inside each dissipative cavity attenuates due to the presence of unwanted environmental effects.Nevertheless, the local coherence may show the same behavior as the remote coherence.Besides, the system provides the steady state entanglement in various interaction regimes,particularly in the strong atom-cavity coupling and with relatively large detuning. More interestingly, our numerical analyses demonstrate that the system may show a memory effect due to the fact that the death and revival of the entanglement take place during the interaction. Our proposed model may find potential applications for the implementation of long distance quantum networks. In particular, it facilitates the distribution of quantum resources between the nodes of large-scale quantum networks for secure communication.展开更多
Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems...Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems across various fields.An increasing number of users are participating in application systems that use blockchain as their underlying architecture.As the number of transactions and the capital involved in blockchain grow,ensuring information security becomes imperative.Addressing the verification of transactional information security and privacy has emerged as a critical challenge.Blockchain-based verification methods can effectively eliminate the need for centralized third-party organizations.However,the efficiency of nodes in storing and verifying blockchain data faces unprecedented challenges.To address this issue,this paper introduces an efficient verification scheme for transaction security.Initially,it presents a node evaluation module to estimate the activity level of user nodes participating in transactions,accompanied by a probabilistic analysis for all transactions.Subsequently,this paper optimizes the conventional transaction organization form,introduces a heterogeneous Merkle tree storage structure,and designs algorithms for constructing these heterogeneous trees.Theoretical analyses and simulation experiments conclusively demonstrate the superior performance of this scheme.When verifying the same number of transactions,the heterogeneous Merkle tree transmits less data and is more efficient than traditional methods.The findings indicate that the heterogeneous Merkle tree structure is suitable for various blockchain applications,including the Internet of Things.This scheme can markedly enhance the efficiency of information verification and bolster the security of distributed systems.展开更多
Estimating the failure probability of highly reliable structures in practice engineering,such as aeronautical components,is challenging because of the strong-coupling and the small failure probability traits.In this p...Estimating the failure probability of highly reliable structures in practice engineering,such as aeronautical components,is challenging because of the strong-coupling and the small failure probability traits.In this paper,an Expanded Learning Intelligent Back Propagation(EL-IBP)neural network approach is developed:firstly,to accurately characterize the engineering response coupling relationships,a high-fidelity Intelligent-optimized Back Propagation(IBP)neural network metamodel is developed;furthermore,to elevate the analysis efficacy for small failure assessment,a novel expanded learning strategy for adaptive IBP metamodeling is proposed.Three numerical examples and one typical practice engineering case are analyzed,to validate the effectiveness and engineering application value of the proposed method.Methods comparison shows that the ELIBP method holds significant efficiency and accuracy superiorities in engineering issues.The current study may shed a light on pushing the adaptive metamodeling technique deeply toward complex engineering reliability analysis.展开更多
基金supported by the National Natural Science Foundation of China(72225012)the National Key Research and Development Program of China(2023YFB4302901)+1 种基金the National Natural Science Foundation of China(72288101,71822101,and 62201577)the Safety Capability Building Fund of the Civil Aviation Administration of China(ASSA2023/19).
文摘With the anticipated growth in air traffic complexity in the coming years,future civil aviation transportation system(CATS)is transforming into a complex cyber–physical–social system,surpassing all previous experiences in the history of civil aviation safety management.Therefore,a new safety concept based on a system-of-systems(SoS)perspective is proposed for the next-generation aviation.This article begins by elucidating the complexity of existing aviation risks and emphasizing the necessity for an updated safety concept.It then presents the challenges of current safety management and potential solutions from the new SoS perspective.To address future risks,the concept of SoS safety is introduced with the inspiration of the human immune system in terms of capability,logic,and architecture,which can serve as a guiding framework and methodology for safety engineering in complex large-scale CATS.This concept indicates the transition from“process and outcome-oriented”to“capability-oriented”intelligent safety management.Our research highlights the development directions and potential technological areas that need to be addressed at different stages of SoS safety.The integration of SoS design and operation through rapid iterations enabled by artificial intelligence(AI)will ultimately achieve endogenous SoS safety.
文摘The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.
基金supported by the National Key R&D Program of China(No.2021YFB1715000)the National Natural Science Foundation of China(No.52375073)。
文摘The Reliability-Based Design Optimization(RBDO)of complex engineering structures considering uncertainties has problems of being high-dimensional,highly nonlinear,and timeconsuming,which requires a significant amount of sampling simulation computation.In this paper,a basis-adaptive Polynomial Chaos(PC)-Kriging surrogate model is proposed,in order to relieve the computational burden and enhance the predictive accuracy of a metamodel.The active learning basis-adaptive PC-Kriging model is combined with a quantile-based RBDO framework.Finally,five engineering cases have been implemented,including a benchmark RBDO problem,three high-dimensional explicit problems,and a high-dimensional implicit problem.Compared with Support Vector Regression(SVR),Kriging,and polynomial chaos expansion models,results show that the proposed basis-adaptive PC-Kriging model is more accurate and efficient for RBDO problems of complex engineering structures.
基金supported by the National Natural Science Foundation of China(71901212)the Science and Technology Innovation Program of Hunan Province(2020RC4046).
文摘The belief rule-based(BRB)system has been popular in complexity system modeling due to its good interpretability.However,the current mainstream optimization methods of the BRB systems only focus on modeling accuracy but ignore the interpretability.The single-objective optimization strategy has been applied in the interpretability-accuracy trade-off by inte-grating accuracy and interpretability into an optimization objec-tive.But the integration has a greater impact on optimization results with strong subjectivity.Thus,a multi-objective optimiza-tion framework in the modeling of BRB systems with inter-pretability-accuracy trade-off is proposed in this paper.Firstly,complexity and accuracy are taken as two independent opti-mization goals,and uniformity as a constraint to give the mathe-matical description.Secondly,a classical multi-objective opti-mization algorithm,nondominated sorting genetic algorithm II(NSGA-II),is utilized as an optimization tool to give a set of BRB systems with different accuracy and complexity.Finally,a pipeline leakage detection case is studied to verify the feasibility and effectiveness of the developed multi-objective optimization.The comparison illustrates that the proposed multi-objective optimization framework can effectively avoid the subjectivity of single-objective optimization,and has capability of joint optimiz-ing the structure and parameters of BRB systems with inter-pretability-accuracy trade-off.
基金partially supported by the Science Technology Development Fund,Macao Special Administrative Region(0029/2023/RIA1)the National Research Foundation Singapore under its AI Singapore Programme(AISG2-GC-2023-007)
文摘With the development of cyber-physical systems,system security faces more risks from cyber-attacks.In this work,we study the problem that an external attacker implements covert sensor and actuator attacks with resource constraints(the total resource consumption of the attacks is not greater than a given initial resource of the attacker)to mislead a discrete event system under supervisory control to reach unsafe states.We consider that the attacker can implement two types of attacks:One by modifying the sensor readings observed by a supervisor and the other by enabling the actuator commands disabled by the supervisor.Each attack has its corresponding resource consumption and remains covert.To solve this problem,we first introduce a notion of combined-attackability to determine whether a closedloop system may reach an unsafe state after receiving attacks with resource constraints.We develop an algorithm to construct a corrupted supervisor under attacks,provide a verification method for combined-attackability in polynomial time based on a plant,a corrupted supervisor,and an attacker's initial resource,and propose a corresponding attack synthesis algorithm.The effectiveness of the proposed method is illustrated by an example.
文摘Visual question answering(VQA)is a multimodal task,involving a deep understanding of the image scene and the question’s meaning and capturing the relevant correlations between both modalities to infer the appropriate answer.In this paper,we propose a VQA system intended to answer yes/no questions about real-world images,in Arabic.To support a robust VQA system,we work in two directions:(1)Using deep neural networks to semantically represent the given image and question in a fine-grainedmanner,namely ResNet-152 and Gated Recurrent Units(GRU).(2)Studying the role of the utilizedmultimodal bilinear pooling fusion technique in the trade-o.between the model complexity and the overall model performance.Some fusion techniques could significantly increase the model complexity,which seriously limits their applicability for VQA models.So far,there is no evidence of how efficient these multimodal bilinear pooling fusion techniques are for VQA systems dedicated to yes/no questions.Hence,a comparative analysis is conducted between eight bilinear pooling fusion techniques,in terms of their ability to reduce themodel complexity and improve themodel performance in this case of VQA systems.Experiments indicate that these multimodal bilinear pooling fusion techniques have improved the VQA model’s performance,until reaching the best performance of 89.25%.Further,experiments have proven that the number of answers in the developed VQA system is a critical factor that a.ects the effectiveness of these multimodal bilinear pooling techniques in achieving their main objective of reducing the model complexity.The Multimodal Local Perception Bilinear Pooling(MLPB)technique has shown the best balance between the model complexity and its performance,for VQA systems designed to answer yes/no questions.
文摘The optimization of civil engineering structures is critical for enhancing structural performance and material efficiency in engineering applications.Structural optimization approaches seek to determine the optimal design,by considering material performance,cost,and structural safety.The design approaches aim to reduce the built environment’s energy use and carbon emissions.This comprehensive review examines optimization techniques,including size,shape,topology,and multi-objective approaches,by integrating these methodologies.The trends and advancements that contribute to developing more efficient,cost-effective,and reliable structural designs were identified.The review also discusses emerging technologies,such as machine learning applications with different optimization techniques.Optimization of truss,frame,tensegrity,reinforced concrete,origami,pantographic,and adaptive structures are covered and discussed.Optimization techniques are explained,including metaheuristics,genetic algorithm,particle swarm,ant-colony,harmony search algorithm,and their applications with mentioned structure types.Linear and non-linear structures,including geometric and material nonlinearity,are distinguished.The role of optimization in active structures,structural design,seismic design,form-finding,and structural control is taken into account,and the most recent techniques and advancements are mentioned.
基金supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)the Science and Technology Fund,FDCT,Macao SAR(0064/2021/A2)
文摘This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.
文摘This research aims to address the challenges of fault detection and isolation(FDI)in digital grids,focusing on improving the reliability and stability of power systems.Traditional fault detection techniques,such as rule-based fuzzy systems and conventional FDI methods,often struggle with the dynamic nature of modern grids,resulting in delays and inaccuracies in fault classification.To overcome these limitations,this study introduces a Hybrid NeuroFuzzy Fault Detection Model that combines the adaptive learning capabilities of neural networks with the reasoning strength of fuzzy logic.The model’s performance was evaluated through extensive simulations on the IEEE 33-bus test system,considering various fault scenarios,including line-to-ground faults(LGF),three-phase short circuits(3PSC),and harmonic distortions(HD).The quantitative results show that the model achieves 97.2%accuracy,a false negative rate(FNR)of 1.9%,and a false positive rate(FPR)of 2.3%,demonstrating its high precision in fault diagnosis.The qualitative analysis further highlights the model’s adaptability and its potential for seamless integration into smart grids,micro grids,and renewable energy systems.By dynamically refining fuzzy inference rules,the model enhances fault detection efficiency without compromising computational feasibility.These findings contribute to the development of more resilient and adaptive fault management systems,paving the way for advanced smart grid technologies.
基金supported by the National Natural Science Foundation of China(Grant No.52071294)the National Key Research and Development Program(Grant No.2022YFE0109800)the Natural Science Foundation of Zhejiang Province(Grant No.LY20E020015).
文摘A single-phase anti-perovskite medium-entropy alloy nitride foams(MEANFs),as innovative materials for electromagnetic wave(EMW)absorption,have been successfully synthesized through the lattice expansion induced by nitrogen doping.This achievement notably overcomes the inherent constraints of conventional metal-based absorbers,including low resonance frequency,high conductivity,and elevated density,for the synergistic advantages provided by multimetallic alloys and foams.Microstructural analysis with comprehensive theoretical calculations provides in-depth insights into the formation mechanism,electronic structure,and magnetic moment of MEANFs.Furthermore,deliberate component design along with the foam structure proves to be an effective strategy for enhancing impedance matching and absorption.The results show that the MEANFs exhibit a minimum reflection loss(RL_(min))value of-60.32 dB and a maximum effective absorption bandwidth(EAB_(max))of 5.28 GHz at 1.69 mm.This augmentation of energy dissipation in EMW is predominantly attributed to factors such as porous structure,interfacial polarization,defect-induced polarization,and magnetic resonance.This study demonstrates a facile and efficient approach for synthesizing single-phase medium-entropy alloys,emphasizing their potential as materials for electromagnetic wave absorption due to their adjustable magnetic-dielectric properties.
基金supported in part by the National Key Research and Development Program of China(2021YFE0206100)the National Natural Science Foundation of China(62425310,62073321)+2 种基金the National Defense Basic Scientific Research Program(JCKY2019203C029,JCKY2020130C025)the Science and Technology Development FundMacao SAR(FDCT-22-009-MISE,0060/2021/A2,0015/2020/AMJ)
文摘This paper highlights the utilization of parallel control and adaptive dynamic programming(ADP) for event-triggered robust parallel optimal consensus control(ETRPOC) of uncertain nonlinear continuous-time multiagent systems(MASs).First, the parallel control system, which consists of a virtual control variable and a specific auxiliary variable obtained from the coupled Hamiltonian, allows general systems to be transformed into affine systems. Of interest is the fact that the parallel control technique's introduction provides an unprecedented perspective on eliminating the negative effects of disturbance. Then, an eventtriggered mechanism is adopted to save communication resources while ensuring the system's stability. The coupled HamiltonJacobi(HJ) equation's solution is approximated using a critic neural network(NN), whose weights are updated in response to events. Furthermore, theoretical analysis reveals that the weight estimation error is uniformly ultimately bounded(UUB). Finally,numerical simulations demonstrate the effectiveness of the developed ETRPOC method.
基金supported by the Science and Technology Innovation Program of Hunan Province(No.2023RC3097)in part the National Natural Science Foundation of China(No.52105108)in part Young Elite Scientists Sponsorship Program by CAST(No.2023QNRC001).
文摘1 Introduction In recent years,the rapid development of industrial big data and artificial intelligence(AI)technologies has revolutionized the industrial landscape.Industrial systems,such as manufacturing,energy,transportation,and logistics,have become increasingly complex,generating vast amounts of data[1–3].These big data encompass a wide range of data sources,including sensor data,production logs,and maintenance records,which hold valuable insights[4–6].Moreover,machine learning-based AI techniques can be applied to extract meaningful insights from this big data[7].
基金supported by the National Research Foundation of Korea(NRF)grant funded by the Korea government(MSIT)(RS-2025-00559546)supported by the IITP(Institute of Information&Coummunications Technology Planning&Evaluation)-ITRC(Information Technology Research Center)grant funded by the Korea government(Ministry of Science and ICT)(IITP-2025-RS-2023-00259004).
文摘The advent of sixth-generation(6G)networks introduces unprecedented challenges in achieving seamless connectivity,ultra-low latency,and efficient resource management in highly dynamic environments.Although fifth-generation(5G)networks transformed mobile broadband and machine-type communications at massive scales,their properties of scaling,interference management,and latency remain a limitation in dense high mobility settings.To overcome these limitations,artificial intelligence(AI)and unmanned aerial vehicles(UAVs)have emerged as potential solutions to develop versatile,dynamic,and energy-efficient communication systems.The study proposes an AI-based UAV architecture that utilizes cooperative reinforcement learning(CoRL)to manage an autonomous network.The UAVs collaborate by sharing local observations and real-time state exchanges to optimize user connectivity,movement directions,allocate power,and resource distribution.Unlike conventional centralized or autonomous methods,CoRL involves joint state sharing and conflict-sensitive reward shaping,which ensures fair coverage,less interference,and enhanced adaptability in a dynamic urban environment.Simulations conducted in smart city scenarios with 10 UAVs and 50 ground users demonstrate that the proposed CoRL-based UAV system increases user coverage by up to 10%,achieves convergence 40%faster,and reduces latency and energy consumption by 30%compared with centralized and decentralized baselines.Furthermore,the distributed nature of the algorithm ensures scalability and flexibility,making it well-suited for future large-scale 6G deployments.The results highlighted that AI-enabled UAV systems enhance connectivity,support ultra-reliable low-latency communications(URLLC),and improve 6G network efficiency.Future work will extend the framework with adaptive modulation,beamforming-aware positioning,and real-world testbed deployment.
基金supported by the National Natural Science Foundation of China(62073009,52775020,72201013)the China Postdoctoral Science Foundation(2022M710314)the Funding of Science&Technology on Reliability&Environmental Engineering Laboratory(6142004210102)。
文摘This paper systematically introduces and reviews a scientific exploration of reliability called the belief reliability.Beginning with the origin of reliability engineering,the problems of present theories for reliability engineering are summarized as a query,a dilemma,and a puzzle.Then,through philosophical reflection,we introduce the theoretical solutions given by belief reliability theory,including scientific principles,basic equations,reliability science experiments,and mathematical measures.The basic methods and technologies of belief reliability,namely,belief reliability analysis,function-oriented belief reliability design,belief reliability evaluation,and several newly developed methods and technologies are sequentially elaborated and overviewed.Based on the above investigations,we summarize the significance of belief reliability theory and make some prospects about future research,aiming to promote the development of reliability science and engineering.
基金supported by the National R&D Program of China(2018YFB 1700104)the Science and Technology Development FundMacao Special Administrative Region(MSAR)(0029/2023/RIA1)。
文摘The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its behavior.This paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are considered.Based on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,respectively.Then,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step opaque.Due to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.
文摘The concept of Industrial Biosystems Engineering (IBsE) was suggested as a new engineering branch to be developed for meeting the needs for science, technology and professionals by the upcoming bioeconomy. With emphasis on systems, IBsE builds upon the interfaces between systems biology, bioprocessing, and systems engineering. This paper discussed the background, the suggested definition, the theoretical framework and methodologies of this new discipline as well as its challenges and future development.
基金supported in part by the National Key R&D Program of China under Grants 2021YFE0206100in part by the National Natural Science Foundation of China under Grant 62073321+2 种基金in part by National Defense Basic Scientific Research Program JCKY2019203C029in part by the Science and Technology Development Fund,Macao SAR under Grants FDCT-22-009-MISE,0060/2021/A2 and 0015/2020/AMJin part by the financial support from the National Defense Basic Scientific Research Project(JCKY2020130C025).
文摘In this paper,a new optimal adaptive backstepping control approach for nonlinear systems under deception attacks via reinforcement learning is presented in this paper.The existence of nonlinear terms in the studied system makes it very difficult to design the optimal controller using traditional methods.To achieve optimal control,RL algorithm based on critic–actor architecture is considered for the nonlinear system.Due to the significant security risks of network transmission,the system is vulnerable to deception attacks,which can make all the system state unavailable.By using the attacked states to design coordinate transformation,the harm brought by unknown deception attacks has been overcome.The presented control strategy can ensure that all signals in the closed-loop system are semi-globally ultimately bounded.Finally,the simulation experiment is shown to prove the effectiveness of the strategy.
文摘Quantum resources such as entanglement and coherence are the holy grail for modern quantum technologies. Although the unwanted environmental effects tackle quantum information processing tasks, suprisingly these key quantum resources may be protected and even enhanced by the implementation of some special hybrid open quantum systems. Here, we aim to show how a dissipative atom-cavity-system can be accomplished to generate enhanced quantum resources.To do so, we consider a couple of dissipative cavities, where each one contains two effective two-level atoms interacting with a single-mode cavity field. In practical applications, a classical laser field may be applied to drive each atomic subsystem. After driving the system, a Bell-state measurement is performed on the output of the system to quantify the entanglement and coherence. The obtained results reveal that the remote entanglement and coherence between the atoms existing inside the two distant cavities are not only enhanced, but can be stabilized, even under the action of dissipation. In contrast, the local entanglement between two atoms inside each dissipative cavity attenuates due to the presence of unwanted environmental effects.Nevertheless, the local coherence may show the same behavior as the remote coherence.Besides, the system provides the steady state entanglement in various interaction regimes,particularly in the strong atom-cavity coupling and with relatively large detuning. More interestingly, our numerical analyses demonstrate that the system may show a memory effect due to the fact that the death and revival of the entanglement take place during the interaction. Our proposed model may find potential applications for the implementation of long distance quantum networks. In particular, it facilitates the distribution of quantum resources between the nodes of large-scale quantum networks for secure communication.
基金funded by the National Natural Science Foundation of China(62072056,62172058)the Researchers Supporting Project Number(RSP2023R102)King Saud University,Riyadh,Saudi Arabia+4 种基金funded by the Hunan Provincial Key Research and Development Program(2022SK2107,2022GK2019)the Natural Science Foundation of Hunan Province(2023JJ30054)the Foundation of State Key Laboratory of Public Big Data(PBD2021-15)the Young Doctor Innovation Program of Zhejiang Shuren University(2019QC30)Postgraduate Scientific Research Innovation Project of Hunan Province(CX20220940,CX20220941).
文摘Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems across various fields.An increasing number of users are participating in application systems that use blockchain as their underlying architecture.As the number of transactions and the capital involved in blockchain grow,ensuring information security becomes imperative.Addressing the verification of transactional information security and privacy has emerged as a critical challenge.Blockchain-based verification methods can effectively eliminate the need for centralized third-party organizations.However,the efficiency of nodes in storing and verifying blockchain data faces unprecedented challenges.To address this issue,this paper introduces an efficient verification scheme for transaction security.Initially,it presents a node evaluation module to estimate the activity level of user nodes participating in transactions,accompanied by a probabilistic analysis for all transactions.Subsequently,this paper optimizes the conventional transaction organization form,introduces a heterogeneous Merkle tree storage structure,and designs algorithms for constructing these heterogeneous trees.Theoretical analyses and simulation experiments conclusively demonstrate the superior performance of this scheme.When verifying the same number of transactions,the heterogeneous Merkle tree transmits less data and is more efficient than traditional methods.The findings indicate that the heterogeneous Merkle tree structure is suitable for various blockchain applications,including the Internet of Things.This scheme can markedly enhance the efficiency of information verification and bolster the security of distributed systems.
基金co-supported by the National Key R&D Program of China(No.2021YFB1715000)the National Natural Science Foundation of China(No.52105136)the Hong Kong Scholars Program,China(No.XJ2022013).
文摘Estimating the failure probability of highly reliable structures in practice engineering,such as aeronautical components,is challenging because of the strong-coupling and the small failure probability traits.In this paper,an Expanded Learning Intelligent Back Propagation(EL-IBP)neural network approach is developed:firstly,to accurately characterize the engineering response coupling relationships,a high-fidelity Intelligent-optimized Back Propagation(IBP)neural network metamodel is developed;furthermore,to elevate the analysis efficacy for small failure assessment,a novel expanded learning strategy for adaptive IBP metamodeling is proposed.Three numerical examples and one typical practice engineering case are analyzed,to validate the effectiveness and engineering application value of the proposed method.Methods comparison shows that the ELIBP method holds significant efficiency and accuracy superiorities in engineering issues.The current study may shed a light on pushing the adaptive metamodeling technique deeply toward complex engineering reliability analysis.
