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

A Maximally Permissive Robustness Analysis for Automated Manufacturing systems Allowing Multiple Server Failures

IEEE Transactions on Automation science and engineering 2025年 22卷 12485-12499页

作者： Li, Junyan Hu, Hesuan Xidian University School of Electro-Mechanical Engineering Shaanxi Xi’an710071 China Nanyang Technological University School of Computer Science and Engineering College of Engineering Jurong West 639798 Singapore Xi’an Jiaotong University State Key Laboratory for Manufacturing Systems Engineering Shaanx Xi’an710054 China

As one of the essential issues when designing optimal control policies for automated manufacturing systems (AMSs) with unreliable resources, maximally permissive behavior should be ensured for the controlled system. This paper is devoted to the maximally permissive robustness analysis for AMSs allowing multiple server failures. First, all subnet systems are categorized by their usage of unreliable resources so as to provide more general definitions of the robust, strongly robust, and weakly robust markings. Second, we provide algorithms to compute reduced reachability graphs (R2Gs) and strongly connected components (SC2s), respectively. Then, the necessary and sufficient conditions to verify the robustness of markings are obtained by analyzing the transitions involved in each component in an SC2and the relation between markings in the disconnected marking subset and SC2. Finally, the effectiveness and efficiency of the theoretical results are validated via examples. © 2004-2012 IEEE.

关键词： Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

Minimum Initial Marking Estimation in Labeled Petri Nets Using Minimum Token Number Prediction

引用

IEEE Transactions on Automatic Control 2025年第5期70卷 3296-3302页

作者： Yue, Hao Xu, Yakun Hu, Hesuan Wu, Weimin Li, Lingxi College of Computer Science and Technology Qingdao266580 China Xidian University School of Electro-Mechanical Engineering Xi'an710071 China Nanyang Technological University School of Computer Science and Engineering College of Engineering 639798 Singapore Zhejiang University State Key Laboratory of Industrial Control Technology Hangzhou310027 China Zhejiang University Institute of Cyber-Systems and Control Hangzhou310027 China Purdue University Elmore Family School of Electrical and Computer Engineering College of Engineering IndianapolisIN46202 United States

This article proposes an approach to addressing the problem of minimum initial marking (MuIM) estimation for labeled Petri nets (LPNs). We introduce the important concept of a label synthesis net for LPNs and develop a method for predicting the minimum number of tokens. By using this prediction method, we develop an algorithm that has polynomial complexity in the length of the observed label sequence for estimating MuIMs. An illustrative example is provided to show the effectiveness and efficiency of our proposed approach. Moreover, experimental results demonstrate its advantage over existing work. Finally, we provide a comparison of some representative studies in the literature for MuIM estimation. © 1963-2012 IEEE.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

ATOM: An Automatic Topology Synthesis Framework for Operational Amplifiers

引用

IEEE Transactions on computer-Aided Design of Integrated Circuits and systems 2025年第3期44卷 1193-1198页

作者： Shen, Jinyi Yang, Fan Shang, Li Yan, Changhao Bi, Zhaori Zhou, Dian Zeng, Xuan Fudan University State Key Laboratory of Integrated Chips and Systems School of Microelectronics Shanghai200433 China Fudan University State Key Laboratory of Integrated Chips and Systems The School of Computer Science Shanghai200433 China Fudan University State Key Laboratory of Integrated Chips and Systems Microelectronics Department Shanghai200433 China University of Texas at Dallas Department of Electrical Engineering DallasTX75080 United States

Bayesian optimization (BO) is more efficient in automatically synthesizing operational amplifier (opamp) topologies compared to conventional methods. However, the design space for behavior-level opamp topologies involves numerous connections that are difficult to comprehend, and evaluating each topology incurs substantial computational costs. To tackle these challenges, this brief introduces ATOM, an automatic opamp topology synthesis framework. We construct a concise design space for behavior-level opamp topologies, consisting of topologies that designers can easily understand. We propose an opamp topology optimization method that incorporates freeze-thaw BO. This method efficiently explores the design space and expedites the evaluation process. Experimental studies demonstrate that ATOM outperforms state-of-the-art topology synthesis methods in terms of success rate and optimization results while reducing the number of required simulations by up to 8.15 times. The source code for ATOM is available at https://***/Jinyi-Shen/ATOM. © 2024 IEEE.

关键词： Thawing

来源：评论

学校读者我要写书评

暂无评论

Cost-Optimized Task Offloading for Dependent Applications in Collaborative Edge and Cloud Computing

引用

IEEE Internet of Things Journal 2025年第9期12卷 12975-12988页

作者： Yuan, Haitao Hu, Qinglong Wang, Shen Bi, Jing Buyya, Rajkumar Lu, Jinhu Yang, Jinhong Zhang, Jia Zhou, MengChu Beihang University School of Automation Science and Electrical Engineering Beijing100191 China City University of Hong Kong Department of Computer Science Kowloon Tong Hong Kong Beijing University of Technology School of Software Engineering Faculty of Information Technology Beijing100124 China Laboratory School of Computing and Information Systems MelbourneVIC3010 Australia CSSC Systems Engineering Research Institute Beijing100036 China Southern Methodist University Lyle School of Engineering Department of Computer Science DallasTX75205 United States New Jersey Institute of Technology Department of Electrical and Computer Engineering NewarkNJ07102 United States

A collaborative system that includes mobile devices (MDs), edge nodes (ENs), and the cloud is needed where ENs at the network edge can run offloaded tasks of MDs with limited resources and energy for timely processing for latency-sensitive applications. Unlike existing studies, we formulate a total cost minimization problem for the system for applications, which can be divided into several interdependent subtasks. Each subtask can be executed in MDs, ENs, and the cloud. This work formulates a mixed-integer nonlinear program to minimize the total system cost. To address it, a novel meta-heuristic optimization algorithm called Genetic Simulated-annealing-based Particle swarm optimization with Auto-Encoder (GSPAE) is proposed, which innovatively combines feature extraction of deep learning and global search of meta-heuristic optimization. Genetic operations provide diverse solutions, the Metropolis acceptance of annealing offers a robust global search, and autoencoders (AEs) extract distribution characteristics of particles toward high-quality regions for fast convergence. Thus, GSPAE optimizes the associations between ENs and MDs and the scheduling of subtasks among MDs, ENs, and the cloud. Experiments with large-scale Google cluster datasets show that compared to state-of-the-art benchmark methods, GSPAE reduces the total cost by at least 17% while strictly meeting limits of application latency, available energy, computing, and communication resources of ENs and MDs. © 2014 IEEE.

关键词： Mobile edge computing

来源：评论

学校读者我要写书评

暂无评论

OFDM-structure based waveform designs for integrated sensing and communication

引用

science China(Information sciences) 2025年第5期68卷 267-284页

作者： Jiaqi LIU Ping YANG Ke JIANG Jiarong ZHAO Wei XIANG Jianping WEI Ruixiang DUAN Saviour ZAMMIT Tony Q.S.QUEK National Key Laboratory of Wireless Communications University of Electronic Science and Technology of China School of Computing Engineering and Mathematical Sciences La Trobe University Meituan Academy of Robotics Department of Communications and Computer Engineering University of Malta Information Systems Technology and Design Pillar Singapore University of Technology and Design

The future sixth-generation(6G) paradigm aims to seamlessly integrate communication and environmental sensing capabilities into a single radio signal, promising improved efficiency and cost-effectiveness through simultaneous data communications and environmental perception. At the core of this evolution, orthogonal frequency division multiplexing(OFDM) and its advanced waveforms emerge as pivotal for integrated sensing and communications(ISAC). This study introduces a concise and unified ISAC waveform design framework based on orthogonal multicarriers. This framework supports versatile applications of OFDM and its derivative waveforms within a generalized ISAC system, marking a significant leap in integrating communication and sensing capabilities. A distinguishing feature of this framework is its adaptability,allowing users to intelligently select modulation strategies based on their specific environmental needs. This adaptability optimizes performance across diverse scenarios. Central to our innovations is the proposal of discrete Fourier transformspread OFDM with index modulation(DFT-S-OFDM-IM). This framework is paired with newly proposed signal processing methods for single-input single-output and multiple-input multiple-output(MIMO) systems. Extensive evaluations highlight DFT-S-OFDM-IM's superiority, including dramatically reduced peak-to-average power ratios(PAPRs), competitive communication performance, and exceptional sensing capabilities, striking an elegant balance between communication capacity and environmental sensing precision.

关键词： DFT-S-OFDM-IM index modulation integrated sensing and communication OFDM

来源：评论

学校读者我要写书评

暂无评论

Surface-Continuous Scene Representation for Light Field Depth Estimation via Planarity Prior

引用

IEEE Transactions on Circuits and systems for Video Technology 2025年第5期35卷 5051-5066页

作者： Chen, Rongshan Sheng, Hao Yang, Da Cui, Zhenglong Cong, Ruixuan Beihang University State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and Engineering Beijing100191 China Beihang University Key Laboratory of Data Science and Intelligent Computing Hangzhou International Innovation Institute Zhejiang Hangzhou311115 China Macao Polytechnic University Faculty of Applied Sciences China

Light field (LF) imaging captures both spatial and angular information of the real world, enabling precise depth estimation. However, images are merely discrete expressions of scenes. Limited by imaging technology, LF camera cannot capture the infinite rays emitted by scenes, leading to the discrete information storage (e.g. pixel). Consequently, previous deep learning methods have encountered challenges in accurately extracting depth information from LF images. In this paper, we investigate a surface-continuous scene representation using planarity prior and design PlaneNet, a Plane-based Network that successfully generates highly detailed depth maps for real scenes. Specifically, inspired by the plane assumption that real-world scenes generally yield piecewise smooth surfaces, we refine it to the pixel level for continuous surface approximation, which can overcome the limitations of discrete representation. Rather than explicitly parameterizing planes as multiple coefficients, we propose a novel plane regular sampling operator (PRSO), enabling the network to fit smooth depth surfaces easily. To explore the role of our theory at the feature level, we also introduce PRSO into the intermediate layers of PlaneNet. Experiments show that our method achieves state-of-the-art performance on both synthetic and real-world LF scenes, ranking 1st (MSE) on the HCI 4D Light Field benchmark. Furthermore, we explore the utilization of our representation in multiple LF depth estimation networks, and experiments demonstrate improved performance when surface-continuous representation is applied. © 1991-2012 IEEE.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Understanding and Identifying Technical Debt in the Co-Evolution of Production and Test Code

引用

IEEE Transactions on Software engineering 2025年第5期51卷 1415-1436页

作者： Guo, Yimeng Chen, Zhifei Xiao, Lu Chen, Lin Li, Yanhui Zhou, Yuming Nanjing University State Key Laboratory for Novel Software Technology Nanjing210023 China Nanjing University of Science and Technology School of Computer Science and Engineering Nanjing210094 China Stevens Institute of Technology Department of Systems and Enterprises Charles V. Schaefer Jr. School of Engineering and Science HobokenNJ07030 United States

The co-evolution of production and test code (PT co-evolution) has received increasing attention in recent years. However, we found that existing work did not comprehensively study various PT co-evolution scenarios, such as the qualification and persistence of their effects on software. Inspired by technical debt (TD), we refer to TD generated during the co-evolution between production and test code as PT co-evolution technical debt (PTCoTD). To better understand PT co-evolution, we first conducted an exploratory study on its characteristics on 15 open-source projects, finding unbalanced PT co-evolution prevalent and summarizing five potential PT flaws. Then we proposed an approach to identify and quantify PTCoTDs of these flaw patterns, considering evolutionary and structural relationships. We also built prediction models to describe cost trajectories and rank all PTCoTDs to prioritize expensive ones. The evaluation on the 15 projects shows that our approach can identify PTCoTDs that deserve attention. The identified PTCoTDs account for about half of the project's total maintenance costs, and the cost proportion of the expensive Top-5 is 1.8x more than the file proportion they contain. Almost all covered maintenance costs persist as PTCoTD in the future, with an average increase of 6.8% between the last two releases. Our approach also accurately predicts the costs of PTCoTD with an average prediction deviation of only 8.3%. Our study provides valuable insights into PT co-evolution scenarios and their effects, which can guide practices and inspire future work on software testing and maintenance. © 1976-2012 IEEE.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

YFLM: An Improved Levenberg-Marquardt Algorithm for Global Bundle Adjustment 41st

YFLM: An Improved Levenberg-Marquardt Algorithm for Global ...

引用

41st computer Graphics International Conference, CGI 2024

作者： Peng, Jiaxin Li, Tao Jiang, Qin Liu, Jie Wang, Ruibo Laboratory of Software Engineering for Complex Systems School of Computer Science National University of Defense Technology Hunan Changsha410073 China Parallel and Distributed Processing Laboratory School of Computer Science National University of Defense Technology Hunan Changsha410073 China

ISBN: (纸本)9783031820205

The conventional Levenberg-Marquardt (LM) algorithm is a state-of-the-art trust-region optimization method for solving bundle adjustment problems in the Structure-from-Motion community, which not only takes advantage of the fast convergence of the Gauss-Newton method, but also the stability of the gradient descent method when approaching optimal solutions. However, the damping ratio of LM is simply provided by trial-and-error, which causes slow convergence rate for large-scale problems. This paper proposes the Yamashita-Fukushima LM (YFLM) algorithm to reduce the time complexity for global bundle adjustment, where the damping factor is determined by Yamashita and Fukushima’s method. YFLM dynamically calculates a more reasonable and optimal damping ratio according to the newest reprojection error. The experimental results show that the YFLM algorithm outperforms the conventional LM algorithm for most public bundle adjustment datasets. Besides this, the convergence of the YFLM algorithm is also evaluated with different σ∈(0,2]. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Damping

来源：评论

学校读者我要写书评

暂无评论

Segmentation of CAD models using hybrid representation

引用

虚拟现实与智能硬件(中英文) 2025年第2期7卷 188-202页

作者： Claude UWIMANA Shengdi ZHOU Limei YANG Zhuqing LI Norbelt MUTAGISHA Edouard NIYONGABO Bin ZHOU State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and EngineeringBeihang UniversityBeijing 100191China Peace-Bay Academy of Virtual Reality Shenyang 110004China China Aerospace Systems Engineering Corporation Beijing 100070China Department of Signal and Information Processing Beihang UniversityBeijing 100191China Department of Computer Science University of SherbrookeSherbrooke J1C0A1Canada

In this paper,we introduce an innovative method for computer-aided design(CAD)segmentation by concatenating meshes and CAD *** previous CAD segmentation methods have achieved impressive performance using single representations,such as meshes,CAD,and point ***,existing methods cannot effectively combine different three-dimensional model types for the direct conversion,alignment,and integrity maintenance of geometric and topological ***,we propose an integration approach that combines the geometric accuracy of CAD data with the flexibility of mesh representations,as well as introduce a unique hybrid representation that combines CAD and mesh models to enhance segmentation *** combine these two model types,our hybrid system utilizes advanced-neural-network techniques to convert CAD models into mesh *** complex CAD models,model segmentation is crucial for model retrieval and *** partial retrieval,it aims to segment a complex CAD model into several simple *** first component of our hybrid system involves advanced mesh-labeling algorithms that harness the digitization of CAD properties to mesh *** second component integrates labelled face features for CAD segmentation by leveraging the abundant multisemantic information embedded in CAD *** combination of mesh and CAD not only refines the accuracy of boundary delineation but also provides a comprehensive understanding of the underlying object *** study uses the Fusion 360 Gallery *** results indicate that our hybrid method can segment these models with higher accuracy than other methods that use single representations.

关键词： B-RepNet hybrid segmentation CAD models classification MeshCNN MeshCAD-Net

来源：评论

学校读者我要写书评

暂无评论

Subthreshold Depression Recognition and Correlation Study from Pulse Condition via Stacking Ensemble Algorithm 1st

Subthreshold Depression Recognition and Correlation Study f...

引用

1st International Conference on Extended Reality, ICXR 2024

作者： Jiang, Han Li, Ming Gao, Yang Li, Peiru State Key Laboratory of Virtual Reality Technology and Systems Beihang University Beijing China School of Computer Science and Engineering Beihang University Beijing China

ISBN: (纸本)9789819636785

Subthreshold depression, a transition state to depression, seriously hinders the early diagnosis of depression. Current studies mostly use heterogeneous definitions of subthreshold depression, making the results of such meta-analyses questionable. Therefore, it is of vital significance to develop an objective method for the diagnosis of subthreshold depression based on objective criteria. In traditional Chinese medicine (TCM), symptoms similar to subthreshold depression have been extensively explored. However, diagnostic methods in TCM still depend heavily on the experience of doctors and lack integration with modern diagnostic techniques, which makes it challenging to explain the pathogenesis of subthreshold depression. Consequently, we propose an explainable framework, based on a stacking ensemble algorithm, for subthreshold depression recognition from biomarkers in the pulse waveform and concepts of pulse in TCM. In this method, Naive Bayes, Random Forest, Extremely Randomized Trees, Categorical Boosting and Logistic Regression are chosen as basic learners, and XGBoost is selected as the meta-classifier. Based on the five-fold cross-validation method, grid search method and repetition of training, the stacking ensemble model shows superiority on most performance evaluation metrics including AUC, F1 scores, MCC, precision and sensitivity. Besides, by analyzing the Adjusted Odds Ratio of features in the pulse waveform, we obtained four features that have a high correlation with the occurrence of subthreshold depression and derived physiological changes in patients with subthreshold depression based on their physiological significance. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：