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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CIRSM-Net: A Cyclic Registration Network for SAR and Optical Images

引用

IEEE Transactions on Geoscience and Remote Sensing 2025年 63卷

作者： Wang, Peng Liu, Yuzhou Liang, Xiao Zhu, Daiyin Gong, Xunqiang Ye, Yuanxin Lee, Harry F. Huang, Bo Nanjing University of Aeronautics and Astronautics Key Laboratory of Radar Imaging and Microwave Photonics Ministry of Education Nanjing210016 China Optoelectronic Measurement and Intelligent Perception Zhongguancun Open Laboratory Beijing100190 China City University of Macau Faculty of Data Science 999078 China Beijing Institute of Control Engineering Beijing100190 China East China University of Technology Key Laboratory of Mine Environmental Monitoring and Improving Around Poyang Lake Ministry of Natural Resources Nanchang330013 China Southwest Jiaotong University Faculty of Geosciences and Environmental Engineering Chengdu611756 China Chinese University of Hong Kong Department of Geography and Resource Management SAR Hong Kong Hong Kong University of Hong Kong Department of Geography SAR Hong Kong Hong Kong

The registration of synthetic aperture radar (SAR) and optical images is critical in multimodal remote sensing image fusion. In recent years, deep learning-based registration networks have been continuously introduced. However, owing to the significant disparities in viewing angles and radiometric properties between SAR and optical images, current deep learning methods struggle to fully exploit the physical properties of radar imaging. In addition, many existing matching networks typically perform only a forward pass, resulting in suboptimal model performance. This article proposes a cyclic iterative registration SAR mechanism network (termed as CIRSM-Net) for the registration of SAR and optical images. First, we design a learning module that integrates the radar equation with a microwave scattering model to capture deep features from SAR images, and design a corresponding scattering feature loss to aid in better generalization across various radar images. Then, to explore optimization methods for matching networks, this study proposes a strategy of multiple iterative optimizations within the matching network. Specifically, it integrates speeding-up radiation-variation insensitive feature transform (RIFT2) supervision in the backend matching network and iteratively optimizes the final output. Finally, during the iteration process, we propose an innovative matching loss function that combines the rotation invariance supervision of RIFT2 with iterative optimization techniques to enhance feature matching accuracy. Experimental results on both public and our own datasets additionally confirm the effectiveness and superiority of the proposed approach, demonstrating its significant potential for practical applications. © 2025 IEEE.

关键词： Radar imaging

来源：评论

学校读者我要写书评

暂无评论

Maximizing Area Coverage in Privacy-Preserving Worker Recruitment: A Prior knowledge-Enhanced Geo-indistinguishable Approach

引用

IEEE Transactions on Information Forensics and Security 2025年 20卷 5138-5151页

作者： Zhang, Pengfei Cheng, Xiang Zhang, Zhikun Zhu, Youwen Zhang, Ji Anhui University of Science and Technology State Key Laboratory of Digital Intelligent Technology for Unmanned Coal Mining the School of Computer Science and Engineering Anhui University of Science and Technology Huainan 232001 China Yunnan University of Finance and Economics Yunnan Key Laboratory of Service Computing Yunnan 650221 China Qilu University of Technology (Shandong Academy of Sciences) Key Laboratory of Equipment Data Security and Guarantee Technology Ministry of Education Key Laboratory of Computing Power Network and Information Security Ministry of Education China Beijing University of Posts and Telecommunications China Zhejiang University China Nanjing University of Aeronautics and Astronautics China University of Southern Queensland China

Worker recruitment for area coverage maximization, typically requires participants to upload location information, which can deter potential participation without proper protection. While existing studies resort to geo-indistinguishability to address this concern, they primarily focus on either specific task locations (Target Coverage) or operate under pre-defined recruitment quotas for an interested region (Area Coverage). These focuses not only yield suboptimal area coverage when scaled but also fail to leverage valuable prior knowledge in the form of participants’ noisy historical registered locations, to enhance both location obfuscation and worker identification processes. To address these limitations, we present WILTON, which optimizes area coverage under geo-indistinguishability by recruiting the minimum number of participants through the strategic utilization of noisy prior knowledge. In WILTON, to generate obfuscated locations, we propose a probabilistic and weight-aware input perturbation mechanism, which groups and weights prior locations rather than using only personal prior locations. To privately identify the recruited workers, we design a grid-based worker identification method, which provides a worst-case performance guarantee of ratio (Formula Presented) to the optimum. We provide a theoretical analysis of the privacy, utility, and complexity guarantees of WILTON. Experimental results over two real-world datasets and one synthetic dataset show that WILTON surpasses the state-of-the-arts by at least 8% in area coverage improvement. © 2005-2012 IEEE.

关键词： Geo-indistinguishability Prior knowledge Spatial Crowdsourcing Worker Recruitment

来源：评论

学校读者我要写书评

暂无评论

In-situ synthesized SiC/TiC/SiTiOC hybrid nanofiber mats for broad-range temperature microwave absorption

引用

Science China Technological Sciences 2025年第06期 183-196页

作者： Yashan HUO Yuetong QIAN Minshan ZHAO Lei ZHANG Yujia TAN Zhihui HE Peng MIAO Fuchun ZHANG Wei CUI Renchao CHE School of Physics and Electronic Information Yan'an University Shaanxi Key Laboratory of Intelligent Processing for Big Energy Data Laboratory of Advanced Materials Shanghai Key Lab of Molecular Catalysis and Innovative Materials Academy for Engineering &Technology Advanced Coatings Research Center of Ministry of Education of China Fudan University School of Materials and Chemical Engineering Xi'an Technological University School of Materials Science & Engineering Tongji University College of Physics Donghua University

Efficient, temperature-insensitive electromagnetic attenuation materials are critical for high microwave absorption at high temperatures. This study presents SiC/TiC/SiTiOC hybrid nanofiber mats constructed using an in-situ synthesis method;these mats incorporate SiC/TiC as the microwave loss unit and SiTiOC as the antioxidant unit, offering an innovative approach to high-temperature microwave absorption. The introduction of high-conductivity TiC not only optimizes the dielectric constant and impedance matching of the material but also enhances its thermal cycling stability. This design ensures steady electromagnetic attenuation, enabling the hybrid nanofiber mats to maintain robust absorption performance in the X-band, even at high temperatures. At 873 K, the material demonstrates an effective absorption bandwidth of 3.6 GHz and a minimum reflection loss of-45.55 dB. Compared to single-system absorbers, such as SiC/C nanofiber materials, with a single system, the multicomponent SiC/TiC/SiTiOC hybrid nanofiber mats deliver reliable absorption performance in the temperature range of 293–873 K. This study confirms that highly conductive titanium-based ceramic materials used for dielectric property regulation effectively address the challenges of poor temperature stability and limited reusability in high-temperature carbon-ceramic absorbing materials, providing valuable insights and guidance for designing efficient microwave absorbers that can operate across a wide temperature range.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Differentially Private Recursive Least Squares Estimation for ARX Systems with Multi-Participants

arXiv

引用

arXiv 2025年

作者： Tan, Jianwei Wang, Jimin Zhang, Ji-Feng Key Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China School of Mathematical Sciences University of Chinese Academy of Sciences Beijing100049 China School of Automation and Electrical Engineering University of Science and Technology Beijing Beijing100083 China Key Laboratory of Knowledge Automation for Industrial Processes Ministry of Education Beijing100083 China School of Automation and Electrical Engineering Zhongyuan University of Technology Zheng Zhou450007 China Key Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China

This paper proposes a differentially private recursive least squares algorithm to estimate the parameter of autoregressive systems with exogenous inputs and multi-participants (MP-ARX systems) and protect each participant’s sensitive information from potential attackers. We first give a rigorous differential privacy analysis of the algorithm, and establish the quantitative relationship between the added noises and the privacy-preserving level when the system is asymptotically stable. The asymptotic stability of the system is necessary for ensuring the differential privacy of the algorithm. We then give an estimation error analysis of the algorithm under the general and possible weakest excitation condition without requiring the boundedness, independence and stationarity on the regression vectors. Particularly, when there is no regression term in the system output and the differential privacy only on the system output is considered, Ε-differential privacy and almost sure convergence of the algorithm can be established simultaneously. To minimize the estimation error of the algorithm with Ε-differential privacy, the existence of the noise intensity is proved. Finally, two examples are given to show the efficiency of the algorithm. Copyright © 2025, The Authors. All rights reserved.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Attributes-based person re-identification via CNNs with coupled clusters loss

引用

Journal of Systems engineering and Electronics 2020年第1期31卷 45-55页

作者： SUN Rui HUANG Qiheng FANGWei ZHANG Xudong Key Laboratory of Knowledge Engineering with Big Data(Ministry of Education) Hefei University of TechnologyHefei 230601China School of Computer and Information Hefei University of TechnologyHefei 230601China

Person re-identification(re-id)involves matching a person across nonoverlapping views,with different poses,illuminations and *** attributes are understandable semantic information to help improve the issues including illumination changes,viewpoint variations and *** paper proposes an end-to-end framework of deep learning for attribute-based person *** the feature representation stage of framework,the improved convolutional neural network(CNN)model is designed to leverage the information contained in automatically detected attributes and learned low-dimensional CNN ***,an attribute classifier is trained on separate data and includes its responses into the training process of our person re-id *** coupled clusters loss function is used in the training stage of the framework,which enhances the discriminability of both types of *** combined features are mapped into the Euclidean *** L2 distance can be used to calculate the distance between any two pedestrians to determine whether they are the *** experiments validate the superiority and advantages of our proposed framework over state-of-the-art competitors on contemporary challenging person re-id datasets.

关键词： person re-identification(re-id) convolutions neural network(CNN) attributes coupled clusters loss(CCL)

来源：评论

学校读者我要写书评

暂无评论

Dual-stream coupling network with wavelet transform for cross-resolution person re-identification

引用

Journal of Systems engineering and Electronics 2023年第3期34卷 682-695页

作者： SUN Rui YANG Zi ZHAO Zhenghui ZHANG Xudong Key Laboratory of Knowledge Engineering with Big Data(Ministry of Education) Hefei University of TechnologyHefei 230601China School of Computer and Information Hefei University of TechnologyHefei 230601China

Person re-identification is a prevalent technology deployed on intelligent *** have been remarkable achievements in person re-identification methods based on the assumption that all person images have a sufficiently high resolution,yet such models are not applicable to the open *** real world,the changing distance between pedestrians and the camera renders the resolution of pedestrians captured by the camera *** low-resolution(LR)images in the query set are matched with high-resolution(HR)images in the gallery set,it degrades the performance of the pedestrian matching task due to the absent pedestrian critical information in LR *** address the above issues,we present a dualstream coupling network with wavelet transform(DSCWT)for the cross-resolution person re-identification ***,we use the multi-resolution analysis principle of wavelet transform to separately process the low-frequency and high-frequency regions of LR images,which is applied to restore the lost detail information of LR ***,we devise a residual knowledge constrained loss function that transfers knowledge between the two streams of LR images and HR images for accessing pedestrian invariant features at various *** qualitative and quantitative experiments across four benchmark datasets verify the superiority of the proposed approach.

关键词： cross-resolution feature invariant learning person re-identification residual knowledge transfer wavelet transform

来源：评论

学校读者我要写书评

暂无评论

DeepHBSP:A Deep Learning Framework for Predicting Human Blood-Secretory Proteins Using Transfer Learning

引用

Journal of Computer Science & Technology 2021年第2期36卷 234-247页

作者： Wei Du Yu Sun Hui-Min Bao Liang Chen Ying Li Yan-Chun Liang Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education College of Computer Science and TechnologyJilin UniversityChangchun 130012China Department of Computer Science College of EngineeringShantou UniversityShantou 515063China Zhuhai Laboratory of Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education Zhuhai College of Jilin University Zhuhai 519041China

The identification of blood-secretory proteins and the detection of protein biomarkers in the blood have an important clinical application *** methods for predicting blood-secretory proteins are mainly based on traditional machine learning algorithms,and heavily rely on annotated protein *** traditional machine learning algorithms,deep learning algorithms can automatically learn better feature representations from raw data,and are expected to be more promising to predict blood-secretory *** present a novel deep learning model(DeepHBSP)combined with transfer learning by integrating a binary classification network and a ranking network to identify blood-secretory proteins from the amino acid sequence information *** loss function of DeepHBSP in the training step is designed to apply descriptive loss and compactness loss to the binary classification network and the ranking network,*** feature extraction subnetwork of DeepHBSP is composed of a multi-lane capsule ***,transfer learning is used to train a highly accurate generalized model with small samples of blood-secretory *** main contributions of this study are as follows:1)a novel deep learning architecture by integrating a binary classification network and a ranking network is proposed,superior to existing traditional machine learning algorithms and other state-of-the-art deep learning architectures for biological sequence analysis;2)the proposed model for blood-secretory protein prediction uses only amino acid sequences,overcoming the heavy dependence of existing methods on annotated protein features;3)the blood-secretory proteins predicted by our model are statistically significant compared with existing blood-based biomarkers of cancer.

关键词： blood-secretory protein deep learning capsule network transfer learning

来源：评论

学校读者我要写书评

暂无评论

AutoFE-Pointer: Auto-weighted feature extractor based on pointer network for DNA methylation prediction

引用

International Journal of Biological Macromolecules 2025年 311卷 143668页

作者： Feng, Xin Xin, Ruihao Wu, Jiezhang Zheng, Jiaxin Wang, Chenyan Yu, Cuinan School of Science Jilin Institute of Chemical Technology Jilin130000 China State Key Laboratory of Inorganic Synthesis and Preparative Chemistry College of Chemistry Jilin University Changchun130012 China College of Information and Control Engineering Jilin Institute of Chemical Technology Jilin130000 China College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun130012 China Civil Aviation General Hospital Beijing100123 China School of Engineering Westlake University Zhejiang Hangzhou310030 China Hunan Bojii Life Technology Co. Ltd. Hunan Province Changsha410000 China

DNA methylation is a critical epigenetic modification that plays a central role in gene regulation, cellular differentiation, and the development of various diseases, including cancers. Aberrant methylation patterns have emerged as both biomarkers and mechanistic drivers in pathogenesis, underscoring the urgent need for precise and efficient predictive tools. Although some deep learning techniques have advanced methylation prediction, most existing models are trained independently on single-species datasets. This species-specific approach limits efficiency because each model can only handle one dataset at a time, often at the expense of predictive performance. Additionally, the state-of-the-art deep learning models tend to have enormous parameter counts and computational overhead, making them impractical for integration into local offline software applications. To overcome these challenges, we propose AutoFE-Pointer, a lightweight and novel framework that harnesses an improved softened pointer network to dynamically extract and weight features from diverse DNA sequences. AutoFE-Pointer is designed to simultaneously process 17 different benchmark datasets spanning multiple species, achieving superior performance compared to models that are trained individually on single-species data. In doing so, it not only offers state-of-the-art predictive accuracy and robust cross-species generalization but also significantly reduces computational demands, facilitating its deployment in local offline environments. This breakthrough represents a significant advancement in the field of epigenetic modeling and computational biology. © 2025

关键词： Enterprise software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：