检索结果-南通市图书馆

Formal Modeling and Verification of Carrier-borne Aircraft Ammunition Support Operation Scheduling

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Ruan Jian Xue Bao/Journal of Software 2024年第9期35卷

作者： Jin, Zhao Jin, Lu Zhang, Bo-Wen Wu, Qing-Shun Feng, Shuo Li, Guan-Feng Xu, Ming-Liang School of Computer and Artificial Intelligence Zhengzhou University Zhengzhou 450001 China engineering Research Center of Intelligent Swarm systems Ministry of Education Zhengzhou 450001 China National Supercomputing Center in Zhengzhou Zhengzhou 450001 China Beijing institute of Astronautical systems engineering Beijing 100076 China The 713 Research institute of China Shipbuilding Industry Corporation Zhengzhou 450015 China

As an efficient scheduling method, the intelligent planning of ammunition support operation of carrier-borne air craft is an important way to boost the development of advanced technology of aircraft carrier engineering. Ensuring the correctness of operation planning schemes under the high safety-critical attribute has gradually become the key technical bottleneck restricting the security of their practical application deployments. Aiming at the challenges posed by the difficulties in modeling ammunition support systems, describing operation execution behavior, and realizing formal verification tools, this study proposes a behavior model for ammunition support systems based on the separation logic idea, where the theorem prover Coq is employed to conduct formal verification on the operation planning scheme. First, a serialized two-tier resource heap model that conforms to the characteristics of ammunition support operation is proposed. Subsequently, a set of modeling language and operational semantics are constructed based on this model to describe job execution behavior. Finally, a proof assistant tool is implemented in Coq. The usability and engineering practicability of the tool are verified by interactive demonstrations of several typical ammunition support operation planning schemes. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Aircraft

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第4期33卷 402-407页

作者：伍勇刚余华健郑志刚徐灿 School of Mathematical Sciences Huaqiao UniversityQuanzhou 362021China institute of systems Science and College of Information Science and engineering Huaqiao UniversityXiamen 361021China

The chimera states underlying many realistic dynamical processes have attracted ample attention in the area of dynamical ***, we generalize the Kuramoto model with nonlocal coupling incorporating higher-order interactions encoded with simplicial *** works have shown that higher-order interactions promote coherent ***, we uncover the fact that the introduced higher-order couplings can significantly enhance the emergence of the incoherent ***, we identify that the chimera states arise as a result of multi-attractors in dynamic ***, we review that the increasing higher-order interactions can significantly shape the emergent probability of chimera *** the observed results can be well described in terms of the dimension reduction *** 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.

关键词： synchronization complex system coupled oscillators phase transition

Comprehensive Euler/Lagrange modelling including particle erosion for confined gas-solid flows

在线全文

学校读者我要写书评

暂无评论

Particuology 2024年第1期84卷 209-235页

作者： Guiherme A.Novelletto Ricardo Martin Sommerfeld Multiphase Flow systems Institute of Process EngineeringOtto-von-Guericke-University MagdeburgHoher Weg 7b06120Halle(Saale)Germany

The present research aims to assess the capability of a comprehensive Euler/Lagrange approach for predicting gas-solid flows and the associated solid particle *** open-source code OpenFOAM®4.1 was used to carry out the numerical simulations,where the standard Lagrangian libraries were substantially extended to account for all necessary *** are tracked considering both translational and rotational motion as well as all relevant forces,such as gravity/buoyancy,drag and transverse lift due to shear and particle *** tracking time step was dynamically adapted ac-cording to the locally relevant time scales,which drastically reduces computational *** approaches are adopted to model particle turbulent dispersion,particle collisions with rough walls and particle-particle *** solid particle erosion models,available in the literature,were considered to estimate pipe bend *** study cases are provided to validate the adopted nu-merical approach and erosion models *** first case intends to evaluate the ability of the extended CFD code to predict the behaviour of gas-solid flows in pneumatic conveying *** goal is achieved by comparing the numerical results with the experimental data obtained by Huber(1997)and Huber and Sommerfeld(1994,1998)in a pneumatic conveying ***,the importance of considering inter-particle collisions and surface roughness for predicting particle velocity,mass flux and mean diameter distributions in gas-solid flows is *** second and third case intend to evaluate the ability of the erosion models in estimating bend erosion in diluted gas-solid *** erosion data obtained experimentally by Mazumder et al.(2008)and Solnordal et al.(2015)in very dilut pneumatic conveying systems is used for validating the numerical results,neglecting now inter-particle collisions and two-way *** a comprehensive analysis of the different influential properti

关键词： Pneumatic conveying Pipe bend Numerical calculation(CFD) Euler/Lagrange approach Erosion models Wall roughness

Mixed H_(∞)/Passive Exponential Synchronization for Delayed Memristive Neural Networks with Switching Event-Triggered Control

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of systems Science & Complexity 2024年第1期37卷 294-317页

作者： WU Wenhuang GUO Lulu CHEN Hong Shanghai Research institute for Intelligent Autonomous systems Tongji UniversityShanghai 200092China Department of Control Science and engineering Tongji UniversityShanghai 201804China

This paper is devoted to event-triggered synchronization of delayed memristive neural networks with H∞and passivity *** aim is to guarantee the exponential synchronization and mixed H∞and passivity control for memristive neural networks by using event-triggered ***,a switching system is constructed under the event-triggered control ***,by adopting a piece-wise Lyapunov functional,a sufficient condition is established for the exponential synchronization and mixed H_(∞)and passivity ***,an event-triggered controller design scheme is proposed using matrix decoupling ***,the effectiveness of the designed controller is exemplified by a numerical example.

关键词： Event-triggered control exponential synchronization memristive neural networks time delays.

Unveiling the early stage evolution of local atomic structures in the crystallization process of a metallic glass

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第3期33卷 58-64页

作者：马琳杨晓东杨锋周鑫嘉武振伟 institute of Nonequilibrium systems School of Systems ScienceBeijing Normal UniversityBeijing 100875China

The early stage evolution of local atomic structures in a multicomponent metallic glass during its crystallization process has been investigated via molecular dynamics *** is found that the initial thermal stability and earliest stage evolution of the local atomic clusters show no strong correlation with their initial short-range orders,and this leads to an observation of a novel symmetry convergence phenomenon,which can be understood as an atomic structure manifestation of the ***,in our system we have quantitatively proved that the crucial factor for the thermal stability against crystallization exhibited by the metallic glass is not the total amount of icosahedral clusters,but the degree of global connectivity among them.

关键词： metallic glass crystallization molecular dynamics simulation local atomic clusters

3D coarse-grained DPM simulation of the MIP reaction-regeneration loop

在线全文

学校读者我要写书评

暂无评论

Particuology 2024年第6期89卷 57-66页

作者： Yanhao Ye Shuai Zhang Ji Xu Wei Ge State Key Laboratory of Mesoscience and engineering(formerly State Key Laboratory of Multiphase Complex systems) Institute of Process EngineeringChinese Academy of SciencesBeijing100190China School of Chemical engineering University of Chinese Academy of SciencesBeijing100049China

The reactor-regenerator loop is the core facility of the maximizing iso-paraffin(MIP)*** the discrete particle method(DPM)simulation can provide detailed information at the particle scale,it has been unable to simulate such a complex loop system due to limitations of coarse-grained(CG)models,computing software,and *** this study,a newly proposed soft-shell CG-DPM model with a CG ratio of up to 800 is used to simulate a 3.5 Mt/a industrial-scale MIP reactor-regenerator *** solid fraction distribution obtained is found to agree well with in-situ *** properties including the distribution of solid fraction,gas and solid velocity,standard derivation of solid fraction with time,temporal distribution of the flow field,and particle residence time distribution are measured in the simulation,which are meaningful to better design and operate such systems in the future.

关键词： Discrete particle method Coarse-grain Maximizing iso-paraffins Full-loop Reaction-regeneration system

Equalizer Zero-Determinant Strategy in Discounted Repeated Stackelberg Asymmetric Game

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of systems Science & Complexity 2024年第1期37卷 184-203页

作者： CHENG Zhaoyang CHEN Guanpu HONG Yiguang Key Laboratory of systems and Control Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049China School of Electrical engineering and Computer Science KTH Royal Institute of Technology10044 StockholmSweden. Department of Control Science and engineering Tongji UniversityShanghai 201804China Shanghai Research institute for Intelligent Autonomous systems Tongji UniversityShanghai 210201China

This paper focuses on the performance of equalizer zero-determinant(ZD)strategies in discounted repeated Stackelberg asymmetric *** the leader-follower adversarial scenario,the strong Stackelberg equilibrium(SSE)deriving from the opponents’best response(BR),is technically the optimal strategy for the ***,computing an SSE strategy may be difficult since it needs to solve a mixed-integer program and has exponential complexity in the number of *** this end,the authors propose an equalizer ZD strategy,which can unilaterally restrict the opponent’s expected *** authors first study the existence of an equalizer ZD strategy with one-to-one situations,and analyze an upper bound of its performance with the baseline SSE *** the authors turn to multi-player models,where there exists one player adopting an equalizer ZD *** authors give bounds of the weighted sum of opponents’s utilities,and compare it with the SSE ***,the authors give simulations on unmanned aerial vehicles(UAVs)and the moving target defense(MTD)to verify the effectiveness of the proposed approach.

关键词： Discounted repeated Stackelberg asymmetric game equalizer zero-determinant strategy strong Stackelberg equilibrium strategy

Point Cloud Classification Using Content-Based Transformer via Clustering in Feature Space

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 231-239页

作者： Yahui Liu Bin Tian Yisheng Lv Lingxi Li Fei-Yue Wang the State Key Laboratory for Management and Control of Complex systems Institute of AutomationChinese Academy of SciencesBeijing 100190 the School of Artificial Intelligence University of Chinese Academy of SciencesBeijing 100190 IEEE the Transportation and Autonomous systems institute(TASI)and the Department of Electrical and Computer engineering Purdue School of Engineering and TechnologyIndiana University-Purdue University Indianapolis(IUPUI)Indianapolis 46202 USA

Recently, there have been some attempts of Transformer in 3D point cloud classification. In order to reduce computations, most existing methods focus on local spatial attention,but ignore their content and fail to establish relationships between distant but relevant points. To overcome the limitation of local spatial attention, we propose a point content-based Transformer architecture, called PointConT for short. It exploits the locality of points in the feature space(content-based), which clusters the sampled points with similar features into the same class and computes the self-attention within each class, thus enabling an effective trade-off between capturing long-range dependencies and computational complexity. We further introduce an inception feature aggregator for point cloud classification, which uses parallel structures to aggregate high-frequency and low-frequency information in each branch separately. Extensive experiments show that our PointConT model achieves a remarkable performance on point cloud shape classification. Especially, our method exhibits 90.3% Top-1 accuracy on the hardest setting of ScanObjectN N. Source code of this paper is available at https://***/yahuiliu99/PointC onT.

关键词： Content-based Transformer deep learning feature aggregator local attention point cloud classification

The First Five Years of a Phase Theory for Complex systems and Networks

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第8期11卷 1728-1743页

作者： Dan Wang Wei Chen Li Qiu IEEE the Division of Decision and Control systems KTH Royal Institute of Technology the Department of Mechanics and engineering Science & the State Key Laboratory for Turbulence and Complex systems Peking University the Hong Kong University of Science and Technology the Southern University of Science and Technology

In this paper, we review the development of a phase theory for systems and networks in its first five years, represented by a trilogy: Matrix phases and their properties; The MIMO LTI system phase response, its physical interpretations,the small phase theorem, and the sectored real lemma; The synchronization of a multi-agent network using phase *** the end, we also summarize a list of ongoing research on the phase theory and speculate what will happen in the next five years.

关键词： Linear systems Reviews Synchronization Complex systems