Article
Computer Science, Software Engineering
Phillip James, Faron Moller, Filippos Pantekis
Summary: OnTrack is a tool that supports railway verification workflows using model driven engineering frameworks, allowing railway engineers to interact with verification procedures through encapsulating formal methods.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Hardware & Architecture
Jose Luis de la Vara, Hector Bahamonde, Clara Ayora
Summary: Most safety-critical systems undergo rigorous assurance processes to ensure dependability, often in compliance with standards like DO-178C for aerospace software. However, following these standards can be challenging due to issues in their text, such as imprecision and ambiguity. This study introduces an approach using RQA - Quality Studio for evaluating the text quality of safety standards, identifying common issues like passive voice and imprecise modal verbs in DO-178C.
COMPUTER STANDARDS & INTERFACES
(2024)
Article
Computer Science, Software Engineering
Mohammad Mahdi Behzadi, Jiangce Chen, Horea T. Ilies
Summary: This paper proposes an approach to enhance the topological accuracy of machine learning-based topology optimization methods. The approach utilizes a predicted dual connectivity graph to improve the connectivity of the predicted designs. Experimental results show that the proposed method significantly improves the connectivity of the final predicted structures.
COMPUTER-AIDED DESIGN
(2024)
Article
Computer Science, Software Engineering
Zhen-Pei Wang, Brian N. Cox, Shemuel Joash Kuehsamy, Mark Hyunpong Jhon, Olivier Sudre, N. Sridhar, Gareth J. Conduit
Summary: Three-dimensional non-periodic woven composite preforms have great design flexibility, but the design space is too large. This paper proposes a Background Vector Method (BVM) for generating candidate designs that can adapt to local architecture and global design goals while ensuring fabricability. Examples are provided to illustrate the design scope and speed of the BVM, as well as pathways for incorporating it into optimization algorithms.
COMPUTER-AIDED DESIGN
(2024)
Article
Computer Science, Software Engineering
Rafael Maio, Tiago Araujo, Bernardo Marques, Andre Santos, Pedro Ramalho, Duarte Almeida, Paulo Dias, Beatriz Sousa Santos
Summary: Augmented Reality (AR) is a crucial technology in Industry 4.0 and smart manufacturing, particularly in the field of data monitoring. In this study, we developed a Pervasive AR tool for data monitoring, along with a web application for comparison purposes. User studies were conducted to gather feedback and evaluate the effectiveness of the systems, confirming the potential of Pervasive AR for data monitoring.
COMPUTERS & GRAPHICS-UK
(2024)
Article
Computer Science, Interdisciplinary Applications
Mostafa Abbaszadeh, Mahmoud A. Zaky, Ahmed S. Hendy, Mehdi Dehghan
Summary: In this paper, a novel numerical solution based on machine learning technique and a generalized moving least squares approximation is developed for solving two-dimensional fractional partial differential equations on irregular domains. The method approximates spatial derivatives on convex and non-convex non-rectangular computational domains and is validated on various specific problems.
MATHEMATICS AND COMPUTERS IN SIMULATION
(2024)
Article
Computer Science, Interdisciplinary Applications
Jaroslav Haslinger, Radek Kucera, Kristina Motyckova, Vaclav Satek
Summary: This paper focuses on the approximation and numerical realization of the three-dimensional Stokes system with Coulomb's slip boundary conditions. By using the P1+bubble/P1 elements to discretize the weak velocity-pressure formulation, the discrete non-smooth slip term and impermeability condition are effectively addressed. The duality approach and the semi-smooth Newton method are proposed as strategies for solving the resulting saddle-point problem.
MATHEMATICS AND COMPUTERS IN SIMULATION
(2024)
Article
Computer Science, Interdisciplinary Applications
Huixian Wang, Hongbin Chen, Jun Zhou
Summary: In this study, a simple and easy-to-implement discrete approximation method is proposed for one-dimensional higher-order integral fractional Laplacian (IFL), and it is applied to discretize the fractional biharmonic equation, multi-term fractional differential model, and fractal KdV equation. The convergence of the discrete approximation is proved and extensive numerical experiments are conducted to validate the analytical results. Additionally, new observations are discovered from the numerical results.
MATHEMATICS AND COMPUTERS IN SIMULATION
(2024)
Article
Computer Science, Interdisciplinary Applications
Nikhil Sriwastav, Amit K. Barnwal, Higinio Ramos, Ravi P. Agarwal, Mehakpreet Singh
Summary: In this article, a novel approach based on the shooting projection method and the Legendre wavelet operational matrix formulation is proposed for approximating a class of two-point singular boundary value problems (SBVPs) with Dirichlet and Neumann-Robin boundary conditions. The approach involves making an initial guess in contrast to the boundary conditions, solving the initial value problem using the Legendre wavelet operational matrix method, and iteratively improving the initial condition using a shooting projection method until the desired accuracy is achieved.
MATHEMATICS AND COMPUTERS IN SIMULATION
(2024)
Article
Computer Science, Interdisciplinary Applications
Safieh Bagheri, Mohammad Hossein Akrami, Ghasem Barid Loghmani, Mohammad Heydari
Summary: This study aims to investigate an epidemic model with diffusion in the predator-prey interaction. The stability and traveling wave solutions of the model are examined through numerical simulations and linear determinacy.
MATHEMATICS AND COMPUTERS IN SIMULATION
(2024)
Article
Computer Science, Hardware & Architecture
Zihang Zhen, Xiaoding Wang, Hui Lin, Sahil Garg, Prabhat Kumar, M. Shamim Hossain
Summary: In this paper, a blockchain architecture based on dynamic state sharding (DSSBD) is proposed to solve the problems caused by cross-shard transactions and reconfiguration. By utilizing deep reinforcement learning, the number of shards, block spacing, and block size can be dynamically adjusted to improve the performance of the blockchain. The experimental results show that the crowdsourcing system with DSSBD has better performance in terms of throughput, latency, balancing, cross-shard transaction proportion, and node reconfiguration proportion, while ensuring security.
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
(2024)
Article
Computer Science, Information Systems
Jyoti Prakash Meher, Sourav Biswas, Rajib Mall
Summary: Accurate bug classification is important for speeding up bug triage, code inspection, and repair tasks. To improve classification, this study proposes a novel bug classification approach based on deep learning. The approach includes building a bug taxonomy with eight bug classes using keywords, annotating a large set of bug resolution reports, and utilizing attention-based classification techniques. Experimental results show that the proposed technique outperforms existing methods in terms of F1-Score by an average of 16.88% on the considered dataset.
INFORMATION AND SOFTWARE TECHNOLOGY
(2024)
Article
Computer Science, Software Engineering
Ulderico Fugacci, Chiara Romanengo, Bianca Falcidieno, Silvia Biasotti
Summary: This paper proposes a method for suitably resampling a 3D point cloud while preserving the feature curves to which some points belong. The method enriches the cloud by approximating curvilinear profiles and allows for point removal or insertion without affecting the approximated profiles. The effectiveness of the method is evaluated through experiments and comparisons.
COMPUTER-AIDED DESIGN
(2024)
Article
Computer Science, Software Engineering
Ali Egemen Tasoren, Ufuk Celikcan
Summary: By developing the NOVAction engine, we have created the NOVAction23 dataset, which consists of highly diversified and photorealistic synthetic human action sequences. This dataset is significant in improving the performance of human action recognition.
COMPUTERS & GRAPHICS-UK
(2024)
Article
Computer Science, Information Systems
Md. Shamsujjoha, John Grundy, Hourieh Khalajzadeh, Qinghua Lu, Li Li
Summary: This paper investigates the challenges and benefits of incorporating human aspects into eHealth app development and usage from the perspectives of developers and end-users. The study used a mixed-method approach and gathered data from online surveys and interviews. The findings suggest that addressing human aspects throughout the app development life-cycle is beneficial for more effective eHealth apps.
INFORMATION AND SOFTWARE TECHNOLOGY
(2024)
Article
Computer Science, Interdisciplinary Applications
Naho Akiyama, Toshihiro Yamada
Summary: The paper presents a novel algorithmic differentiation method using a weak approximation of the Bismut formula. It introduces a new operator splitting method based on Gaussian Kusuoka approximation for an enlarged semigroup that describes the differentiation of diffusion semigroup. The effectiveness of the new algorithmic differentiation is demonstrated through numerical examples.
MATHEMATICS AND COMPUTERS IN SIMULATION
(2024)
Article
Computer Science, Information Systems
Chao Liu, Runfeng Cai, Yiqun Zhou, Xin Chen, Haibo Hu, Meng Yan
Summary: This paper conducts an empirical study on the implementation issues of deep learning frameworks, focusing on relevant questions on Stack Overflow. The study identifies various implementation issues and constructs a taxonomy, revealing that data processing, model setting, model training, and model prediction are the most common categories. The paper also provides suggestions for future research and aims to help developers and researchers understand these issues better.
INFORMATION AND SOFTWARE TECHNOLOGY
(2024)
Article
Computer Science, Software Engineering
Edgar Sarmiento-Calisaya, Julio Cesar Sampaio do Prado Leite
Summary: This research introduces an automated requirements analysis approach that combines natural language processing, Petri-nets, and visualization techniques to improve the quality of scenario-based specifications, identify defects, and anticipate inconsistencies.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)
Article
Computer Science, Information Systems
Pilsu Jung, Seonah Lee, Uicheon Lee
Summary: This study proposes an automated code-based approach (ActSPL) for reusing SPL test cases by utilizing source code and test cases. The results show that ActSPL achieves high precision and recall, and significantly reduces the time required for testing a new product.
INFORMATION AND SOFTWARE TECHNOLOGY
(2024)
Article
Computer Science, Software Engineering
Jessica Diaz, Jorge Perez, Isaque Alves, Fabio Kon, Leonardo Leite, Paulo Meirelles, Carla Rocha
Summary: This paper presents empirical research on the structure of DevOps teams in software-producing organizations to better understand the organizational structure and characteristics of teams adopting DevOps. A theory of DevOps taxonomies is built through analysis, and its consistency with other taxonomies is tested.
JOURNAL OF SYSTEMS AND SOFTWARE
(2024)