The cosmic microwave background (CMB) experiments have reached an era of unprecedented precision and complexity. Aiming to detect the primordial B-mode polarization signal, these experiments will soon be equipped with...
详细信息
ISBN:
(数字)9798331524937
ISBN:
(纸本)9798331524944
The cosmic microwave background (CMB) experiments have reached an era of unprecedented precision and complexity. Aiming to detect the primordial B-mode polarization signal, these experiments will soon be equipped with $10^{4}$ to $10^{5}$ detectors. Consequently, future CMB missions will face the substantial challenge of efficiently processing vast amounts of raw data to produce the initial scientific outputs - the sky maps - within a reasonable time frame and with available computational resources. To address this, we introduce BrahMap, a new map-making framework that will be scalable across both CPU and GPU platforms. Implemented in C++ with a user-friendly Python interface for handling sparse linear systems, BrahMap employs advanced numerical analysis and high-performance computing techniques to maximize the use of super-computing infrastructure. This work features an overview of the BrahMap’s capabilities and preliminary performance scaling results, with application to a generic CMB polarization experiment.
To support software developers in understanding and maintaining programs, various automatic (source) code summarization techniques have been proposed to generate a concise natural language summary (i.e., comment) for ...
详细信息
ISBN:
(数字)9798331505691
ISBN:
(纸本)9798331505707
To support software developers in understanding and maintaining programs, various automatic (source) code summarization techniques have been proposed to generate a concise natural language summary (i.e., comment) for a given code snippet. Recently, the emergence of large language models (LLMs) has led to a great boost in the performance of coderelated tasks. In this paper, we undertake a systematic and comprehensive study on code summarization in the era of LLMs, which covers multiple aspects involved in the workflow of LLMbased code summarization. Specifically, we begin by examining prevalent automated evaluation methods for assessing the quality of summaries generated by LLMs and find that the results of the GPT-4 evaluation method are most closely aligned with human evaluation. Then, we explore the effectiveness of five prompting techniques (zero-shot, few-shot, chain-of-thought, critique, and expert) in adapting LLMs to code summarization tasks. Contrary to expectations, advanced prompting techniques may not outperform simple zero-shot prompting. Next, we investigate the impact of LLMs' model settings (including top_p and temperature parameters) on the quality of generated summaries. We find the impact of the two parameters on summary quality varies by the base LLM and programming language, but their impacts are similar. Moreover, we canvass LLMs' abilities to summarize code snippets in distinct types of programming languages. The results reveal that LLMs perform suboptimally when summarizing code written in logic programming languages compared to other language types (e.g., procedural and object-orientedprogramming languages). Finally, we unexpectedly find that CodeLlamaInstruct with 7B parameters can outperform advanced GPT-4 in generating summaries describing code design rationale and asserting code properties. We hope that our findings can provide a comprehensive understanding of code summarization in the era of LLMs.
Several research works have been performed on the spectrum-based fault localization (SBFL) technique that aims to identify and isolate suspicious errors during software development in traditional programming paradigms...
详细信息
ISBN:
(数字)9798331508142
ISBN:
(纸本)9798331508159
Several research works have been performed on the spectrum-based fault localization (SBFL) technique that aims to identify and isolate suspicious errors during software development in traditional programming paradigms such as imperative and object-orientedprogramming. After extensive research, I noticed that there seem to be few research works that connect SBFL and reactive programming. Since reactive programming is centered on data streams and the propagation of changes where states are updated asynchronously in response to external stimuli, the traditional coverage-based spectrum seems to be less appropriate for reactive programs. Having considered these limitations, my aim is to investigate and develop a new technique to apply and enhance the traditional SBFL for reactive programming. In this doctoral symposium, I present my research topic, the relevant research questions based on the topic, and outline some plans to be considered in the remaining period of my PhD research work.
In object-orientedprogramming, it is reasonable to hypothesize that smaller classes with fewer methods are less complex. Should this hypothesis hold true, it would be advisable for programmers to design classes with ...
详细信息
Modern building automation systems are subject to major challenges. Their architecture becomes increasingly diversified. Recent developments, such as increased digitization and Internet of Things (IoT) enable new impl...
详细信息
ISBN:
(数字)9798331527198
ISBN:
(纸本)9798331527204
Modern building automation systems are subject to major challenges. Their architecture becomes increasingly diversified. Recent developments, such as increased digitization and Internet of Things (IoT) enable new implementation and application opportunities. The main modeling method regarding the development and management of digital representations of physical and functional characteristics of buildings is referred to Building Information Modeling (BIM).In this paper, we describe how planning rules sets from existing tools can be split, structured, and integrated with established external BIM-based building planning tools to improve the collaboration between various trades. In our case study, we utilized Autodesk Revit as an example of a BIM-based planning tool that can be used for the proposed integration approach.
The integration of large language models (LLMs) into computing education offers many potential benefits to student learning, and several novel pedagogical approaches have been reported in the literature. However LLMs ...
详细信息
object affordance reasoning, the ability to infer object functionalities based on physical properties, is fundamental for task-oriented planning and activities in both humans and Artificial Intelligence (AI). This cap...
详细信息
Unmanned Aerial Vehicles (UAVs) have been utilised as critical tools in a wide range application from military to civilian purposes. Designing UAVs involves interactions between various subsystems such as aerodynamics...
详细信息
ISBN:
(数字)9798331506018
ISBN:
(纸本)9798331506025
Unmanned Aerial Vehicles (UAVs) have been utilised as critical tools in a wide range application from military to civilian purposes. Designing UAVs involves interactions between various subsystems such as aerodynamics, structures and propulsion. In order to tackle the complexity of such interactions, a multidisciplinary design optimisation (MDO) approach can then be used to achieve an optimisation of the entire UAV system. This paper presents a conceptual design of a MDO framework for UAVs developed in MATLAB. The proposed framework integrates various disciplines enhancing the ability to conduct comprehensive multidisciplinary design analysis. A key feature of this framework is the use of object-orientedprogramming (OOP) which establishes the organisation and management of all data and processes. As for the case studies, a simple example was applied to demonstrate the reliability of the proposed methodology. The second example case was a more complex scenario focusing on the optimal design of a battery-powered Vertical Take-Off and Landing (VTOL) UAV using low-fidelity models. The results from these case studies showed that the proposed MDO architecture performed well and provided valuable insights into UAV design optimisation.
We introduce a novel programming model, Data Spatial programming, which extends the semantics of object-orientedprogramming (OOP) by introducing new class-like constructs called archetypes. These archetypes encapsula...
详细信息
The concept of cognition is central to many disciplines, such as psychology, neuroscience, Artificial Intelligence, and philosophy of mind. Despite some divergent perspectives, cognition is defined in a strictly bioch...
详细信息
暂无评论