Search

We investigated the influence of mental imagery expertise in 15 pen and paper role-players as an expert group compared to the gender-matched control group of computer role-players in the difficult Vandenberg and Kuse mental rotation task. In this task, the participants have to decide which two of four rotated figures match the target figure. The dependent measures were performance speed and accuracy. In our exploratory investigation, we further examined midline frontal theta band activation, parietal alpha band activation, and parietal alpha band asymmetry in EEG as indicator for the chosen rotation strategy. Additionally, we explored the gender influence on performance and EEG activation, although a very small female sample section was given. The expected gender difference concerning performance accuracy was negated by expertise in pen and paper role-playing women, while the gender-specific difference in performance speed was preserved. Moreover, gender differences concerning electro-cortical measures revealed differences in rotation strategy, with women using top-down strategies compared to men, who were using top-down strategies and active inhibition of associative cortical areas. These strategy uses were further moderated by expertise, with higher expertise leading to more pronounced activation patters, especially during successful performance. However, due to the very limited sample size, the findings of this explorative study have to be interpreted cautiously.

Paper waste in the mockups design with regular, irregular, and amorphous patterns is a critical problem in digital printing presses. Paper waste reduction directly impacts production costs, generating business and environmental benefits. This problem can be mapped to the two-dimensional irregular bin-packing problem. In this paper, an iterated local search algorithm using a novel neighborhood structure to detect overlaps between amorphous shapes is introduced. This algorithm is used to solve the paper waste problem, modeled as one 2D irregular bin-packing problem. The experimental results show that this approach works efficiently and effectively to detect and correct the overlaps between regular, irregular, and amorphous figures.

This comment is devoted to the paper “Lie Symmetry Analysis, Explicit Solutions, and Conservation Laws of a Spatially Two-Dimensional Burgers–Huxley Equation” (Symmery, 2020, vol.12, 170), in which several results are either incorrect, or incomplete, or misleading.

This short paper concerns the analysis of the M/M/k queueing system with customer abandonment. In this system, service managers provide a finite buffer space, which is a waiting area that prevents customers from abandoning the system. Abandonment of the system can occur from reneging (exiting from the queue while waiting), and/or balking (leaving the system without waiting). We derive an analytical expression to represent the impact of the buffer space capacity on the delay probability and the abandonment probability for a system with deferred abandonment. The result indicates the provision of the buffer space in a large system could only increase the delay probability while the abandonment probability remains unchanged. Despite the benevolent intentions of service managers, providing a buffer space may exacerbate the performance of larger systems.

The class of log-elliptical distributions is well used and studied in risk measurement and actuarial science. The reason is that risks are often skewed and positive when they describe pure risks, i.e., risks in which there is no possibility of profit. In practice, risk managers confront a system of mutually dependent risks, not only one risk. Thus, it is important to measure risks while capturing their dependence structure. In this short paper, we compute the multivariate risk measures, multivariate tail conditional expectation, and multivariate tail covariance measure for the family of log-elliptical distributions, which captures the dependence structure of the risks while focusing on the tail of their distributions, i.e., on extreme loss events. We then study our result and examine special cases, as well as the optimal portfolio selection using such measures. Finally, we show how the given multivariate tail moments can also be computed for log-skew elliptical models based on similar approaches given for the log-elliptical case.

Recently, various types of single valued neutrosophic (SVN) rough set models were presented based on the same inclusion relation. However, there is another SVN inclusion relation in SVN sets. In this paper, we propose a new type of SVN covering rough set model based on the new inclusion relation. Furthermore, the graph and matrix representations of the new SVN covering approximation operators are presented. Firstly, the notion of SVN β 2 -covering approximation space is proposed, which is decided by the new inclusion relation. Then, a type of SVN covering rough set model under the SVN β 2 -covering approximation space is presented. Moreover, there is a corresponding SVN relation rough set model based on a SVN relation induced by the SVN β 2 -covering, and two conditions under which the SVN β 2 -covering can induce a symmetric SVN relation are presented. Thirdly, the graph and matrix representations of the new SVN covering rough set model are investigated. Finally, we propose a novel method for decision making (DM) problems in paper defect diagnosis under the new SVN covering rough set model.

Resident combustion of solid fuel has been widely acknowledged as a high potential for pollutant reduction. However, there is a marked asymmetry between more pollutant emission and less burned volatiles of biomass and coal in the combustion process. To study the solid fuel optimum combustion form in a household stove, both the pollution reduction and energy efficient utilization of crop straws and coals were investigated. Taking the molding pressure and clay addition ratio as variable process conditions, the research of bio-coal briquette (made from the mixture of anthracite and biomass) was implemented in the range of 15~35 MP and 5~15%, respectively. Biomass and coal work complementarily for each other’s combustion property development. In particular, the pyrolysis gas produced by biomass low-temperature devolatilization is featured with low ignition point and is distributed in the bio-coal briquette. Its own combustion provides energy for anthracite particle combustion. Consequently, a positive effect was identified when bio-coal briquettes were used as residential fuel, and further improvement manifested in reducing more than 90% of particle matter (PM) and achieving about twice the thermal efficiencies (TEs) compared with the mass-weighted average values of coal briquettes and biomass briquettes. 88.8 ± 11.8%, 136.7 ± 13.7% and 81.4 ± 17.7% more TEs were provided by wheat straw–coal briquettes, rice straw–coal briquettes and maize straw–coal briquettes. 93.3 ± 3.1% (wheat straw–coal), 97.6 ± 0.2% (rice straw–coal) and 90.4 ± 2.2% (maize straw–coal) in terms of PM2.5 emission factors (EFs) was reduced. For bio-coal briquette, a 25 MPa and 10% addition were determined as the optimum molding pressure and clay addition ratio. Bio-coal briquettes with higher TEs and lower PM EFs will bring about substantial benefits for air quality promotion, human health and energy saving.

We present three types of polyhedral surfaces, which are continuously flexible and have not only an initial pose, where all faces are coplanar, but pass during their self-motion through another pose with coplanar faces (“flat pose”). These surfaces are examples of so-called rigid origami, since we only admit exact flexions, i.e., each face remains rigid during the motion, only the dihedral angles vary. We analyze the geometry behind Miura-ori and address Kokotsakis’ example of a flexible tessellation with the particular case of a cyclic quadrangle. Finally, we recall Bricard’s octahedra of Type 3 and their relation to strophoids.

In this paper, we consider parallel-machine scheduling with release times and submodular penalties (P|rj,reject|Cmax+π(R)), in which each job can be accepted and processed on one of m identical parallel machines or rejected, but a penalty must paid if a job is rejected. Each job has a release time and a processing time, and the job can not be processed before its release time. The objective of P|rj,reject|Cmax+π(R) is to minimize the makespan of the accepted jobs plus the penalty of the rejected jobs, where the penalty is determined by a submodular function. This problem generalizes a multiprocessor scheduling problem with rejection, the parallel-machine scheduling with submodular penalties, and the single machine scheduling problem with release dates and submodular rejection penalties. In this paper, inspired by the primal-dual method, we present a combinatorial 2-approximation algorithm to P|rj,reject|Cmax+π(R). This ratio coincides with the best known ratio for the parallel-machine scheduling with submodular penalties and the single machine scheduling problem with release dates and submodular rejection penalties.

Swirling has a significant effect on the main characteristics of flow and can lead to its fundamental restructuring. On the flow axis, a stagnation point with zero velocity is possible, behind which a return flow zone is formed. The apparent instability leads to the formation of secondary vortex motions and can also be the cause of vortex breakdown. In the paper, a swirling flow with a velocity profile of the Batchelor vortex type has been studied on the basis of the linear hydrodynamic stability theory. An effective numerical method for solving the spectral problem has been developed. This method includes the asymptotic solutions at artificial and irregular singular points. The stability of flows was considered for the values of the Reynolds number in the range 10≤Re≤5×106. The calculations were carried out for the value of the azimuthal wavenumber parameter n=−1. As a result of the analysis of the solutions, the existence of up to eight simultaneously occurring unstable modes has been shown. The paper presents a classification of the detected modes. The critical parameters are calculated for each mode. For fixed values of the Reynolds numbers 60≤Re≤5000, the curves of neutral stability are plotted. Branching points of unstable modes are found. The maximum growth rates for each mode are determined. A new viscous instability mode is found. The performed calculations reveal the instability of the Batchelor vortex at large values of the swirl parameter for long-wave disturbances.

Accurate sky identification is one of the most important functions of an automated telescope mount. The more accurately the robotic telescope is navigated to the investigated part of the sky, the better the observations and discoveries made. In this paper, we present mathematical methods for accurate sky identification (celestial coordinates determination). They include the automatic selection of the reference stars, preliminary and full sky identification, as well as an interaction with international databases, which are a part of the astrometric calibration. All described methods help to receive accurately calculated astrometric data and use it for the positional calibration and better navigation of the automated telescope mount. The developed methods were successfully implemented in the Collection Light Technology (CoLiTec) software. Through its use, more than 1600 small solar system objects were discovered. It has been used in more than 700,000 observations and successful sky identifications, during which, five comets were discovered. Additionally, the accuracy indicators of the processing results of the CoLiTec software are provided in the paper, which shows benefits of the CoLiTec software and lower standard deviation of the sky identification in the case of low signal-to-noise ratios.

This paper studies the solution procedure of a bus transit system with a rectangular service area that had been cited more than two hundred times. We will point out that they applied relations suitable for continuous variables, which are not held for a discrete variable and will result in invalid results. We provide our solution procedure to the same example proposed by the original paper to illustrate that their results are less accurate. Our findings will help researchers understand this kind of bus transit system.

In this paper, the Painlevé integrable property of the (1 + 1)-dimensional generalized Broer–Kaup (gBK) equations is first proven. Then, the Bäcklund transformations for the gBK equations are derived by using the Painlevé truncation. Based on a special case of the derived Bäcklund transformations, the gBK equations are linearized into the heat conduction equation. Inspired by the derived Bäcklund transformations, the gBK equations are reduced into the Burgers equation. Starting from the linear heat conduction equation, two forms of N-soliton solutions and rational solutions with a singularity condition of the gBK equations are constructed. In addition, the rational solutions with two singularity conditions of the gBK equation are obtained by considering the non-uniqueness and generality of a resonance function embedded into the Painlevé test. In order to understand the nonlinear dynamic evolution dominated by the gBK equations, some of the obtained exact solutions, including one-soliton solutions, two-soliton solutions, three-soliton solutions, and two pairs of rational solutions, are shown by three-dimensional images. This paper shows that when the Painlevé test deals with the coupled nonlinear equations, the highest negative power of the coupled variables should be comprehensively considered in the leading term analysis rather than the formal balance between the highest-order derivative term and the highest-order nonlinear term.

(1) Background: In a recent paper discussing Newton’s third law in the framework of special relativity for charged bodies, it was suggested that one can construct a practical relativistic motor provided high enough charge and current densities are available. As on the macroscopic scale charge density is limited by the phenomena of dielectric breakdown, it was suggested to take advantage of the high charge densities which are available on the microscopic scale. (2) Methods: We use standard physical theories such as Maxwell electrodynamics and quantum mechanics, supplemented by tools from vector analysis and numerics. (3) Results: We show that a hydrogen atom either in the ground state or excited state will not produce a relativistic engine effect, but by breaking the symmetry or putting the electron in a wave packet state may produce relativistic motor effect. (4) Conclusions: A highly localized wave packet will produce a strong relativistic motor effect. The preliminary analysis of the current paper suggests new promising directions of research both theoretical and experimental.

Wildfires are complex natural events that cause significant environmental and property damage, as well as human losses, every year throughout the world. In order to aid in their management and mitigate their impact, efforts have been directed towards developing decision support systems that can predict wildfire propagation. Most of the available tools for wildfire spread prediction are based on the Rothermel model that, apart from being relatively complex and computing demanding, depends on several input parameters concerning the local fuels, wind or topography, which are difficult to obtain with a minimum resolution and degree of accuracy. These factors are leading causes for the deviations between the predicted fire propagation and the real fire propagation. In this sense, this paper conducts a literature review on optimization methodologies for wildfire spread prediction based on the use of evolutionary algorithms for input parameter set calibration. In the present literature review, it was observed that the current literature on wildfire spread prediction calibration is mostly focused on methodologies based on genetic algorithms (GAs). Inline with this trend, this paper presents an application of genetic algorithms for the calibration of a set of the Rothermel model’s input parameters, namely: surface-area-to-volume ratio, fuel bed depth, fuel moisture, and midflame wind speed. The GA was validated on 37 real datasets obtained through experimental prescribed fires in controlled conditions.

The problem of the dual synchronization of two different fractional-order chaotic systems with uncertain parameters is studied. This paper introduces a synchronization method in accordance with Lyapunov stability theory, and the adaptive controllers and adaptive laws are designed to realize the dual synchronization of fractional order chaotic systems. Finally, two numerical examples of unknown different fractional-order chaotic systems are also given to prove the accuracy of the theory in the paper, and the effectiveness and performance of the proposed adaptive dual synchronization strategy are verified by simulation.

This paper deals with the measurement of the compatibility in a local AHP-Group Decision Making context. Compatibility between two individuals or decision makers is understood as the property that reflects the proximity between their positions or preferences, usually measured by a distance function. An acceptable level of incompatibility between the individual and the group positions will favour the acceptance of the collective position by the individuals. To facilitate the compatibility measurement, the paper utilises four indicators based on log quadratic distances between matrices or vectors which can be employed in accordance with the information that is available from the individual decision makers and from the group. The indicators make it possible to measure compatibility in decision problems, regardless of how the collective position and the priorities are obtained. The paper also presents a theoretical framework and a general, semi-automatic procedure for reducing the incompatibility measured by the four indicators. Using relative variations, the procedure identifies and slightly modifies the judgement of the collective matrix that further improves the indicator. This process is undertaken without modifying the initial information provided by the individuals. A numerical example illustrates the application of the theoretical framework and the procedure.

In this paper we study the existence of a mild solution of a periodic boundary value problem for fractional quasilinear differential equations in a Hilbert spaces. We assume that a linear part in equations is a self-adjoint positive operator with dense domain in Hilbert space and a nonlinear part is a map obeying Carathéodory type conditions. We find the mild solution of this problem in the form of a series in a Hilbert space. In the space of continuous functions, we construct the corresponding resolving operator, and for it, by using Schauder theorem, we prove the existence of a fixed point. At the end of the paper, we give an example for a boundary value problem for a diffusion type equation.

The fruit fly Drosophila melanogaster is a classic research object in genetics and systems biology. In the genetic analysis of flies, a routine task is to determine the offspring size and gender ratio in their populations. Currently, these estimates are made manually, which is a very time-consuming process. The counting and gender determination of flies can be automated by using image analysis with deep learning neural networks on mobile devices. We proposed an algorithm based on the YOLOv4-tiny network to identify Drosophila flies and determine their gender based on the protocol of taking pictures of insects on a white sheet of paper with a cell phone camera. Three strategies with different types of augmentation were used to train the network. The best performance (F1 = 0.838) was achieved using synthetic images with mosaic generation. Females gender determination is worse than that one of males. Among the factors that most strongly influencing the accuracy of fly gender recognition, the fly’s position on the paper was the most important. Increased light intensity and higher quality of the device cameras have a positive effect on the recognition accuracy. We implement our method in the FlyCounter Android app for mobile devices, which performs all the image processing steps using the device processors only. The time that the YOLOv4-tiny algorithm takes to process one image is less than 4 s.

This paper is supposed to form a keystone towards a new and alternative approach to Fourier analysis over LCA (locally compact Abelian) groups G. In an earlier paper the author has already shown that one can introduce convolution and the Fourier–Stieltjes transform on (M(G),∥·∥M), the space of bounded measures (viewed as a space of linear functionals) in an elementary fashion over Rd. Bounded uniform partitions of unity (BUPUs) are easily constructed in the Euclidean setting (by dilation). Moving on to general LCA groups, it becomes an interesting challenge to find ways to construct arbitrary fine BUPUs, ideally without the use of structure theory, the existence of a Haar measure and even Lebesgue integration. This article provides such a construction and demonstrates how it can be used in order to show that any so-called homogeneous Banach space(B,∥·∥B) on G, such as (Lp(G),∥·∥p), for 1≤p<∞, or the Fourier–Stieltjes algebra FM(G), and in particular any Segal algebra is a Banach convolution module over (M(G),∥·∥M) in a natural way. Via the Haar measure we can then identify L1(G),∥·∥1 with the closure (of the embedded version) of Cc(G), the space of continuous functions with compact support, in (M(G),∥·∥M), and show that these homogeneous Banach spaces are essentialL1(G)-modules. Thus, in particular, the approximate units act properly as one might expect and converge strongly to the identity operator. The approach is in the spirit of Hans Reiter, avoiding the use of structure theory for LCA groups and the usual techniques of vector-valued integration via duality. The ultimate (still distant) goal of this approach is to provide a new and elementary approach towards the (extended) Fourier transform in the setting of the so-called Banach–Gelfand triple(S0,L2,S0′)(G), based on the Segal algebra S0(G). This direction will be pursued in subsequent papers.

The management control system in an industry is managerial, directional, hindrance, and cohesive action in order to cohere and regulate various branches and sub-branches. In fact, it is a system that supports the real state of matters in the right way. This method is intended at assuring that the purposes and activities carried out have the desired outcomes and eventually lead to the objects and purposes of the company. In this matter, the financial and non-financial management control system is essential both when it comes to strategy community; Consequently, in this paper, the management control system is classified into financial and non-financial categories because such analysis gives a chance to get a broad assessment of a management control system relationship in organizations. In this paper, we evaluate the relationship between business strategy and management control system and their influences on financial performance measurement of a manufacturer (a case study of Maral Co.) with the use of Merchant’s theory. Furthermore, In this case, a decision-making strategy centered on the FMEA is used to identify and prioritize risk factors financial of the control system in companies. Nevertheless, because this strategy has some significant limitations, this research has presented a decision-making approach depending on Z-number theory. For tackle, some of the RPN score’s drawbacks, the suggested decision-making methodology combines the Z-SWARA and Z-WASPAS techniques with the FMEA method. The findings reveal that in the non-financial management control system element, customer satisfaction, and in the financial component, cost standards are at the largest level of weight. Furthermore, the strategic planning factor with a rate of 2.95 and the deviation analysis factor with a rate of 2.87 is at the lowest level, respectively. In sum, market or industry changes are the primary cause of risk in businesses, according to FMEA methodology and the opinions of three professionals.

Based on the Szirtes’ modern dimensional analysis (MDA), the authors apply the theory to a real structure in order to validate by experimental measurements its applicability. After a presentation of the basic elements of the model law (ML), deduced for two relevant cases, the authors conceived the set of prototypes and models, based on the case of an actual construction pillar, physically performed at scales of 1:1, 1:2, and 1:4. The combination of these structural elements, made at different scales, resulted in three sets of prototypes and models. In this paper, taking into consideration the ML for two relevant cases, the following are presented: the original test stand of these structural elements; block diagram of the original electronic heating and control system; the basic considerations regarding the particularity of this heating system from the point of view of heat transfer; measurement data, obtained for both nonthermally protected elements and for those protected with layers of intumescent paints. In the last part of the paper, the values obtained by rigorous direct measurements with those offered by the ML on the elements considered as prototypes and models are compared. Almost identical values were obtained from the direct measurements with those provided by the ML, thus resulting in the validation of these laws. The same thermal regimes were applied to all these structural elements, with registration of every parameter related to these thermal regimes. Depending on the role of a structural element within a certain set (prototype-model), some of the measurement data were considered as data acquired directly through measurements, and others served as reference elements for those for which we had to obtain through the model law. In the last part of the paper, the sizes obtained by rigorous direct measurements are compared with those offered by the model law on the elements considered as prototypes and models. Identical practical values of the quantities were obtained from the direct measurements with those provided by the model law, thus resulting in the validation of these laws.

Contemporary literature continues to foster discussion whether financial development is important for economic growth. In the clash of theoretical arguments, the prevailing idea is that finance exerts a direct positive influence on GDP growth. However, the presence of theoretical counterarguments and contradictory results of empirical studies suggest that scientists, in search of an answer about the direction and power of the net effect, should develop methods of empirical analysis, and the very mystery of the relationship between finance and growth will finally be solved exclusively empirically. In this paper, the authors contribute to the development of the ‘finance-growth’ literature by answering some existing questions concerning the transmission channels from finance to growth, relying on more recent data compared to already conducted studies. We use panel data covering the period 1995 to 2019 for 168 countries. In addition, the paper touches on the problem of studying the exogenous conditions of such channels, considering the assumption that among these conditions there may be those that hinder the impact of financial deepening on economic growth. Our focus is on monetary conditions, and in the empirical part of the study, we touch upon the problem of the influence of price stability on the operation of these transmission channels. The methods of the conducted study are based on the dynamic panel data analysis techniques (System GMM). The novelty of this paper lies in the development of the modern theory of the financial sector transmission mechanism in the economic growth context. The main result of the study is that productivity channel is the most reliable transmission channel of financial deepening to economic growth. Furthermore, the effectiveness of this channel remains virtually unaffected by inflation. The channel of capital accumulation should be considered less reliable (in terms of statistical reliability of estimates obtained), but it has turned out to be a more economically significant transmission channel. This channel is sensitive to the inflation factor in certain categories of countries. Finally, as follows from the estimates gained, the non-linearity of the “finance-growth” relationship can be explained by the non-linearity of the variable responsible for the capital accumulation channel.

Image segmentation technology is dedicated to the segmentation of intensity inhomogeneous at present. In this paper, we propose a new method that incorporates fractional varying-order differential and local fitting energy to construct a new variational level set active contour model. The energy functions in this paper mainly include three parts: the local term, the regular term and the penalty term. The local term combined with fractional varying-order differential can obtain more details of the image. The regular term is used to regularize the image contour length. The penalty term is used to keep the evolution curve smooth. True positive (TP) rate, false positive (FP) rate, precision (P) rate, Jaccard similarity coefficient (JSC), and Dice similarity coefficient (DSC) are employed as the comparative measures for the segmentation results. Experimental results for both synthetic and real images show that our method has more accurate segmentation results than other models, and it is robust to intensity inhomogeneous or noises.

This paper is devoted to the identification of the parameters of discrete fractional systems with errors in variables. Estimates of the parameters of such systems can be obtained using generalized total least squares (GTLS). A GTLS problem can be reduced to a total least squares (TLS) problem. A total least squares problem is often ill-conditioned. To solve a TLS problem, a classical algorithm based on finding the right singular vector or an algorithm based on an augmented system of equations with complex coefficients can be applied. In this paper, a new augmented system of equations with real coefficients is proposed to solve TLS problems. A symmetrical augmented system of equations was applied to the parameter identification of discrete fractional systems. The simulation results showed that the use of the proposed symmetrical augmented system of equations can shorten the time for solving such problems. It was also shown that the proposed system can have a smaller condition number.

Most existing Siamese trackers mainly use a pre-trained convolutional neural network to extract target features. However, due to the weak discrimination of the target and background information of pre-trained depth features, the performance of the Siamese tracker can be significantly degraded when facing similar targets or changes in target appearance. This paper proposes a multi-channel-aware and adaptive hierarchical deep features module to enhance the discriminative ability of the tracker. Firstly, through the multi-channel-aware deep features module, the importance values of feature channels are obtained from both the target details and overall information, to identify more important feature channels. Secondly, by introducing the adaptive hierarchical deep features module, the importance of each feature layer can be determined according to the response value of each frame, so that the hierarchical features can be integrated to represent the target, which can better adapt to changes in the appearance of the target. Finally, the proposed two modules are integrated into the Siamese framework for target tracking. The Siamese network used in this paper is a two-input branch symmetric neural network with two input branches, and they share the same weights, which are widely used in the field of target tracking. Experiments on some Benchmarks show that the proposed Siamese tracker has several points of improvement compared to the baseline tracker.

According to the Frenet equations of the null curves in semi-Euclidean 4-space, the existence conditions and the geometrical characterizations of the Bertrand curves of the null curves are given in this paper. The examples and the graphs of the Bertrand pairs with two different conditions are also given in order to supplement the conclusion of this paper more intuitively.

This paper mainly focuses on some notions of the lightlike rectifying curves and the centrodes in Minkowski 3-space. Some geometrical characteristics of the three types of lightlike curves are obtained. In addition, we obtain the conditions of the centrodes of the lightlike curves are the lightlike rectifying curves. Meanwhile, a detailed analysis between the N-type lightlike slant helices and the centrodes of lightlike curves is provided in this paper. We give the projections of the lightlike rectifying curves to the timelike planes.

Automatic segmentation of intracranial brain tumors in three-dimensional (3D) image series is critical in screening and diagnosing related diseases. However, there are various challenges in intracranial brain tumor images: (1) Multiple brain tumor categories hold particular pathological features. (2) It is a thorny issue to locate and discern brain tumors from other non-brain regions due to their complicated structure. (3) Traditional segmentation requires a noticeable difference in the brightness of the interest target relative to the background. (4) Brain tumor magnetic resonance images (MRI) have blurred boundaries, similar gray values, and low image contrast. (5) Image information details would be dropped while suppressing noise. Existing methods and algorithms do not perform satisfactorily in overcoming these obstacles mentioned above. Most of them share an inadequate accuracy in brain tumor segmentation. Considering that the image segmentation task is a symmetric process in which downsampling and upsampling are performed sequentially, this paper proposes a segmentation algorithm based on U-Net++, aiming to address the aforementioned problems. This paper uses the BraTS 2018 dataset, which contains MR images of 245 patients. We suggest the generative mask sub-network, which can generate feature maps. This paper also uses the BiCubic interpolation method for upsampling to obtain segmentation results different from U-Net++. Subsequently, pixel-weighted fusion is adopted to fuse the two segmentation results, thereby, improving the robustness and segmentation performance of the model. At the same time, we propose an auto pruning mechanism in terms of the architectural features of U-Net++ itself. This mechanism deactivates the sub-network by zeroing the input. It also automatically prunes GenU-Net++ during the inference process, increasing the inference speed and improving the network performance by preventing overfitting. Our algorithm’s PA, MIoU, P, and R are tested on the validation dataset, reaching 0.9737, 0.9745, 0.9646, and 0.9527, respectively. The experimental results demonstrate that the proposed model outperformed the contrast models. Additionally, we encapsulate the model and develop a corresponding application based on the MacOS platform to make the model further applicable.

In this paper, targeting efficient authentication and key agreement in an IoT environment, we propose an Elliptic Curve Cryptography-(ECC) based lightweight authentication protocol called BCmECC which relies on a public blockchain to validate the users’ public key to provide desired security. We evaluate the security of the proposed protocol heuristically and validate it formally, which demonstratse the high level of the security. For the formal verification we used the widely accepted formal methods, i.e., BAN logic and the Scyther tool. In this paper we also analyse the security of recently proposed blockchain-based authentication protocols and show that this protocol does not provide the desired security against known session-specific temporary information attacks in which the adversary has access to the session’s ephemeral values and aims to retrieve the shared session key. In addition, the protocol lacks forward secrecy, in which an adversary with access to the server’s long-term secret key can retrieve the previous session keys, assuming that the adversary has already eavesdropped the transferred messages over a public channel in the target session. The proposed attacks are very efficient and their success probability is ‘1’, while the time complexity of each attack could be negligible. Besides, we show that BCmECC is secure against such attacks.

In comparison with other respiratory viruses, the current COVID-19 pandemic’s rapid seizing the world can be attributed to indirect (contact) way of transmission of SARS-CoV-2 virus in addition to the regular airborne way. A significant part of indirect transmission is made through cash bank notes. SARS-CoV-2 remains on cash paper money for period around four times larger than influenza A virus and is absorbed by cash notes two and a half times more effectively than influenza A (our model). During the pandemic, cryptocurrencies have gained attractiveness as an “epidemiologically safe” means of transactions. On the basis of the authors’ gallop polls performed online with social networks users in 44 countries in 2020–2021 (the total number of clear responses after the set repair 32,115), around 14.7% of surveyed participants engaged in cryptocurrency-based transactions during the pandemic. This may be one of the reasons of significant rise of cryptocurrencies rates since mid-March 2020 till the end of 2021. The paper discusses the reasons for cryptocurrency attractiveness during the COVID-19 pandemic. Among them, there are fear of SARS-CoV-2 spread via cash contacts and the ability of the general population to mine cryptocurrencies. The article also provides a breakdown of the polled audience profile to determine the nationalities that have maximal level of trust to saving and transacting money as cryptocurrencies.

This paper presents a variant scheme of the cubic exponential B-spline scheme, which, with two parameters, can generate curves with different shapes. This variant scheme is obtained based on the iteration from the generation of exponentials and a suitably chosen function. For such a scheme, we show its C2-convergence and analyze the effect of the parameters on the shape of the generated curves and also discuss its convexity preservation. In addition, a non-uniform version of this variant scheme is derived in order to locally control the shape of the generated curves. Numerical examples are given to illustrate the performance of the new schemes in this paper.

In this paper, we prove a Sehgal–Guseman-type fixed point theorem in b-rectangular metric spaces which provides a complete solution to an open problem raised by Zoran D. Mitrović (A note on a Banach’s fixed point theorem in b-rectangular metric space and b-metric space). The result presented in the paper generalizes and unifies some results in fixed point theory.

This paper is concerned with certain non-linear unperturbed and perturbed systems of integro-delay differential equations (IDDEs). We investigate fundamental properties of solutions such as uniformly stability (US), uniformly asymptotically stability (UAS), integrability and instability of the un-perturbed system of the IDDEs as well as the boundedness of the perturbed system of IDDEs. In this paper, five new and improved fundamental qualitative results, which have less conservative conditions, are obtained on the mentioned fundamental properties of solutions. The technique used in the proofs depends on Lyapunov-Krasovski functionals (LKFs). In particular cases, three examples and their numerical simulations are provided as numerical applications of this paper. This paper provides new, extensive and improved contributions to the theory of IDDEs.

Refining and reversing weighted arithmetic-geometric mean inequalities have been studied in many papers. In this paper, we provide some bounds for the differences between the weighted arithmetic and geometric means, using known inequalities. We improve the results given by Furuichi-Ghaemi-Gharakhanlu and Sababheh-Choi. We also give some bounds on entropies, applying the results in a different approach. We explore certain convex or concave functions, which are symmetric functions on the axis t=1/2.

Vehicle Re-identification (re-id) over surveillance camera network with non-overlapping field of view is an exciting and challenging task in intelligent transportation systems (ITS). Due to its versatile applicability in metropolitan cities, it gained significant attention. Vehicle re-id matches targeted vehicle over non-overlapping views in multiple camera network. However, it becomes more difficult due to inter-class similarity, intra-class variability, viewpoint changes, and spatio-temporal uncertainty. In order to draw a detailed picture of vehicle re-id research, this paper gives a comprehensive description of the various vehicle re-id technologies, applicability, datasets, and a brief comparison of different methodologies. Our paper specifically focuses on vision-based vehicle re-id approaches, including vehicle appearance, license plate, and spatio-temporal characteristics. In addition, we explore the main challenges as well as a variety of applications in different domains. Lastly, a detailed comparison of current state-of-the-art methods performances over VeRi-776 and VehicleID datasets is summarized with future directions. We aim to facilitate future research by reviewing the work being done on vehicle re-id till to date.

This paper investigates a relativistic Toda lattice system with an arbitrary parameter that is a very remarkable generalization of the usual Toda lattice system, which may describe the motions of particles in lattices. Firstly, we study some integrable properties for this system such as Hamiltonian structures, Liouville integrability and conservation laws. Secondly, we construct a discrete generalized (m,2N−m)-fold Darboux transformation based on its known Lax pair. Thirdly, we obtain some exact solutions including soliton, rational and semi-rational solutions with arbitrary controllable parameters and hybrid solutions by using the resulting Darboux transformation. Finally, in order to understand the properties of such solutions, we investigate the limit states of the diverse exact solutions by using graphic and asymptotic analysis. In particular, we discuss the asymptotic states of rational solutions and exponential-and-rational hybrid solutions graphically for the first time, which might be useful for understanding the motions of particles in lattices. Numerical simulations are used to discuss the dynamics of some soliton solutions. The results and properties provided in this paper may enrich the understanding of nonlinear lattice dynamics.

A cable-stayed bridge is a typical symmetrical structure, and symmetry affects the deformation characteristics of such bridges. The main girder of a cable-stayed bridge will produce obvious deflection under the inducement of temperature. The regression model of temperature-induced deflection is hoped to provide a comparison value for bridge evaluation. Based on the temperature and deflection data obtained by the health monitoring system of a bridge, establishing the correlation model between temperature and temperature-induced deflection is meaningful. It is difficult to complete a high-quality model only by the girder temperature. The temperature features based on prior knowledge from the mechanical mechanism are used as the input information in this paper. At the same time, to strengthen the nonlinear ability of the model, this paper selects an independent recurrent neural network (IndRNN) for modeling. The deep learning neural network is compared with machine learning neural networks to prove the advancement of deep learning. When only the average temperature of the main girder is input, the calculation accuracy is not high regardless of whether the deep learning network or the machine learning network is used. When the temperature information extracted by the prior knowledge is input, the average error of IndRNN model is only 2.53%, less than those of BPNN model and traditional RNN. Combining knowledge with deep learning is undoubtedly the best modeling scheme. The deep learning model can provide a comparison value of bridge deformation for bridge management.

The block cyclic reduction method is a finite-step direct method used for solving linear systems with block tridiagonal coefficient matrices. It iteratively uses transformations to reduce the number of non-zero blocks in coefficient matrices. With repeated block cyclic reductions, non-zero off-diagonal blocks in coefficient matrices incrementally leave the diagonal blocks and eventually vanish after a finite number of block cyclic reductions. In this paper, we focus on the roots of characteristic polynomials of coefficient matrices that are repeatedly transformed by block cyclic reductions. We regard each block cyclic reduction as a composition of two types of matrix transformations, and then attempt to examine changes in the existence range of roots. This is a block extension of the idea presented in our previous papers on simple cyclic reductions. The property that the roots are not very scattered is a key to accurately solve linear systems in floating-point arithmetic. We clarify that block cyclic reductions do not disperse roots, but rather narrow their distribution, if the original coefficient matrix is symmetric positive or negative definite.

The paper aims to analyze the vibrations of a summing box, used in heavy vehicles. An experimental setup is proposed and used for the analysis of these vibrations transmitted by the box housing, based on the measurement of the mechanical impedance. It is then shown that a simpler measurement, namely that of the generated noise spectrum, can provide equally useful results, with less effort and in a shorter time. The experimental setup is much simpler, involving a sonometer arranged in the experimental assembly. The symmetry of the box allows us to facilitate the execution of the experimental assembly, and the use of the symmetrical structure to facilitate the calculation of vibrations. The results obtained using this method in the case of a redesigned adder box are presented in the paper.

In this paper, the attitudes of experts are observed for the possible changes after taking a certain decision. The decision is taken by two persons with different fields of expertise. There is also an annotation of such changes due to the interference of a third person, which is main idea of this paper. These observations are done by developing fuzzy soft differential equations with the help of optimum fuzzy soft constants (OFSCs), which are obtained through the ranking coefficients. The ranking of alternatives is based on the coefficients, which are obtained through a decision-making process. Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) is exploited to rank the alternatives, and the attitudes of resource persons are examined through phase portraits and line graphs of the respective system of differential equations. The utilization of TOPSIS is a practice of multi-criteria decision-making in the analysis of human behaviours. Dual hesitant fuzzy soft sets are taken to represent the initial data.

The work continues a series of articles devoted to the peculiarities of solving coefficient inverse problems for nonlinear singularly perturbed equations of the reaction-diffusion-advection-type with data on the position of the reaction front. In this paper, we place the emphasis on some problems of the numerical solving process. One of the approaches to solving inverse problems of the class under consideration is the use of methods of asymptotic analysis. These methods, under certain conditions, make it possible to construct the so-called reduced formulation of the inverse problem. Usually, a differential equation in this formulation has a lower dimension/order with respect to the differential equation, which is included in the full statement of the inverse problem. In this paper, we consider an example that leads to a reduced formulation of the problem, the solving of which is no less a time-consuming procedure in comparison with the numerical solving of the problem in the full statement. In particular, to obtain an approximate numerical solution, one has to use the methods of the numerical diagnostics of the solution’s blow-up. Thus, it is demonstrated that the possibility of constructing a reduced formulation of the inverse problem does not guarantee its more efficient solving. Moreover, the possibility of constructing a reduced formulation of the problem does not guarantee the existence of an approximate solution that is qualitatively comparable to the true one. In previous works of the authors, it was shown that an acceptable approximate solution can be obtained only for sufficiently small values of the singular parameter included in the full statement of the problem. However, the question of how to proceed if the singular parameter is not small enough remains open. The work also gives an answer to this question.

In a previous paper, the problem of how the preventive maintenance organization for the k-out-of-n: F system could be used, in order to maximize system availability, was considered. The current paper continues these investigations using a different optimization criterion. The proposed approach is based on decision making theory for regenerative processes. We propose a general procedure for comparing different preventive maintenance strategies based on the ordered statistics distributions, aiming to choose the best one with respect to cost-type criterion. The lifetime distributions of system units are usually unknown and only one or two of their moments are available. For this reason, we pay special attention to the sensitivity analysis of decision making about preventive maintenance, taking into account the shape of the system unit lifetime distributions. A numerical study of two examples based on a real-world system illustrates the results of the proposed approach.

This study presents a systematic review (SR) of the literature on the use of Augmented Reality (AR) for the development of spatial skills of secondary and higher education students in the teaching of subjects related to the area of Science, Technology, Engineering and Mathematics (STEM). Numerous researchers have confirmed that students tend to have difficulties in acquiring learning content with a high visual load, which is why AR is being used to improve teaching–learning processes. This paper aims to present information of interest to researchers, teachers and software developers about the advantages and limitations of AR in the development of spatial intelligence, the integration and development of AR applications, as well as the predominant spatial skills and assessment methods. In this regard, an initial search was carried out which returned 242 articles. After reviewing and assessing their eligibility, a total of 17 papers published since 2002 were selected. The findings reveal an increase in the number of investigations over the last few years. Some of the most notable findings are the improvement of spatial skills of students through the inclusion of AR in educational environments, the need for teacher training, the lack of personalization in the applications developed and the scarcity of augmented materials in the form of Open Educational Resources (OER).

Most of the papers published so far in literature have focused on the theoretical phenomena underlying the formation of chaos, rather than on the investigation of potential applications of chaos to the real world. This paper aims to bridge the gap between chaos theory and chaos applications by presenting a survey of very recent applications of chaos. In particular, the manuscript covers the last three years by describing different applications of chaos as reported in the literature published during the years 2018 to 2020, including the matter related to the symmetry properties of chaotic systems. The topics covered herein include applications of chaos to communications, to distributed sensing, to robotic motion, to bio-impedance modelling, to hardware implementation of encryption systems, to computing and to random number generation.

Increasingly, cities worldwide are striving for green travel and slow traffic, and vigorously developing people-oriented urban pedestrian traffic with sustainability has become a fixture in recent discourse. This paper comprehensively considers the sidewalk’s facilities environment and the status of pedestrian traffic flow; divides the urban pedestrian road system (UPRS) into five subsystems around the underpass, overpass, crosswalk, sidewalk, and road crosswalk; and introduces the basic structure as well as the function of each system. Then, the indicators are classified into two types of crosswalk facilities and sidewalk facilities, and a comprehensive pedestrian road indicator system with the combination of subjective and objective is established. Consequently, the integration of the fuzzy AHP and DEA-based symmetrical technique for the subjective evaluation indicator combined with pedestrian traffic characteristics is developed. A nine-step semantics scale of relative importance was used so that the symmetry of the response of pedestrian satisfaction was maintained. Fuzzy evaluation based on AHP is further modeled, and the DEA is employed to achieve an overall evaluation of the quality of service (QoS) for UPRS. The applicability of the established evaluation system is finally verified through a real case study in Harbin, China. The serviceability assessment method in this paper provides a new idea for planners to conduct sustainability evaluation for UPRS in future urban renewal development.

A review of experimental studies carried out at the NRC “Kurchatov Institute” on plasma-facing thermonuclear fusion reactor materials is presented in the paper. An experimental method was developed to produce high-level radiation damage in materials simulating the neutron effect by surrogate irradiation with high-energy ions. Plasma-surface interaction is investigated on materials irradiated to high levels of radiation damage in high-flux deuterium plasma. The total fluence of accelerated ions (3–30 MeV, 4He2+, 12C3+, 14N3+, protons) on the samples was 1021–1023 m−2. Experiments were carried out on graphite materials, tungsten, and silicon carbide. Samples have been obtained with a primary defect concentration from 0.1 to 100 displacements per atom, which covers the predicted damage for the ITER and DEMO projects. Erosion dynamics of the irradiated materials in steady-state deuterium plasma, changes of the surface microstructure, and deuterium retention were studied using SEM, TEM, ERDA, TDS, and nuclear backscattering techniques. The surface layer of the materials (3 to hundreds µm) was investigated, and it was shown that the changes in the crystal structure, the loss of their symmetry, and diffusion of defects to grain boundaries play an important role. The most significant results are presented in the paper as an overview of our previous work for many years (carbon and tungsten materials) as well as the relatively recent results (silicon carbide).

This paper centers on a discrete-time retrial queue where the server experiences breakdowns and repairs when arriving customers may opt to follow a discipline of a last-come, first-served (LCFS)-type or to join the orbit. We focused on the extensive analysis of the system, and we obtained the stationary distributions of the number of customers in the orbit and in the system by applying the generation function (GF). We provide the stochastic decomposition law and the application bounds for the proximity between the steady-state distributions for the queueing system under consideration and its corresponding standard system. We developed recursive formulae aimed at the calculation of the steady-state of the orbit and the system. We proved that our discrete-time system approximates M/G/1 with breakdowns and repairs. We analyzed the busy period of an auxiliary system, the objective of which was to study the customer’s delay. The stationary distribution of a customer’s sojourn in the orbit and in the system was the object of a thorough and complete study. Finally, we provide numerical examples that outline the effect of the parameters on several performance characteristics and a conclusions section resuming the main research contributions of the paper.

The aim of the present tutorial paper is to recall notions from manifold calculus and to illustrate how these tools prove useful in describing system-theoretic properties. Special emphasis is put on embedded manifold calculus (which is coordinate-free and relies on the embedding of a manifold into a larger ambient space). In addition, we also consider the control of non-linear systems whose states belong to curved manifolds. As a case study, synchronization of non-linear systems by feedback control on smooth manifolds (including Lie groups) is surveyed. Special emphasis is also put on numerical methods to simulate non-linear control systems on curved manifolds. The present tutorial is meant to cover a portion of the mentioned topics, such as first-order systems, but it does not cover topics such as covariant derivation and second-order dynamical systems, which will be covered in a subsequent tutorial paper.

There has been a persistent requirement for safeguarding documents and the data they contain, either in printed or electronic form. This is because the fabrication and faking of documents is prevalent globally, resulting in significant losses for individuals, societies, and industrial sectors, in addition to national security. Therefore, individuals are concerned about protecting their work and avoiding these unlawful actions. Different techniques, such as steganography, cryptography, and coding, have been deployed to protect valuable information. Steganography is an appropriate method, in which the user is able to conceal a message inside another message (cover media). Most of the research on steganography utilizes cover media, such as videos, images, and sounds. Notably, text steganography is usually not given priority because of the difficulties in identifying redundant bits in a text file. To embed information within a document, its attributes must be changed. These attributes may be non-displayed characters, spaces, resized fonts, or purposeful misspellings scattered throughout the text. However, this would be detectable by an attacker or other third party because of the minor change in the document. To address this issue, it is necessary to change the document in such a manner that the change would not be visible to the eye, but could still be decoded using a computer. In this paper, an overview of existing research in this area is provided. First, we provide basic information about text steganography and its general procedure. Next, three classes of text steganography are explained: statistical and random generation, format-based methodologies, and linguistics. The techniques related to each class are analyzed, and particularly the manner in which a unique strategy is provided for hiding secret data. Furthermore, we review the existing works in the development of approaches and algorithms related to text steganography; this review is not exhaustive, and covers research published from 2016 to 2021. This paper aims to assist fellow researchers by compiling the current methods, challenges, and future directions in this field.