This paper proposes a CKF-MPSP guidance method for hitting stationary targets with impact time and angle constraints for missiles in the presence of modeling errors. This innovative guidance scheme is composed of three parts: First, the model predict...
Thepaper presents an efficient model predictive control framework formulated as a linear programming problem to control a servo drive with model uncertainty considerations from the viewpoint of the control performance. The model predictive framework...
This paper presents GraphPPL.jl, a novel probabilistic programming language designed for graphical models. GraphPPL.jl uniquely represents probabilistic models as factor graphs. A notable feature of GraphPPL.jl is its model nesting capability, which...
In verifying programs for embedded systems, it is essential to reduce the verification time because state explosion may occur during model checking. One solution is to reduce the number of interrupt handler executions. In particular, when periodic in...
While the international lockdown for the COVID-19 pandemic has greatly influenced the global economy, we are still confronted with the dilemma about the economy recession when the stock market hits record highs repeatedly. As we know, since portfolio...
The significance of spillways is to allow the flood to be safely discharged from downstream. There is a strong correlation between the poor design of spillways and the failures of dams. In order to address this concern, the present study investigates...
Determining the interventions, e.g., maintenance, renewal, improvement and extension, to be included in an infrastructure program requires the consideration of the asset, intervention, traffic, and network characteristics. This, in turn, requires the...
In this study, a farm-scale mathematical programming model for sheep and goat farms is proposed to simulate economic performance, including new resilience sheep traits that allow animals to counteract the presence of infectious and noninfectious dise...
Based on the current background of airport management and flight-gate scheduling in China, this paper takes Shanghai Pudong International Airport’s flight number of the rising and landing aircraft in a certain day as the research object, and it estab...
GeoGebra is an interactive geometry, algebra, statistics, and calculus application designed for teaching and learning math, science, and engineering. Its dynamic interface allows its users to accurately and interactively visualize their work, models,...
In this work, the state estimation problem of electric power systems is represented through a mathematical programming approach. Initially, a non-linear mathematical model based on the classical method of weighted least squares is proposed to solve t...
As an indispensable necessity in daily routine of citizens, hazardous materials (Hazmat) not only plays an increasingly important role, but also brings a series of transportation uncertainty phenomena, the most prominent of which is a safety problem....
Automatic optical inspection (AOI) is a control process for precisely evaluating the completeness and quality of manufactured products with the help of visual information. Automatic optical inspection systems include cameras, light sources, and objec...
The Ecovat is a seasonal thermal storage solution consisting of a large underground water tank divided into a number of virtual segments that can be individually charged and discharged. The goal of the Ecovat is to supply heat demand to a neighborhoo...
This paper introduces innovative approaches to enhance and develop one-equation RANS models using gene-expression programming. Two distinct strategies are explored: overcoming the limitations of the Boussinesq hypothesis and formulating a novel one-e...
The purpose of this study is to create a bi-level programming model for the optimal bus stop spacing of a bus rapid transit (BRT) system, to ensure simultaneous coordination and consider the interests of bus companies and passengers. The top-level mo...
Various software testing techniques have been shown to be successful in producing high-quality test suites for software where the code is not accessible (black-box approach). Nevertheless, no method has been found to guide combining some of these in...
A Transient Storage Model (TSM), which considers the storage exchange process that induces an abnormal mixing phenomenon, has been widely used to analyze solute transport in natural rivers. The primary step in applying TSM is a calibration of four ke...
With regard to the interval number-based uncertain multi-attribute decision making problem, in which the attribute weights are unknown and there is no preference on decision-making alternative objects, this paper presents a new decision-making approa...
Service network design is fundamentally crucial for railway express cargo transportation. The main challenge is to strike a balance between two conflicting objectives: low network setup costs and high expected operational incomes. Different configura...
29 October 2021
This participatory action research study was conducted to confirm the implementation process and effect of developing and applying a preceptor education program based on the One-Minute Preceptor Model to foster the competence of preceptor clinical nu...
Preserving the frequency stability of multiple microgrid clusters is a serious challenge. This work presents a dynamic model of multiple microgrid clusters with different types of distributed energy resources (DERs) and energy storage systems (ESSs)...
Maintaining a balance between revenue and expenditure is the key to the sustainable development of a bicycle sharing system (BSS), and is a challenge for almost all systems worldwide. This article proposes a dynamic programming approach to obtain the...
The fashion industry is one of the world’s largest and third most polluting industries. It produces a carbon footprint of around 10% annually, which is much higher than the footprint produced by flights and shipping. Nowadays, there is an incre...
This study investigates the effects of LLM-based coding assistance on web application development by students using a frontend framework. Rather than comparing different models, it focuses on how students interact with LLM tools to isolate the impact...
In this paper, machinability influences from the start to end of final product production in a steel plant were analyzed, including chemical composition, deoxidizing agents and casting parameters, which drastically influence the macrostructure and se...
Under fatigue loading, the interfacial fatigue life of fiber-reinforced polymer(FRP)–concrete is an important index for the analysis of the fatigue performance of reinforced concrete beams strengthened with FRP materials and the evaluation of t...
We introduce BERT mutation, a novel, domain-independent mutation operator for Genetic Programming (GP) that leverages advanced Natural Language Processing (NLP) techniques to improve convergence, particularly using the Masked Language Modeling approa...
This work proposes a mixed-integer linear programming model for the operational cost function of lithium-ion batteries that should be applied in a microgrid centralized controller. Such a controller aims to supply loads while optimizing the leveled c...
Recent advancements in Large Language Models (LLMs) like ChatGPT and Copilot have led to their integration into various educational domains, including software development education. Regular use of LLMs in the learning process is still not well-resea...
As a clean energy, Liquefied Petroleum Gas (LPG) is consistent with the coordinated and sustainable development of both the economy and environment. However, LPG is a hazardous material (hazmat) and is thus always transported in cylinders by vehicles...
The accurate prediction of the compression index (Cc) is crucial for understanding the settlement behavior of clayey soils, which is a key factor in geotechnical design. Traditional empirical models, while widely used, often fail to generalize across...
Global warming is a critical issue today, largely due to the widespread use of fossil fuels in everyday life. One promising solution to reduce reliance on conventional energy sources is to promote the use of renewable power. In particular, to encoura...
The purpose of this article is to demonstrate the potential of gene expression programming (GEP) in anticipating the compressive strength of circular CFRP confined concrete columns. A new GEP model has been developed based on a credible and extensive...
Due to the uncertainty of risk occurrence and the severity of accident consequences in the process of hazardous chemical storage, there are many stakeholders involved in the management and supervision of hazardous chemical storage, and their interest...
With the increasing frequency of extreme weather events, global concerns regarding climate change have intensified, with carbon dioxide widely recognized as the primary driver of global warming and climate disruption. It is necessary to investigate h...
The assessment of seismic performance of existing masonry structures is a key aspect for the risk mitigation strategies of existing buildings and preservation of historical heritage. The increasing availability of modelling approaches for the assessm...
Watershed Investment Programs (WIPs) face many challenges in implementing strategies aimed at restoring and preserving ecosystem services using Nature-based Solutions (NbS). A key challenge lies in defining SMART (Specific, Measurable, Achievable, Re...
Quantifying the benefits of construction supply chain management through prescriptive models is a challenging and fast-growing research area that still lacks standardized optimization models with full integrative potential. In response to the needs a...
When the Winter Olympic Games were held, several roads were divided into exclusive lanes for the Winter Olympics to ensure the smooth passage of Winter Olympic vehicles. This reduced the number of lanes available for private vehicles, which caused a...
The optimal structural design is imperative in order to minimize material consumption and reduce the environmental impacts of construction. Given the complexity in the formulation of structural design problems, the process of optimization is commonly...
With the rapid growth of electricity demand in industrial parks and the increasing penetration of renewable energy, vehicle-to-grid (V2G) technology has become an important enabler for mitigating grid stress while improving charging economy. This pap...
Construction information technology (CIT), particularly building information modeling, is globally embraced in industry but relatively new to Japanese universities because of its unique interdisciplinary nature. This presents challenges for students...
Embedded software has properties dependent on hardware (direct operation of address spaces, memory mapped I/O, interruption, etc.). Therefore, demands about the established method of formal verifications corresponding to those properties are increasi...
To support the national goals of carbon peaking and carbon neutrality, this study proposes a household carbon emission prediction model based on Gene Expression Programming (GEP) for low-carbon retrofitting of aging residential areas in arid-cold reg...
Providing safe, environmentally conscious, and cost-effective designs is the primary duty of civil engineers. To this end, many different algorithms and methods have been developed in parallel with the progress of digital technologies over the past d...
24 March 2016
Understanding abandoned mine land (AML) changes during land reclamation is crucial for reusing damaged land resources and formulating sound ecological restoration policies. This study combines the linear programming (LP) model and the CLUE-S model to...
The rate of software development has increased dramatically. Conventional compilers cannot assess and detect all source code errors. Software may thus contain errors, negatively affecting end-users. It is also difficult to assess and detect source co...
The installation of offshore wind farms poses particular challenges due to expensive resources and quickly changing weather conditions. Model-based decision-support systems are required to achieve an efficient installation. In the literature, there e...
25 October 2019
People explosion and fast economic growth are bringing a more serious land resource shortage crisis. Rational land-use allocation can effectively reduce this burden. Existing land-use allocation models may deal with a lot of challenges of land-use pl...
of 384