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.

THE SCHUR TEST OF COMPACT OPERATORS

Infinite matrix theory is an important branch of function analysis.Every linear operator on a complex separable infinite dimensional Hilbert space corresponds to an infinite matrix with respect a orthonormal base of the space,but not every infinite matrix corresponds to an operator.The classical Schur test provides an elegant and useful criterion for the boundedness of linear operators,which is considered a respectable mathematical accomplishment.In this paper,we prove the compact version of the Schur test.Moreover,we provide the Schur test for the Schatten class S_(2).It is worth noting that our main results can be applicable to the general matrix without limitation on non-negative numbers.We finally provide the Schur test for compact operators from l_(p) into l_(q).

Determination of the critical rainfall of runoff-initiated debris flows by the perspective of physical mechanics and Shields stress

The critical rainfall of runoff-initiated debris flows is utmost importance for local early hazard forecasting.This paper presents research on the critical rainfall of runoff-initiated debris flows through comparisons between slope gradients and three key factors,including topographic contributing area,dimensionless discharge,and Shields stress.The rainfall amount was estimated by utilizing in-situ rainfall records and a slope-dependent Shields stress model was created.The created model can predict critical Shields stress more accurately than the other two models.Furthermore,a new dimensionless discharge equation was proposed based on the corresponding discharge-gradient datasets.The new equation,along with factors such as contributing area above bed failure sites,channel width,and mean diameter of debris flow deposits,predicts a smaller rainfall amount than the in-situ measured records.Although the slope-dependent Shields stress model performs well and the estimated rainfall amount is lower than the in-situ records,the sediment initiation in the experiments falls within sheet flow regime due to a large Shields stress.Therefore,further sediment initiation experiments at a steeper slope range are expected in the future to ensure that the sediment transport belongs to mass failure regime characterized by a low level of Shields stress.Finally,a more accurate hazard forecast on the runoff-initiated debris flow holds promise when the corresponding critical slope-dependent dimensionless discharge of no motion,fluvial sediment transport,mass flow regime,and sheet flow regime are considered.

APPROXIMATELY ARTINIAN(NOETHERIAN)C*-ALGEBRAS

In this article,we introduce and study the class of approximately Artinian(Noetherian)C^(*)-algebras,called AR-algebras(AN-algebras),which is a simultaneous generalization of Artinian(Noetherian)C*-algebras and AF-algebras.We study properties such as the ideal property and topological dimension zero for them.In particular,we show that a faithful AR or AN algebra is strongly purely infinite iff it is purely infinite iff it is weakly purely infinite.This extends the Kirchberg's O_(∞)-absorption theorem,and implies that a weakly purely infinite C^(*)-algebra is Noetherian iff every its ideal has a full projection.

A Remark on the Affine Coordinates for KdV Tau-Functions

We give a proof of an explicit formula for affine coodinates of points in the Sato’s infinite Grassmannian corresponding to tau-functions for the KdV hierarchy.

New Raw Materials Ignite the Singularity of Cosmetic Innovation

As traced by the Big Bang theory,the starting point of the universe,is called the“Singularity”in Da Ci Hai,an unabridged,comprehensive dictionary.According to cosmological reasoning,the singularity has an infinite density of matter,an infinite curvature of space and time,and it is invisible and infinite.These characteristics are analogous to the human imagination at the level of innovation.For the innovation of cosmetic raw materials,there is also the possibility of infinite evolution.For example,in recent years,the scientific research in cosmetic industry the for promoting upgrade in raw materials is quite proactive.From the raw material enterprises,down to the brand company,the investment in raw material innovation is also strengthened at a visible rate.

Finite Words,Infinite Wisdom

As picture books gain popularity,they create a bridge between China and the rest of the world.

A New Proof for Congruent Number’s Problem via Pythagorician Divisors

Considering Pythagorician divisors theory which leads to a new parameterization, for Pythagorician triplets ( a,b,c )∈ ℕ 3∗ , we give a new proof of the well-known problem of these particular squareless numbers n∈ ℕ ∗ , called congruent numbers, characterized by the fact that there exists a right-angled triangle with rational sides: ( A α ) 2 + ( B β ) 2 = ( C γ ) 2 , such that its area Δ= 1 2 A α B β =n;or in an equivalent way, to that of the existence of numbers U 2 , V 2 , W 2 ∈ ℚ 2∗ that are in an arithmetic progression of reason n;Problem equivalent to the existence of: ( a,b,c )∈ ℕ 3∗ prime in pairs, and f∈ ℕ ∗ , such that: ( a−b 2f ) 2 , ( c 2f ) 2 , ( a+b 2f ) 2 are in an arithmetic progression of reason n;And this problem is also equivalent to that of the existence of a non-trivial primitive integer right-angled triangle: a 2 + b 2 = c 2 , such that its area Δ= 1 2 ab=n f 2 , where f∈ ℕ ∗ , and this last equation can be written as follows, when using Pythagorician divisors: (1) Δ= 1 2 ab= 2 S−1 d e ¯ ( d+ 2 S−1 e ¯ )( d+ 2 S e ¯ )=n f 2;Where ( d, e ¯ )∈ ( 2ℕ+1 ) 2 such that gcd( d, e ¯ )=1 and S∈ ℕ ∗ , where 2 S−1 , d, e ¯ , d+ 2 S−1 e ¯ , d+ 2 S e ¯ , are pairwise prime quantities (these parameters are coming from Pythagorician divisors). When n=1 , it is the case of the famous impossible problem of the integer right-angled triangle area to be a square, solved by Fermat at his time, by his famous method of infinite descent. We propose in this article a new direct proof for the numbers n=1 (resp. n=2 ) to be non-congruent numbers, based on an particular induction method of resolution of Equation (1) (note that this method is efficient too for general case of prime numbers n=p≡a ( ( mod8 ) , gcd( a,8 )=1 ). To prove it, we use a classical proof by induction on k , that shows the non-solvability property of any of the following systems ( t=0 , corresponding to case n=1 (resp. t=1 , corresponding to case n=2 )): ( Ξ t,k ){ X 2 + 2 t ( 2 k Y ) 2 = Z 2 X 2 + 2 t+1 ( 2 k Y ) 2 = T 2 , where k∈ℕ;and solutions ( X,Y,Z,T )=( D k , E k , f k , f ′ k )∈ ( 2ℕ+1 ) 4 , are given in pairwise prime numbers.2020-Mathematics Subject Classification 11A05-11A07-11A41-11A51-11D09-11D25-11D41-11D72-11D79-11E25 .

Infinitely Many Solutions and a Ground-State Solution for Klein-Gordon Equation Coupled with Born-Infeld Theory

In this paper, we intend to consider a kind of nonlinear Klein-Gordon equation coupled with Born-Infeld theory. By using critical point theory and the method of Nehari manifold, we obtain two existing results of infinitely many high-energy radial solutions and a ground-state solution for this kind of system, which improve and generalize some related results in the literature.

Ultrasonic wind velocity measurement based on DSP

Ultrasonic transmitting, receiving and amplifying circuits are designed. Thereceived signals are sampled with the high speed ADC (analog-to-digital converter), and dealt withthe DSP (digital signal processing). A forward-backward IIR (infinitive impulse response) filterwith no delay is designed to filter the sampled data, and series A and B are achieved by narrow andwide band filtering, respectively. In series A, the start point of the cycle first exceeding thethreshold is calculated accuratelyby interpolation, and the start cycle is detected by fittingcycles in series A and its inversion A' to cycles in B with variance analysis. Therefore, the startpoint of the start cycle is calculated precisely. By deriving the relationships between the traveltime in the opposite directions of three axes and the airflow velocities, the wind velocity anddirection are calculated. Experiments show that the reliability and the precision are improved, andthe circuits are simplified.

自适应滤波器在超宽带穿墙雷达中的应用研究

作为一种新型探测和定位墙后人体目标的方法,超宽带穿墙雷达在军事和民用多个领域得到了广泛的应用。由于目标信号经常被强背景噪声所淹没,为实现动目标检测,需寻求一种有效的背景相消方法以凸显动目标信号,提高动目标检测和定位的精度。在研究回波信号特点的基础上,考虑到无限冲击响应(IIR)滤波器和自适应滤波器的优点,提出采用基于IIR的自适应滤波器背景噪声相消的方法,抑制回波信号中的噪声。为验证方法的有效性,采用该方法对利用SIR20雷达收集的实测数据进行了相关处理。从结果看,该方法能有效抑制背景噪声,凸显目标信号,为目标的检测和定位奠定了良好的基础。

WSP系统与辨识

本文把投影算子的加权和表示方法引入无穷维线性系统,产生投影加权和系统,即简称为WSP系统,为无穷维系统辨识问题提供一种方便的模型结构方式,文中讨论了WSP系统的产生过程以及其系统辨识问题.

英语V+To+Infinitive与V+To+V-ing结构的对比分析

英语v+to+infinitive与v+to+v-ing结构极易发生混淆。在句法上,v+to+infinitive结构中的to+infinitive要么是CP,要么是TP,而v+to+v-ing结构中的to+v-ing是介词短语PP。从语义角度来说,我们可以用主动词提示的时间做参照,to+infinitive所蕴含事件的时间要么发生在主动词时间之后或是与之同时发生,而to v-ing所蕴含的事件可以发生在主动词时间之前,之后或同时发生。另外,与to+infinitive结构不同的是v-ing结构更加倾向强调所发生事件的内部组成成分,所持续的时间和展开的方式等。

Completeness of Eigenfunction Systems for Off-Diagonal Infinite-Dimensional Hamiltonian Operators

For the off-diagonal infinite dimensional Hamiltonian operators, which have at most countable eigenvalues, a necessary and sufficient condition of the eigenfunction systems to be complete in the sense of Cauchy principal value is presented by using the spectral symmetry and new orthogonal relationship of the operators. Moreover, the above result is extended to a more general case. At last, the completeness of eigenfunction systems for the operators arising from the isotropic plane magnetoelectroelastic solids is described to illustrate the effectiveness of the criterion. The whole results offer theoretical guarantee for separation of variables in Hamiltonian system for some mechanics equations.

Analysis of ground vibrations due to underground trains by 2.5D finite/infinite element approach

The 2.5D finite/infinite element approach is adopted to study wave propagation problems caused by underground moving trains. The irregularities of the near field, including the tunnel structure and parts of the soil, are modeled by the finite elements, and the wave propagation properties of the far field extending to infinity are modeled by the infinite elements. One particular feature of the 2.5D approach is that it enables the computation of the three-dimensional response of the half-space, taking into account the load-moving effect, using only a two-dimensional profile. Although the 2.5D finite/infinite element approach shows a great advantage in studying the wave propagation caused by moving trains, attention should be given to the calculation aspects, such as the rules for mesh establishment, in order to avoid producing inaccurate or erroneous results. In this paper, some essential points for consideration in analysis are highlighted, along with techniques to enhance the speed of the calculations. All these observations should prove useful in making the 2.5D finite/infinite element approach an effective one.

GLOBAL ASYMPTOTIC STABILITY IN N-SPECIES NONAUTONOMOUS LOTKA-VOLTERRACOMPETITIVE SYSTEMS WITH DELAYS

A delayed n-species nonautonomous Lotka-Volterra type competitive system without dominating instantaneous negative feedback is investigated. By means of a suitable Lyapunov functional, sufficient conditions are derived for the global asymptotic stability of the positive solutions of the system. As a corollary, it is shown that the global asymptotic stability of the positive solution is maintained provided that the delayed negative feedbacks dominate other interspecific interaction effects with delays and the delays are sufficiently small.

Investigation of the symmetry energy of nuclear matter using isospin-dependent quantum molecular dynamics

Simulations of infinite nuclear matter at different densities,isospin asymmetries and temperatures are performed using the isospin-dependent quantum molecular dynamics(IQMD)model to study the equation of state and symmetry energy.A rigorous periodic boundary condition is used in the simulations.Symmetry energies are extracted from the binding energies under different conditions and compared to the classical molecular dynamics(CMD)model using the same method.The results show that both models can reproduce the experimental results for the symmetry energies at low densities,but IQMD is more appropriate than CMD for nuclear matter above the saturation density.This indicates that IQMD may be a reliable model for the study of the properties of infinite nuclear matter.

Improved single image dehazing using dark channel prior

An improved single image dehazing method based on dark channel prior and wavelet transform is proposed. This pro-posed method employs wavelet transform and guided filter instead of the soft matting procedure to estimate and refine the depth map of haze images. Moreover, a contrast enhancement method based on just noticeable difference （JND） and quadratic function is adopted to enhance the contrast for the dehazed image, since the scene radiance is usual y not as bright as the atmospheric light, and the dehazed image looks dim. The experimental results show that the proposed approach can effectively enhance the haze ima-ge and is wel suitable for implementing on the surveil ance and obstacle detection systems.

Infinitely many periodic solutions for second-order Hamiltonian systems

The existence of high energy periodic solutions for the second-order Hamiltonian system -ü（t）＋A（t）u（t）=▽F（t,u（t）） with convex and concave nonlinearities is studied, where F（t, u） = F1（t,u）＋F2（t,u）. Under the condition that F is an even functional, infinitely many solutions for it are obtained by the variant fountain theorem. The result is a complement for some known ones in the critical point theory.

Computing of the Anchor by the Method of Three-Dimension Point-Radiate Infinite Elements

On the basis of the one-dimension infinite element theory, the coordinate translation and shape function of 3D point-radiate 8-node and 4-node infinite elements are derived. They are coupled with 20-node and 8-node finite elements to compute the compression distortion of the prestressed anchorage segment. The results indicate that when the prestressed force acts on the anchorage head and segment, the stresses and the displacements in the rock around the anchorage head and segment concentrate on the zone center with the anchor axis, and they decrease with exponential forms. Therefore,the stresses and the displacement spindles are formed. The calculating results of the infinite element are close to the theoretical results. This indicates the method is right. This article introduces a new way to study the mechanism of prestressed anchors. The obtained results have an important role in the research of the anchor mechanism and engineering application.