This article describes a solution for automating measurements on CNC machines equipped with automatic measurement tools using a vision system that simulates stereoscopic vision. The proposed method of measurement allo...
详细信息
Specification based testing is a common method in software testing. Specification based testing is divided into behavior-based testing, such as finite state machine method;and input-based testing, such as random testi...
详细信息
Today's electronic digital systems are becoming more complicated, thus designing such systems requires a higher level of abstraction and design automation. To address this concern, this paper proposes a new formal...
详细信息
Deep neural networks (DNNs) are becoming a key component in diverse systems across the board. However, despite their success, they often err miserably;and this has triggered significant interest in formally verifying ...
详细信息
Natural Language Inference (NLI) models are known to learn from biases and artefacts within their training data, impacting how well they generalise to other unseen datasets. Existing de-biasing approaches focus on pre...
详细信息
ISBN:
(纸本)9781577358763
Natural Language Inference (NLI) models are known to learn from biases and artefacts within their training data, impacting how well they generalise to other unseen datasets. Existing de-biasing approaches focus on preventing the models from learning these biases, which can result in restrictive models and lower performance. We instead investigate teaching the model how a human would approach the NLI task, in order to learn features that will generalise better to previously unseen examples. Using natural language explanations, we supervise the model's attention weights to encourage more attention to be paid to the words present in the explanations, significantly improving model performance. Our experiments show that the in-distribution improvements of this method are also accompanied by out-of-distribution improvements, with the supervised models learning from features that generalise better to other NLI datasets. Analysis of the model indicates that human explanations encourage increased attention on the important words, with more attention paid to words in the premise and less attention paid to punctuation and stop-words.
3D animation involves computer VST (virtual simulation technology). As one of the important technologies of 3D animation, this technology can not only enhance the sensory effect of 3D animation but also has great sign...
详细信息
The term "Cyber-Physical systems" (CPS) often refers to systems that are both designed and physical, as well as biological. In regard to a CPS, the evolution of physical quantities and distinct software and ...
详细信息
The product is a low-cost innovative interactive environment parameter detection device, and equipped with the corresponding computer. Using TCP communication protocol, FOC brushless control, LVGL graphics library and...
详细信息
ISBN:
(数字)9798350353594
ISBN:
(纸本)9798350353600
The product is a low-cost innovative interactive environment parameter detection device, and equipped with the corresponding computer. Using TCP communication protocol, FOC brushless control, LVGL graphics library and other technologies, we finally produced a complete set of software and hardware systems that can collect the current farm environment parameters in real time, achieve hardware control interaction and remote data summary of computercomputer through color screen and brushless motor display.
Migrating from Monolithic architecture to Microservices architecture is a major change in how applications are designed, developed, and managed. This paper introduces an innovative approach for Microservices identific...
详细信息
ISBN:
(数字)9798350378511
ISBN:
(纸本)9798350378528
Migrating from Monolithic architecture to Microservices architecture is a major change in how applications are designed, developed, and managed. This paper introduces an innovative approach for Microservices identification. Advanced techniques, including the OpenAI ChatGPT API, BERT embeddings, and community detection algorithms, are used to analyze both the database and the source code to find the optimal service boundaries. Thorough evaluations on benchmark applications demonstrate that this proposed technique surpasses cutting-edge solutions in structural modularity and maintains favorable values for other software quality metrics. This aids in identifying scalable Microservices. This research not only supports the modernization of software infrastructure but also advocates for sustainable development practices within the ever-changing field of distributed systems.
Realizing Generalized Zero-Shot Learning (GZSL) based on large models is emerging as a prevailing trend. However, most existing methods merely regard large models as black boxes, solely leveraging the features output ...
详细信息
暂无评论