Petri网与数字系统设计

日益复杂的数字系统设计,须由各种专业的设计人员分工完成。他们之间需要一种描述系统的“共同语言”来沟通,这对于提高设计质量、缩短设计周期、减少设计费用具有积极意义。Petri网十分适合担任这一“共同语言”的角色。文章给出了数字电路测试仪器中的硬件设计的部分实例。     

A COMPLEX-TYPE FOCUSSED MAGNETRON FOR SPUTTERING

ＡＣＯＭＰＬＥＸ－ＴＹＰＥＦＯＣＵＳＳＥＤＭＡＧＮＥＴＲＯＮＦＯＲＳＰＵＴＴＥＲＩＮＧ￥ＺｈｅｎｇＳｉｘｉａｏ（郑思孝）（ＩｎｓｔｉｔｕｔｅｏｆＮｕｃｌｅａｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ,ＳｉｃｈｕａｎＵｎｉｖｅｒｓｉｔｙ,Ｃｈｅｎｇｄｕ...     

辐射换热的波长匹配问题

由于水的选择性吸收特性,辐射换热中水份波长匹配一直是一个有分歧的问题。文章通过理论与计算论证了这个问题,得出的结论否定了波长匹配的重要性。     

Critical Review of Fluorinated Electrolytes for High-Performance Lithium Metal Batteries

Lithium metal batteries (LMBs), due to their ultra-high energy density, are attracting tremendous attentions. However, their commercial application is severely impeded by poor safety and unsatisfactory cycling stability, which are induced by lithium dendrites, side reactions, and inferior anodic stability. Electrolytes, as the indispensable and necessary components in lithium metal batteries, play a crucial role in regulating the electrochemical performance of LMBs. Recently, the fluorinated electrolytes are widely investigated in high-performance LMBs. Thus, the design strategies of fluorinated electrolytes are thoroughly summarized, including fluorinated salts, fluorinated solvents, and fluorinated additives in LMBs, and insights of the fluorinated components in suppressing lithium dendrites, improving anodic stability and cycling stability. Finally, an outlook with several design strategies and challenges will be proposed for novel fluorinated electrolytes.     

SAdaBoundNc: an adaptive subgradient online learning algorithm with logarithmic regret bounds

Neural Computing and Applications - Adaptive (sub)gradient methods have received wide applications such as the training of deep networks. The square-root regret bounds are achieved in convex...     

Proximity-Induced Fully Ferromagnetic Order with Eightfold Magnetic Anisotropy in Heavy Transition Metal Oxide CaRuO3

Ferromagnetic materials with a strong spin-orbit coupling (SOC) have attracted much attention in recent years because of their exotic properties and potential applications in energy-efficient spintronics. However, such materials are scarce in nature. Here, a proximity-induced paramagnetic to ferromagnetic transition for the heavy transition metal oxide CaRuO₃ in (001)-(LaMnO₃/CaRuO₃) superlattices is reported. Anomalous Hall effect is observed in the temperature range up to 180 K. Maximal anomalous Hall conductivity and anomalous Hall angle are as large as ∼15 Ω⁻¹ cm⁻¹ and ∼0.93%, respectively, by one to two orders of magnitude larger than those of the typical 3d ferromagnetic oxides such as La_0.67Sr_0.33MnO₃. Density functional theory calculations indicate the existence of avoid band crossings in the electronic band structure of the ferromagnetic CRO layer, which enhances Berry curvature thus strong anomalous Hall effects. Further evidences from polarized neutron reflectometry show that the CaRuO₃ layers are in a fully ferromagnetic state (∼0.8 μ_B/Ru), in sharp contrast to the proximity-induced canted antiferromagnetic state in 5d oxides SrIrO₃ and CaIrO₃ (∼0.1 μ_B/Ir). More than that, the magnetic anisotropy of the (001)-(LaMnO₃/CaRuO₃) superlattices is eightfold symmetric, showing potential applications in the technology of multistate data storage.     

Graph-based fine-grained model selection for multi-source domain

Pattern Analysis and Applications - The prosperity of datasets and model architectures has led to the development of pretrained source models, which simplified the learning process in multi-domain...     

A quantized set-membership estimation-based heading control method of unmanned surface vessels under unknown-but-bounded wave-induced disturbances

This paper is concerned with the heading tracking control problem for a network-based unmanned surface vessel (USV) under wave-induced disturbances. Considering the characteristics of the wave-induced disturbances, the unknown-but-bounded (UBB) noise model is adopted. Meanwhile, signal quantization is taken into account due to the limited capacity of the communication channel. Based on these considerations, a novel set-membership based control scheme is proposed, which consists of a set-membership filter (SMF) and a set-membership controller (SMC). In the proposed control scheme, the SMF is designed for providing an ellipsoidal estimation set for the USV at each sampling step, and then the SMC uses the estimation set for producing control input for the USV in order to track the reference. Sufficient conditions are derived for the considered USV system to be asymptotically stable and satisfy the modified set-membership performance constraint. Simulation results verifies the effectiveness of the proposed control scheme.     

Adaptive prescribed time control for quadrotor formation with stochastic links failure

The formation control for multiple quadrotors subject to maintaining the formation configuration and collision avoidance in the situation of stochastic links failure is investigated in this paper. First, the distributed formation controller is designed, the position controller is developed to manage the desired formation of position, and the attitude controller is developed to control the translation and rotation movements of the quadrotor. Then, in order to avoid the collisions between multiple quadrotors and the obstacles, a potential energy function method is introduced into the quadrotor formation control combined with the nest adaptive control. Inspired by the design of event trigger controller, a communication compensation controller is designed to ensure the stability of quadrotor formation under the condition of random communication interruption and recovery. Moreover, a prescribed time function is designed, which means the convergence time of the formation system can be set in advance. The prescribed time stability of the formation control system is proved by Lyapunov theory. Finally, the simulation results verify the effectiveness and superiority of this method.     

On measuring network robustness for weighted networks

Knowledge and Information Systems - Network robustness measures how well network structure is strong and healthy when it is under attack, such as vertices joining and leaving. It has been widely...