Navigation fixed from range differences to three stations and an additional piece of information are investigated. It is shown that if the navigator altitude, or difference a fourth station, computation navigation fix reduced finding roots quadratic. If another on Earth ellipsoid, can be obtained by solving quartic. By emphasizing underlying geometric interpretations, these fixes their simple solutions made clear. The derivations also show same solution algorithms applicable basic...

Traditional slope stability analysis methods are time-consuming, complex, and cannot provide fast estimates when facing a large amount of cases. In this case, artificial neural networks (ANN) better alternative. Based on the ANN, particle swarm optimization (PSO) algorithm, principal component (PCA) method, novel PCA-PANN model is proposed. Then, dataset 307 cases covering wide range geometries mechanical properties geomaterial developed. The hybrid machine learning trained with applied to...

Augmenting large language models (LLMs) with external tools has emerged as a promising approach to extending the capability of LLMs. Although there are some works that employ open-source LLMs for tool-learning task, most them trained in controlled environment which only learn execute human-provided tools. However, selecting proper from toolset is also crucial ability model be applied real-world applications. Existing methods usually directly self-instruction train model, ignores differences...

The two main parameters of grouting volume and pressure are the keys to ensuring quality postgrouting. However, there is no equation for predicting long large-diameter postgrouting drilled shafts. In this paper, field data 708 shafts in 128 projects were systematically investigated utilizing mathematical statistics, equations termination suitable various soil layers proposed. range coefficients classified by types was defined. When establishing a shaft, influences cement grout weight pipe...

Imagine there is a disruption in train 1 near Times Square metro station. You try to find an alternative subway route the JFK airport on Google Maps, but app fails provide suitable recommendation that takes into account and your preferences avoid crowded stations. We many such situations, current navigation apps may fall short fail give reasonable recommendation. To fill this gap, paper, we develop prototype, TraveLLM, plan routing of public transit face relies Large Language Models (LLMs)....

In this paper, a method is proposed for offline signature verification. It based on smoothness criterion. observed that the cursive segments of forgery signatures are generally less smooth and natural than genuine ones, especially those consist graphic patterns. Two approaches to extract feature: crossing fractal dimension method. When feature combined with other global shape features verification, satisfactory results obtained.

The evaluation of the GPS navigation performance is essentially equivalent to computation diagonal terms geometric dilution precision (GDOP) matrix. Certain theoretical results concerning general properties GDOP matrix are obtained. An efficient algorithm for and index given; applications illustrated by numerical examples.

According to the field static loading test performed on super-long drilled shaft, influence of combined grouting bearing capacity and displacement control ability shaft was explored. Test results showed that improved shafts by about 70%–80%. The enhanced side resistance, proportion resistance fncreased after grouting. grouting, maximum base decreases 20 mm improvement effect related buried depth soil type. engineering provided references for application in shaft.

The Navstar Global Positioning System (GPS) navigation data obtained from an experimental GPS receiver/processor package (GPSPAC) onboard the Landsat-4 spacecraft are evaluated for their accuracy and reliability use in orbit determination. Different determination scenarios methods considered. parameters estimated include a subset of three clock atmospheric drag coefficient, addition to orbital elements. It is found that solutions based on delta pseudorange generally agree with definitive...

This paper aims to develop a learning method for special class of traveling salesman problems (TSP), namely, the pickup-and-delivery TSP (PDTSP), which finds shortest tour along sequence one-to-one nodes. One-to-one here means that transported people or goods are associated with designated pairs pickup and delivery nodes, in contrast indistinguishable can be delivered any In PDTSP, precedence constraints need satisfied each node must visited before its corresponding node. Classic operations...

Falls pose a significant threat to human safety, making rapid and accurate detection response essential. Time Exploration Network (TExNet), an attention-enhanced network tailored for identifying falls accurately rapidly, is proposed in this paper. Unlike existing studies that rely on simulated environments, TExNet addresses the gap between real scenarios by integrating multi-branch timing classification characteristics. It features two-branch adaptive fusion framework, leveraging...

MuZero has demonstrated remarkable performance in board and video games where Monte Carlo tree search (MCTS) method is utilized to learn adapt different game environments. This paper leverages the strength of enhance agents’ planning capability for joint active simultaneous localization mapping (SLAM) navigation tasks, which require an agent navigate unknown environment while simultaneously constructing a map localizing itself. We propose SLAMuZero, novel approach SLAM navigation, employs...

Large language models (LLMs) face challenges with internal knowledge inaccuracies and outdated information. Knowledge editing has emerged as a pivotal approach to mitigate these issues. Although current techniques exhibit promising performance in single-hop reasoning tasks, they show limitations when applied multi-hop reasoning. Drawing on cognitive neuroscience the operational mechanisms of LLMs, we hypothesize that residual after causes edited revert their original answers processing...

In this study, the authors study stability of interval quasi-polynomials with fixed delay and delay. The quasi-polynomial a coefficient can be checked by frequency characteristic plot. vertex coefficients are defined. Two theorems presented to determine quasi-polynomials. Stability or may determined eight 16 example is given illustrate proposed method.

Augmenting large language models (LLMs) with external tools has emerged as a promising approach to extending the capability of LLMs. Although some works employ open-source LLMs for tool learning task, most them are trained in controlled environment which only learn execute human-provided tools. However, selecting proper from toolset is also crucial ability model be applied real-world applications. Existing methods usually directly self-instruction train model, ignores differences complexity....

A simple and direct proof of the minimum variance property linear weighted least-squares estimator is presented.