Digital simulators based on virtual reality expand the range of educational opportunities and improve the quality of learning in various areas of knowledge through deeper "immersion"in the learning process. ...
详细信息
Variable names are important to understand and maintain code. If a variable name and the value stored in the variable do not match, then the program suffers from a name-value inconsistency, which is due to one of two ...
详细信息
ISBN:
(纸本)9781450392211
Variable names are important to understand and maintain code. If a variable name and the value stored in the variable do not match, then the program suffers from a name-value inconsistency, which is due to one of two situations that developers may want to fix: Either a correct value is referred to through a misleading name, which negatively affects code understandability and maintainability, or the correct name is bound to a wrong value, which may cause unexpected runtime behavior. Finding name-value inconsistencies is hard because it requires an understanding of the meaning of names and knowledge about the values assigned to a variable at runtime. This paper presents Nalin, a technique to automatically detect name-value inconsistencies. The approach combines a dynamic analysis that tracks assignments of values to names with a neural machine learning model that predicts whether a name and a value fit together. To the best of our knowledge, this is the first work to formulate the problem of finding coding issues as a classification problem over names and runtime values. We apply Nalin to 106,652 real-world Python programs, where meaningful names are particularly important due to the absence of statically declared types. Our results show that the classifier detects name-value inconsistencies with high accuracy, that the warnings reported by Nalin have a precision of 80% and a recall of 76% w.r.t. a ground truth created in a user study, and that our approach complements existing techniques for finding coding issues.
Incorporating external commonsense knowledge can enhance machines’ cognition and facilitate informative dialogues. However, current commonsense knowledge-grounded dialogue generation works can only select knowledge f...
详细信息
The person identification task aims to generate robust human representation embeddings. Traditional methods have achieved competitive results, but they face occlusion challenges, making it difficult to distinguish bet...
详细信息
The purpose of systems engineering is to, often collaboratively and following complex workflows, analyse, design, optimize, operate, and evolve complex, cyber-physical systems. This paper proposes a vision of a genera...
详细信息
ISBN:
(纸本)9781450394673
The purpose of systems engineering is to, often collaboratively and following complex workflows, analyse, design, optimize, operate, and evolve complex, cyber-physical systems. This paper proposes a vision of a general framework for the design, deployment and operation of Digital Z (where Z can be model, shadow, twin, passport, avatar...). Different Digital Zs are used, often in combination, for various purposes during systems engineering. That is why we propose a family of architectures for different Digital Zs. Each Digital Z architecture is constructed based on the engineers' goals. These goals can always be reduced to the observation, satisfaction, or optimization of some Properties of Interest (PoIs). Example PoIs are safety, and average energy consumption. We propose to have one Digital Z architecture per PoI. The different Digital Zs may be combined into an ecosystem. More variability is introduced when we zoom into the deployment of Digital Zs. Common choices for network communication such as DDS and MQTT each have their own strengths and weaknesses which must be taken into account when trying to satisfy non-functional properties such as meeting real-time deadlines. We also introduce the Modelverse, a Virtual (Federated) knowledge Graph (VKG). It is used as a source of knowledge to aid in the construction of "experiments" which answer user's questions about PoIs. These, possibly concurrent, experiments are in essence particular Digital Z ecosystems/architectures. When the experiments provide answers, these are added to the VKG knowledge base in the form (question, experiment architecture, answer). The glue between the above is a template workflow. We sketch the above concepts by means of concrete examples and compare them with existing Digital Z definitions and frameworks such as the "5D model".
作者:
Giai, EnricoPoeta, NicolaTurnbull, DavidSTAR7
S.p.A. Language Technologies Expert Corso Orbassano 336 Torino Italy STAR7
S.p.A. Global Content Service Line Leader Corso Orbassano 336 Torino Italy STAR7
S.p.A. Language Lead Corso Orbassano 336 Torino Italy
In the age of cloud computing and software as a Service (SaaS), the need for web-based translation management solutions is on the rise. Connecting authoring tools and other Content Management Systems (CMSs) to Transla...
详细信息
With rising computing power, data-driven AI algorithms have become essential in fields like image processing, with significant applications in electricity inspection image detection. However, competition and privacy c...
详细信息
Student management information system (MIS) is emerging in the current educational environment and provides an efficient and reliable solution for school management. Compared with the traditional manual management, th...
详细信息
In Requirements engineering (RE) Education, aligning students' requirements engineering skills with industry demands is one of the primary aims for educators. RE curricula vary between higher education institutes,...
详细信息
based on the need of prioritization of maintenance activities in a BOSCH Spot Welding process in the automotive industry, this work aims to develop anomalous equipment selection methodologies for assisting it. The fir...
详细信息
暂无评论