Zeno and the Wrong Understanding of Motion—A Philosophical-Mathematical Inquiry into the Concept of Finitude as a Peculiarity of Infinity

In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical at all. Zeno’s paradoxes indirectly prove that distances are not composed of extensionless points and, in general, that a higher dimension cannot be completely composed of lower ones. Conversely, lower dimensions can be understood as special cases of higher dimensions. To illustrate this approach, I consider Cantor’s only apparent proof that the real numbers are uncountable. However, his widely accepted indirect proof has the disadvantage that it depends on whether there is another way to make the real numbers countable. Cantor rightly assumes that there can be no smallest number between 0 and 1, and therefore no beginning of counting. For this reason he arbitrarily lists the real numbers in order to show with his diagonal method that this list can never be complete. The situation is different if we start with the largest number between 0 and 1 (0.999…) and use the method of an inverted triangle, which can be understood as a special fractal form. Here we can construct a vertical and a horizontal stratification with which it is actually possible to construct all real numbers between 0 and 1 without exception. Each column is infinite, and each number in that column is the starting point of a new triangle, while each row is finite. Even in a simple sine curve, we experience finiteness with respect to the y-axis and infinity with respect to the x-axis. The first parts of this article show that Zeno’s assumptions contradict the concept of motion as such, so it is not surprising that this misconstruction leads to contradictions. In the last part, I discuss Cantor’s diagonal method and explain the method of an inverted triangle that is internally structured like a fractal by repeating this inverted triangle at each column. The consequence is that we encounter two very different methods of counting. Vertically it is continuous, horizontally it is discrete. While Frege, Tarski, Cantor, Gödel and the Vienna Circle tried to derive the higher dimension from the lower, a procedure that always leads to new contradictions and antinomies (Tarski, Russell), I take the opposite approach here, in which I derive the lower dimension from the higher. This perspective seems to fail because Tarski, Russell, Wittgenstein, and especially the Vienna Circle have shown that the completeness of the absolute itself is logically contradictory. For this reason, we agree with Hegel in assuming that we can never fully comprehend the Absolute, but only its particular manifestations—otherwise we would be putting ourselves in the place of the Absolute, or even God. Nevertheless, we can understand the Absolute in its particular expressions, as I will show with the modest example of the triangle proof of the combined horizontal and vertical countability of the real numbers, which I developed in rejection of Cantor’s diagonal proof. .

A Krylov Space-Based Finite Element Time Domain Method for Broadband Frequency Domain Solutions

A Krylov space based time domain method for wave propagation problems is introduced. The proposed method uses the Arnoldi algorithm to obtain broad-band frequency domain solutions. This method is especially advantageous in cases where slow convergence is observed when using traditional time domain methods. The efficiency of the method is examined in several test cases to show its fast convergence in such problems.

Application of Time and Space Thinking in Civil Engineering

Time and Space Thinking that is composed of time and space thinking is brought up in civil engineering. This paper makes a detailed analysis on application and role of time and space thinking in knowledge system and learning method of civil engineering and put forward time and space thinking to be similar with philosophical view of time and space. Time and space thinking is a scientific method, therefore, it is suggested to make students active in having such idea and strengthen students＇ understanding on time and space thinking, which will helping students recognize knowledge system and stimulate innovative abilities.

SPACE-TIME FINITE ELEMENT METHOD FOR SCHRDINGER EQUATION AND ITS CONSERVATION

Energy conservation of nonlinear Schrodinger ordinary differential equation was proved through using continuous finite element methods of ordinary differential equation; Energy integration conservation was proved through using space-time continuous fully discrete finite element methods and the electron nearly conservation with higher order error was obtained through using time discontinuous only space continuous finite element methods of nonlinear Schrodinger partial equation. The numerical results are in accordance with the theory.

Benchmarking of two three-dimensional numerical models in time/space domain to predict railway-induced ground vibrations

In the last 30 years,the scientific community has developed and proposed different models and numerical approaches for the study of vibrations induced by railway traffic.Most of them are formulated in the frequency/wave number domain and with a 2.5D approach.Three-dimensional numerical models formulated in the time/space domain are less frequently used,mainly due to their high computational cost.Notwithstanding,these models present very attractive characteristics,such as the possibility of considering nonlinear behaviors or the modelling of excess pore pressure and non-homogeneous and non-periodic geometries in the longitudinal direction of the track.In this study,two 3D numerical approaches formulated in the time/space domain are compared and experimentally validated.The first one consists of a finite element approach and the second one of a finite difference approach.The experimental validation in an actual case situated in Carregado(Portugal)shows an acceptable fitting between the numerical results and the actual measurements for both models.However,there are some differences among them.This study therefore includes some recommendations for their use in practical soil dynamics and geotechnical engineering.

The space time CE/SE method for solving one-dimensional batch crystallization model with fines dissolution

This article is concerned with the numerical investigation of one-dimensional population balance models for batch crystallization process with fines dissolution.In batch crystallization,dissolution of smaller unwanted nuclei below some critical size is of vital importance as it improves the quality of product.The crystal growth rates for both size-independent and size-dependent cases are considered.A delay in recycle pipe is also included in the model.The space–time conservation element and solution element method,originally derived for non-reacting flows,is used to solve the model.This scheme has already been applied to a range of PDEs,mainly in the area of fluid mechanics.The numerical results are compared with those obtained from the Koren scheme,showing that the proposed scheme is more efficient.

THE SPACE-TIME FINITE ELEMENT METHOD FOR PARABOLIC PROBLEMS

Adaptive space-time finite element method, continuous in space but discontinuous in time for semi-linear parabolic problems is discussed. The approach is based on a combination of finite element and finite difference techniques. The existence and uniqueness of the weak solution are proved without any assumptions on choice of the spacetime meshes. Basic error estimates in L-infinity (L-2) norm, that is maximum-norm in time, L-2-norm in space are obtained. The numerical results are given in the last part and the analysis between theoretic and experimental results are obtained.

Mixed time discontinuous space-time finite element method for convection diffusion equations

A mixed time discontinuous space-time finite element scheme for secondorder convection diffusion problems is constructed and analyzed. Order of the equation is lowered by the mixed finite element method. The low order equation is discretized with a space-time finite element method, continuous in space but discontinuous in time. Stability, existence, uniqueness and convergence of the approximate solutions are proved. Numerical results are presented to illustrate efficiency of the proposed method.

A Novel Staggered Semi-implicit Space-Time Discontinuous Galerkin Method for the Incompressible Navier-Stokes Equations

A new high-order accurate staggered semi-implicit space-time discontinuous Galerkin(DG)method is presented for the simulation of viscous incompressible flows on unstructured triangular grids in two space dimensions.The staggered DG scheme defines the discrete pressure on the primal triangular mesh,while the discrete velocity is defined on a staggered edge-based dual quadrilateral mesh.In this paper,a new pair of equal-order-interpolation velocity-pressure finite elements is proposed.On the primary triangular mesh(the pressure elements),the basis functions are piecewise polynomials of degree N and are allowed to jump on the boundaries of each triangle.On the dual mesh instead(the velocity elements),the basis functions consist in the union of piecewise polynomials of degree N on the two subtriangles that compose each quadrilateral and are allowed to jump only on the dual element boundaries,while they are continuous inside.In other words,the basis functions on the dual mesh arc built by continuous finite elements on the subtriangles.This choice allows the construction of an efficient,quadrature-free and memory saving algorithm.In our coupled space-time pressure correction formulation for the incompressible Navier-Stokes equations,the arbitrary high order of accuracy in time is achieved through tire use of time-dependent test and basis functions,in combination with simple and efficient Picard iterations.Several numerical tests on classical benchmarks confirm that the proposed method outperforms existing staggered semi-implicit space-time DG schemes,not only from a computer memory point of view,but also concerning the computational time.

H^1 space-time discontinuous finite element method for convection-diffusion equations

An H1 space-time discontinuous Galerkin （STDG） scheme for convection- diffusion equations in one spatial dimension is constructed and analyzed. This method is formulated by combining the H1 Galerkin method and the space-time discontinuous finite element method that is discontinuous in time and continuous in space. The existence and the uniqueness of the approximate solution are proved. The convergence of the scheme is analyzed by using the techniques in the finite difference and finite element methods. An optimal a-priori error estimate in the L∞ （H1） norm is derived. The numerical exper- iments are presented to verify the theoretical results.

LARGE TIME ASYMPTOTIC BEHAVIOR OF THE COMPRESSIBLE NAVIER-STOKES EQUATIONS IN PARTIAL SPACE-PERIODIC DOMAINS

In this article, we study the large time behavior of the 3-D isentropic compressible Navier-Stokes equation in the partial space-periodic domains, and simultaneously show that the related profile systems can be described by like Navier-Stokes equations with suitable ＂pressure＂ functions in lower dimensions. Our proofs are based on the energy methods together with some delicate analysis on the corresponding linearized problems.

SPACE-TIME DISCONTINUOUS GALERKIN METHOD FOR MAXWELL EQUATIONS IN DISPERSIVE MEDIA

In this paper, a unified model for time-dependent Maxwell equations in dispersive media is considered. The space-time DG method developed in [29] is applied to solve the un-derlying problem. Unconditional L2-stability and error estimate of order O？τr＋1＋hk＋1/2？ are obtained when polynomials of degree at most r and k are used for the temporal dis-cretization and spatial discretization respectively. 2-D and 3-D numerical examples are given to validate the theoretical results. Moreover, numerical results show an ultra-convergence of order 2r＋1 in temporal variable t.

Method of Phase Diagrams for the Analysis of Seism-Acoustical Spatial-Time Monitoring Data in Oil Wells

Experimental and theoretical studies of the mechanisms of vibration stimulation of oil recovery in watered fields lead to the conclusion that resonance oscillations develop in fractured-block formations. These oscillations, caused by weak but long-lasting and frequency-stable influences, create the conditions for ultrasonic wave’s generation in the layers, which are capable of destroying thickened oil membranes in reservoir cracks. For fractured-porous reservoirs in the process of exploitation by the method of water high-pressure oil displacement, the possibility of intensifying ultrasonic vibrations can have an important technological significance. Even a very weak ultrasound can destroy, over a long period of time, the viscous oil membranes formed in the cracks between the blocks, which can be the reason for lowering the permeability of the layers and increasing the oil recovery. To describe these effects, it is necessary to consider the wave process in a hierarchically blocky environment and theoretically simulate the mechanism of the appearance of self-oscillations under the action of relaxation shear stresses. For the analysis of seism acoustic response in time on fixed intervals along the borehole an algorithm of phase diagrams of the state of many-phase medium is suggested.

A Comparison of Demonstratives in English and Chinese

This paper re-examines the comparison of the demonstratives in English and Chinese,which has been discussed by many linguists.They argue that the demonstratives in English and Chinese don't correspond symmetrically,and that '这' in Chinese,for example,is more widely used than this in English.Earlier approaches to the comparison in terms of space,time and text distance are reviewed.This paper assumes that,compared with English demonstratives,the proximity indicated by Chinese demonstratives is more influenced by psychological factors.This paper holds that the space,time and text distance as well as psychological distance act upon each other,co-determining the choice of demonstratives in Chinese.

Shift control method for the local time at descendi ngnode based on sun-synchronous orbit satellite

This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the satellite orbit design and the orbit injection deviation are the causes for the initial shift velocity, whereas the atmospheric drag and the sun gravitational perturbation produce the shift acceleration. To deal with these shift factors, a shift control method is put forward, through such methods as orbit variation design, orbit altitude, and inclination keeping control. The simulation experiment and practical application have proved the effectiveness of this control method.

Cutting-Edge Space Exploration Technology Maturity Level Facilitation with Support of Space Debris Removal Missions

Considering current space debris situation in outer space environment,different methods for debris removal missions are proposed.In addition,advanced technologies are needed to be demonstrated for future human space exploration programs.The main issue regarding to these missions is high mission cost for both debris removal missions and space environmental tests to achieve high maturity level for new space-usable technologies.Since,these missions are unavoidable for future of human space activities,a solution which can tackle these challenges is necessary.This paper will address to an idea which has the possibility to give a solution for facilitating technology readiness level(TRL)maturity tests by debris removal mission platform consideration.

Quantitative division of succession and spatial patterns among different stand developmental stages in Changbai Mountains

Broadleaf-Korean pine forests exhibit high species richness and distinctive species composition, which are currently becoming more dominant among natural forests in Changbai Mountains of northeastern China. Understanding the ecological process of restored vegetation is quite important for ecosystem reconstruction. Distinguishing stand development stages and analyzing the dynamic spatial patterns could provide insights into significant community coexistence mechanisms. In the present study, eight permanent study areas were established according to the substituting space for time method in Changbai Mountains of north-eastern China. The optimal division method was used to quantify the successional series into different stand development stages, and the point pattern analysis method(L(r) function) was used to analyse the dynamic changes in spatial patterns and interspecific associations. Our results suggested that:(1) The stand development process was divided into five stages: the first three stages were poplar-birch secondary forests in different stages of recovery, the fourth stage was thespruce-fir mixed forest, and the last stage was the primary broadleaf-Korean pine forest;(2) The spatial pattern showed an aggregated distribution at a small scale and changed to a random distribution as the scale increased in poplar-birch secondary forests, but the spatial pattern appeared to be randomly distributed in spruce-fir mixed forest and broadleafKorean pine forest;(3) The interspecific associations between pioneer species and climax species changed from negative to positive among the different stand stages, and environmental resources were shared among these species. Interspecific differences in shade tolerance among the tree species were key determinants of forest dynamics and structure. Our study is vital to the understanding of the forest development;thus, the spatial change features should receive greater attention when forest management is being planned and restoration strategies are being developed for the Changbai Mountains.

The transformation between τ and TCB for deep space missions under IAU resolutions

For tracking spacecraft and performing radio science, the transformation between the proper time （τ） given by a clock carried onboard a spacecraft and the barycentric coordinate time （TCB） is investigated under IAU resolutions. In order to more clearly demonstrate manifestations of a physical model and improve computa- tional efficiency, an analytic approach is adopted. After numerical verification, it is confirmed that this method is adequate to describe a Mars orbiter during one year, and is particularly good at describing the influence from perturbing bodies. Further analyses demonstrate that there are two main effects in the transformation： the gravi- tational field of the Sun and the velocity of the spacecraft in the barycentric coordinate reference system. The combined contribution of these effects is at the level of a few sub-seconds.

Relativistic transformation between τ and TCB for Mars missions: Fourier analysis on its accessibility with clock offset

In the context of the fact that Einstein＇s general relativity has become an inevitable part of deep space missions, we will extend previous works on relativistic transformation between the proper time ^- of a clock onboard a spacecraft orbiting Mars and the Barycentric Coordinate Time （TCB） by taking the clock offset into ac- count and investigate its accessibility by Fourier analysis on the residuals after fitting the ^--TCB curve in terms of n-th order polynomials. We find that if the accuracy of a clock can achieve better than ~ 10-5 s or ~ 10-6 s （depending on the type of clock offset） in one year after calibration, the relativistic effects on the difference between 7- and TCB will need to be carefully considered.

Exact solutions of nonlinear fractional differential equations by (G'/G)-expansion method

In this paper, we use the fractional complex transform and the （G＇/G）-expansion method to study the nonlinear fractional differential equations and find the exact solutions. The fractional complex transform is proposed to convert a partial fractional differential equation with Jumarie＇s modified Riemann-Liouville derivative into its ordinary differential equation. It is shown that the considered transform and method are very efficient and powerful in solving wide classes of nonlinear fractional order equations.