Search results

The purpose of this paper is to develop new simple logics and translations for hierarchical model checking. Hierarchical model checking is a model-checking paradigm that can appropriately verify systems with hierarchical information and structures.

In this study, logics and translations for hierarchical model checking are developed based on linear-time temporal logic (LTL), computation-tree logic (CTL) and full computation-tree logic (CTL*). A sequential linear-time temporal logic (sLTL), a sequential computation-tree logic (sCTL), and a sequential full computation-tree logic (sCTL*), which can suitably represent hierarchical information and structures, are developed by extending LTL, CTL and CTL*, respectively. Translations from sLTL, sCTL and sCTL* into LTL, CTL and CTL*, respectively, are defined, and theorems for embedding sLTL, sCTL and sCTL* into LTL, CTL and CTL*, respectively, are proved using these translations.

These embedding theorems allow us to reuse the standard LTL-, CTL-, and CTL*-based model-checking algorithms to verify hierarchical systems that are modeled and specified by sLTL, sCTL and sCTL*.

The new logics sLTL, sCTL and sCTL* and their translations are developed, and some illustrative examples of hierarchical model checking are presented based on these logics and translations.

To develop an overview of generalized scales based on pansystems‐relative quantification.

This is a discussion paper exploring the key issues surrounding generalized measures.

The concrete contents of the study include generalized measure views, dimension theory, concepts, logic, theories, Einstein's relativity, quality‐quantity‐degree, methodology of physics, theorems in pansystems mathematics and physics explained within the framework of pan‐scale transformations.

Provides an overview of generalized scales based on pansystems‐relative quantification.

The purpose of this paper is to state new formulation of the programme‐styled framework of pansystems research and related expansions.

Pansystems‐generalized extremum principle (0**: (dy/dx=0)**) is presented with recognitions to various logoi of philosophy, mathematics, technology, systems, cybernetics, informatics, relativity, biology, society, resource, communications and related topics: logic, history, humanities, aesthetics, journalism, IT, AI, TGBZ* <truth*goodness*beauty*Zen*>, etc. including recent rediscoveries of 50 or so pansystems logoi.

A keynote of the paper is to develop the deep logoi of the analytic mathematics, analytic mechanics, variational principles, Hilbert's sixth/23rd problems, pan‐axiomatization to encyclopedic principles and various applications. The 0**‐universal connections embody the transfield internet‐styled academic tendency of pansystems exploration.

The paper includes topics: history megawave, pansystems sublation‐modes, pan‐metaphysics, pansystems dialogs with logoi of 100 thinkers or so, and pansystems‐sublation for a series of logoi concerning the substructure of encyclopedic dialogs such as systems, derivative, extremum, quantification, variational principle, equation, symmetry, OR, optimization, approximation, yinyang, combination, normality‐abnormality, framework, modeling, simulation, relativity, recognition, practice, methodology, mathematics, operations and transformations, quotientization, product, clustering, Banach completeness theorem, Weierstrass approximation theorem, Jackson approximation theorem, Taylor theorem, approximation transformation theorems due to Walsh‐Sewell mathematical school, Hilbert problems, Cauchy theorem, theorems of equation stability, function theory, logic, paradox, axiomatization, cybernetics, dialectics, multistep decision, computer, synergy, vitality and the basic logoi for history, ethics, economics, society OR, aesthetics, journalism, institution, resource and traffics, AI, IT, etc.

The purpose of this paper is to study the optimization problem of low‐frequency magnetic shielding using the adjoint variable method (AVM). This method is compared with conventional methods to calculate the gradient.

The equation for the vector potential (eddy currents model) in appropriate Sobolev spaces is studied to obtain well‐posedness. The optimization problem is formulated in terms of a cost functional which depends on the vector potential and its rotation. Convergence of a steepest descent algorithm to a stationary point of this functional is proved. Finally, some numerical results for an axisymmetric induction heater are presented.

Using Friedrichs' inequality, the existence and uniqueness of the vector potential, its gradient and the corresponding adjoint variable can be proved. From the numerical results, it is concluded that the AVM is advantageous if the number of parameters to optimize is larger than two.

The AVM is only faster than conventional methods if the gradients can be calculated with sufficient accuracy.

Theoretical results for eddy currents model are often based on a non‐vanishing conductivity. The theoretical value of this paper is the presence of non‐conducting materials in the domain. From a practical viewpoint, it has been demonstrated that the AVM can yield a significant reduction of computational time for advanced optimization problems.

The paper deals with a spatial discretization of transient semiconductor device equations. The method can be regarded as a combination of FDM‐ and FEM‐ideas. In the first part of the paper the method is described and—for a weakly acute triangulation—existence, uniqueness, non‐negativity, stability and conservativity of the semidiscrete solution are proved. The second part contains an error estimation under stronger assumptions on the regularity of the analytical solution and on the uniformity of the triangulation respectively. A linear convergence rate is obtained.

The susceptible-infectious-susceptible (SIS) infectious disease models without spatial heterogeneity have limited applications, and the numerical simulation without considering models’ global existence and uniqueness of classical solutions might converge to an impractical solution. This paper aims to develop a robust and reliable numerical approach to the SIS epidemic model with spatial heterogeneity, which characterizes the horizontal and vertical transmission of the disease.

This study used stability analysis methods from nonlinear dynamics to evaluate the stability of SIS epidemic models. Additionally, the authors applied numerical solution methods from diffusion equations and heat conduction equations in fluid mechanics to infectious disease transmission models with spatial heterogeneity, which can guarantee a robustly stable and highly reliable numerical process. The findings revealed that this interdisciplinary approach not only provides a more comprehensive understanding of the propagation patterns of infectious diseases across various spatial environments but also offers new application directions in the fields of fluid mechanics and heat flow. The results of this study are highly significant for developing effective control strategies against infectious diseases while offering new ideas and methods for related fields of research.

Through theoretical analysis and numerical simulation, the distribution of infected persons in heterogeneous environments is closely related to the location parameters. The finding is suitable for clinical use.

The theoretical analysis of the stability theorem and the threshold dynamics guarantee robust stability and fast convergence of the numerical solution. It opens up a new window for a robust and reliable numerical study.

In this paper, the authors give a new version of the sub-super solution method and prove the existence of positive solution for a (p, q)-Laplacian system under weak assumptions than usually made in such systems. In particular, nonlinearities need not be monotone or positive.

The authors prove that the sub-super solution method can be proved by the Shcauder fixed-point theorem and use the method to prove the existence of a positive solution in elliptic systems, which appear in some problems of population dynamics.

The results complement and generalize some results already published for similar problems.

The result is completely new and does not appear elsewhere and will be a reference for this line of research.

The purpose of this study is to obtain the numerical as well as regularity results for the nonlinear elliptic set of equations arising in the study of fluid flow in microchannel induced by the pressure in the presence of interfacial electrokinetic effects.

For the numerical study, the authors implemented traditional FDM approach, and for the regularity results they used the classical energy estimates. The interfacial electrokinetic effects result in an additional source term in classical momentum equation, hence affecting the characteristics of the flow and heat transfer. The sinusoidal temperature variation is assumed on side walls.

The results were obtained for various combinations of physical parameters appearing in the governing equations. This study concludes that in the presence of electric double layer, the average heat transfer rate reduces along with larger values of Reynolds number. It is observed that the heat transfer increases with the increase in amplitude ratio and phase deviation. The flow behavior and heat transfer rate inside the microchannel are also strongly affected by the presence of κ (kappa).

To the best of the authors’ knowledge, the problem of heat transfer through microchannel in combination with sinusoidal temperature variation at boundary with electric double layer effects has not been considered previously. Hence, this paper focuses on the influence of the sinusoidal boundary temperature distributions on both sidewalls of a rectangular microchannel through parallel plates with electrokinetic effects on the pressure-driven laminar flow. In addition, a detailed mathematical analysis is also to be carried out to verify the regularity of this model with the proposed boundary conditions. The study used the classical energy method to get the regularity results.