Collaboration among team members plays a crucial role in the success of software projects. GitHub has emerged as a prominent platform for collaborative software development. This study focuses on analyzing GitHub repo...
Collaboration among team members plays a crucial role in the success of software projects. GitHub has emerged as a prominent platform for collaborative software development. This study focuses on analyzing GitHub repositories to gain insights into project status and participant characteristics based on development activities such as commits and pull requests. Utilizing a discrete time Markov chain, this research models GitHub repositories and employs probabilistic temporal logic and model checking to shed light on the activity levels of both projects and participants. We expect that understanding these observed trends and patterns can assist project managers in strengthening teamwork and fostering productive collaboration.
Children's dental caries is a common oral health issue, causing pain and discomfort. Therefore, oral health plays a crucial role in children's growth and development. However, regular dental check-ups and cons...
详细信息
This work aims to use EEG brain signals captured from the scalp of subjects at 500 Hz for classification of grasping tasks which is useful for BCI (Brain-Computer Interface) and comparative analysis of appropriate Mac...
详细信息
In this paper, a novel approach to develop ground flash density (GFD) maps based on six years of lightning flash data from 2012 to 2017 in Peninsular Malaysia. By leveraging advanced Geographical Information System (G...
详细信息
To improve the safety level of military flight training, a safety evaluation method of airspace management is proposed. In this method, firstly, AHP and entropy method are used to calculate the comprehensive weight va...
详细信息
ISBN:
(数字)9798350393682
ISBN:
(纸本)9798350393699
To improve the safety level of military flight training, a safety evaluation method of airspace management is proposed. In this method, firstly, AHP and entropy method are used to calculate the comprehensive weight value of airspace management safety evaluation index of military flight training; Then, the grey comprehensive evaluation method is applied to evaluate the safety of airspace management of military flight training. The actual example indicates that the proposed method can evaluate the airspace management safety of military flight training, and can obtain correct and objective evaluation, thus verifying its effectiveness.
Machine learning is considered to be an emerging technology that can be widely used. The construction of power system has always been an important field of social livelihood security and development in China. In recen...
详细信息
Antenna systems must keep up with ever-increasing requirements and technical difficulties as wireless communications remain relevant. Microstrip patch antennas were chosen for their benefits. This study aimed to simul...
详细信息
Message-passing interface (MPI) programs are non-deterministic and challenging to ensure correctness. The introduction of one-sided communications makes the problem of non-determinism more severe for MPI programs. Thi...
Message-passing interface (MPI) programs are non-deterministic and challenging to ensure correctness. The introduction of one-sided communications makes the problem of non-determinism more severe for MPI programs. This paper reports our in-progress work of symbolic execution for the MPI programs with one-sided communications. Our approach can cover the non-determinism caused by the inputs, one-sided communication, and message- passing operations of MPI programs. The preliminary evaluation's results indicate the promising of our approach.
Designing Cyber-Physical Systems (CPS) is a complex task involving integrating physical and digital components to achieve specific objectives. This process consolidates data from various Internet of Things (IoT) devic...
Designing Cyber-Physical Systems (CPS) is a complex task involving integrating physical and digital components to achieve specific objectives. This process consolidates data from various Internet of Things (IoT) devices and sources to generate meaningful insights and actionable outcomes. IoT-cloud data communication comprises multiple stages, e.g., data collection, processing, analysis, and visualization. Adopting a comprehensive approach that considers physical and digital aspects is essential to ensure effective data communication in CPS. As a result, architectural design choices are crucial in determining CPS functionality and runtime qualities, e.g., performance, security, and reliability. While numerous CPS architectural patterns and practices have been proposed, much of the relevant knowledge remains scattered across various sources, such as practitioner blogs and system documentation. These sources are often based on personal experiences and lack consistency. To address this gap, our study presents the outcomes of an in-depth qualitative investigation into practitioners' descriptions of the best practices and patterns in CPS architecture. We have developed a formal architectural decision model using a model-based qualitative research method. We aim to bridge the division between scientific understanding and practical use cases, enhance comprehension of practitioners' approaches to CPS, and provide decision-making support for designing CPS applications.
With the development of intelligent driving assistance technology, precise positioning in urban complex environment is one of the application difficulties of navigation and positioning at present. The classical GPS / ...
详细信息
暂无评论