The present paper reports an alternative solution of the measurement problem in quantum theory. The measurement problem can be characterized as that the U-procedure verses the R-procedure. The R-procedure is tested by the Yes/No measurement originally proposed by von Neuman and discussed in details by Penrose. We propose a novel stochastic sampling method to tackle the measurement paradox. Each testing sample produces a pair of Yes-number c and No-number d, which in turn generates a sample phase with respect to the exponential form of (c+id). All the sample phases forms a group G_R. Taking G_R as the sampling potential, combined with the dynamic phase group G_U，we establish a unified model of U-procedure and R-procedure for the evolution of wavefunction. Based on the Born rule, the probability of a sample is given by the squared magnitude of （c+id）. Some metaproperties of the new U-R model, such as natural transformation, consistency, and completeness, are presented. The present work provides a new picture of quantum mechanics and alike. The measurement problem widely exists in dynamic analysis, higher cognition, and large data modeling. Thus, the work reported here has a wide range of applications. Keywords: The measurement problem; U-R procedures; the Yes/No type measurement; stochastic sampling; sample phase; Born probability.

This research employs a spatial optimization approach customized for addressing equitable emergency medical facility location problems, through the p-dispersed-median problem (p-DIME). The p-DIME integrates two conflicting classes of spatial optimization problems, dispersion, and median problems, aiming to identify the optimal locations for emergency medical facilities to achieve a balanced spatial distribution of emergency medical services (EMS) while effectively serving demands. To demonstrate the utility of the p-DIME model, we selected Gyeongsangbuk-do in South Korea, recognized as one of the most challenging areas for providing EMS to the elderly population (aged 65 and over). This challenge arises from the significant spatial disparity in the distribution of emergency medical facilities. The results of the model assessment gauge the spatial disparity of EMS, provide significantly enhanced solutions for a more equitable EMS distribution in terms of service coverage, and offer policy implications for future EMS location planning. In addition, to address the computational challenges posed by p-DIME's inherent complexity, involving mixed-integer programming, this study introduces a solution technique through constraint formulations aimed at tightening the lower bounds of the problem's solution space. The computational results confirm the effectiveness of this approach in ensuring reliable computational performance, with significant reductions in solution times, while still producing optimal solutions.

With the continuous improvement and observable benefits of electric vehicles (EVs), major logistic companies are introducing more EVs into their conventional fleets. This gives rise to a new type of vehicle routing problem with mixed vehicles, where heterogeneous internal combustion vehicles (ICVs) and electric vehicles are considered in route planning. In addition, certain deliveries that are not efficient on any type of vehicles, are outsourced to third-party common carriers. In this paper, we define this problem as a mixed vehicle routing problem with common carriers (MVRPC). The objective of such problems is to minimize the transportation costs by considering routes with ICVs and EVs, the possibility of visiting recharging stations, outsourcing options, and drivers’ layover regulations. This variant of the vehicle routing problems has many practical applications, particularly in the design of long-haul transportation and last-mile delivery services. Effective MVRPC solutions play a key role in promoting the going Green image and optimally allocating resources. The problem has received limited attention in the literature likely because addressing all the needed aspects is especially challenging. To solve the large-scale problem, we develop a branch-and-cut pricing framework that relies on strong cuts and customized labeling algorithms. Numerical experiments highlight the effectiveness of our algorithm. This success can be attributed to tailored critical resources, dynamically bounded bidirectional labeling procedures, strong dominance criteria, and implementation strategies.

Previous research on the relative benefits of Augmentative and Alternative Communication Systems (AACs) has indicated controversial results regarding the effectiveness, the ease of use, and the preference for the different systems. The study aims to observe the comparative effectiveness of two different Augmentative and Alternative Communication (AAC) tools, the Picture Exchange Communication System (PECS) and a speech-generating device (SGD), as communication aids for children with autism. Three children with severe autism and minimally verbally or with no functional language participated. The results showed an increase of communicative behavior with both AAC intervention strategies and a speed acquisition time slightly shorter for the SGD training. Two of the three participants showed a preference for the use of the SGD. Reduction in problem behaviors and improvement in vocal production was observed for one of the participants. Results suggest that PECS and SGD are similarly appropriate for the development of initial request skills and that they can encourage vocal production in students with specific prerequisites.

In this study, we introduce a new class of bi-univalent functions using q-Janowski Function. We derive the Fekete-Szegö functional problems for functions in this new subclass, as well as estimates for the Taylor-Maclaurin coefficients |α2| and |α3|. Furthermore, a collection of fresh outcomes are3 presented by customizing the parameters employed in our initial discoveries.

Traveling salesman problems (TSPs) are well-known combinatorial optimization problems, and most existing algorithms are challenging for solving TSPs when its scale is large. To improve the efficiency of solving large-scale TSPs, this work presents a novel adaptive layered clustering framework with improved genetic algorithm (ALC\_IGA). The primary idea behind ALC\_IGA is to break down a large-scale problem into a series of small-scale problems. First, the $k$-means and improved genetic algorithm are used to segment the large-scale TSPs layer by layer and generate the initial solution. Then, the developed two phases simplified $2$-opt algorithm is applied to further improve the quality of the initial solution. The analysis reveals that the computational complexity of the ALC\_IGA is between $O(n\log n)$ and $O(n^2)$. The results of numerical experiments on various TSP instances indicate that, in most situations, the ALC\_IGA surpasses the state-of-the-art algorithms in convergence speed, stability, and solution quality. Specifically, the ALC\_IGA can solve instances with $2 \times 10^5$ nodes within 0.15h, $1.4 \times 10^6$ nodes within 1h, and $2 \times 10^6$ nodes in three dimensions within 1.5h.

We investigate a family of nonlinear partial differential equations which are singularly perturbed in a complex parameter and singular in a complex time variable at the origin. These equations combine differential operators of Fuchsian type in time and space derivatives on horizontal strips in the complex plane with a nonlocal operator acting on the complex parameter known as the formal monodromy around 0. Their coefficients and forcing terms comprise polynomial and logarithmic type functions in time and are bounded holomorphic in space. A set of logarithmic type solutions are shaped by means of Laplace transforms relatively to time and parameter and Fourier integrals in space. Furthermore, a formal logarithmic type solution is modeled which represents the common asymptotic expansion of Gevrey type of the genuine solutions with respect to the complex parameter on bounded sectors at the origin.

For each $t\in(-1,1)$, exact values of the least upper bounds $$ H(t)=\sup_{\E X=t,\,\E X^2=1} \frac{\E\abs{X}^3}{\E \abs{X-t}^3},\quad \sup_{\E X=t,\,\E X^2=1} \frac{L_1(X)}{L_1(X-t)} $$ are obtained, where $L_1(X)=\E|X|^3/(\E X^2)^{3/2}$ is the non-cental Lyapunov ratio. It is demonstrated that these values are attained only at two-point distributions. As a corollary, S.\,Shorgin's conjecture is proved that states that the exact value is $$ \sup\frac{L_1(X)}{L_1(X-\E X)}= \frac{\sqrt{17 + 7\sqrt7}}{4} = 1.4899\ldots, $$ where the supremum is taken over all non-degenerate distributions of the random variable $X$ with the finite third moment. Also, in terms of the central Lyapunov ratio $L_1(X-\E X)$, an analog of the Berry--Esseen inequality is proved for Poisson random sums of independent identically distributed random variables with the constant $$ 0.3031\cdot H\left(\frac{\E X}{\sqrt{\E X^2}}\right) \left(1-\frac{(\E X)^2}{\E X^2}\right)^{3/2} \le 0.3031\cdot \frac{\sqrt{17 + 7\sqrt7}}{4}<0.4517.$$ where $\Law(X)$ is the common distribution of the summands.

Distributed Systems architectures are becoming the standard computational model for processing and transportation of information, especially for Cloud Computing environments. The increase in demand for application processing and data management from enterprise and end-user workloads continues to move from a single-node client-server architecture to a distributed multitier design where data processing and transmission are segregated. Software development must considerer the orchestration required to provision its core components in order to deploy the services efficiently in many independent, loosely coupled - physically and virtually interconnected - data centers spread geographically, across the globe. This network routing challenge can be modeled as a variation of the Travelling Salesman Problem (TSP). This paper proposes a new optimization algorithm for optimum route selection using Algorithmic Information Theory. The Kelly criterion for a Shannon-Bernoulli process is used to generate a reliable quantitative algorithm to find a near optimal solution tour. The algorithm is then verified by comparing the results with heuristic solutions in 3 test cases. A statistical analysis is designed to measure the significance of the results between the algorithms and the entropy function can be derived from the distribution. The tested results shown an improvement in the solution quality by producing routes with smaller length and time requirements. The quality of the results proves the flexibility of the proposed algorithm for problems with different complexities without relying in nature-inspired models such as Genetic Algorithms and Simulated Annealing. This algorithm can be used by orchestration applications to deploy services across large cluster of nodes by making better decision in the route design.

ETS exposure has been shown as an important environmental risk factor in vulnerable population groups. The aim of the project is to analyze the relationships among the ETS and behavior and health in 6−15-year-old children in Slovakia. The status of physical and mental health of children in relation to exposure to tobacco smoke was examined in the representative group of 1478 school children. The methods used, included anonymous questionnaires filled in by parents, Columbia Impairment Scale (CIS), Behavior Problem Index (BPI) and anthropometry. The prevalence of passive smoking is the highest in the capital (27%) and southern cities. Significant relationships have been confirmed between ETS and the age, socio-economic status, the incompleteness of the family, the level of mother's education and the significantly higher prevalence of respiratory diseases (26.7%).The relationships of ETS with emotional (CIS scores ≥16) and behavioral functions (BPI score ≥14) were significant in children exposed to mother‘s and father‘s smoking at home. In the multivariate analysis this association was not significant; the factors such as income and completeness of the family were dominant. The results confirmed the impact of ETS and social factors on health state and health behavior and could be the argumentation for legislative changes.

The global issues of overweight and sedentary lifestyles demand comprehensive responses from health systems, yet health education still needs to be more cohesive and less sporadic. This study focuses on primary school children as a specific target for instilling healthy habits, employing ac-tive learning strategies to address healthy diet and physical activity. Through Problem-Based Learning projects, the study engaged fourth-grade primary students in acquiring healthy habits. The study was carried out over four consecutive years at a school with two lines, allowing the employment of an opportunity sample and evaluating intervention and control groups by com-paring their corresponding scores. Control groups integrated a total of 54 students, while the in-tervention group included a total of 159 students. A pre-test and post-test questionnaire were used for data collection. Evaluation differential scores revealed statistically significant higher scores in the intervention groups: 3.62 points in control groups and 6,94 in intervention groups, particu-larly in attitudinal competences. These strategies not only facilitated the development of crucial skills such as information search, synthesis, representation, analysis, decision-making, teamwork, and intrapersonal awareness but also significantly broadened the knowledge acquired in aspects related to healthy habits. This approach proved effective in helping children comprehend the im-portance of healthy choices and encouraged integrating such habits into their daily lives.

In the present paper, we efficiently solve the two-body problem for extreme cases such as those with high eccentricities. The use of numerical methods, with the usual variables, cannot maintain the perihelion passage accurately. In previous articles, we have verified that this problem is treated more adequately through temporal reparametrizations related to the mean anomaly through the partition function. The biparametric family of anomalies, with an appropriate partition function, allows a systematic study of these transformations. In the present work, we consider the elliptical orbit as a meridian section of the ellipsoid of revolution, and the partition function depends on two variables raised to specific parameters. One of the variables is the mean radius of the ellipsoid at the secondary, and the other is the distance to the primary. One parameter regulates the concentration of points in the apoapsis region, and the other produces a symmetrical displacement between the polar and equatorial regions. The three most used geodesy latitude variables are also studied, resulting in one not belonging to the biparametric family. However, it is in the one introduced now, which implies an extension of the biparametric method. The results obtained by the method presented here now allow a causal interpretation of the operation of numerous reparametrizations used in the study of orbital motion.

In the present paper we introduce three new classes of bi-univalent functions connected with Gregory coefficients. For functions in each of these three bi-univalent function classes we have derived the estimates of the Taylor--Maclaurin coefficients $\left|a_{2}\right|$ and $\left|a_{3}\right|$ and Fekete-Szeg\H{o} functional problems for functions belonging to these new subclasses. We defined three subclasses of the class of the bi-univalent functions $\Sigma$, namely $\mathfrak{HG}_{\Sigma}$, $\mathfrak{GM}_{\Sigma}(\mu)$ and $\mathfrak{G}_{\Sigma}(\lambda)$ by using the subordinations with the function whose coefficients are Gregory's numbers. First, we proved that these classes are not empty, i.e. contains other functions than the identity one. Using the well-known Carath\'eodory Lemma for the functions with real positive parts in the open unit disk, together with an estimation due to P. Zaprawa (see https://doi.org/10.1155/2014/357480) and another one of Libera and Zlotkiewicz, we gave upper bounds for the above mentioned initial coefficients and for the Fekete-Szeg\H{o} functionals. The main results are followed by some particular cases, and the novelty of the definitions and the proofs could involve further studies for such type of similarly defined subclasses.

In this work we study the recently developed parametrized partition function formulation and show how we can infer the thermodynamic properties of fermions based on numerical simulation of bosons and distinguishable particles at various temperatures. In particular, we show that in the three dimensional space defined by energy, temperature and the parameter characterizing parametrized partition function, we can map the energies of bosons and distinguishable particles to fermionic energies through constant-energy contours. We apply this idea to both noninteracting and interacting Fermi systems and show it is possible to infer the fermionic energies at all temperatures, thus providing a practical and efficient approach to obtain thermodynamic properties of large fermion systems with numerical simulation. As an example, we present energies for up to 50 noninteracting fermions and up to 20 interacting fermions at all temperatures and show good agreement with the analytical result for noninteracting case.

One of the possible mechanisms causing significant emissions of methane into the atmosphere within the Arctic shelf may be the decomposition of gas hydrates. Their accumulations within the Arctic shelf formed during Ice Age almost simultaneously with the formation of permafrost, which contributed to the emergence of a zone of stable existence of gas hydrates. The subsequent flooding of the Arctic shelf led to the degradation of the permafrost and the violation of the conditions for the existence of hydrates. To assess the state of the stability zone, methods of mathematical numerical modeling are used. Standard seismic methods are widely used to localize gas hydrates, but monitoring their physical state requires the development of fundamentally new approaches based on solving multiparameter inverse seismic problems. In particular, the degree of attenuation of seismic energy is one of the objective parameters for assessing the consolidation of gas hydrates: the closer they are to the beginning of decomposition, the higher the attenuation, and hence the lower the quality factor. Thus, the methods of seismic monitoring of the state of gas hydrates in order to predict the possibility of developing dangerous scenarios should be based on solving a multi-parameter inverse seismic problem. This publication is devoted to the presentation of this approach.

This paper develops feasible control strategies and associated system responses to bring an autonomous front-axle bicycle robot from specified initial conditions to final conditions such that a specific performance index is minimized. To solve the problem, the following approach is used: The feasible controls derived from the normal equations of optimality are substituted into the state and the costate systems and form a combined control-free state-costate system which is vectorized to enable and ease the application of a numerical method. A computer program written in Matlab computer programming language, codes a fourth-order Runge-Kutta numerical method and then solve the combined state-costate system of ordinary differential equations. The obtained results are the feasible bicycle robot trajectory, the feasible state functions, the feasible costate functions and the feasible control functions. Associated Computational Simulations are designed and provided to persuade on the effectiveness and the reliability of the approach.

A family of linear singularly perturbed Cauchy problems is studied. The equations defining the problem combine both partial differential operators together with the action of linear fractional transforms. The exotic geometry of the problem in the Borel plane, involving both sectorial regions and strip-like sets, gives rise to asymptotic results relating the analytic solution and the formal one through Gevrey asymptotic expansions. The main results lean on the appearance of domains in the complex plane which remain intimately related to Lambert W function, which turns out to be crucial in the construction of the analytic solutions. On the way, an accurate description of the deformation of the integration paths defining the analytic solutions and the knowledge of Lambert W function are needed in order to provide the asymptotic behavior of the solution near the origin, regarding the perturbation parameter. Such deformation varies depending on the analytic solution considered, which lies in two families with different geometric features.

The work is devoted to the study of a family of linear initial value problems of partial differential equations in the complex domain, dealing with two complex time variables. The use of a truncated Laplace-like transformation in the construction of the analytic solution allows to overcome a small divisor phenomenon arising from the geometry of the problem and represents an alternative approach to the one proposed in a recent work by the first two authors. The result leans on the application of a fixed point argument and the classical Ramis-Sibuya theorem.

A nonlinear singularly perturbed Cauchy problem with confluent fuchsian singularities is examined. This problem involves coefficients with polynomial dependence in time. A similar initial value problem with logarithmic reliance in time has been investigated by the author in a recent work, for which sets of holomorphic inner and outer solutions were built up and expressed as a Laplace transform with logarithmic kernel. Here, a family of holomorphic inner solutions are constructed by means of exponential transseries expansions containing infinitely many Laplace transforms with special kernel. Furthermore, asymptotic expansions of Gevrey type for these solutions relatively to the perturbation parameter are established.

The problem of normal impact of a rigid sphere onto a Maxwell viscoelastic solid half-space is considered. The first-order asymptotic solution is constructed in the framework of Hunter’s model of viscoelastic impact [Hunter, S. C., 1957. Energy absorbed by elastic waves during impact. Journal of the Mechanics and Physics of Solids, 5(3), 162–171.]. In particular, simple analytical approximations have been derived for the maximum contact force and the time to achieve it. A linear regression method is suggested for evaluating the instantaneous elastic modulus and the mean relaxation time from a set of experimental data collected for different impactors and impact velocities.

We show how the Poincar\'e--Riemann--Hilbert boundary-value problem enables us to construct effective estimates of the potential in the Schr\"odinger equation. The apparatus of the three-dimensional inverse problem of quantum scattering theory is developed for this. It is shown that the unitary scattering operator can be studied as a solution of the Poincar\'e--Riemann--Hilbert boundary-value problem. This allows us to go on to study the potential in the Schr\"odinger equation

In this paper we address the approximation of the coupling problem for the wave equation and Maxwell's equations of electromagnetism in the time domain in terms of the electric field, by means of a nodal linear finite-element discretization in space, combined with a classical'explicit finite-difference scheme for the time discretization. Our study applies to the particular case where the dielectric permittivity has a constant value outside a sub-domain, whose closure does not intersect the boundary of the domain where the problem is defined. Inside this sub-domain Maxwell's equations hold. Outside this sub-domain the wave equation holds, which may correspond to the Maxwell's equations with a constant permittivity under certain conditions. We consider as a model the case of first order absorbing boundary conditions. Optimal error estimates that hold in natural norms under reasonable assumptions are given, among which lies a typical CFL condition for hyperbolic equations.

The purpose of the research is to investigate the unique solvability of a nonlocal boundary value problem for a loaded equation of parabolic-hyperbolic type in a special domain. Methods: Using representations of a general regular solution, the existence and uniqueness of the problem posed is proved. Results: A new method for proving the unique solvability of nonlocal boundary value problems for one loaded equation of mixed type in a special domain has been formed and developed. Conclusions: The obtained results make it possible to solve some problems of genetics, immunology, transonic gas dynamics and thermal physics, which are associated with displacement.

The paper proves the existence of a family of axisymmetric equilibrium figures as solutions of a stationary problem with unknown boundaries for the Navier–Stokes equations corresponding to the slow rotation of a viscous compressible two-layer liquid mass about some axis. It is assumed that the liquids are barotropic, capillary and have different viscosities, the internal fluid being bounded by a closed surface. This interface does not intersect with the external boundary of the cloud. The proof is based on implicit function theorem and carried out in the Hölder spaces.

In a p-uniformly convex and uniformly smooth Banach space, let the pair of variational inequality and fixed point problems (VIFPPs) consist of two variational inequality problems (VIPs) involving two uniformly continuous and pseudomonotone mappings and two fixed point problems implicating two uniformly continuous and Bregman relatively asymptotically nonexpansive mappings. This article designs two parallel subgradient-like extragradient algorithms with inertial effect for solving this pair of VIFPPs, where each algorithm consists of two parts which are of symmetric structure mutually. Under mild registrations, we prove weak and strong convergence of the suggested algorithms to a common solution of this pair of VIFPPs, respectively. Lastly, an illustrative example is furnished to verify the applicability and implementability of our proposed approaches.

This paper aims at computing feasible control strategies and the corresponding feasible state trajectories to drive an autonomous rear-axle bicycle robot from a given initial state to a final state such that the total running cost is minimized. Pontryagin’s Minimum Principle is applied and derives the optimality conditions from which the feasible control functions, expressed as functions of state and costate variables, are substituted into the combined state-costate system to obtain a new free-control state-costate nonlinear system of ordinary differential equations. A computer program was written in Scilab to solve the combined state-costate system and obtain the feasible state functions, the feasible costate functions and the feasible control functions. Associated Computational Simulations were provided to show the effectiveness and the reliability of the approach.

The option of decarbonizing urban freight transport using Battery Electric Vehicle (BEV) seems promising.However, there is currently a strong debate whether Fuel Cell Electric Vehicle (FCEV) might be the bettersolution. The question arises as to how a fleet of FCEV influences the operating cost, the Greenhouse Gas(GHG) emissions and primary energy demand in comparison to BEVs and to Internal Combustion EngineVehicle (ICEV). To investigate this, we simulate the urban food retailing as a representative share of urbanfreight transport using a multi-agent transport simulation software. Synthetic routes as well as fleet size andcomposition are determined by solving a Vehicle Routing Problem (VRP). We compute the operating costsusing a total cost of ownership (Total Cost of Ownership (TCO)) analysis and the use phase emissions as wellas primary energy demand using the Well To Wheel (WTW) approach. While a change to BEV results in 17 -23% higher costs compared to ICEV, using FCEVs leads to 22 - 57% higher costs. Assuming today’s electricitymix, we show a GHG emission reduction of 25% compared to the ICEV base case when using BEV. Currenthydrogen production leads to a GHG reduction of 33% when using FCEV which however cannot be scaled tolarger fleets. Using current electricity in electrolysis will increase GHG emission by 60% compared to the basecase. Assuming 100% renewable electricity for charging and hydrogen production, the reduction from FCEVsrises to 73% and from BEV to 92%. The primary energy requirement for BEV is in all cases lower and forhigher compared to the base case. We conclude that while FCEV have a slightly higher GHG savings potentialwith current hydrogen, BEV are the favored technology for urban freight transport from an economic andecological point of view, considering the increasing shares of renewable energies in the grid mix.

This paper is a slightly modified, abridged version of a previous work ``Parametric Gevrey asymptotics in two complex time variables through truncated Laplace transforms'' motivated by our contribution in the conference ``Formal and Analytic Solutions of Diff. (differential, partial differential, difference, q-difference, q-difference-differential) Equations on the Internet'' (FASnet20). It aims to clarify and give further detail at some crucial points concerning the asymptotic behavior of the solutions of the problems studied in that work.

This paper is a slightly modified, abridged version of a previous work "Parametric Gevrey asymptotics in two complex time variables through truncated Laplace transforms'' motivated by our contribution in the conference "Formal and Analytic Solutions of Diff. (differential, partial differential, difference, q-difference, q-difference-differential) Equations on the Internet'' (FASnet20). It aims to clarify and give further detail at some crucial points concerning the asymptotic behavior of the solutions of the problems studied in that work.

The use of wind energy has been developing fast over the last years. The global cumulative wind power capacity increased by 10.5% in 2019, most of which comes from onshore wind farms. One of the consequences of this continuous increase is the use of land for onshore wind farms. There are already cases worldwide where lack of well-established plans and strategies have caused delays in projects. The need for efficiently using land for wind farms will be mandatory in the short term. In this work, we present a numerical analysis to evaluate wind farm land-use. By defining the ratio between mechanical output power over an area as a parameter called land-use ratio, this work focused on comparing several cases of aligned and staggered layouts. Mechanical output power was estimated using a validated code based on Blade Element Momentum code, and the wake velocities and wake interaction effects were estimated using a validated wind turbine CFD model. In terms of output power, staggered designs are more efficient than aligned designs. However, the results showed that even though staggered designs produced higher output power, aligned farms with tight lateral spacing could be as efficient as staggered ones in terms of land-use but using fewer turbines. In summary, tightly aligned designs should be a tendency in the future towards efficient use of land in wind farms.

The properties of iterative splitting methods with serial versions have been analyzed since recent years, see [1] and [3]. We extend the iterative splitting methods to a class of parallel versions, which allow to reduce the computational time and keep the benet of the higher accuracy with each iterative step. Parallel splitting methods are nowadays important to solve large problems, which can be splitted in subproblems and computed independently with the dierent processors. We present a novel parallel iterative splitting method, which is based on the multi-splitting methods, see [2], [10] and [15]. Such a exibilisation with multisplitting methods allow to decompose large iterative splitting methods and recover the benet of their underlying waveform-relaxation (WR) methods. We discuss the convergence results of the parallel iterative splitting methods, while we could reformulate such an error to a summation of the individual WR methods. We discuss the numerical convergence of the serial and parallel iterative splitting methods and present dierent numerical applications to validate the benet of the parallel versions.

Remediation of IT issues encoded into domain-specific or user-defined alerts occurring in cloud environments and customer ecosystems in a vast majority of cases suffers from accurate recommendations which could be timely supplied for recovery of performance degradations. That, of course, is hard to realize through furnishing those abnormality definitions with an appropriate expert knowledge which varies from one environment to another. At the same time, in a large proportion of support cases, the reported problems under Global Support Services (GSS) or Site Reliability Engineering (SRE) treatment ultimately go down to the product teams making them waste costly development hours on investigating self-monitoring metrics of our solutions. Therefore, the mean-time-to-resolution (MTTR) rates of problems/alerts are significantly impacted from lack of a systematic approach towards adopting AI Ops. That would imply building, maintaining, and continuously improving/annotating a data store of insights that ML models are trained and generalized across the whole customer base and corporate cloud services. Our ongoing study is in line with such a vision and validates an approach that learns the alert resolution patterns in such a global setting and explains them using interpretable AI methodologies. The knowledge store of causative rules is then applied in predicting potential sources of the application degradation reflected in an active alert instance. In this communication, we share our experiences with a prototype solution and up to date analysis demonstrating how root conditions are discovered with a high accuracy for a specific type of problem. It is validated against the historical data of resolutions performed by heavy manual development efforts. We also offer a Dempster-Shafer theory-based rule verification framework for experts as a what-if analysis tool to test their hypotheses about underlying environment.

With Unmanned Aerial Vehicles (UAV), a swift response to urgent needs like search \& rescue missions or medical deliveries can be realized. Simultaneously, the legislator is establishing so-called geographical zones, which restrict UAV operations to mitigate the air and ground risk to third parties. These geographical zones serve a particular safety interest, but they may also hinder the efficient usage of UAVs on time-critical missions with a range-limiting battery capacity. In this study, we address a facility location problem for up to two UAV hangars with a robust optimization model considering demand hotspots, geographical zones as restricted areas, a standard mission to satisfy battery capacity constraints, and the impact of wind scenarios. To this end, water rescue missions are used exemplary, for which positive and negative location factors for UAV hangars and areas of increased drowning risk as demand points are derived from open-source georeferenced data. Optimal UAV mission trajectories are computed with an A* algorithm considering five different restriction scenarios. As this pathfinding is very time-consuming, binary occupancy grids and image processing algorithms accelerate the computation by identifying either entirely inaccessible or restriction-free connections beforehand. For the optimal UAV hangar locations, we maximize accessibility while minimizing the service time to the hotspots, resulting in a decrease from the average service time of 570.4 s for all facility candidates to 351.1 s for one and 287.2 s for two optimal UAV hangar locations.

The textbook analysis of vacuum energy density (VED) in flat spacetime follows from Pauli’s lectures of 1951, in which quantum vacuum is modeled as a reservoir of free harmonic oscillators. In his lectures, Pauli shows that deriving a nearly vanishing VED is contingent upon fulfilling three corollary conditions called polynomial-in-mass-constraints. The goal of this work is to evaluate Pauli’s constraints against the Standard Model parameters and the Higgs mechanism of spontaneous symmetry breaking.

This study demonstrates a global, non-parametric, non-iterative optimization of time-mean value of a kind of index vibrated by time-varying forcing. It is based on the fact that the (steady) forced vibration of non-autonomous ordinary differential equation systems is well approximated by an analytical solution when the amplitude of forcing is sufficiently small and its base state without forcing is linearly stable and steady. It is applied to optimize a time-averaged heat-transfer rate on a two-dimensional thermal convection field in a square cavity with horizontal temperature difference, and the globally optimal way of vibrational forcing, i.e. the globally optimal, spatial distribution of vibrational heat and vorticity sources, is first obtained. The maximized vibrational thermal convection corresponds well to the state of internal gravity wave resonance. In contrast, the minimized thermal convection is weak, keeping the boundary layers on both sidewalls thick.

Carbon footprint mitigation actions have become a key issue for companies involved in urban freight transport. The electrification of the delivery fleets is one of the crucial sustainable actions carried out. To this end, it is necessary to explore several fleet renewal strategies over a finite planning horizon evaluating different types of electric powertrains for light commercial vehicles. The primary goal of this purpose-built analysis is to assist and boost the fleet managers' decisions when transitioning to alternative-fuelled vans, intending to maximize cost savings and reduce greenhouse gas emissions inventory. The model presented in this work is a Multi-Objective Linear Programming hybrid analysis taking into account the vehicle and energy supply infrastructure costs and the emissions reported in each inventory scope following the Greenhouse Gas Protocol sustainability guidelines. From this perspective, the conducted research offers a novel approximation to fleet management problems enabling a break-down cost analysis and an evaluation of the annual emissions company report. The comprehensive numerical simulations carried out over different study scenarios in Spain demonstrate that the optimization approach does not only show effective fleet renewal strategies but also identifies critical factors that impact the fleet's competitiveness, offering valuable insights for fleet managers and policymakers to meet carbon footprint reductions in a cost-effectively way.

This work implements a stable algorithm in Field-Programmable Gate Arrays (FPGAs) for which two architectures (unrolling the loop) were developed and analyzed. The algorithm recovers sources located at the boundary separating two homogeneous media that make up a two-dimensional non-homogeneous region from measurements on the boundary of such region. The problem of recovering these sources is an ill-posed inverse problem as small errors in the measurement can produce important changes in the source location. Inverse source problems have many applications in different areas, such as engineering and medicine, making the proposed implementation important. The first architecture (mode one) allows considering different operating speeds, which is an advantage depending on whether we work with fast or slow signals. The second one (mode two) reduces resource consumption by exploiting the characteristics of the source identification algorithm, which is an advantage for multichannel problems such as inverse electrocardiography or electroencephalography. The architectures were tested on four FPGAs of the 7 Series of Xilinx: Spartan-7 xc7s100fgga484, Virtex-7 xc7v585tffg1157, Kintex-7 xc7k70tfbg484, and Artix-7 xc7a35tcpg236. The two FPGA implementations of the algorithm were validated using synthetic examples implemented in MATLAB. The results presented here can be extended to concentric spheres and complex geometries.

In this paper, we design two inertial-type subgradient extragradient algorithms with line-search process for solving the pseudomonotone variational inequality problems (VIPs) and common fixed-point problem (CFPP) of finite Bregman relatively nonexpansive mapping and a Bregman relatively demicontractive mapping in p-uniformly convex and uniformly smooth Banach spaces, which are more general than Hilbert spaces. Under mild conditions, we derive weak and strong convergence of the suggested algorithms to a common solution of the VIPs and CFPP, respectively. Additionally, an illustrated example is furnished to back up the feasibility and implementability of our proposed methods.

I show how the quantum paradoxes occurring when we adopt a standard realist framework (or a framework in which the collapse implies a physical change of the state of the system) vanish if we abandon the idea that a measurement is related (directly or indirectly) to a physical change of state. In Convivial Solipsism, similarly to Everett’s interpretation, there is no collapse of the wave function. But contrary to Everett’s interpretation, there is only one world. This allows also to get rid of any non-locality and to provide a solution to the Wigner’s friend problem and its more recent versions.

This paper is mainly based on a stricter premise of the twin paradox and the assumption of inertial frame, discusses the properties of time and space under the premise of complete symmetry, and draws an interesting conclusion: the simultaneity of different reference frames is possible realized, and the space is relatively independent. And based on this, the twin paradox, cosmic inflation, ultra-distance action of quantum entanglement, microscopic space motion of particles, measurement problems and other phenomena are tentatively explained from a new angle. This interpretation is exploratory and new. At the same time, the author also proposes an experimental way to test the relative independence of space.At the same time, this paper attempts to strictly prove that Einstein's definition of simultaneity and spatial absoluteness in special relativity may be problematic.

We consider a family of nonlinear singularly perturbed PDEs whose coefficients involve a logarithmic dependence in time with confluent Fuchsian singularities that unfold an irregular singularity at the origin and rely on a single perturbation parameter. We exhibit two distinguished finite sets of holomorphic solutions, so-called outer and inner solutions, by means of a Laplace transform with special kernel and Fourier integral. We analyze the asymptotic expansions of these solutions relatively to the perturbation parameter and show that they are (at most) of Gevrey order 1 for the first set of solutions and of some Gevrey order that hinges on the unfolding of the irregular singularity for the second.

The temporo-spatial theory of consciousness postulates that the brain implements its own inner time and space for conscious processing of outside world. In line with this hypothesis, I present a mechanistic model of mutually connected processes that encode the inner space and time. The model is used to elaborate the binding mechanism between two sets of processes representing the inner space and time, respectively. Further, a stochastic version of the model is developed to investigate the interplay between the binding strength and noise. The spectral entropy is used to characterize the noise effects on the systems of processes when the binding strength is varied. The stochastic modeling results reveal that the spectral entropy values for strongly bound systems have similar entropy values for weakly bound or even decoupled systems. Thus, the analysis performed in this study allows to conclude that the binding mechanism is noise-resilient.

Descriptive geometry has indispensable applications in many engineering activities, some of which are presented in the first chapter of this paper in order to place the development presented here among them. As a result of the continuous variability of the technological environment according to various optimization aspects, the engineering activities must also be continuously adapted to the changes, which an appropriate approach and formulation are required from the practitioners of descriptive geometry, and can even lead to improvement in the field of descriptive geometry. The imaging procedures are always based on the methods and theorems of descriptive geometry. Resolving contradictions in spatial geometry reconstruction research is a constant challenge, to which a possible answer in many cases is the search for the right projection direction. A special method of enumerating the possible infinite viewpoints for the representation of the surface edge curves is presented in another part of the paper. The procedure for determining the correct directions in a mathematically exact way is also presented through examples. The analysis and some of the results of the Monge mapping, which is suitable for the solution of a mechanical engineering task to be solved in a specific technical environment, are also presented.

We introduce linear probing hashing schemes that construct a hash table of size $n$, with constant load factor $\alpha$, on which the worst-case unsuccessful search time is asymptotically almost surely $O(\log \log n)$. The schemes employ two linear probe sequences to find empty cells for the keys. Matching lower bounds on the maximum cluster size produced by any algorithm that uses two linear probe sequences are obtained as well.

Nowadays, according to spectacular improvement in health care and biomedical level, a tremendous amount of data is recorded by hospitals. In addition, the most effective approach to reduce disease mortality is to diagnose it as soon as possible. As a result, data mining by applying machine learning in the field of diseases provides good opportunities to examine the hidden patterns of this collection. An exact forecast of the mortality after heart surgery will cause Successful medical treatment and fewer costs. This research wants to recommend a new stacking predictive model after utilizing the random forest feature importance method to foresee the mortality after heart surgery on a highly unbalanced dataset by using the most practical features. To solve the unbalanced data problem, a combination of the SVM-SMOTE over-sampling algorithm and the Edited-Nearest-Neighbor under-sampling algorithm is used. This research compares the introduced model with some other machine learning classifiers to ensure efficiency through shuffle hold-out and 10-fold cross-validation strategies. In order to validate the performance of the implemented machine learning methods in this research, both shuffle hold-out, and 10-fold cross-validation results indicated that our model had the highest efficiency compared to the other models. Furthermore, the Friedman statistical test is applied to survey the differences between models. The result demonstrates that the introduced stacking model reached the most accurate predicting performance after Logistic Regression.

This paper examines the correlation between numbers of computer cores in parallel genetic algorithms. The objective to determine the linear polynomial complementary equation in order represent the relation between number of parallel processing and optimum solutions. Model this relation as optimization function (f(x)) which able to produce many simulation results. F(x) performance is outperform genetic algorithms. Compression results between genetic algorithm and optimization function is done. Also the optimization function give model to speed up genetic algorithm. Optimization function is a complementary transformation which maps a TSP given to linear without changing the roots of the polynomials.

We examine here characteristics of electromagnetic waves that propagate through an unbounded space filled with a homogeneous isotropic chiral medium. Resulting characters are compared to those of the electromagnetic waves propagating through an achiral free space. To this goal, we form energy conservation laws for key bilinear parameters in a chiral case. Due to a nonzero medium chirality, conservation laws turn out to contain extra terms that are linked to the spin-orbit coupling, which is absent for an achiral case. As an example, we take a plane wave for achiral case to evaluate those bilinear parameters. Resultantly, the conservation laws for a chiral case are found to reveal inconsistencies among several bilinear parameters that constitute the con-servation laws , thereby prompting us to establish partial remedies for formulating proper wave-propagation problems.

As people grow a custom to effortless outdoor navigation there is a rising demand for similar possibility indoors as well. Unfortunately, indoor localization, being one of the necessary requirements for navigation, continues to be problem without a clear solution. In this article we are proposing a method for an indoor positioning system using a single image. This is made possible using small preprocessed database of images with known control points as the only preprocessing needed. Using feature detection with SIFT algorithm we can look through the database and find image which is the most similar to the image taken by user. Pair of images is then used to find coordinates of database image using PnP problem. Furthermore, projection and essential matrices are determined allowing for the user image localization ~ determining the position of the user in indoor environment. Benefits of this approach lies in the single image being the only input from user and no requirements for new onsite infrastructure and thus enables a simpler realization for the building management.

In real-life scenario, there are many mathematical tools to handle the incomplete and imprecise data. One of them is the fuzzy approach. This article aims to contribute to the literature of fuzzy multi-objective dynamic programming issues involving the fuzzy objective functions. The piecewise quadratic fuzzy numbers characterize these fuzzy parameters. Some basic notions in the problem under the α-pareto optimal solution concept is redefined and analyzed to study the stability of the problem. Furthermore, a technique, named as enhancing decomposition approach, is presented for achieving a subset for the parametric space that contains the sameα-pareto optimal solution. For a better understanding and comprehension of the suggested concept, a numerical example is provided.

In this non-exhaustive review, we discuss the importance of invariant vectors in atomic physics, such as the Laplace-Runge-Lenz vector, the Redmond vector in the presence of an electric field, the Landau-Avron-Sivardière vector when the system is subject to a magnetic field, and the supergeneralized Runge-Lenz vector for the two-center problem. Application to Stark and Zeeman effects are outlined. The existence of constants of motion in the charge-dyon system is also briefly mentioned.

In this paper, I give readers an idea of what some scholars are interested in, what I found interesting, and what may be of future interest in the philosophy of emotion. I begin with a brief overview of the general topics of interests in the philosophy of emotion. I then discuss what I believe to be some of the most interesting topics in the contemporary discourse, including questions about how philosophy can inform the science of emotion, conceptions of the mind and the mind-body problem, concerns about perception, cognition, and emotion, along with questions about the place of 4E approaches and meta-semantic pluralist approaches in the embodied cognitive tradition. Finally, I discuss the emerging field of cultural evolution, the import of a dual-inheritance theory in this emerging field, and I propose a possible way to integrate the frameworks of dual-inheritance theory and meta-semantic pluralism to demonstrate at least one way in which the philosophy of emotion can contribute to the emerging field of cultural evolution.

It is claimed that classical mechanics (CM) in terms of its equivalent Koopman-von Neumann formulation (KvN) is indeed a ’real’ quantum theory since the formalism of quantum mechanics (FQM) does not, nor need it, exclude it as a such. This claim is made manifest by suggesting a common structure of which both KvN and ordinary quantum mechanics (OQM) correspond to unitary representations of, although unitarily inequivalent such. It is shown that OQM is obtained by enforcing the extra physical condition of quantized energy levels, which by itself does not constitute the ’quantum mystery’. It is furthermore shown that KvN in a physically realizable sense contain the hallmark quantum behavior of quantum interference. It is hence concluded that both CM and OQM are subjected to the same foundational issues. As the central part of both KvN and OQM is the introduction of probabilities via FQM it is suggested that the foundational issues regarding FQM are less about FQM itself and more about the concept of probability.

The article discusses determinants of living environment in Central and Eastern Europe. As an example, the city of Radzionkow was chosen, with 16 thousand inhabitants, located in the Silesia agglomeration in southern Poland, in the area where hard coal has been mined for almost two hundred years, which largely serves as a source of heating for houses and flats. 360 buildings in 6 groups of 60 buildings were examined in the selected city, which allowed to distinguish 3 different areas in terms of the quality of the living environment depending on the technical condition of buildings, the method of heating and location. To a large extent, determinants are the existing spatial and geophysical conditions of a given location. Many research and reports on the living environment do not take into account the factors mentioned, focusing only on the statistical data of pollution, excluding spatial factors. In the research presented, the author, taking into account location variables, shows differences in the measurements of air pollution in relation to the designated location zones depending on the morphological structure of the building, the degree of its modernization and the types of heating used in buildings.

Mereology stands for the philosophical concept of parthood and is based on a sound set of fundamental axioms and relations. One of these axioms relates to the existence of a universe as a thing having part all other things. The present article formulates this logical expression first as an algebraic inequality and eventually as an algebraic equation reading in words: The universe equals the sum of all things. “All things” here are quantified by a “number of things”. Eventually this algebraic equation is normalized leading to an expression The whole equals the sum of all fractions. This introduces “1” or “100%” as a quantitative – numerical - value describing the “whole”. The resulting “basic equation” can then be subjected to a number of algebraic operations. Especially squaring this equation leads to correlation terms between the things implying that the whole is more than just the sum of its parts. Multiplying the basic equation (or its square) by a scalar allows for the derivation of physics equations like the entropy equation, the ideal gas equation, an equation for the Lorentz-Factor, conservation laws for mass and energy, the energy-mass equivalence, the Boltzmann statistics, and the energy levels in a Hydrogen atom. It further allows deriving a “contrast equation” which may form the basis for the definition of a length and a time scale. Multiplying the basic equation with vectors, pseudovectors, pseudoscalars and eventually hypercomplex numbers opens up the realm of possibilities to generate many further equations.

Large values and gradients of stresses and deformations, triggering concentrations of stresses and deformations, arise in the corner areas of a structure. The action of forced deformations, leading to the finite rupture of the contact between the elements of a structure, also triggers the concentration of stresses, while the rupture reaches an irregular point, a line on the area boundary. The theoretical analysis of the stress-strain state (SSS) of areas with angular cutouts in the boundary under the action of discontinuous forced deformations is reduced to the study of singular solutions to the homogeneous problem of the elasticity theory that has power-related features. The calculation of stress concentration coefficients in the domain of a singular solution to the elastic problem makes no sense. It is experimentally proven that the zone, that is close to the vertex of the angular cutout in the area boundary, has substantial deformations, rotations, and it corresponds to rising values of the first and second derivatives of displacements along the radius in cases of sufficiently small radii in the neighbourhood of the irregular point of the boundary. For such areas, it is necessary to consider the plane problem of the elasticity theory, taking into account the geometric nonlinearity under the action of forced deformations. This will allow analyzing the effect of relations between orders of values of deformations, rotations, and forced deformations on the form of the equation of equilibrium. The purpose of this work is to analyze the effect of relations of deformation orders, rotations, forced deformations on the form of the equilibrium equation in the polar coordinate system for a V-shaped area under the action of forced temperature-induced deformations with regard for the geometrical non-linearity and physical linearity.

This paper presents a new methodology to derive and analyze strategies for a fully decarbonized urban transport system which combines conceptual vehicle design, a large-scale agent-based transport simulation, operational cost analysis, and life cycle assessment for a complete urban region. The holistic approach evaluates technical feasibility, system cost, energy demand, transportation time and sustainability-related impacts of various decarbonization strategies. In contrast to previous work, the consequences of a transformation to fully decarbonized transport system scenarios are quantified across all traffic segments, considering procurement, operation and disposal. The methodology can be applied to arbitrary regions and transport systems. Here, the metropolitan region of Berlin is chosen as a demonstration case. First results are shown for a complete conversion of all traffic segments from conventional propulsion technology to battery electric vehicles. The transition of private individual traffic is analyzed regarding technical feasibility, energy demand and environmental impact. Commercial goods, municipal traffic and public transport are analyzed with respect to system cost and environmental impacts. We can show a feasible transition path for all cases with substantially lower greenhouse gas emissions. Based on current technologies and today’s cost structures our simulation shows a moderate increase in total systems cost of 13-18%.

The following system of equations {x_1 \cdot x_1=x_2, x_2 \cdot x_2=x_3, 2^{2^{x_1}}=x_3, x_4 \cdot x_5=x_2, x_6 \cdot x_7=x_2} has exactly one solution in ({\mathbb N}\{0,1})^7, namely (2,4,16,2,2,2,2). Hypothesis 1 states that if a system of equations S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,7}} \cup {2^{2^{x_j}}=x_k: j,k \in {1,...,7}} has at most five equations and at most finitely many solutions in ({\mathbb N}\{0,1})^7, then each such solution (x_1,...,x_7) satisfies x_1,...,x_7 \leq 16. Hypothesis 1 implies that there are infinitely many composite numbers of the form 2^{2^{n}}+1. Hypotheses 2 and 3 are of similar kind. Hypothesis 2 implies that if the equation x!+1=y^2 has at most finitely many solutions in positive integers x and y, then each such solution (x,y) belongs to the set {(4,5),(5,11),(7,71)}. Hypothesis 3 implies that if the equation x(x+1)=y! has at most finitely many solutions in positive integers x and y, then each such solution (x,y) belongs to the set {(1,2),(2,3)}. We describe semi-algorithms sem_j (j=1,2,3) that never terminate. For every j \in {1,2,3}, if Hypothesis j is true, then sem_j endlessly prints consecutive positive integers starting from 1. For every j \in {1,2,3}, if Hypothesis j is false, then sem_j prints a finite number (including zero) of consecutive positive integers starting from 1.

Let {$\Gamma(k)$} denote {$(k-1)!$}, and let {$\Gamma_{n}(k)$} denote {$(k-1)!$}, where {$n \in \{3,\ldots,16\}$} and {$k \in \{2\} \cup [2^{\textstyle 2^{n-3}}+1,\infty) \cap \mathbb N$}. For an integer {$n \in \{3,\ldots,16\}$}, let $\Sigma_n$ denote the following statement: if a system of equations {${\mathcal S} \subseteq \{\Gamma_{n}(x_i)=x_k:~i,k \in \{1,\ldots,n\}\} \cup \{x_i \cdot x_j=x_k:~i,j,k \in \{1,\ldots,n\}\}$} with $\Gamma$ instead of $\Gamma_{n}$ has only finitely many solutions in positive integers {$x_1,\ldots,x_n$}, then every tuple {$(x_1,\ldots,x_n) \in (\mathbb N \setminus \{0\})^n$} that solves the original system ${\mathcal S}$ satisfies {$x_1,\ldots,x_n \leqslant 2^{\textstyle 2^{n-2}}$}. Our hypothesis claims that the statements {$\Sigma_{3},\ldots,\Sigma_{16}$} are true. The statement {$\Sigma_6$} proves the following implication: if the equation {$x(x+1)=y!$} has only finitely many solutions in positive integers $x$ and $y$, then each such solution {$(x,y)$} belongs to the set {$\{(1,2),(2,3)\}$}. The statement {$\Sigma_6$} proves the following implication: if the equation {$x!+1=y^2$} has only finitely many solutions in positive integers $x$ and $y$, then each such solution {$(x,y)$} belongs to the set {$\{(4,5),(5,11),(7,71)\}$}. The statement {$\Sigma_9$} implies the infinitude of primes of the form {$n^2+1$}. The statement {$\Sigma_9$} implies that any prime of the form {$n!+1$} with {$n \geqslant 2^{\textstyle 2^{9-3}}$} proves the infinitude of primes of the form {$n!+1$}. The statement {$\Sigma_{14}$} implies the infinitude of twin primes. The statement {$\Sigma_{16}$} implies the infinitude of Sophie Germain primes.

The mind-body problem is the central issue in both of philosophy and life science for several centuries. To date, there is still no conclusive theory to interpret the relation between the mind and the body, even just the mind alone. Here, we promote a novel model, a derived mathematic equation called the entropic system equation, to describe the innate characters of the mind and the mechanism of the mind-body coupling phenomenon. As the semi-open thermodynamic systems far from equilibrium, the living organisms could be logically considered as an entropic system. In the living organisms or the entropic systems, there also are three essential existing elements including mass, energy and information, in which the mind and the body are hypothetically coupled by free energy and entropic force.

In this paper, a short survey of the existed results concerning the Jacobian Conjecture is first given. Then the 3-fold linear type polynomial map will be analyzed in detail. The expansion of the Jacobian condition is deduced to obtain its equivalent algebraic equations, and the Jacobian condition will be analyzed to derive two coordinate transformations that can maintain the invariance of the Jacobian condition. Finally, it is proved by mathematical induction method that one general chain expression presented in this paper is just the inverse polynomial map of 3-fold linear type polynomial map, i.e. LJC(n,[3]) holds such that the Jacobian Conjecture holds.

The article is devoted to the preliminary concept of the Future Planetary Defense System (FPDS), emphasizing Astroballistics. This paper is intended to support international efforts to improve the planetary security of the Earth. The work covers three areas of knowledge: Astronautics, Astrodynamics, and Astroballistics. The most important part of the presented article is dynamic, contact combat modeling against small, deformable celestial bodies. For these purposes, the original, proprietary hydrocode of the Free Particle Method (HEFPM-G) with gravity was used. The main aim of combat is to redirect the Potentially Hazardous Objects (PHOs) to orbits safe for the Earth or destroy them. This concept's first task is to find, prepare and use dynamic three-dimensional models of celestial bodies' motion and spacecraft or human-crewed spaceships in the Solar System's relativistic frame. The second task is to prepare the FPDS' architecture and computer simulation space missions' initial concepts in the internal part of the solar system. The third and main task covers simulating, using hydrocodes, selected methods of fighting 100 m and 140 m diameter asteroids. The order of the article is as follows. The first part of the article presents an architecture and FPDS' modus operandi. Preliminary design and development of FPDS' space missions, including navigation, mission dynamics simulation, is prepared using an open-source space mission analysis and design tool. E.g., Asterank and Trajectory Browser or GMAT are presented in the second part. The third part of the article is devoted to computer hydrocodes (HEFPM-G) and the modeling and simulation of asteroid–asteroid collision, laser radiation effects on an asteroid, and FPDS spacecraft's warhead contact interaction on the small celestial body. The authors formulated the Main Planetary Defense Problem (MPDP) in this paper. The proposition of this problem solving has been realized by preparing its concepts, architecture, and modus operandi of the FPDS mission. Finally, a series of realistic simulations were made using hydrocode to deflect or destroy dangerous asteroids. The summary and conclusions can be found in the fourth part of the article.

Quantum mechanics could be studied through polynomial algebra, as has been demonstrated by a work (“An approach to first-principles electronic structure calculation by symbolic-numeric computation” by A. Kikuchi). We carry forward the algebraic method of quantum mechanics through algebraic number theory; the basic equations are represented by the multivariate polynomial ideals; the symbolic computations process the ideal and disentangle the eigenstates as the algebraic variety; upon which one canbuild the Galois extension of the number field, in analogy with the univariate polynomial case, to investigate the hierarchy of solutions; the Galois extension is accompanied with the group operations, which permute the eigenstates from one to another, and furnish the quantum system with a non-apparent symmetry. Besides, this sort of algebraic quantum mechanics is an embodiment of the class field theory; some of the important consequences of the latter emerge in quantum mechanics. We shall demonstrate these points through simple models; we will see the use of computational algebra facilitates such sort of analysis, which might often be complicated if we try to solve them manually.

This paper offers a novel geometric and visual approach to the renowned Four Color Map Theorem and K5 non-planarity problem while unveiling their profound connection to the "kissing number" problem in 2D. We represent planar graphs through circles and tangents, simplifying complex structures and shedding light on these classic problems. Our proofs by contradiction, rooted in the kissing number concept, reveal that both the Four Color Map Theorem and K5 non-planarity are fundamentally linked, as they pivot around the concept of coloring. This study bridges the realms of geometry and graph theory, providing fresh insights and emphasizing the significance of the kissing number problem in various fields.

We prove: (1) the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable, (2) the set of all Diophantine equations which have at most finitely many solutions in positive integers is not recursively enumerable, (3) the set of all Diophantine equations which have at most finitely many integer solutions is not recursively enumerable, (4) analogous theorems hold for Diophantine equations D(x₁, …, x_p) = 0, where p ∈ N\{0} and for every i ∈ {1, …, p} the polynomial D(x₁, …, x_p) involves a monomial M with a non-zero coefficient such that x_i divides M, (5) the set of all Diophantine equations which have at most k variables (where k ≥ 9) and at most finitely many solutions in non-negative integers is not recursively enumerable.

Synthetic Aperture RADAR (SAR) is a radar imaging technique in which the relative motion of the sensor is used to synthesize a very long antenna and obtain high spatial resolution. Standard SAR raw data processing techniques assume uniform motion of the satellite (or aerial vehicle) and a fixed antenna beam pointing sideway orthogonally to the motion path, assumed rectilinear. Despite SAR data processing is a well established imaging technology that has become fundamental in several fields and applications, in this paper a novel approach has been used to exploit coherent illumination, demonstrating the possibility of extracting a large part of the ancillary data information from the raw data itself, to be used in the focusing procedure. In this work an effort has been carried out to try to focus the raw SAR complex data matrix without the knowledge of anyof the parameters needed in standard focusing procedures as Range Doppler (RD) algorithm, ω - K algorithm and Chirp Scaling (CS) algorithm. All the literature references regarding the algorithms needed to obtain a precise image from raw data use such parameters that refer both to the SAR system acquisition geometry and its radiometric specific parameters. In [12], authors introduced a preliminary work dealing with this problem and able to obtain, in the presence of a strong point scatterer in the observed scene, good quality images, if compared to the standard processing techniques. In this work the proposed technique is described and performances parameters are extracted to compare the proposed approach to RD.