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

DeepOCL:A deep neural network for Object Constraint Language generation from unrestricted nature language

CAAI Transactions on Intelligence Technology 2024年第1期9卷 250-263页

作者： Yilong Yang Yibo Liu Tianshu Bao Weiru Wang Nan Niu Yongfeng Yin School of Software Beihang UniversityBeijingChina College of Computer Science and Technology Guizhou UniversityGuiyangGuizhouChina Faculty of Information Technology Beijing University of TechnologyBeijingChina Department of Electrical Engineering and Computer Sciences University of CincinnatiCincinnatiOhioUSA

Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation *** demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named *** experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural *** can be further developed as a CASE tool for the software industry.

关键词： deep learning OCL software engineering

来源：评论

学校读者我要写书评

暂无评论

From News to Forecast: Integrating Event Analysis in LLM-Based Time Series Forecasting with Reflection 38

From News to Forecast: Integrating Event Analysis in LLM-Bas...

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Wang, Xinlei Feng, Maike Qiu, Jing Gu, Jinjin Zhao, Junhua School of Electrical and Computer Engineering The University of Sydney Australia School of Science and Engineering The Chinese University of Hong Kong Shenzhen China Shenzhen Institute of Artificial Intelligence and Robotics for Society China

This paper introduces a novel approach that leverages Large Language Models (LLMs) and Generative Agents to enhance time series forecasting by reasoning across both text and time series data. With language as a medium, our method adaptively integrates social events into forecasting models, aligning news content with time series fluctuations to provide richer insights. Specifically, we utilize LLM-based agents to iteratively filter out irrelevant news and employ human-like reasoning to evaluate predictions. This enables the model to analyze complex events, such as unexpected incidents and shifts in social behavior, and continuously refine the selection logic of news and the robustness of the agent's output. By integrating selected news events with time series data, we fine-tune a pre-trained LLM to predict sequences of digits in time series. The results demonstrate significant improvements in forecasting accuracy, suggesting a potential paradigm shift in time series forecasting through the effective utilization of unstructured news data. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Graph-Based Feature Learning for Cross-Project Software Defect Prediction

引用

computers, Materials & Continua 2023年第10期77卷 161-180页

作者： Ahmed Abdu Zhengjun Zhai Hakim A.Abdo Redhwan Algabri Sungon Lee School of Software Northwestern Polytechnical UniversityXi’anChina School of Computer Science Northwestern Polytechnical UniversityXi’anChina Department of Computer Science Hodeidah UniversityPO Box 3114Al-HudaydahYemen Research Institute of Engineering and Technology Hanyang UniversityAnsanKorea Department of Robotics Hanyang UniversityAnsanKorea

Cross-project software defect prediction(CPDP)aims to enhance defect prediction in target projects with limited or no historical data by leveraging information from related source *** existing CPDP approaches rely on static metrics or dynamic syntactic features,which have shown limited effectiveness in CPDP due to their inability to capture higher-level system properties,such as complex design patterns,relationships between multiple functions,and dependencies in different software projects,that are important for *** paper introduces a novel approach,a graph-based feature learning model for CPDP(GB-CPDP),that utilizes NetworkX to extract features and learn representations of program entities from control flow graphs(CFGs)and data dependency graphs(DDGs).These graphs capture the structural and data dependencies within the source *** proposed approach employs Node2Vec to transform CFGs and DDGs into numerical vectors and leverages Long Short-Term Memory(LSTM)networks to learn predictive *** process involves graph construction,feature learning through graph embedding and LSTM,and defect *** evaluation using nine open-source Java projects from the PROMISE dataset demonstrates that GB-CPDP outperforms state-of-the-art CPDP methods in terms of F1-measure and Area Under the Curve(AUC).The results showcase the effectiveness of GB-CPDP in improving the performance of cross-project defect prediction.

关键词： Cross-project defect prediction graphs features deep learning graph embedding

来源：评论

学校读者我要写书评

暂无评论

Continuous query-based data trading 24

Continuous query-based data trading

引用

2024 ACM SIGMETRICS/IFIP Performance Conference on Measurement and Modeling of computer Systems, SIGMETRICS/PERFORMANCE 2024

作者： Cheng, Jin Ding, Ningning Lui, John C.S. Huang, Jianwei School of Science and Engineering Shenzhen Institute of Artificial Intelligence and Robotics for Society The Chinese University of Hong Kong Shenzhen Shenzhen China Department of Electrical and Computer Engineering Northwestern University Evanston United States Department of Computer Science and Engineering The Chinese University of Hong Kong Hong Kong Hong Kong

ISBN: (纸本)9798400706240

In the era of big data, traditional data trading methods designed for one-time queries on static databases fail to meet the demands of continuous query-based trading on streaming data, often resulting in repeated and inaccurate charges due to neglecting computation sharing in continuous query execution. To address this, we introduce CQTrade, the first trading framework tailored for continuous queries, which incorporates computation sharing across different time windows and queries, enhancing integration with existing trading systems. Our contributions include a theoretical analysis of computation-sharing techniques, the development of a general optimization problem to maximize seller revenue adaptable to various techniques, and the proposal of a branch-and-price algorithm to handle the problem's complexity. Our evaluation shows that the proposed framework improves the success rate of data trading by 12.8% and boosts the seller's revenue by an average of 28.7%, compared to the one-time query-based data trading methods used in the current data market. © 2024 Copyright held by the owner/author(s).

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

A Review on the Applications of Blockchain-Based Smart Contracts in the Smart Grid 4

A Review on the Applications of Blockchain-Based Smart Contr...

引用

4th International Conference on Smart Grid and Renewable Energy, SGRE 2024

作者： Saleh, Mohammad Alshaikh Khatri, Sunil P. Ghrayeb, Ali Refaat, Shady S. Texas A&M University Department of Electrical and Computer Engineering College Station United States Texas A&M University at Qatar Department of Electrical and Computer Engineering Doha Qatar University of Hertfordshire School of Physics Engineering and Computer Science United Kingdom

ISBN: (纸本)9798350306262

Investigations in industrial and computational research emphasize the progress of blockchain-enabled smart contracts due to their resilient features, which include decen-tralised transaction storage, autonomous contract regulation enforcement, and distributed trust creation. Blockchain-powered smart contracts can transform operational frameworks in various sectors aiming for superior service delivery. The advantages this technology brings involve a multitude of applications that span industries as cryptocurrencies, logistics systems, agricultural practices, real estate operations, and energy trading among others. Notably though one crucial emerging application is within smart grids (SG). The decentralization aspect of blockchain is one of the most significant leaps in computing for smart grids. The application of blockchain aligns with the vision of having a decentralized electric grid by distributing renewable energy sources. Therefore, numerous efforts are being conducted to examine the prospects for the relevance of smart contracts and blockchain to the smart grid system. To this end, this paper aims to review the essential elements of blockchain-based smart contracts to emphasize their current capabilities for enhancing the transition to a decentralized smart grid with proposals on future research directions. © 2024 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

HoloStream: a GPU-powered high-speed user interface for holographic microscopy imaging

引用

Optics Express 2025年第7期33卷 15648-15660页

作者： Morales, Johan Obando-Vásquez, Sofia Doblas, Ana Trujillo, Carlos Applied Optics Group School of Applied Science and Engineering EAFIT University Medellin Colombia Optical Imaging Research Lab Electrical and Computer Engineering Department University of Massachusetts Dartmouth DartmouthMA United States

This paper presents HoloStream, a GPU-powered high-speed user interface designed for holographic microscopy imaging. The platform reconstructs quantitative phase images rapidly for off-axis digital holographic microscopy (DHM) systems operating in the telecentric regime. By optimizing critical computational procedures, the HoloStream app reconstructs phase maps of 1280 × 960 pixels up to 11 frames per second (FPS) in live visualization and 90 fps for pre-recorded holographic videos. This real-time phase compensation is performed by upgrading the semi-heuristic phase compensation (SHPC) algorithm through GPU acceleration via PyCUDA. The interface also offers a user-friendly experience with flexible control over acquisition modes, visualization formats, and 3D tracking functionalities. Experimental validation demonstrates the platform’s capability to achieve fast and accurate phase imaging for live microscopy applications. The HoloStream app advances DHM technology by combining high-speed processing with ease of use, making it suitable for a wide range of DHM imaging applications. © 2025 Optica Publishing Group under the terms of the Optica Open Access Publishing Agreement.

关键词： computer graphics equipment

来源：评论

学校读者我要写书评

暂无评论

Analysis and Practice of Ideological and Political Education in computer Public Basic Courses in Architecture Universities Based on Machine Learning and Deep Learning 24

Analysis and Practice of Ideological and Political Education...

引用

2024 Guangdong-Hong Kong-Macao Greater Bay Area International Conference on Education Digitalization and computer science, EDCS 2024

作者： Lv, Cheng Department of Computer Science School of Electrical and Information Engineering Beijing University of Civil Engineering and Architecture Beijing100044 China

ISBN: (纸本)9798400710360

In response to the shortcomings of ideological and political education in the computer basic course of our school, the teaching team has conducted in-depth research on the connotation of ideological and political education in the course, accurately grasped the direction of ideological and political education in the course, innovatively proposed the"progressive method of ideological and political education", and constructed an integrated curriculum system of ideological and political education in the course;Using Orange3 software and machine learning algorithms to deeply explore the ideological and political elements of the curriculum, constructing an analytical model, formulating personalized teaching and learning strategies, and constructing a double-layer teaching evaluation system that emphasizes both morality and ability. Through the analysis of course data, it is shown that the effectiveness of ideological and political education in the curriculum has been comprehensively improved, and the quality of teaching has been comprehensively enhanced. © 2024 Copyright held by the owner/author(s).

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

An artificial systems,computational experiments and parallel execution-based surface electromyogram-driven anti-disturbance zeroing neurodynamic strategy for upper limb human-robot interaction control

引用

CAAI Transactions on Intelligence Technology 2024年第2期9卷 511-525页

作者： Yongbai Liu Keping Liu Gang Wang Jiliang Zhang Yao Chou Zhongbo Sun Department of Mechanical Engineering Changchun University of TechnologyChangchunChina Department of Control Engineering Changchun University of TechnologyChangchunChina School of Electrical and Information Engineering Jilin Engineering Normal UniversityChangchunChina College of Information Science and Engineering Northeastern UniversityShenyangChina Department of Electrical and Computer Engineering Brigham Young UniversityProvoUtahUSA

In recent years,intelligent robots are extensively applied in the field of the industry and intelligent rehabilitation,wherein the human-robot interaction(HRI)control strategy is a momentous part that needs to be ***,the efficacy and robustness of the HRI control algorithm in the presence of unknown external disturbances deserve to be *** deal with these urgent issues,in this study,artificial systems,computational experiments and a parallel execution intelligent control framework are constructed for the HRI *** upper limb-robotic exoskeleton system is re-modelled as an artificial *** on surface electromyogram-based subject's active motion intention in the practical system,a non-convex function activated anti-disturbance zeroing neurodynamic(NC-ADZND)controller is devised in the artificial system for parallel interaction and HRI control with the practical ***,the linear activation function-based zeroing neurodynamic(LAF-ZND)controller and proportionalderivative(posterior deltoid(PD))controller are presented and *** results substantiate the global convergence and robustness of the proposed controller in the presence of different external *** addition,the simulation results verify that the NC-ADZND controller is better than the LAF-ZND and the PD controllers in respect of convergence order and anti-disturbance characteristics.

关键词： neural network pattern recognition robotics signal processing

来源：评论

学校读者我要写书评

暂无评论

Towards an Internet-like Power Grid

引用

Journal of Modern Power Systems and Clean Energy 2022年第1期10卷 1-11页

作者： Iasonas Kouveliotis-Lysikatos Nikos Hatziargyriou Yanli Liu Felix Wu Department of Electrical Engineering and Computer Science KTH-Royal Institute of TechnologyTeknikringen 3310040StockholmSweden School of Electrical and Computer Engineering National Technical University of Athens15773 AthensGreece School of Electrical and Information Engineering Tianjin UniversityTianjin300072China Department of Electrical and Electronic Engineering The University of Hong KongHong KongChina Department of Electrical Engineering and Computer Sciences University of CaliforniaBerkeleyCA 94720USA

The great challenges faced by modern power systems require a fresh look at the conventional operation paradigm. The significant challenges faced by modern power systems require an innovative method for the conventional operation paradigm. We claim that the decarbonization of the power grid and extensive electrification of numerous sectors of human activity can only be fostered by a self-adaptable and smart power grid that manifests similar qualities to those of the Internet. The Internet is constructed on a layered architecture that facilitates technology innovations and its intelligence is distributed throughout a hierarchy of networks. In this paper, the fundamental differences between the network data flows and power flows are examined, and the basic requirements for an innovative operation paradigm are highlighted. The current power grid is operated in a highly inflexible, centralized manner to meet increased security goals. A new highly flexible, distributed architecture can be realized by distributing the operation responsibility in smaller areas or even in grid components that can make autonomous decisions. The characteristics of such a power grid are presented, and the key features and advances for the on-going transition to a sustainable power system are identified. Finally, a case study on distributed voltage control is presented and discussed.

关键词： Smart grid Internet distributed intelligence decentralized architecture

来源：评论

学校读者我要写书评

暂无评论

Development and Evaluation of a Cost-effective IMU System for Gait Analysis: Comparison with Vicon and VideoPose3D Algorithms

引用

Current Directions in Biomedical engineering 2023年第1期9卷 254-257页

作者： Wilhelm, Nikolas Haddadin, Sami Micheler, Carina M. Lang, Jan J. Hinterwimmer, Florian Schaack, Victor Smits, Ricardo Burgkart, Rainer Department of Orthopedics and Sports Orthopedics Klinikum Rechts der Isar School of Medicine and Munich Institute of Robotics and Machine Intelligence Department of Electrical and Computer Engineering Technical University of Munich Munich Germany Munich Institute of Robotics and Machine Intelligence Department of Electrical and Computer Engineering Technical University of Munich Munich Germany Department of Orthopedics and Sports Orthopedics Klinikum Rechts der Isar School of Medicine Munich Germany

This study aimed to develop and evaluate a costeffective Inertial Measurement Unit (IMU) system for gait analysis, comparing its performance with the Vicon system and the VideoPose3D algorithm. The system comprises five calibrated sensors and a mobile app to measure lower body orientation during gait and stair climbing. Eight healthy participants were involved in the experiment, each performing ten repetitions to analyze hip and knee flexion angles. The IMU system demonstrated significantly lower mean square error than deep learning-based approaches and comparable results to the Vicon system, indicating its potential for clinical and research applications. © 2023 the author(s), published by Walter de Gruyter Berlin/Boston.

关键词： Gait analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：