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

arXiv 2025年

作者： Tong, Shilin Wu, Difei Liu, Xiaona Zheng, Le Du, Yuchuan Zou, Difan Department of Computer Science The University of Hong Kong Hong Kong Key Laboratory of Road and Traffic Engineering of the Ministry of Education Tongji University China Institute of IoT Shenzhen Polytechnic University China School of Information and Electronics Beijing Institute of Technology China Department of Computer Science Insitute of Data Science The University of Hong Kong Hong Kong

Pavement distress, manifested as cracks, potholes, and rutting, significantly compromises road integrity and poses risks to drivers. Accurate prediction of pavement distress deterioration is essential for effective road management, cost reduction in maintenance, and improvement of traffic safety. However, real-world data on pavement distress is usually collected irregularly, resulting in uneven, asynchronous, and sparse spatial-temporal datasets. This hinders the application of existing spatial-temporal models, such as DCRNN [1], since they are only applicable to regularly and synchronously collected data. To overcome these challenges, we propose the Spatial-Temporal Graph Autoregression Network (STGAN), a novel graph neural network (GNN) model designed for accurately predicting irregular pavement distress deterioration using complex spatial-temporal data. Specifically, STGAN integrates the temporal domain into the spatial domain, creating a larger graph where nodes are represented by spatial-temporal tuples and edges are formed based on a similarity-based connection mechanism. Furthermore, based on the constructed spatiotemporal graph, we formulate pavement distress deterioration prediction as a graph autoregression task, i.e., the graph size increases incrementally and the prediction is performed sequentially. This is accomplished by a novel spatial-temporal attention mechanism deployed by the proposed STGAN model. Utilizing the ConTrack dataset [2], which contains pavement distress records collected from different locations in Shanghai, we demonstrate the superior performance of STGAN in capturing spatial-temporal correlations and addressing the aforementioned challenges. Experimental results further show that STGAN outperforms baseline models, and ablation studies confirm the effectiveness of its novel modules. Our findings contribute to promoting proactive road maintenance decision-making and ultimately enhancing road safety and resilience. © 2025, CC BY.

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Improving Conversion Kinetics of Sodium Polysulfides through Electron Spillover Effect with V/Co Dual-Atomic Site Anchoring on N-Doped MXene

引用

Advanced Materials 2025年 e2501371页

作者： Liu, Ronghui Feng, Chao Wu, Pengfei Sun, Yuzhuo Chu, Zhaoqin Hu, Jingtian Chen, Wenxing Guo, Lingling Huang, Qing Wang, Degao Zhejiang Key Laboratory of Data-Driven High-Safety Energy Materials and Applications Advanced Interdisciplinary Science Research Center Ningbo Institute of Materials Technology and Engineering Chinese Academy of Sciences Zhejiang Ningbo315201 China Key Laboratory of Bio-Inspired Smart Interfacial Science and Technology of Ministry of Education School of Chemistry Beihang University Beijing100191 China College of Chemical and Biological Engineering Shandong University of Science and Technology Shandong Qingdao266590 China Energy & Catalysis Center School of Materials Science and Engineering Beijing Institute of Technology Beijing100081 China Shanghai Synchrotron Radiation Facility Shanghai Advanced Research Institute Chinese Academy of Science Shanghai201204 China

Room-temperature sodium─sulfur (RT/Na─S) batteries, with a theoretical capacity of 1672 mAh g⁻1, face challenges such as the insulating nature of sulfur and slow redox kinetics, particularly during complex liquid–solid (Na2S4→Na2S2) and solid–solid (Na2S2→Na2S) conversions. Herein, vanadium-cobalt (VCo) diatomic sites implanted in vacancy-rich N-doped MXene (VCo DACs/N-MXene) are introduced to address these issues. The N-bridged VCo diatomic pairs are demonstrated and their strong electronic interactions are also validated through experimental and theoretical analyses. The RT/Na─S battery with optimized VCo DACs/N-MXene delivers an average capacity of 1255.3 mAh g⁻1 at 0.1 C and remarkable cycling stability, with only ≈0.001% capacity decay per cycle over 1500 cycles at 1 C. DFT calculations reveal that VCo diatomic sites enhance reaction kinetics by reducing the Gibbs free energy for polysulfide conversions, notably reducing the solid–solid conversion energy barriers from 1.17/0.96 eV for V/Co SACs/N-MXene to 0.53 eV for VCo DACs/N-MXene. XANES and DFT analyses attribute this improvement to a unique electron spillover effect, facilitating efficient electron transport during charge and discharge. This work highlights the potential of optimizing electronic configurations and coordinating environments to activate bidirectional kinetics with improved capacity and longevity of RT/Na─S batteries. © 2025 Wiley-VCH GmbH.

关键词： Gibbs free energy

来源：评论

学校读者我要写书评

暂无评论

Suboptimal adaptive tracking control for FIR systems with binary-valued observations

引用

Science China(Information Sciences) 2021年第7期64卷 37-47页

作者： Xiangquan LI Zhengguang XU Jiarui CUI Lixin ZHANG School of Automation and Electrical Engineering University of Science and Technology Beijing Key Laboratory of Knowledge Automation for Industrial Processes Ministry of Education

In this paper, we investigate and analyze the suboptimal adaptive control for finite impulse response(FIR) systems with binary-valued observations. As the parameters of FIR systems are unknown and the measurable observations can only provide limited information, we propose and analyze a two-segment design method of an adaptive control law. First, we divide the system running time axis into many sections;each of these sections is divided into two segments. During the short segment, we design the system inputs for estimating parameters. Thus, we employ the empirical-measure-based technique for designing the identification algorithm. Second, we introduce a tracking control law to track a given target based on the system parameter estimates obtained in the short segment. We achieve this using the certainty equivalent principle in the long segment. As the length of short segments tends to infinity, we observe that the parameter estimation algorithm is consistent. However, when the length of segments tends to infinity, we find that the adaptive tracking control law is asymptotically suboptimal. Finally, we demonstrate the efficiency of the two-segment design method using the simulation results.

关键词： parameter identification FIR systems binary-valued observations asymptotically suboptimal tracking adaptive control

来源：评论

学校读者我要写书评

暂无评论

Complementary knowledge Compilation Using the Hyper Extension Rule

引用

Chinese Journal of Electronics 2019年第2期28卷 259-265页

作者： NIU Dangdang LIU Lei LYU Shuai XU Yue College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University

We introduce the concept of Complementary formula(COMF), which is a new and non-equivalent way for knowledge compilation(KC). Based on the Hyper extension rule(HER) which is an expansion of Extension rule(ER), we design a compilation algorithm which can formula compile each Conjunctive normal form(CNF)formula to complementary Fully complementary connected diagram(c-FCCD), named as C2C(CNF formula to cFCCD). Theoretically, c-FCCD is a kind of complementary formulae of the input formulae and can support all queries and partial transformations in KC map. Experimentally,C2C is competitive with the EPCCL compilers KCER,C2E, UKCHER, DKCHER and IKCHER.

关键词： knowledge compilation Extension rule Hyper extension rule Compilation language Each pair contains complementary literals(EPCCL) theory

来源：评论

学校读者我要写书评

暂无评论

Copy-Paste Detection Based on a SIFT Marked Graph Feature Vector

引用

Chinese Journal of Electronics 2017年第2期26卷 345-350页

作者： LYU Yingda SHEN Xuanjing CHEN Haipeng College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University

To detect copy-paste tampering,an improved SIFT(Scale invariant feature transform)-based algorithm was *** angle is defined and a maximum angle-based marked graph is *** marked graph feature vector is provided to each SIFT key point via discrete polar coordinate *** points are matched to detect the copy-paste tampering *** experimental results show that the proposed algorithm can effectively identify and detect the rotated or scaled copy-paste regions,and in comparison with the methods reported previously,it is resistant to postprocessing,such as blurring,Gaussian white noise and JPEG *** proposed algorithm performs better than the existing algorithm to dealing with scaling transformation.

关键词： Copy-paste tampering Image forensics Marked graph Maximum angle

来源：评论

学校读者我要写书评

暂无评论

Model-based diagnosis of incomplete discrete-event system with rough set theory

引用

Science China(Information Sciences) 2017年第1期60卷 190-200页

作者： Xuena GENG Dantong OUYANG Yonggang ZHANG Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of EducationJilin University College of Computer Science and Technology Jilin University

Fault diagnosis of discrete-event system(DES) is important in the preventing of harmful events in the system. In an ideal situation, the system to be diagnosed is assumed to be complete; however, this assumption is rather restrictive. In this paper, a novel approach, which uses rough set theory as a knowledge extraction tool to deal with diagnosis problems of an incomplete model, is investigated. DESs are presented as information tables and decision tables. Based on the incomplete model and observations, an algorithm called Optimizing Incomplete Model is proposed in this paper in order to obtain the repaired model. Furthermore, a necessary and sufficient condition for a system to be diagnosable is given. In ensuring the diagnosability of a system, we also propose an algorithm to minimize the observable events and reduce the cost of sensor selection.

关键词： model-based diagnosis diagnosability discrete-event system finite state machine rough set theory

来源：评论

学校读者我要写书评

暂无评论

Autonomous Domain Correlation-Based Cross-domain Network View Caching Method for SDN Distributed Controller

引用

Chinese Journal of Electronics 2016年第6期25卷 1127-1133页

作者： FU Tao HU Liang CHAI Sheng CHE Xilong College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computing and Knowledge Engineering of Ministry of Education Jilin University

Software-defined networks(SDN) maintain a global view of the network, thus improving the intelligence of forwarding decisions. With the expansion of the network scale, distributed controllers are used in a variety of large-scale networks in which subnetworks managed by controller instance are called autonomous domains. We analyze statistic frequency of communication across the autonomous domain. We calculate the autonomous domain correlations for controller instances using acquired statistical information. We cache network views to highly correlated controller instances. Distributed controllers are capable of considering both the average response time and overall storage. An experiment shows that our method can fully take advantage of these two performance indicators.

关键词： Software-defined networks(SDN) Distributed controller Network analyze Network view cache

来源：评论

学校读者我要写书评

暂无评论

knowledge Compilation Methods Based on the Clausal Relevance and Extension Rule

引用

Chinese Journal of Electronics 2018年第5期27卷 1037-1042页

作者： NIU Dangdang LIU Lei LYU Shuai College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University) Ministry of Education

We introduce the concepts of Relevancematrix(RM) and Relevance-set(RS). And we construct the association between RM and the knowledge compilation(KC) methods based on Extension rule(ER). Based on the basic parameters of RS and the relationship between RM and the KC methods based on ER, we design two efficient heuristics, called M2S(maximum sum of elements in RS and sum of literals in RS) and MNE(minimum number of maximum terms not extended by RS). Both of above heuristics intend to find the minimum set of maximum terms which cannot be extended by RS. Furthermore,we apply M2S and MNE on KCER. M2S KCER(KCER with M2S) and MNE KCER(KCER with MNE) are designed and implemented based on M2S and MNE, respectively. Experimentally, for the SAT instances with random lengths of clauses, M2S KCER and MNE KCER can improve the efficiency and quality of KCER sharply, and they are two best KC algorithms of EPCCL(each pair contains complementary literal) theory in all KC algorithms based on KCER.

关键词： Extension rule knowledge compilation Clausal relevance Heuristic strategy

来源：评论

学校读者我要写书评

暂无评论

Prediction-based event-triggered identification of quantized input FIR systems with quantized output observations

引用

Science China(Information Sciences) 2020年第1期63卷 140-151页

作者： Jin GUO Jing-Dong DIAO School of Automation and Electrical Engineering University of Science and Technology Beijing Key Laboratory of Knowledge Automation for Industrial Processes Ministry of Education

This paper addresses the identification of finite impulse response(FIR) systems with both quantized and event-triggered observations. An event-triggered communication scheme for the binary-valued output quantization is introduced to save communication resources. Combining the empirical-measure-based identification technique and the weighted least-squares optimization, an algorithm is proposed to estimate the unknown parameter by full use of the received data and the not-triggered condition. Under quantized inputs, it is shown that the estimate can strongly converge to the real values and the estimator is asymptotically efficient in terms of the Cram′er-Rao lower bound. Further, the limit of the average communication rate is derived and the tradeoff between this limit and the estimation performance is discussed. Moreover, the case of multi-threshold quantized observations is considered. Numerical examples are included to illustrate the obtained main results.

关键词： identification FIR systems prediction-based event-triggered communication quantized observations convergence performance

来源：评论

学校读者我要写书评

暂无评论

A Novel Locomotion Rule Rmbedding Long Short-Term Memory Network with Attention for Human Locomotor Intent Classification Using Multi-Sensors Signals

引用

Computers, Materials & Continua 2024年第6期79卷 4349-4370页

作者： Jiajie Shen Yan Wang Dongxu Zhang Key Laboratory of Symbol Computation and Knowledge Engineering Ministry of EducationColleague of Computer Science and TechnologyJilin UniversityChangchun130012China College of Software and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of EducationJilin UniversityChangchun130012China

Locomotor intent classification has become a research hotspot due to its importance to the development of assistive robotics and wearable *** work have achieved impressive performance in classifying steady locomotion ***,it remains challenging for these methods to attain high accuracy when facing transitions between steady locomotion *** to the similarities between the information of the transitions and their adjacent steady ***,most of these methods rely solely on data and overlook the objective laws between physical activities,resulting in lower accuracy,particularly when encountering complex locomotion modes such as *** address the existing deficiencies,we propose the locomotion rule embedding long short-term memory(LSTM)network with Attention(LREAL)for human locomotor intent classification,with a particular focus on transitions,using data from fewer sensors(two inertial measurement units and four goniometers).The LREAL network consists of two levels:One responsible for distinguishing between steady states and transitions,and the other for the accurate identification of locomotor *** classifier in these levels is composed of multiple-LSTM layers and an attention *** introduce real-world motion rules and apply constraints to the network,a prior knowledge was added to the network via a rule-modulating *** method was tested on the ENABL3S dataset,which contains continuous locomotion date for seven steady and twelve transitions *** results showed that the LREAL network could recognize locomotor intents with an average accuracy of 99.03%and 96.52%for the steady and transitions states,*** is worth noting that the LREAL network accuracy for transition-state recognition improved by 0.18%compared to other state-of-the-art network,while using data from fewer sensors.

关键词： Lower-limb prosthetics deep neural networks motion classification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：