State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets

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.

Classification of knowledge graph completeness measurement techniques

At present,although knowledge graphs have been widely used in various fields such as recommendation systems,question and answer systems,and intelligent search,there are always quality problems such as knowledge omissions and errors.Quality assessment and control,as an important means to ensure the quality of knowledge,can make the applications based on knowledge graphs more complete and more accurate by reasonably assessing the knowledge graphs and fixing and improving the quality problems at the same time.Therefore,as an indispensable part of the knowledge graph construction process,the results of quality assessment and control determine the usefulness of the knowledge graph.Among them,the assessment and enhancement of completeness,as an important part of the assessment and control phase,determine whether the knowledge graph can fully reflect objective phenomena and reveal potential connections among entities.In this paper,we review specific techniques of completeness assessment and classify completeness assessment techniques in terms of closed world assumptions,open world assumptions,and partial completeness assumptions.The purpose of this paper is to further promote the development of knowledge graph quality control and to lay the foundation for subsequent research on the completeness assessment of knowledge graphs by reviewing and classifying completeness assessment techniques.

Experimental investigation of spectral evolution in flash radiation by hypervelocity impact on aluminum plates

In this study,a series of hypervelocity impact tests were carried out based on a two-stage light gas gun,and the sequence spectrum and radiation evolution data of the impact products under different impact conditions were obtained.The diameter of the projectile is 3-5 mm,the impact velocity is 3.13-6.58 km/s,and the chamber pressure is 0.56-990 Pa.The spectrum of ejected debris cloud in the 250-310 nm band were obtained using a transient spectral measurement system and a multi-channel radiometer measurement system.The test results reveal that the flash radiation intensity increases as a power function with the kinetic energy of the impact.Furthermore,the peak value of the line spectrum decreases as the chamber vacuum degree increases,while the radiation width gradually expands.The line spectrum in the spectral characterization curve corresponds to the ejected debris clouds splitting phase,which does not produce significant line spectrum during material fragmentation and is dominated by the continuum spectrum produced by blackbody radiation.There will appear one or three characteristic peaks in the flash radiation time curve,the first and second peaks correspond to the penetration phase and the third peak corresponds to the expansion phase of the ejected debris clouds on the time scale,the first and second peaks are more sensitive to the chamber vacuum degree,and when the pressure is higher than 99 Pa,the first and second characteristic peaks will disappear.The radiant heat attenuation of the flash under different impact conditions is significantly different,the attenuation exponent has a power function relationship with the impact velocity and the chamber vacuum degree,while the attenuation exponent has a linear relationship with the diameter of the projectile,the specific expression of the attenuation exponent is obtained by fitting.The findings from this research can serve as a valuable reference for remote diagnostic technologies based on flash radiation characteristics.

Research on the influences of motion characteristics of jetting projectile charge under water

Shaped charge warhead is important for enhancing the damage performance of underwater weapons.This paper used finite element analysis software and based on JPC water penetration experiments to examine the influence of liner parameters(wall thickness,material),charge aspect ratio,and stand-off distance on the movement characteristics of JPC in water.The findings reveal that the head diameter of the JPC increases and experiences significant erosion after entering the water,the effective length of the JPC in water undergoes two distinct phases:a growth phase and a decrease phase,with the velocity of the JPC decaying exponentially.Increasing the liner thickness,stand-off distance and the charge aspect ratio can improve the erosion resistance and the velocity retention capacity of the JPC.The optimal ranges for liner thickness and stand-off distance are 0.0363D_(k) to 0.0545D_(k)(D_(k) is the charge diameter),the stand-off distance should be within 1.0D_(k).After the charge aspect ratio higher than 1.25,the charge structure exerts minimal influence the movement characteristics of the JPC in water.Material density plays a crucial role in the velocity decay pattern of the JPC during penetration.JPC with higher densities exhibit superior velocity retention capabilities in water,with the velocity decay pattern converging if the densities are similar.Consequently,copper,tantalum and tungsten liners are deemed appropriate for underwater shaped charge warhead.Finally,the results will provide an important reference for the design of underwater shaped charge warhead.

How to implement a knowledge graph completeness assessment with the guidance of user requirements

In the context of big data, many large-scale knowledge graphs have emerged to effectively organize the explosive growth of web data on the Internet. To select suitable knowledge graphs for use from many knowledge graphs, quality assessment is particularly important. As an important thing of quality assessment, completeness assessment generally refers to the ratio of the current data volume to the total data volume.When evaluating the completeness of a knowledge graph, it is often necessary to refine the completeness dimension by setting different completeness metrics to produce more complete and understandable evaluation results for the knowledge graph.However, lack of awareness of requirements is the most problematic quality issue. In the actual evaluation process, the existing completeness metrics need to consider the actual application. Therefore, to accurately recommend suitable knowledge graphs to many users, it is particularly important to develop relevant measurement metrics and formulate measurement schemes for completeness. In this paper, we will first clarify the concept of completeness, establish each metric of completeness, and finally design a measurement proposal for the completeness of knowledge graphs.

Chimera states of phase oscillator populations with nonlocal higher-order couplings

The chimera states underlying many realistic dynamical processes have attracted ample attention in the area of dynamical systems.Here, we generalize the Kuramoto model with nonlocal coupling incorporating higher-order interactions encoded with simplicial complexes.Previous works have shown that higher-order interactions promote coherent states.However, we uncover the fact that the introduced higher-order couplings can significantly enhance the emergence of the incoherent state.Remarkably, we identify that the chimera states arise as a result of multi-attractors in dynamic states.Importantly, we review that the increasing higher-order interactions can significantly shape the emergent probability of chimera states.All the observed results can be well described in terms of the dimension reduction method.This study is a step forward in highlighting the importance of nonlocal higher-order couplings, which might provide control strategies for the occurrence of spatial-temporal patterns in networked systems.

A Hybrid Level Set Optimization Design Method of Functionally Graded Cellular Structures Considering Connectivity

With the continuous advancement in topology optimization and additive manufacturing(AM)technology,the capability to fabricate functionally graded materials and intricate cellular structures with spatially varying microstructures has grown significantly.However,a critical challenge is encountered in the design of these structures–the absence of robust interface connections between adjacent microstructures,potentially resulting in diminished efficiency or macroscopic failure.A Hybrid Level Set Method(HLSM)is proposed,specifically designed to enhance connectivity among non-uniform microstructures,contributing to the design of functionally graded cellular structures.The HLSM introduces a pioneering algorithm for effectively blending heterogeneous microstructure interfaces.Initially,an interpolation algorithm is presented to construct transition microstructures seamlessly connected on both sides.Subsequently,the algorithm enables the morphing of non-uniform unit cells to seamlessly adapt to interconnected adjacent microstructures.The method,seamlessly integrated into a multi-scale topology optimization framework using the level set method,exhibits its efficacy through numerical examples,showcasing its prowess in optimizing 2D and 3D functionally graded materials(FGM)and multi-scale topology optimization.In essence,the pressing issue of interface connections in complex structure design is not only addressed but also a robust methodology is introduced,substantiated by numerical evidence,advancing optimization capabilities in the realm of functionally graded materials and cellular structures.

An Intelligent Framework for Resilience Recovery of FANETs with Spatio-Temporal Aggregation and Multi-Head Attention Mechanism

Due to the time-varying topology and possible disturbances in a conflict environment,it is still challenging to maintain the mission performance of flying Ad hoc networks(FANET),which limits the application of Unmanned Aerial Vehicle(UAV)swarms in harsh environments.This paper proposes an intelligent framework to quickly recover the cooperative coveragemission by aggregating the historical spatio-temporal network with the attention mechanism.The mission resilience metric is introduced in conjunction with connectivity and coverage status information to simplify the optimization model.A spatio-temporal node pooling method is proposed to ensure all node location features can be updated after destruction by capturing the temporal network structure.Combined with the corresponding Laplacian matrix as the hyperparameter,a recovery algorithm based on the multi-head attention graph network is designed to achieve rapid recovery.Simulation results showed that the proposed framework can facilitate rapid recovery of the connectivity and coverage more effectively compared to the existing studies.The results demonstrate that the average connectivity and coverage results is improved by 17.92%and 16.96%,respectively compared with the state-of-the-art model.Furthermore,by the ablation study,the contributions of each different improvement are compared.The proposed model can be used to support resilient network design for real-time mission execution.

Cumulative effects of excess high-normal alanine aminotransferase levels in relation to new-onset metabolic dysfunction-associated fatty liver disease in China

BACKGROUND Within the normal range,elevated alanine aminotransferase(ALT)levels are associated with an increased risk of metabolic dysfunction-associated fatty liver disease(MAFLD).AIM To investigate the associations between repeated high-normal ALT measurements and the risk of new-onset MAFLD prospectively.METHODS A cohort of 3553 participants followed for four consecutive health examinations over 4 years was selected.The incidence rate,cumulative times,and equally and unequally weighted cumulative effects of excess high-normal ALT levels(ehALT)were measured.Cox proportional hazards regression was used to analyse the association between the cumulative effects of ehALT and the risk of new-onset MAFLD.RESULTS A total of 83.13%of participants with MAFLD had normal ALT levels.The incidence rate of MAFLD showed a linear increasing trend in the cumulative ehALT group.Compared with those in the low-normal ALT group,the multivariate adjusted hazard ratios of the equally and unequally weighted cumulative effects of ehALT were 1.651[95%confidence interval(CI):1.199-2.273]and 1.535(95%CI:1.119-2.106)in the third quartile and 1.616(95%CI:1.162-2.246)and 1.580(95%CI:1.155-2.162)in the fourth quartile,respectively.CONCLUSION Most participants with MAFLD had normal ALT levels.Long-term high-normal ALT levels were associated with a cumulative increased risk of new-onset MAFLD.

Establishment of a cholangiocarcinoma risk evaluation model based on mucin expression levels

BACKGROUND Cholangiocarcinoma(CCA)is a highly malignant cancer,characterized by frequent mucin overexpression.MUC1 has been identified as a critical oncogene in the progression of CCA.However,the comprehensive understanding of how the mucin family influences CCA progression and prognosis is still incomplete.AIM To investigate the functions of mucins on the progression of CCA and to establish a risk evaluation formula for stratifying CCA patients.METHODS Single-cell RNA sequencing data from 14 CCA samples were employed for elucidating the roles of mucins,complemented by bioinformatic analyses.Subse-quent validations were conducted through spatial transcriptomics and immuno-histochemistry.The construction of a risk evaluation model utilized the least absolute shrinkage and selection operator regression algorithm,which was further confirmed by independent cohorts and diverse data types.RESULTS CCA tumor cells with elevated levels of MUC1 and MUC4 showed activated nucleotide metabolic pathways and increased invasiveness.MUC5AC-high cells were found to promote CCA progression through WNT signaling.MUC5B-high cells exhibited robust cellular oxidation activities,leading to resistance against antitumoral treatments.MUC13-high cells were observed to secret chemokines,recruiting and transforming macrophages into the M2-polarized state,thereby suppressing antitumor immunity.MUC16-high cells were found to promote tumor progression through interleukin-1/nuclear factor kappa-light-chain-enhancer of activated B cells signaling upon interaction with neutrophils.Utilizing the expression levels of these mucins,a risk factor evaluation formula for CCA was developed and validated across multiple cohorts.CCA samples with higher risk factors exhibited stronger metastatic potential,chemotherapy resistance,and poorer prognosis.CONCLUSION Our study elucidates the functional mechanisms through which mucins contribute to CCA development,and provides tools for risk stratification in CCA.

A new optimal adaptive backstepping control approach for nonlinear systems under deception attacks via reinforcement learning

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.

Associations of PNPLA3 and LEP genetic polymorphisms with metabolic-associated fatty liver disease in Thai people living with human immunodeficiency virus

BACKGROUND The prevalence of metabolic-associated fatty liver disease(MAFLD)is a growing public health issue in people living with human immunodeficiency virus(PLWH).However,the pathophysiology of MAFLD is still unknown,and the role of genetic variables is only now becoming evident.AIM To evaluate the associations of gene-polymorphism-related MAFLD in PLWH.METHODS The study employed transient elastography with a controlled attenuation parameter≥248 dB/m to identify MAFLD in patients from a Super Tertiary Hospital in central Thailand.Candidate single-nucleotide polymorphisms(SNPs)were genotyped using TaqMan®MGB probe 5'nuclease assays for seven MAFLD-related genes.Statistical analyses included SNP frequency analysis,Fisher's Exact and Chi-square tests,odds ratio calculations,and multivariable logistic regression.RESULTS The G-allele carriers of PNPLA3(rs738409)exhibited a two-fold rise in MAFLD,increasing by 2.5 times in MAFLD with human immunodeficiency virus infection.The clinical features and genetic patterns imply that LEP rs7799039 A-allele carriers had a nine times(P=0.001)more significant chance of developing aberrant triglyceride among PLWH.CONCLUSION The current study shows an association between PNPLA3 rs738409 and LEP rs7799039 with MAFLD in PLWH.

The DAO to MetaControl for MetaSystems in Metaverses:The System of Parallel Control Systems for Knowledge Automation and Control Intelligence in CPSS

An investigation and outline of MetaControl and DeControl in Metaverses for control intelligence and knowledge automation are presented.Prescriptive control with prescriptive knowledge and parallel philosophy is proposed as the starting point for the new control philosophy and technology,especially for computational control of metasystems in cyberphysical-social systems.We argue that circular causality,the generalized feedback mechanism for complex and purposive systems,should be adapted as the fundamental principle for control and management of metasystems with metacomplexity in metaverses.Particularly,an interdisciplinary approach is suggested for MetaControl and DeControl as a new form of intelligent control based on five control metaverses:MetaVerses,MultiVerses,InterVerses,TransVerse,and DeepVerses.

A Survey of Cyber Attacks on Cyber Physical Systems:Recent Advances and Challenges

A cyber physical system(CPS)is a complex system that integrates sensing,computation,control and networking into physical processes and objects over Internet.It plays a key role in modern industry since it connects physical and cyber worlds.In order to meet ever-changing industrial requirements,its structures and functions are constantly improved.Meanwhile,new security issues have arisen.A ubiquitous problem is the fact that cyber attacks can cause significant damage to industrial systems,and thus has gained increasing attention from researchers and practitioners.This paper presents a survey of state-of-the-art results of cyber attacks on cyber physical systems.First,as typical system models are employed to study these systems,time-driven and event-driven systems are reviewed.Then,recent advances on three types of attacks,i.e.,those on availability,integrity,and confidentiality are discussed.In particular,the detailed studies on availability and integrity attacks are introduced from the perspective of attackers and defenders.Namely,both attack and defense strategies are discussed based on different system models.Some challenges and open issues are indicated to guide future research and inspire the further exploration of this increasingly important area.

Consensus Control of Leader-Following Multi-Agent Systems in Directed Topology With Heterogeneous Disturbances

This paper investigates the consensus problem for linear multi-agent systems with the heterogeneous disturbances generated by the Brown motion.Its main contribution is that a control scheme is designed to achieve the dynamic consensus for the multi-agent systems in directed topology interfered by stochastic noise.In traditional ways,the coupling weights depending on the communication structure are static.A new distributed controller is designed based on Riccati inequalities,while updating the coupling weights associated with the gain matrix by state errors between adjacent agents.By introducing time-varying coupling weights into this novel control law,the state errors between leader and followers asymptotically converge to the minimum value utilizing the local interaction.Through the Lyapunov directed method and It?formula,the stability of the closed-loop system with the proposed control law is analyzed.Two simulation results conducted by the new and traditional schemes are presented to demonstrate the effectiveness and advantage of the developed control method.

Toward Cloud Computing QoS Architecture:Analysis of Cloud Systems and Cloud Services

Cloud can be defined as a new computing paradigm that provides scalable, on-demand, and virtualized resources for users. In this style of computing, users can access a shared pool of computing resources which are provisioned with minimal management efforts of users. Yet there are some obstacles and concerns about the use of clouds. Guaranteeing quality of service(Qo S) by service providers can be regarded as one of the main concerns for companies tending to use it. Service provisioning in clouds is based on service level agreements representing a contract negotiated between users and providers. According to this contract, if a provider cannot satisfy its agreed application requirements, it should pay penalties as compensation. In this paper, we intend to carry out a comprehensive survey on the models proposed in literature with respect to the implementation principles to address the QoS guarantee issue.

Stochastic stability of networked control systems with network-induced delay and data dropout

This paper deals with the stochastic stability of networked control systems with the presence of network- induced delay and transmitted data dropout. Based on the Lyapunov approach, sufficient conditions for the mean-square stability of the networked control system are derived subject that the sequence of transmission interval is driven by an identically independently distributed sequence and by a finite state Markov chain, respectively. Stabilization controllers are constructed in terms of linear matrix inequalities correspondingly. An example is provided to illustrate our results.

SPECTRUM DISTRIBUTION OF THE SEDOND ORDER GENERALIZED DISTRIBUTED PARAMETER SYSTEMS

Spectrum distribution of the second order generalized distributed parameter system was discussed via the functional analysis and operator theory in Hilbert space. The solutions of the problem and the constructive expression of the solutions are given by the generalized inverse one of bounded linear operator. This is theoretically important for studying the stabilization and asymptotic stability of the second order generalized distributed parameter system.

Stabilization of a class of switched nonlinear systems

The stabilization of a class of switched nonlinear systems is investigated in the paper. The systems concerned are of （generalized） switched Byrnes-Isidori canonical form, which has all switched models in （generalized） Byrnes- Isidori canonical form. First, a stability result of switched systems is obtained. Then it is used to solve the stabilization problem of the switched nonlinear control systems. In addition, necessary and sufficient conditions are obtained for a switched affine nonlinear system to be feedback equivalent to （generalized） switched Byrnes-Isidori canonical systems are presented. Finally, as an application the stability of switched lorenz systems is investigated.