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

arXiv 2025年

作者： Wu, Qianliang Jiang, Haobo Ding, Yaqing Luo, Lei Xie, Jin Yang, Jian PCA Lab Key Lab of Intelligent Perception and Systems for High-Dimensional Information of Ministry of Education China School of Computer Science and Engineering Nanjing University of Science and Technology China Nanyang Technological University Singapore Visual Recognition Group Faculty of Electrical Engineering Czech Technical University in Prague Prague Czech Republic State Key Laboratory for Novel Software Technology Nanjing University Nanjing China School of Intelligence Science and Technology Nanjing University Suzhou China

Establishing reliable correspondences is crucial for all registration tasks, including 2D image registration, 3D point cloud registration, and 2D-3D image-to-point cloud registration. However, these tasks are often complicated by challenges such as scale inconsistencies, symmetry, and large deformations, which can lead to ambiguous matches. Previous feature-based and correspondence-based methods typically rely on geometric or semantic features to generate or polish initial potential correspondences. Some methods typically leverage specific geometric priors, such as topological preservation, to devise diverse and innovative strategies tailored to a given enhancement goal, which cannot be exhaustively enumerated. Additionally, many previous approaches rely on a single-step prediction head, which can struggle with local minima in complex matching scenarios. To address these challenges, we introduce an innovative paradigm that leverages a diffusion model in matrix space for robust matching matrix estimation. Our model treats correspondence estimation as a denoising diffusion process in the matching matrix space, gradually refining the intermediate matching matrix to the optimal one. Specifically, we apply the diffusion model in the doubly stochastic matrix space for 3D-3D and 2D-3D registration tasks. In the 2D image registration task, we deploy the diffusion model in a matrix sub-space, where dual-softmax projection regularization is applied. For all three registration tasks, we provide adaptive matching matrix embedding implementations tailored to the specific characteristics of each task while maintaining a consistent"match-to-warp" encoding pattern. Furthermore, we adopt a lightweight design for the denoising module. In inference, once points or image features are extracted and fixed, this module performs multi-step denoising predictions through reverse sampling. Evaluations on both 2D and 3D registration tasks demonstrate the effectiveness of our approach. Copyrigh

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Using TPN/Designer and UPPAAL for modular modelling and analysis of time-critical systems

引用

International Journal of Simulation: systems, Science and Technology 2007年第4期8卷 8-20页

作者： Cicirelli, Franco Furfaro, Angelo Nigro, Libero Software Engineering Laboratory Department of Electronics Informatics and Systems Science University of Calabria RendeCS Italy

This paper describes an approach to the analysis of time-critical systems which combines discreteevent simulation and model-checking techniques. The approach rests on Merlin and Farber’s Time Petri Nets (TimePNs) and is supported by a Java toolbox -TPN/DESIGNER- which enables graphical modelling and simulation of modular TimePN models. The toolbox also allows translation of a TimePN model into UPPAAL/Timed Automata for exhaustive state space verification. Usefulness and potential of the proposed approach are demonstrated through its application to a real-time system example. © 2007, UK Simulation Society. All rights reserved.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

An Intelligent Privacy Protection Scheme for Efficient Edge Computation Offloading in IoV

引用

Chinese Journal of Electronics 2024年第4期33卷 910-919页

作者： Liang YAO Xiaolong XU Wanchun DOU Muhammad Bilal School of Software Nanjing University of Information Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies

As a pivotal enabler of intelligent transportation system(ITS), Internet of vehicles(Io V) has aroused extensive attention from academia and industry. The exponential growth of computation-intensive, latency-sensitive,and privacy-aware vehicular applications in Io V result in the transformation from cloud computing to edge computing,which enables tasks to be offloaded to edge nodes(ENs) closer to vehicles for efficient execution. In ITS environment,however, due to dynamic and stochastic computation offloading requests, it is challenging to efficiently orchestrate offloading decisions for application requirements. How to accomplish complex computation offloading of vehicles while ensuring data privacy remains challenging. In this paper, we propose an intelligent computation offloading with privacy protection scheme, named COPP. In particular, an Advanced Encryption Standard-based encryption method is utilized to implement privacy protection. Furthermore, an online offloading scheme is proposed to find optimal offloading policies. Finally, experimental results demonstrate that COPP significantly outperforms benchmark schemes in the performance of both delay and energy consumption.

关键词： Industries Privacy Energy consumption Transportation Computational efficiency Encryption Protection

来源：评论

学校读者我要写书评

暂无评论

A data-driven two-microphone method for in-situ sound absorption measurements

arXiv

引用

arXiv 2025年

作者： Emmerich, Leon Aste, Patrik Brandão, Eric Nolan, Mélanie Cuenca, Jacques Svensson, U. Peter Maeder, Marcus Marburg, Steffen Zea, Elias Department of Engineering Physics and Computation TUM School of Engineering and Design Technical University of Munich Boltzmannstrasse 15 Garching85748 Germany The Marcus Wallenberg Laboratory for Sound and Vibration Research Department of Engineering Mechanics KTH Royal Institute of Technology Teknikringen 8 Stockholm10044 Sweden RS Santa Maria97050-140 Brazil Acoustic Technology Department of Electrical and Photonics Engineering Technical University of Denmark Kgs. LyngbyDK-2800 Denmark Siemens Industry Software NV Interleuvenlaan 68 Leuven3001 Belgium Department of Electronic Systems Norwegian University of Science and Technology Trondheim Norway

This work presents a data-driven approach to estimating the sound absorption coefficient of an infinite porous slab using a neural network and a two-microphone measurement on a finite porous sample. A 1D-convolutional network predicts the sound absorption coefficient from the complex-valued transfer function between the sound pressure measured at the two microphone positions. The network is trained and validated with numerical data generated by a boundary element model using the Delany-Bazley-Miki model, demonstrating accurate predictions for various numerical samples. The method is experimentally validated with baffled rectangular samples of a fibrous material, where sample size and source height are varied. The results show that the neural network offers the possibility to reliably predict the in-situ sound absorption of a porous material using the traditional two-microphone method as if the sample were infinite. The normal-incidence sound absorption coefficient obtained by the network compares well with that obtained theoretically and in an impedance tube. The proposed method has promising perspectives for estimating the sound absorption coefficient of acoustic materials after installation and in realistic operational conditions. © 2025, CC BY.

关键词： Acoustic impedance

来源：评论

学校读者我要写书评

暂无评论

A FRAMEWORK FOR SOURCE CODE SEARCH USING PROGRAM PATTERNS

引用

IEEE TRANSACTIONS ON software engineering 1994年第6期20卷 463-475页

作者： PAUL, S PRAKASH, A Software Systems Research Laboratory Dept. of Electrical Engineering & Computer Science University of Michigan Ann Arbor MI 48105 USA

For maintainers involved in understanding and reengineering large software. locating source code fragments that match certain patterns is a critical task. Existing solutions to the problem are few, and they either involve manual, painstaking scans of the source code using tools based on regular expressions, or the use of large, integrated software engineering environments that include simple pattern-based query processors in their tool-kits. We present a framework in which pattern languages are used to specify interesting code features. The pattern languages are derived by extending the source programming language with pattern-matching symbols. We describe SCRUPLE, a finite state machine-based source code search tool, that efficiently implements this framework. We also present experimental performance results obtained from a SCRUPLE prototype, and the user interface of a source code browser built on top of SCRUPLE.

关键词： REVERSE engineering software MAINTENANCE software REengineering PROGRAM UNDERSTANDING PATTERN MATCHING QUERY LANGUAGE

来源：评论

学校读者我要写书评

暂无评论

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE

引用

JOURNAL OF systems AND software 1996年第3期33卷 207-221页

作者： Uchihira, N Honiden, S Systems & Software Engineering Laboratory Research & Development Center Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan

In this paper, we examine ''program adjustment'', a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into the kernel language (KL1) and executed on Multi-PSI.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Interplay of lung microbiome and epigenetics in former smokers: A machine learning and fuzzy logic approach on COPD progression

引用

Heliyon 2025年第5期11卷

作者： Taherkhani, Hamidreza Kavianfar, Azadeh Lanjanian, Hossein Hosseinkhan, Nazanin Salimi, Mahdieh Nematzadeh, Sajjad Naghizadeh, Mohammad Mehdi Azimzadeh, Sadegh Masoudi-Nejad, Ali Laboratory of Systems Biology and Bioinformatics (LBB) Department of Bioinformatics Kish Intl. Campus University of Tehran Tehran Iran Cellular and Molecular Endocrine Research Center Research Institute for Endocrine Molecular Biology Research Institute for Endocrine Sciences Shahid Beheshti University of Medical Sciences Tehran Iran Institute of Endocrinology and Metabolism Iran University of Medical Sciences (IUMS) Tehran Iran Department of Medical Genetics Institute of Medical Biotechnology National Institute of Genetic Engineering and Biotechnology (NIGEB) Tehran Iran Software Engineering Department Faculty of Engineering Istanbul Topkapi University Istanbul Türkiye Noncommunicable Diseases Research Center Fasa University of Medical Sciences Fasa Iran Chemical Injuries Research Center Systems Biology and Poisonings Institute Tehran Iran Laboratory of Systems Biology and Bioinformatics (LBB) Institute of Biochemistry and Biophysics University of Tehran Tehran Iran

The progression of Chronic Obstructive Pulmonary Disease (COPD) has been shown in many studies to be directly related to changes in epigenetic modification. This study aims to investigate the relationships between smoking status, lung microbiome dysbiosis, and the long-term effect of smoking persists even in former smokers. A supervised machine learning algorithm was employed to classify preprocessed 16S rRNA data from 112 COPD patients, identify operational taxonomic units (OTUs), and assess bacterial abundance and diversity. Metabolic models and interactions of key bacteria associated with mortality were further investigated, along with their influence on host epigenetics. Discriminative features related to mortality and the distinction between current smokers and former smokers were successfully identified using features obtained from a fuzzy logic-based model built on the extracted data. A comprehensive microbiome analysis revealed a total of 1781 OTUs, with 13 showing significant differences in abundance and relevance to COPD across 5 phyla. Bacterial metabolic interactions were identified, and a network was constructed by simulating the environment, identifying 379 robust interactions. We observed a decrease in Veillonella abundance during Acute Exacerbation of Chronic Obstructive Pulmonary Disease (AECOPD) compared to stable clinical periods and a decrease in Veillonellaceae abundance in sputum samples after AECOPD triggered by rhinovirus infection. Notably, the epigenetic changes induced by smoking suggested a long-lasting consequence for cellular function and disease susceptibility even after quitting smoking. We proposed epigenetics as the key to the relationship between anaerobic and aerobic bacteria in the lung microbiome of individuals with COPD. Anaerobic bacteria produce metabolites during fermentation and positively affect aerobic bacteria. By influencing the epigenetic regulation of genes related to the immune response, inflammation, and cell prolif

关键词： COPD Current smoker Epigenetics Former smoker Lung microbiome Machine learning Metabolic models

来源：评论

学校读者我要写书评

暂无评论

SFedXL: Semi-Synchronous Federated Learning With Cross-Sharpness and Layer-Freezing

引用

IEEE Internet of Things Journal 2025年

作者： Zhao, Mingxiong Zhao, Shihao Feng, Chenyuan Yang, Howard H. Niyato, Dusit Quek, Tony Q. S. Yunnan University National Pilot School of Software Kunming650500 China Ministry of Education Engineering Research Center of Integration and Application of Digital Learning Technology Beijing100039 China Ministry of Education Engineering Research Center of Cyberspace Kunming650504 China Yunnan University of Finance and Economics Yunnan Key Laboratory of Service Computing Kunming650221 China EURECOM Sophia Antipolis06410 France Zhejiang University University of Illinois Urbana-Champaign Institute Zhejiang University Haining314400 China Nanyang Technological University School of Computer Science and Engineering 639798 Singapore Singapore University of Technology and Design Information Systems Technology and Design Pillar 487372 Singapore

Federated learning (FL) emerges as a potential solution for enabling multiple terminal devices to collaboratively accomplish computational tasks within an Unmanned Aerial Vehicle (UAV) swarm. However, traditional FL approaches, predicated on synchronous data aggregation, are not feasible for a UAV swarm owing to the inherently variable and dynamic nature of their communication networks compared with terrestrial systems. Furthermore, the data procured by UAVs is often highly heterogeneous, attributable to disparities in deployment environments and device attributes. Considering the distinct flight paths and unique operational conditions encountered by different UAVs, a considerable amount of data remains unlabeled. To tackle the challenges associated with asynchronous operations and the prevalence of unlabeled data, we introduce a novel framework termed Semi-synchronous FL with Cross-Sharpness and Layer-Freezing (SFedXL), tailored for a UAV swarm. In particular, we devise a cross-sharpness model training strategy aimed at optimizing the utilization of both labeled and unlabeled datasets. Additionally, we propose an innovative semi-synchronous model aggregation protocol, complemented by client-specific layer-freezing and client cluster scheduling, designed to expedite the training process. Our simulation results indicate that the proposed algorithm surpasses current FL methods in terms of object recognition accuracy and communication efficiency, albeit with a trade-off of increased local computation latency. © 2014 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

ON MAXIMA OF DUAL FUNCTION OF THE CDT SUBPROBLEM

引用

Journal of Computational Mathematics 2001年第2期19卷 113-124页

作者： Xiong-da Chen Ya-xiang Yuan Reserach Development Center of Parallel Software Institute of SoftwareBeijing 100080China State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Ssientific/Engineering ComputingAcademy of Mathematics and Systems SciencesChinese Academy of SciencesBeijing 100080China

Focuses on a study which determined the geometry meaning of the maxima of the CDT mathematical subproblem's dual function. Properties of trust region subproblem; Approximation of the CDT feasible region; Relations... 详细信息

关键词： trust region subproblem global minimizer approximation

来源：评论

学校读者我要写书评

暂无评论

Demonstration of the refined three-dimensional structure of mesoscale eddies and computational error estimates via Lagrangian analysis

引用

Acta Oceanologica Sinica 2020年第7期39卷 146-164页

作者： Heqing Yin Haijin Dai Weimin Zhang Xueyan Zhang Pinqiang Wang College of Meteorology and Oceanography National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China

In previous studies,Lagrangian analyses were used to assess large-scale ocean circulation,and the Lagrangian coherent structure could also reveal the evolution of the two-dimensional structure of the mesoscale ***,few studies have demonstrated the three-dimensional structure of the mesoscale eddies via Lagrangian *** with previous studies,which investigated the eddy structure via a Eulerian view,we used a Lagrangian view to provide a different perspective to study the eddy *** idealized cyclonic mesoscale eddy is built up over a seamount,and it presents downwelling inside the eddy and upwelling alongside the eddy formed within a closed circulation *** structure is difficult to display via a Eulerian ***,the trajectories of particles can well demonstrate the full cycle:the fluid sank and rotated inside the eddies,converged to the upwelling zone of the bottom layer and returned to the surface through *** also applied a Lagrangian analysis to a realistic *** a significant phenomenon in the South China Sea,the dipole structure of the anticyclonic eddy(AE)/cyclonic eddy(CE)pair off of central Vietnam has been well studied but mainly at the sea *** a Lagrangian analysis,we illustrate the three-dimensional structure of the eddy pair:the fluid sank(rose)and rotated inside the AE(CE).More importantly,the trajectories of the particles suggested that there was no fluid exchange between the two eddies since the strong boundary jet separates them from each *** the conclusions above have been verified and are supported by the computational error *** a selected time step and integral period,the computational errors always present small values,although they increase with strong divergent and vertical diffusive flow.

关键词： mesoscale eddy Lagrangian analysis three-dimensional structure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：