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

An infrastructure software perspective toward computation offloading between executable specifications and foundation models

引用

Science China(Information Sciences) 2025年第4期68卷 380-382页

作者： Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE Key Laboratory of High Confidence Software Technologies (PKU) Ministry of Education School of Computer SciencePeking University School of Electronics Engineering and Computer Science Peking University Department of Computer Science and Applied Mathematics Weizmann Institute of Science

Foundation models(FMs) [1] have revolutionized software development and become the core components of large software systems. This paradigm shift, however, demands fundamental re-imagining of software engineering theories and methodologies [2]. Instead of replacing existing software modules implemented by symbolic logic, incorporating FMs' capabilities to build software systems requires entirely new modules that leverage the unique capabilities of ***, while FMs excel at handling uncertainty, recognizing patterns, and processing unstructured data, we need new engineering theories that support the paradigm shift from explicitly programming and maintaining user-defined symbolic logic to creating rich, expressive requirements that FMs can accurately perceive and implement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fatigue reliability assessment of turbine blade via direct probability integral method

引用

Chinese Journal of Aeronautics 2025年第4期38卷 305-320页

作者： Guohai CHEN Pengfei GAO Hui LI Dixiong YANG State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial EquipmentSchool of Mechanics and Aerospace EngineeringDalian University of TechnologyDalian 116024China

Fatigue analysis of engine turbine blade is an essential *** to various uncertainties during the manufacture and operation,the fatigue damage and life of turbine blade present *** this study,the randomness of structural parameters,working condition and vibration environment are considered for fatigue life predication and reliability ***,the lowcycle fatigue problem is modelled as stochastic static system with random parameters,while the high-cycle fatigue problem is considered as stochastic dynamic system under random ***,to deal with the two failure modes,the novel Direct Probability Integral Method(DPIM)is proposed,which is efficient and accurate for solving stochastic static and dynamic *** probability density functions of accumulated damage and fatigue life of turbine blade for low-cycle and high-cycle fatigue problems are achieved,***,the time–frequency hybrid method is advanced to enhance the computational efficiency for governing equation of ***,the results of typical examples demonstrate high accuracy and efficiency of the proposed method by comparison with Monte Carlo simulation and other *** is indicated that the DPIM is a unified method for predication of random fatigue life for low-cycle and highcycle fatigue *** rotational speed,density,fatigue strength coefficient,and fatigue plasticity index have a high sensitivity to fatigue reliability of engine turbine blade.

关键词： Engine turbine blade Low-cycle fatigue High-cycle fatigue Fatigue reliability Direct probability integral method

来源：评论

学校读者我要写书评

暂无评论

Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection

引用

IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2024年第6期44卷 2424-2437页

作者： Lu, Longlong Pan, Minxue Lu, Yifei Li, Xuandong Nanjing University State Key Laboratory for Novel Software Technology and the Software Institute Jiangsu Province Nanjing210093 China Nanjing University State Key Laboratory for Novel Software Technology and School of Computer Science Jiangsu Province Nanjing210023 China

Specifying channel-based asynchronous circuits in SystemVerilog is a promising alternative design paradigm to combine the advantages of asynchronous circuits and industrial EDA supports. However, communicating through channels can be error-prone, potentially introducing deadlocks that cannot be detected easily through simulation. In contrast, model checking can reliably identify deadlocks, but faces challenges related to scalability and modeling capability. This research proposes a novel model checking approach, named, to detect deadlocks of channel-based asynchronous circuits specified in SystemVerilog. To address the issue of modeling capability, extracts inter-module communication behavior from SystemVerilog circuit designs and builds models in Communication Protocols specifically designed for this purpose. Additionally, employs a novel hierarchical model checking algorithm that conducts localized verification of well-formed groups of the system from the bottom up, thus reducing the size of the checking problems and presenting the opportunity to parallelize the checking process. Extensive experimental evaluations confirm the efficiency of in publicly accessible and randomly synthesized large-scale asynchronous circuits. Remarkably, significant benefits of the hierarchical checking approach are demonstrated through an ablative experiment. © 1982-2012 IEEE.

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

FIFAWC:a dataset with detailed annotation and rich semantics for group activity recognition

引用

Frontiers of computer Science 2024年第6期18卷 271-272页

作者： Duoxuan PEI Di HUANG Yunhong WANG State Key Laboratory of Software Development Environment School of Computer Science and EngineeringBeihang UniversityBeijing 100191China Intelligent Recognition and Image Processing Lab. School of Computer Science and EngineeringBeihang UniversityBeijing 100191China

1 *** Activity Recognition(GAR),which aims to identify activities performed collectively in videos,has gained significant attention *** conventional action recognition centered on single individuals,GAR explores the c... 详细信息

关键词： has collective gained

来源：评论

学校读者我要写书评

暂无评论

UKF‐MOT:An unscented Kalman filter‐based 3D multi‐object tracker

引用

CAAI Transactions on Intelligence Technology 2024年第4期9卷 1031-1041页

作者： Meng Liu Jianwei Niu Yu Liu Collective Intelligence&Collaboration Laboratory China North Artificial Intelligence and Innovation Research InstituteBeijingChina China North Vehicle Research Institute BeijingChina State Key Laboratory of Software Development Environment School of Computer Science and EngineeringBeihang UniversityBeijingChina State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and EngineeringBeihang UniversityBeijingChina School of Computer Science and Engineering Beihang UniversityBeijingChina

Multi‐object tracking in autonomous driving is a non‐linear *** better address the tracking problem,this paper leveraged an unscented Kalman filter to predict the object's *** the association stage,the Mahalanobis distance was employed as an affinity metric,and a Non‐minimum Suppression method was designed for *** the detections fed into the tracker and continuous‘predicting‐matching’steps,the states of each object at different time steps were described as their own continuous *** conducted extensive experiments to evaluate tracking accuracy on three challenging datasets(KITTI,nuScenes and Waymo).The experimental results demon-strated that our method effectively achieved multi‐object tracking with satisfactory ac-curacy and real‐time efficiency.

关键词： autonomous vehicle transportation

来源：评论

学校读者我要写书评

暂无评论

A survey for light field super-resolution

引用

High-Confidence Computing 2024年第1期4卷 118-129页

作者： Mingyuan Zhao Hao Sheng Da Yang Sizhe Wang Ruixuan Cong Zhenglong Cui Rongshan Chen Tun Wang Shuai Wang Yang Huang Jiahao Shen State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and EngineeringBeihang UniversityBeijing 100191China Key Laboratory of Data Science and Intelligent Computing International Innovation InstituteBeihang UniversityHangzhou 311115China State Key Laboratory of Software Development Environment School of Computer Science and EngineeringBeihang UniversityBeijing 100191China

Compared to 2D imaging data,the 4D light field(LF)data retains richer scene’s structure information,which can significantly improve the computer’s perception capability,including depth estimation,semantic segmentation,and LF ***,there is a contradiction between spatial and angular resolution during the LF image acquisition *** overcome the above problem,researchers have gradually focused on the light field super-resolution(LFSR).In the traditional solutions,researchers achieved the LFSR based on various optimization frameworks,such as Bayesian and Gaussian *** learning-based methods are more popular than conventional methods because they have better performance and more robust generalization *** this paper,the present approach can mainly divided into conventional methods and deep learning-based *** discuss these two branches in light field spatial super-resolution(LFSSR),light field angular super-resolution(LFASR),and light field spatial and angular super-resolution(LFSASR),***,this paper also introduces the primary public datasets and analyzes the performance of the prevalent approaches on these ***,we discuss the potential innovations of the LFSR to propose the progress of our research field.

关键词： Light field super-resolution Convolutional neural network Transformer Sub-aperture image Epipolar-plane image

来源：评论

学校读者我要写书评

暂无评论

A new discrepancy for sample generation in stochastic response analyses of aerospace problems with uncertain parameters

引用

Chinese Journal of Aeronautics 2024年第12期37卷 192-211页

作者： Feng WU Yuelin ZHAO Yuxiang YANG Xiaopeng ZHANG Ning ZHOU State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial EquipmentSchool of Mechanics and Aerospace EngineeringDalian University of TechnologyDalian 116024China

Good distribution of samples and weights can improve the computational accuracy and efficiency in the stochastic response analyses of aerospace problems with uncertain *** work proposes a new Generalized L2 Discrepancy based on a General Point(GL2D-GP)for generating samples and their corresponding *** proposed GL2D-GP is an extension of the existing discrepancy by introducing the non-same weights and a smaller box to measure probability *** the GL2D-GP can yield a weight optimization formula that generates a set of optimal non-identical weights for a given sample *** minimizing the GL2D-GP assigned to the set of optimal non-same weights,a new sample and weight generation method is *** the proposed method,the samples can be easily generated in terms of the generalized Halton formula with a series of optimal permutation vectors which are found by the intelligent evolutionary *** the sample set is obtained,the optimal weights can be generated in terms of the weight optimization *** numerical examples are presented to verify the high accuracy,efficiency,and strong robustness of the proposed sample generation method based on GL2D-GP.

关键词： Stochastic systems Aerospace engineering Monte Carlo methods Sample generation Generalized discrepancy Non-same weights

来源：评论

学校读者我要写书评

暂无评论

QAAS:quick accurate auto-scaling for streaming processing

引用

Frontiers of computer Science 2024年第1期18卷 5-15页

作者： Shiyuan LIU Yunchun LI Hailong YANG Ming DUN Chen CHEN Huaitao ZHANG Wei LI State Key Laboratory of Software Development Environment Beijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China School of Cyber Science and Technology Beihang UniversityBeijing 100191China School of Computer Science and Technology Xi’an Jiaotong UniversityXi’an 710049China

In recent years,the demand for real-time data processing has been increasing,and various stream processing systems have *** the amount of data input to the stream processing system fluctuates,the computing resources required by the stream processing job will also *** resources used by stream processing jobs need to be adjusted according to load changes,avoiding the waste of computing *** present,existing works adjust stream processing jobs based on the assumption that there is a linear relationship between the operator parallelism and operator resource consumption(e.g.,throughput),which makes a significant deviation when the operator parallelism *** paper proposes a nonlinear model to represent operator *** divide the operator performance into three stages,the Non-competition stage,the Non-full competition stage,and the Full competition *** our proposed performance model,given the parallelism of the operator,we can accurately predict the CPU utilization and operator *** with actual experiments,the prediction error of our model is below 5%.We also propose a quick accurate auto-scaling(QAAS)method that uses the operator performance model to implement the auto-scaling of the operator parallelism of the Flink *** to previous work,QAAS is able to maintain stable job performance under load changes,minimizing the number of job adjustments and reducing data backlogs by 50%.

关键词： stream processing performance model auto-scaling

来源：评论

学校读者我要写书评

暂无评论

New analytical solutions for free vibration of embedded magneto-electro-elastic cylindrical shells with step-wise thickness variations

引用

Applied Mathematics and Mechanics(English Edition) 2025年第3期46卷 447-466页

作者： Jufang JIA Huilin YIN Qinyu YU Jiabin SUN Xinsheng XU Zhenhuan ZHOU School of Mechanical Engineering and Automation Dalian Polytechnic UniversityDalian 116034Liaoning ProvinceChina State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial EquipmentSchool of Mechanics and Aerospace EngineeringDalian University of TechnologyDalian 116024Liaoning ProvinceChina State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial EquipmentSchool of Chemical EngineeringOcean and Life SciencesDalian University of TechnologyPanjin 124221Liaoning ProvinceChina

In recent years,magneto-electro-elastic(MEE)cylindrical shells with step-wise thicknesses have shown significant potential in the field of vibration energy *** aid the design of such energy harvesting devices,an accurate free vibration analysis of embedded MEE cylindrical shells with step-wise thicknesses is performed within the framework of symplectic *** using the Legendre transformation,a new known vector is defined to transform the higher-order partial differential governing equations into a set of lower-order ordinary differential ***,the original vibration analysis is regarded as an eigen problem in the symplectic space,and analytical solutions can be represented by the symplectic *** numerical examples,the new analytical solutions are compared with the existing results,and good agreement is ***,the effects of critical design parameters on free vibration characteristics are thoroughly *** numerical results can serve as benchmarks for the development of other approximate or numerical methods.

关键词： analytical solution free vibration magneto-electro-elastic(MEE)material cylindrical shell with variable thickness symplectic method

来源：评论

学校读者我要写书评

暂无评论

AR assistance for efficient dynamic target search

引用

Computational Visual Media 2023年第1期9卷 177-194页

作者： Zixiang Zhao Jian Wu Lili Wang State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and EngineeringBeihang UniversityBeijingChina

When searching for a dynamic target in an unknown real world scene,search efficiency is greatly reduced if users lack information about the spatial structure of the *** target search studies,especially in robotics,focus on determining either the shortest path when the target’s position is known,or a strategy to find the target as quickly as possible when the target’s position is ***,the target’s position is often known intermittently in the real world,e.g.,in the case of using surveillance *** goal is to help user find a dynamic target efficiently in the real world when the target’s position is intermittently *** order to achieve this purpose,we have designed an AR guidance assistance system to provide optimal current directional guidance to users,based on searching a prediction *** assume that a certain number of depth cameras are fixed in a real scene to obtain dynamic target’s *** system automatically analyzes all possible meetings between the user and the target,and generates optimal directional guidance to help the user catch up with the target.A user study was used to evaluate our method,and its results showed that compared to free search and a top-view method,our method significantly improves target search efficiency.

关键词： augmented reality(AR) search guidance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：