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 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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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].展开更多
Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the la...Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the last few decades, and the difficulties of sustainably providing social services that meet the required standards. The development of refugee settlements assumed that forcibly displaced people would return to their places or countries of origin. Unfortunately, displacement situations are prolonged indefinitely, forcing these people to spend most of their lives in conditions that are often deplorable and substandard, and therefore unsustainable. In most cases, the establishment of refugee settlements is triggered by an emergency caused by an influx of forcibly displaced people, who need to be accommodated urgently and provided with some form of international assistance and protection. This leaves little or no time for proper planning for long-term development as required. In addition, the current approach to temporary settlement harms the environment and can strain limited resources with ad hoc development models that have exacerbated difficulties. As a result, living conditions in refugee settlements have deteriorated over the last few decades and continue to pose challenges as to how best to design, plan, and sustain settlements over time. To contribute to addressing these challenges, this study proposes a new methodology supported by Model-Based Systems Engineering (MBSE) and a Systems Modeling Language (SysML) to develop a typical sustainable human settlement system model, which has functionally and operationally executed using a Systems Engineering (SE) approach. To assess the sustainability capacity of the proposed system, this work applies a matrix of crossed impact multiplication through a case study by conducting a system capacity interdependence analysis (SCIA) using the MICMAC methodology (Cross-impact matrix multiplication applied to classification) to assess the interdependency that exist between the sub-systems categories to deliver services at the system level. The sustainability analysis results based on capacity variables influence and dependency models shows that development activities in the settlement are unstable and, therefore, unsustainable since there is no apparent difference between the influential and dependent data used for the assessment. These results illustrate that an integrated system could improve human settlements’ sustainability and that capacity building in service delivery is beneficial and necessary.展开更多
In this paper, we propose selected research topics that are believed central to progress and growth in the application of systems engineering （SE）. As a professional activity, and as an intellectual activity, system...In this paper, we propose selected research topics that are believed central to progress and growth in the application of systems engineering （SE）. As a professional activity, and as an intellectual activity, systems engineering has strong links to such associated disciplines as decision analysis, operation research, project management, quality management, and systems design. When focussing on systems engineering research, we should distinguish between subjects that are of systems engineering essence and others that more closely correspond to those that are more relevant for related disciplines.展开更多
Since its inception,Systems Engineering(SE)has developed as a distinctive discipline,and there has been significant progress in this field in the past two decades.Compared to other engineering disciplines,SE is not af...Since its inception,Systems Engineering(SE)has developed as a distinctive discipline,and there has been significant progress in this field in the past two decades.Compared to other engineering disciplines,SE is not affirmed by a set of underlying fundamental propositions,instead it has emerged as a set of best practices to deal with intricacies stemming from the stochastic nature of engineering complex systems and addressing their problems.Since the existing methodologies and paradigms(dominant patterns of thought and concepts)of SE are very diverse and somewhat fragmented.This appears to create some confusion regarding the design,deployment,operation,and application of SE.The purpose of this paper is 1)to delineate the development of SE from 1926-2017 based on insights derived from a histogram analysis,2)to discuss the different paradigms and school of thoughts related to SE,3)to derive a set of fundamental attributes of SE using advanced coding techniques and analysis,and 4)to present a newly developed instrument that could assess the performance of systems engineers.More than Two hundred and fifty different sources have been reviewed in this research in order to demonstrate the development trajectory of the SE discipline based on the frequency of publication.展开更多
As indicated by Grossmann and Westerberg[1],a process system can be generally decomposed into hierarchical levels or scales at which different physical and/or chemical phenomena take place(see Fig.1).The first step of...As indicated by Grossmann and Westerberg[1],a process system can be generally decomposed into hierarchical levels or scales at which different physical and/or chemical phenomena take place(see Fig.1).The first step of multiscale process modeling is to connect the molecular level with the phase level,where the main task is to model and predict the properties of fluid mixtures based on the atomic-or molecular-level information.Typically,quantum chemical(QC)computation,molecular simulation,and equations of state are used to provide such predictions.Recently,due to the ever-increasing number of available data and fast development of cheminformatics and machine learning tools,data-driven descriptor models have been developed and widely used for property predictions[2].展开更多
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.展开更多
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.展开更多
文摘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 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 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.
文摘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.
基金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.
基金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.
基金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].
文摘Refugee settlements face several challenges in transitioning from a temporary planning approach to more sustainable settlements. This is mainly due to an increase in the number of forcibly displaced people over the last few decades, and the difficulties of sustainably providing social services that meet the required standards. The development of refugee settlements assumed that forcibly displaced people would return to their places or countries of origin. Unfortunately, displacement situations are prolonged indefinitely, forcing these people to spend most of their lives in conditions that are often deplorable and substandard, and therefore unsustainable. In most cases, the establishment of refugee settlements is triggered by an emergency caused by an influx of forcibly displaced people, who need to be accommodated urgently and provided with some form of international assistance and protection. This leaves little or no time for proper planning for long-term development as required. In addition, the current approach to temporary settlement harms the environment and can strain limited resources with ad hoc development models that have exacerbated difficulties. As a result, living conditions in refugee settlements have deteriorated over the last few decades and continue to pose challenges as to how best to design, plan, and sustain settlements over time. To contribute to addressing these challenges, this study proposes a new methodology supported by Model-Based Systems Engineering (MBSE) and a Systems Modeling Language (SysML) to develop a typical sustainable human settlement system model, which has functionally and operationally executed using a Systems Engineering (SE) approach. To assess the sustainability capacity of the proposed system, this work applies a matrix of crossed impact multiplication through a case study by conducting a system capacity interdependence analysis (SCIA) using the MICMAC methodology (Cross-impact matrix multiplication applied to classification) to assess the interdependency that exist between the sub-systems categories to deliver services at the system level. The sustainability analysis results based on capacity variables influence and dependency models shows that development activities in the settlement are unstable and, therefore, unsustainable since there is no apparent difference between the influential and dependent data used for the assessment. These results illustrate that an integrated system could improve human settlements’ sustainability and that capacity building in service delivery is beneficial and necessary.
文摘In this paper, we propose selected research topics that are believed central to progress and growth in the application of systems engineering （SE）. As a professional activity, and as an intellectual activity, systems engineering has strong links to such associated disciplines as decision analysis, operation research, project management, quality management, and systems design. When focussing on systems engineering research, we should distinguish between subjects that are of systems engineering essence and others that more closely correspond to those that are more relevant for related disciplines.
基金We would like to personally thank anonymous reviewers for raising such questions that have transformed this manuscript into a muchimproved paper.
文摘Since its inception,Systems Engineering(SE)has developed as a distinctive discipline,and there has been significant progress in this field in the past two decades.Compared to other engineering disciplines,SE is not affirmed by a set of underlying fundamental propositions,instead it has emerged as a set of best practices to deal with intricacies stemming from the stochastic nature of engineering complex systems and addressing their problems.Since the existing methodologies and paradigms(dominant patterns of thought and concepts)of SE are very diverse and somewhat fragmented.This appears to create some confusion regarding the design,deployment,operation,and application of SE.The purpose of this paper is 1)to delineate the development of SE from 1926-2017 based on insights derived from a histogram analysis,2)to discuss the different paradigms and school of thoughts related to SE,3)to derive a set of fundamental attributes of SE using advanced coding techniques and analysis,and 4)to present a newly developed instrument that could assess the performance of systems engineers.More than Two hundred and fifty different sources have been reviewed in this research in order to demonstrate the development trajectory of the SE discipline based on the frequency of publication.
文摘As indicated by Grossmann and Westerberg[1],a process system can be generally decomposed into hierarchical levels or scales at which different physical and/or chemical phenomena take place(see Fig.1).The first step of multiscale process modeling is to connect the molecular level with the phase level,where the main task is to model and predict the properties of fluid mixtures based on the atomic-or molecular-level information.Typically,quantum chemical(QC)computation,molecular simulation,and equations of state are used to provide such predictions.Recently,due to the ever-increasing number of available data and fast development of cheminformatics and machine learning tools,data-driven descriptor models have been developed and widely used for property predictions[2].
基金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.
基金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.
