检索结果-内蒙古大学图书馆

A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model

IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2025年第6期44卷 2328-2342页

作者： Zhong, Wenjie Sun, Tao Zhou, Jian-Tao Wang, Zhuowei Song, Xiaoyu Inner Mongolia University College of Computer Science the Engineering Research Center of Ecological Big Data Ministry of Education the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology Hohhot010000 China Guangdong University of Technology School of Computer Science and Technology Guangzhou510006 China Portland State University Department of Electrical and Computer Engineering PortlandOR97207 United States

Colored Petri nets (CPNs) provide descriptions of the concurrent behaviors for software and hardware. Model checking based on CPNs is an effective method to simulate and verify the concurrent behavior in system design. However, the model-checking method traverses the full state space, which suffers from the state-space explosion problem. A reduced state-space generation method related to the property of concurrent systems is proposed. Specifically, we extend CPNs to define a property-related model (CPN-PR) and give a property-related analysis method whose results can be used to generate the CPN-PR model. A reduced state-space generation method is developed based on enabled binding element filtering rules. The stutter trace equivalence between the state spaces of CPN and CPN-PR has been proven by showing that the reduced state space may not change the model-checking result. A comparison experiment is conducted to demonstrate the effectiveness of our method. © 1982-2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Improved MPPT algorithm: Artificial neural network trained by an enhanced Gauss-Newton method

AIMS Electronics and Electrical Engineering

引用

AIMS Electronics and electrical engineering 2023年第4期7卷 380-405页

作者： Dkhichi, Fayrouz Laboratory of Networks Computer Science Telecommunications & Multimedia Electrical Engineering Department Superior School of Technology Hassan II University of Casablanca Morocco

A novel approach defined by the artificial neural network (ANN) model trained by the improved Gauss-Newton in conjunction with a simulated annealing technique is used to control a step-up converter. To elucidate the superiority of this innovative method and to show its high precision and speed in achieving the right value of the Maximum Power Point (MPP), a set of three comparative Maximum Power Point Tracker (MPPT) methods (Perturbation and observation, ANN and ANN associated with perturbation and observation) are exanimated judiciously. The behavior of these methods is observed and tested for a fixed temperature and irradiance. As a result, the proposed approach quickly tracks the right MPP = 18.59 W in just 0.04382 s. On the other hand, the outstanding ability of the suggested method is demonstrated by varying the irradiance values (200 W/m , 300 W/m , 700 W/m , 1000 W/m , 800 W/m and 400 W/m ) and by varying the temperature values (15°C, 35°C, 45°C and 5°C). Therefore, the ANN trained by Gauss-Newton in conjunction with simulated annealing shows a high robustness and achieves the correct value of MPP for each value of irradiance with an efficiency 99.54% and for each value of temperature with an efficiency 99.98%;the three other methods sometimes struggle to achieve the right MPP for certain irradiance values and often remains stuck in its surroundings. © 2023 The Author(s).

关键词： Maximum power point trackers

来源：评论

学校读者我要写书评

暂无评论

Faithful geometric measures for genuine tripartite entanglement

引用

Physical Review A 2024年第1期110卷 L010402-L010402页

作者： Xiaozhen Ge Lijun Liu Yong Wang Yu Xiang Guofeng Zhang Li Li Shuming Cheng Department of Control Science and Engineering Department of Applied Mathematics The Department of Mathematics and Computer Science State Key Laboratory for Mesoscopic Physics School of Physics Frontiers Science Center for Nano-optoelectronics and Collaborative Innovation Center of Quantum Matter Shanghai Institute of Intelligent Science and Technology Institute for Advanced Study

We present a faithful geometric picture for genuine tripartite entanglement of discrete, continuous, and hybrid quantum systems. We first find that the triangle relation Ei|jkα≤Ej|ikα+Ek|ijα holds for all subadditive bipartite entanglement measure E, all permutations under parties i,j,k, all α∈[0,1], and all pure tripartite states. Then, we rigorously prove that the nonobtuse triangle area, enclosed by side Eα with 0<α≤1/2, is a measure for genuine tripartite entanglement. Finally, it is significantly strengthened for qubits that given a set of subadditive and nonsubadditive measures, some state is always found to violate the triangle relation for any α>1, and the triangle area is not a measure for any α>1/2. Our results pave the way to study discrete and continuous multipartite entanglement within a unified framework.

关键词： Entanglement measures Quantum correlations in quantum information Quantum correlations, foundations & formalism Resource theories

来源：评论

学校读者我要写书评

暂无评论

PierGuard: A Planning Framework for Underwater Robotic Inspection of Coastal Piers

引用

IEEE Transactions on Automation science and engineering 2025年 22卷 15941-15952页

作者： Wang, Pengyu Lin, Hin Wang Li, Jialu Wang, Jiankun Shi, Ling Meng, Max Q.-H Southern University of Science and Technology Shenzhen Key Laboratory of Robotics Perception and Intelligence Department of Electronic and Electrical Engineering Shenzhen China Hong Kong University of Science and Technology Department of Electronic and Computer Engineering Hong Kong Southern University of Science and Technology Jiaxing Research Institute Jiaxing China Hong Kong University of Science and Technology Department of Chemical and Biological Engineering Hong Kong The Chinese University of Hong Kong Department of Electronic Engineering Hong Kong University of Alberta Canada Department of Electrical and Computer Engineering Canada

Using underwater robots instead of humans for the inspection of coastal piers can enhance efficiency while reducing risks. A key challenge in performing these tasks lies in achieving efficient and rapid path planning within complex environments. Sampling-based path planning methods, such as Rapidly-exploring Random Tree* (RRT*), have demonstrated notable performance in high-dimensional spaces. In recent years, researchers have begun designing various geometry-inspired heuristics and neural network-driven heuristics to further enhance the effectiveness of RRT*. However, the performance of these general path planning methods still requires improvement when applied to highly cluttered underwater environments. In this paper, we propose PierGuard, which combines the strengths of bidirectional search and neural network-driven heuristic regions. We design a specialized neural network to generate high-quality heuristic regions in cluttered maps, thereby improving the performance of the path planning. Through extensive simulation and real-world ocean field experiments, we demonstrate the effectiveness and efficiency of our proposed method compared with previous research. Our method achieves approximately 2.6 times the performance of the state-of-the-art geometric-based sampling method and nearly 4.9 times that of the state-of-the-art learning-based sampling method. Our results provide valuable insights for the automation of pier inspection and the enhancement of maritime safety. (Video1). © 2004-2012 IEEE.

关键词： Motion planning

来源：评论

学校读者我要写书评

暂无评论

Broadband spin and angle co‑multiplexed waveguide‑based metasurface for six‑channel crosstalk‑free holographic projection

引用

eLight 2024年第1期4卷 223-237页

作者： Zeyang Liu Hao Gao Taigao Ma Vishva Ray Niu Liu Xinliang Zhang L.Jay Guo Cheng Zhang School of Optical and Electronic Information Huazhong University of Science and TechnologyWuhan 430074China Wuhan National Laboratory for Optoelectronics Huazhong University of Science and TechnologyWuhan 430074China Department of Physics University of MichiganAnn ArborMI 48109USA Lurie Nanofabrication Facility Department of Electrical Engineering and Computer ScienceUniversity of MichiganAnn ArborMI 48109USA Department of Electrical Engineering and Computer Science University of MichiganAnn ArborMI 48109USA

Metasurface-based holograms,or metaholograms,offer unique advantages including enhanced imaging quality,expanded field of view,compact system size,and broad operational ***-channel metaholograms,capable of switching between multiple projected images based on the properties of illuminating light such as state of polarization and angle of incidence,have emerged as a promising solution for realizing switchable and dynamic holographic ***,existing designs typically grapple with challenges such as limited multiplexing channels and unwanted crosstalk,which severely constrain their practical ***,we present a new type of waveguidebased multi-channel metaholograms,which support six independent and fully crosstalk-free holographic display channels,simultaneously multiplexed by the spin and angle of guided incident light within the glass *** employ a k-space translation strategy that allows each of the six distinct target images to be selectively translated from evanescent-wave region to the center of propagation-wave region and projected into free space without crosstalk,when the metahologram is under illumination of a guided light with specific spin and azimuthal *** addition,by tailoring the encoded target images,we implement a three-channel polarization-independent metahologram and a two-channel full-color(RGB)***,the number of multiplexing channels can be further increased by expanding the k-space’s central-period region or combing the k-space translation strategy with other multiplexing techniques such as orbital angular momentum *** work provides a novel approach towards realization of high-performance and compact holographic optical elements with substantial information capacity,opening avenues for applications in AR/VR displays,image encryption,and information storage.

关键词： Metasurface Multi-channel metahologram Color metahologram Waveguide display

来源：评论

学校读者我要写书评

暂无评论

Data-driven electrical resistance tomography for robotic large-area tactile sensing

引用

science China(Information sciences) 2024年第9期67卷 336-337页

作者： Wendong ZHENG Huaping LIU Xiaofeng LIU Fuchun SUN School of Electrical Engineering and Automation Tianjin University of Technology Department of Computer Science and Technology Tsinghua University Key Laboratory of Maritime Intelligent Cyberspace Technology (Hohai University) Ministry of Education

Tactile sensing plays a crucial role in enabling robots to safely interact with objects in dynamic environments [1].Given that potential physical contact can occur at any location during robot interaction, there is a ... 详细信息

关键词： Robot applications

来源：评论

学校读者我要写书评

暂无评论

Rotor Angle Stability Prediction Using Temporal and Topological Embedding Deep Neural Network Based on Grid-informed Adjacency Matrix

引用

Journal of Modern Power Systems and Clean Energy 2024年第3期12卷 695-706页

作者： Peiyuan Sun Long Huo Xin Chen Siyuan Liang the School of Electrical Engineering Xi’an Jiaotong UniversityXi’an 710049China the School of Electrical Engineering and the Center of Nanomaterials for Renewable EnergyState Key Laboratory of Electrical Insulation and Power EquipmentXi’an Jiaotong UniversityXi’an 710049China the Department of Computer Science and Engineering The Chinese University of Hong KongShatin999077Hong KongChina

Rotor angle stability(RAS)prediction is critically essential for maintaining normal operation of the interconnected synchronous machines in power *** wide deployment of phasor measurement units(PMUs)promotes the development of data-driven methods for RAS *** paper proposes a temporal and topological embedding deep neural network(TTEDNN)model to accurately and efficiently predict RAS by extracting the temporal and topological features from the PMU *** grid-informed adjacency matrix incorporates the structural and electrical parameter information of the power *** the small-signal RAS with disturbance under initial operating conditions and the transient RAS with short circuits on transmission lines are *** studies of the IEEE 39-bus and IEEE 300-bus power systems are used to test the performance,scalability,and robustness against measurement uncertainties of the TTEDNN *** show that the TTEDNN model performs best among existing deep learning ***,the superior transfer learning ability from small-signal RAS conditions to transient RAS conditions has been proved.

关键词： Rotor angle stability prediction topological embedding deep learning graph convolution network

来源：评论

学校读者我要写书评

暂无评论

FSIW Cavity-Based Self-Packaging Filtering Slot Antennas with Wide-Stopband and High Frequency Selectivity

引用

IEEE Transactions on Antennas and Propagation 2025年第6期73卷 3503-3516页

作者： Zhou, Xin Zhang, Gang Tam, Kam-Weng Pang, Ziyu Zhang, Zhuowei Lin, Huawei Hong, Jiasheng University of Macau Faculty of Science and Technology Department of Electrical and Computer Engineering China Nanjing Normal University School of Electrical and Automation Engineering Nanjing210046 China Nanjing Normal University Jiangsu Key Laboratory of 3D Printing Equipment and Manufacturing School of Electrical and Automation Engineering Nanjing210046 China Heriot-Watt University School of Engineering and Physical Sciences Department of Electrical Electronic and Computer Engineering EdinburghEH14 4AS United Kingdom

This article proposes a novel design approach for miniaturized, highly selective, self-packaged, and wide-stopband filtering slot antennas based on C- and T-type folded substrate integrated waveguide (C-/T-FSIW) cavities. Firstly, two forms of FSIW cavity are explored and analyzed. A new coupled C-type half-mode FSIW (C-HMFSIW) cavities are developed. A filtering antenna is proposed, employing a C-HMFSIW cavity for feeding and a slot-loaded C-FSIW cavity for radiation. By introducing cross-coupling between different resonators, a radiation null (RN) is achieved. To further enhance bandwidth and frequency selectivity, a new antenna configuration is developed using a C-HMFSIW cavity for feeding and a slot-loaded T-FSIW cavity for radiation. After loading the radiation slot, the T-FSIW cavity serves as two parts: one as the main radiator and the other as a parasitic radiator opposite to it. This configuration increases antenna bandwidth and generates an additional RN. Interestingly, adjusting the position of the radiation slot allows the RN to switch between the upper and lower stopbands. The antennas proposed in this work exhibit good stopband performance and compact size. Three filtering antenna prototypes are designed, fabricated, and measured, showing consistent results between measurements and simulations. © 1963-2012 IEEE.

关键词： Radiators

来源：评论

学校读者我要写书评

暂无评论

Improving Power Response of Single-Controllable VSG-Based Active Distribution Network

引用

CSEE Journal of Power and Energy Systems 2025年第1期11卷 102-114页

作者： Shah Fahad Arman Goudarzi Pierluigi Siano Ji Xiang Department of Electrical and Computer Engineering Missouri University of Science and TechnologyUSA University of Victoria Canada Department of Management&Innovation Systems University of SalernoItaly Department of Electrical and Electronic Engineering Science University of JohannesburgJohannesburg2006South Africa National Laboratory of Industrial Control Technology College of Electrical EngineeringZhejiang UniversityHangzhou310058China

Controlling an active distribution network(ADN)from a single PCC has been advantageous for improving the performance of coordinated Intermittent RESs(IRESs).Recent studies have proposed a constant PQ regulation approach at the PCC of ADNs using coordination of non-MPPT based ***,due to the intermittent nature of DGs coupled with PCC through uni-directional broadcast communication,the PCC becomes vulnerable to transient *** address this challenge,this study first presents a detailed mathematical model of an ADN from the perspective of PCC regulation to realize rigidness of PCC against ***,an H_(∞)controller is formulated and employed to achieve optimal performance against disturbances,consequently,ensuring the least oscillations during transients at ***,an eigenvalue analysis is presented to analyze convergence speed limitations of the newly derived system ***,simulation results show the proposed method offers superior performance as compared to the state-of-the-art methods.

关键词： Cooperative control of DGs hierarchical control system high penetration of intermittent RESs H_(∞)control optimal control in power systems single-controllable active distribution networks

来源：评论

学校读者我要写书评

暂无评论

MIMO performance enhancement of MIMO arrays using PCS-based near-field optimization technique

引用

science China(Information sciences) 2023年第6期66卷 170-185页

作者： Yipeng WANG Xiaoming CHEN Huiling PEI Wei E.I.SHA Yi HUANG Ahmed A.KISHK School of Information and Communications Engineering Xi'an Jiaotong University Key Laboratory of Micro-Nano Electronic Devices and Smart Systems of Zhejiang Province College of Information Science and Electronic EngineeringZhejiang University Department of Electrical Engineering and Electronics University of Liverpool Department of Electrical and Computer Engineering Concordia University

Extensive efforts have been made in designing large multiple-input multiple-output(MIMO)arrays. Nevertheless, improvements in conventional antenna characteristics cannot ensure significant MIMO performance improvement in realistic multipath environments. Array decorrelation techniques have been proposed, achieving correlation reductions by either tilting the antenna beams or shifting the phase centers away from each other. Hence, these methods are mainly limited to MIMO terminals with small arrays. To avoid such problems, this work proposes a decorrelation optimization technique based on phase correcting surface(PCS)that can be applied to large MIMO arrays, enhancing their MIMO performances in a realistic(non-isotropic)multipath environment. First, by using a near-field channel model and an optimization algorithm, a near-field phase distribution improving the MIMO capacity is obtained. Then the PCS(consisting of square elements)is used to cover the array's aperture, achieving the desired near-field phase *** examples demonstrate the effectiveness of this PCS-based near-field optimization technique. One is a1 × 4 dual-polarized patch array(working at 2.4 GHz)covered by a 2 × 4 PCS with 0.6λ center-to-center distance. The other is a 2 × 8 dual-polarized dipole array, for which a 4 × 8 PCS with 0.4λ center-to-center distance is designed. Their MIMO capacities can be effectively enhanced by 8% and 10% in single-cell and multi-cell scenarios, respectively. The PCS has insignificant effects on mutual coupling, matching, and the average radiation efficiency of the patch array, and increases the antenna gain by about 2.5 dB while keeping broadside radiations to ensure good cellular coverage, which benefits the MIMO performance of the *** proposed technique offers a new perspective for improving large MIMO arrays in realistic multipath in a statistical sense.

关键词： antenna correlation array antenna multiple-input multiple-output (MIMO) capacity

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：