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.

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.

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.

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.

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.

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.

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.

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.

Stability analyses of the mass abrasive projectile high-speed penetrating into concrete target. Part Ⅰ: Engineering model for the mass loss and nose-blunting of ogive-nosed projectiles

The mass loss and nose blunting of a projectile during high-speed deep penetration into concrete target may cause structural destruction and ballistic trajectory instability of the penetrator,obviously reducing the penetration efficiency of penetrator.Provided that the work of friction between projectile and target is totally transformed into the heat to melt penetrator material at its nose surface,an engineering model is established for the mass loss and nose-blunting of the ogive-nosed projectile.A dimensionless formula for the relative mass loss of projectile is obtained by introducing the dimensionless impact function I and geometry function N of the projectile.The critical value V c0of the initial striking velocity is formulated,and the mass loss of projectile tends to increase weakly nonlinearly with I/N when V0〉V c0,whilst the mass loss is proportional to the initial kinetic energy of projectile when V0

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 QoS 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. © 2014 Chinese Association of Automation.

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.

Can ChatGPT Boost Artistic Creation:The Need of Imaginative Intelligence for Parallel Art

CHATGPT,one of the leading Large Language Models(LLMs),has acquired linguistic capabilities such as text comprehension and logical reasoning,enabling it to engage in natural conversations with humans.

Stability of stochastic switched epidemic systems with discrete or distributed time delay

Stochastic switched epidemic systems with a discrete or distributed time delay are constructed and investigated. By the Lyapunov method and lto＇s differential rule, the existence and uniqueness of global positive solution of each system is proved. And stability conditions of the disease-free equilibrium of the systems are obtained. Numerical simulations are presented to illustrate the results.

Viability decision of linear discrete-time stochastic systems with probability criterion

In this paper, the optimal viability decision problem of linear discrete-time stochastic systems with probability criterion is investigated. Under the condition of sequence-reachable discrete-time dynamic systems, the existence theorem of optimal viability strategy is given and the solving procedure of the optimal strategy is provided based on dynamic programming. A numerical example shows the effectiveness of the proposed methods.

Componentwise Asymptotic Stability of Continuous-Time Interval Systems

A special type of asymptotic (exponential) stability, namely componentwise asymptotic (exponential) stability for the continuous-time interval system is investigated. A set-valued map that represents the constraint of the state of the system is defined. And, by applying the viability theory of differential equation, sufficient and necessary conditions for the componentwise asymptotical (exponential) stability of this kind of systems are given.

Effect of conformity on evolution of cooperation in a coordination game

Individual decision-making processes are not solely driven by self-interest maximization but are also influenced by the pressure to conform to the group.In primary games like the prisoner's dilemma,the presence of conformity pressure may facilitate the constructive development of cooperative behavior.In this study,we investigate how conformity influences the growth of cooperation in complicated coordination games.Our findings reveal that,even in the presence of stringent game rules,conformity can promote cooperation.In fact,a certain level of conformity pressure can even eliminate the“defection basin”of deer hunting games played on regular networks.Additionally,we demonstrate that the effect of conformity on cooperative behavior is contingent upon the degree of conformity pressure,with different levels of conformity pressure producing opposite effects.These findings provide novel insights into the promotion of cooperative evolution.For instance,if increasing the reward for cooperation has proven ineffective,manipulating the proportion of initial strategy choices may be a more promising approach.

Dynamic evolution of low-viscosity fuel particle distribution driven by constant flow

The effects of mass concentration and injection pressure on the atomization characteristics of low-viscosity fuel spray are studied in a constant-volume chamber.Microscopic spray parameters are measured by laser diffraction at different axial and radial positions downstream of the nozzle.The results show that the atomization effect is inhibited linearly with the increase of mass concentration.The increase of injection pressure promotes the droplet breakup.However,the trend gradually weakens and becomes more noticeable at high concentrations.Comparing with the concentration,the influence of the injection pressure on the atomization characteristics is dominant.Although low concentration and high injection pressure can promote the droplet breakup,they also increase the probability of droplet collision,resulting in droplet aggregation.This is more evident in low-viscosity fuels.The droplet size increases in the axial direction owing to the aggregation.However,the diameter decreases in the radial direction owing to the outward deflection of small droplets caused by air turbulence and entrainment.In addition,the high-velocity airflow significantly promotes the droplet breakup near the nozzle and spray axis regions and inhibits the aggregation effect.However,the lower-viscosity fuels keep smaller droplet sizes and better atomization in the whole spraying process,which is easier to realize than the higher-viscosity fuels.Overall,low concentration,high injection pressure,and low viscosity of fuel have beneficial effects on the droplet breakup.This is very important for improving the atomization effect of fuel.