Description of martensitic transformation kinetics in Fe-C-X(X = Ni,Cr,Mn,Si) system by a modified model

Controlling the content of athermal martensite and retained austenite is important to improving the mechanical properties of high-strength steels,but a mechanism for the accurate description of martensitic transformation during the cooling process must be addressed.At present,frequently used semi-empirical kinetics models suffer from huge errors at the beginning of transformation,and most of them fail to exhibit the sigmoidal shape characteristic of transformation curves.To describe the martensitic transformation process accurately,based on the Magee model,we introduced the changes in the nucleation activation energy of martensite with temperature,which led to the varying nucleation rates of this model during martensitic transformation.According to the calculation results,the relative error of the modified model for the martensitic transformation kinetics curves of Fe-C-X(X = Ni,Cr,Mn,Si) alloys reached 9.5% compared with those measured via the thermal expansion method.The relative error was approximately reduced by two-thirds compared with that of the Magee model.The incorporation of nucleation activation energy into the kinetics model contributes to the improvement of its precision.

Coordinate-Parametric Matrix Model Inspired Square-Conjoint Pattern in Cross Woven for Conventional Bamboo Mat

In the study,it is proposed that a coordinate-parametric matrix model is performed to a square-conjoint pattern of cross woven(SCPCW)in the bamboo mat.The patterns of SCPCW are firstly detected according to the perspective of configuration,which is divided into the basic-monomer shape and the basic combination shape.Secondly,the compositions of design patterns in SCPCW are analyzed to attain the trend of curve shape.Based on the coordinate-parametric matrix model,the specimens of SCPCW are subsequently accomplished to elaborate the woven logic of bamboo mats.The digital innovation of SCPCW,defined by a mathematical resolution,is implemented by the software of Grasshopper(GH),which plays a crucial role in capturing image information by the Image Sampler component.Successively,the weaving logic of coordinated matrix is referred to apply in the computing component of Grasshopper software.Finally,the computer simulation could demonstrate that the coordinate-parametric matrix model of SCPCWwould be realized to analyze the micro-weaving structure and overall weaving effect in the bamboo mat.

A complete solution of an improved universal 3D coordinate similarity transformation model

When linearizing three-dimensional(3 D)coordinate similarity transformation model with large rotations,we usually encounter the ill-posed normal matrix which may aggravate the instability of solutions.To alleviate the problem,a series of conversions are contributed to the 3 D coordinate similarity transformation model in this paper.We deduced a complete solution for the 3 D coordinate similarity transformation at any rotation with the nonlinear adjustment methodology,which involves the errors of the common and the non-common points.Furthermore,as the large condition number of the normal matrix resulted in an intractable form,we introduced the bary-centralization technique and a surrogate process for deterministic element of the normal matrix,and proved its benefit for alleviating the condition number.The experimental results show that our approach can obtain the smaller condition number to stabilize the convergence of the interested parameters.Especially,our approach can be implemented for considering the errors of the common and the non-common points,thus the accuracy of the transformed coordinates improves.

Comprehensive two-dimensional river ice model based on boundary-fitted coordinate transformation method

River ice is a natural phenomenon in cold regions, influenced by meteorology, geomorphology, and hydraulic conditions. River ice processes involve complex interactions between hydrodynamic, mechanical, and thermal processes, and they are also influenced by weather and hydrologic conditions. Because natural rivers are serpentine, with bends, narrows, and straight reaches, the commonly-used one-dimensional river ice models and two-dimensional models based on the rectangular Cartesian coordinates are incapable of simulating the physical phenomena accurately. In order to accurately simulate the complicated river geometry and overcome the difficulties of numerical simulation resulting from both complex boundaries and differences between length and width scales, a two-dimensional river ice numerical model based on a boundary-fitted coordinate transformation method was developed. The presented model considers the influence of the frazil ice accumulation under ice cover and the shape of the leading edge of ice cover during the freezing process. The model is capable of determining the velocity field, the distribution of water temperature, the concentration distribution of frazil ice, the transport of floating ice, the progression, stability, and thawing of ice cover, and the transport, accumulation, and erosion of ice under ice cover. A MacCormack scheme was used to solve the equations numerically. The model was validated with field observations from the Hequ Reach of the Yellow River. Comparison of simulation results with field data indicates that the model is capable of simulating the river ice process with high accuracy.

Grid Model for High-accuracy Coordinate Transformation of China Geodetic Coordinate System 2000

After implementing CGCS2000,establishing grid models for high-accuracy coordinate transformation which are mainly used to transform border lines and coordinate grids of topographic maps becomes an important issue in mapping applications.Consequently,a grid model for high-accuracy coordinate transformation of CGCS2000 is proposed.Specifically,we firstly analyze a minimum curvature equation of coordinate transformation,which possesses the characteristics of both the global and local smoothness,achieving better consistency with the consecutive smoothness for the coordinate transformation of map’s linear feature.Then an iterative calculation method of grid nodes and an approach for establishing regional grid models based on collocation by two-step minimization are proposed.Meanwhile,a data structure of grid model is constructed.Finally we give the optimized grid interval and transformation accuracy in China corresponding to the proposed grid model.Using 48 433 points of 2000 National Geodetic Control Network of China,we take the proposed model into practice by constructing grid models for coordinate transformation from BJS54 and XAS80 to CGCS2000,and the external positional accuracies for both models are 0.26 m and 0.03 m respectively.

A Comprehensive Survey of Recent Transformers in Image,Video and Diffusion Models

Transformer models have emerged as dominant networks for various tasks in computer vision compared to Convolutional Neural Networks(CNNs).The transformers demonstrate the ability to model long-range dependencies by utilizing a self-attention mechanism.This study aims to provide a comprehensive survey of recent transformerbased approaches in image and video applications,as well as diffusion models.We begin by discussing existing surveys of vision transformers and comparing them to this work.Then,we review the main components of a vanilla transformer network,including the self-attention mechanism,feed-forward network,position encoding,etc.In the main part of this survey,we review recent transformer-based models in three categories:Transformer for downstream tasks,Vision Transformer for Generation,and Vision Transformer for Segmentation.We also provide a comprehensive overview of recent transformer models for video tasks and diffusion models.We compare the performance of various hierarchical transformer networks for multiple tasks on popular benchmark datasets.Finally,we explore some future research directions to further improve the field.

A VERTICAL COORDINATE TRANSFORMATION FOR 3-D NUMERICAL MODELLING OF OCEAN CIRCULATION

A so called sine-sigma vertical coordinate transformation is proposed. A vertical implicit scheme is de-rived by using cubic-spline representation of vertical current profiles. The derived 3-D nurmericalmodel has been applied to simulate the water leved field and the vertical structures of wind-induced cur-rents in an enclosed rectangular region, and the tides in the Bohai Sea. The model is believed to besatisfactory after comparing its results with an analytical soclution and observed data from tidal staions.

An Efficient Technique for One-Dimensional Fractional Diffusion EquationModel for Cancer Tumor

This study intends to examine the analytical solutions to the resulting one-dimensional differential equation of acancer tumor model in the frame of time-fractional order with the Caputo-fractional operator employing a highlyefficient methodology called the q-homotopy analysis transform method.So,the preferred approach effectivelyfound the analytic series solution of the proposed model.The procured outcomes of the present frameworkdemonstrated that this method is authentic for obtaining solutions to a time-fractional-order cancer model.Theresults achieved graphically specify that the concerned paradigm is dependent on arbitrary order and parametersand also disclose the competence of the proposed algorithm.

Classification of Conversational Sentences Using an Ensemble Pre-Trained Language Model with the Fine-Tuned Parameter

Sentence classification is the process of categorizing a sentence based on the context of the sentence.Sentence categorization requires more semantic highlights than other tasks,such as dependence parsing,which requires more syntactic elements.Most existing strategies focus on the general semantics of a conversation without involving the context of the sentence,recognizing the progress and comparing impacts.An ensemble pre-trained language model was taken up here to classify the conversation sentences from the conversation corpus.The conversational sentences are classified into four categories:information,question,directive,and commission.These classification label sequences are for analyzing the conversation progress and predicting the pecking order of the conversation.Ensemble of Bidirectional Encoder for Representation of Transformer(BERT),Robustly Optimized BERT pretraining Approach(RoBERTa),Generative Pre-Trained Transformer(GPT),DistilBERT and Generalized Autoregressive Pretraining for Language Understanding(XLNet)models are trained on conversation corpus with hyperparameters.Hyperparameter tuning approach is carried out for better performance on sentence classification.This Ensemble of Pre-trained Language Models with a Hyperparameter Tuning(EPLM-HT)system is trained on an annotated conversation dataset.The proposed approach outperformed compared to the base BERT,GPT,DistilBERT and XLNet transformer models.The proposed ensemble model with the fine-tuned parameters achieved an F1_score of 0.88.

Systematic Elastostatic Stiffness Model of Over-Constrained Parallel Manipulators Without Additional Constraint Equations

The establishment of an elastostatic stiffness model for over constrained parallel manipulators(PMs),particularly those with over constrained subclosed loops,poses a challenge while ensuring numerical stability.This study addresses this issue by proposing a systematic elastostatic stiffness model based on matrix structural analysis(MSA)and independent displacement coordinates(IDCs)extraction techniques.To begin,the closed-loop PM is transformed into an open-loop PM by eliminating constraints.A subassembly element is then introduced,which considers the flexibility of both rods and joints.This approach helps circumvent the numerical instability typically encountered with traditional constraint equations.The IDCs and analytical constraint equations of nodes constrained by various joints are summarized in the appendix,utilizing multipoint constraint theory and singularity analysis,all unified within a single coordinate frame.Subsequently,the open-loop mechanism is efficiently closed by referencing the constraint equations presented in the appendix,alongside its elastostatic model.The proposed method proves to be both modeling and computationally efficient due to the comprehensive summary of the constraint equations in the Appendix,eliminating the need for additional equations.An example utilizing an over constrained subclosed loops demonstrate the application of the proposed method.In conclusion,the model proposed in this study enriches the theory of elastostatic stiffness modeling of PMs and provides an effective solution for stiffness modeling challenges they present.

Research on Restoration of Murals Based on Diffusion Model and Transformer

Due to the limitations of a priori knowledge and convolution operation,the existing image restoration techniques cannot be directly applied to the cultural relics mural restoration,in order to more accurately restore the original appearance of the cultural relics mural images,an image restoration based on the denoising diffusion probability model(Denoising Diffusion Probability Model(DDPM))and the Transformer method.The process involves two steps:in the first step,the damaged mural image is firstly utilized as the condition to generate the noise image,using the time,condition and noise image patch as the inputs to the noise prediction network,capturing the global dependencies in the input sequence through the multi-attentionmechanismof the input sequence and feedforward neural network processing,and designing a long skip connection between the shallow and deep layers in the Transformer blocks between the shallow and deep layers using long skip connections to fuse the feature information of global and local outputs to maintain the overall consistency of the restoration results;In the second step,taking the noisy image as a condition to direct the diffusion model to back sample to generate the restored image.Experiment results show that the PSNR and SSIM of the proposedmethod are improved by 2%to 9%and 1%to 3.3%,respectively,which are compared to the comparison methods.This study proposed synthesizes the advantages of the diffusionmodel and deep learningmodel to make themural restoration results more accurate.

Phase field model for electric-thermal coupled discharge breakdown of polyimide nanocomposites under high frequency electrical stress

In contrast to conventional transformers, power electronic transformers, as an integral component of new energy power system, are often subjected to high-frequency and transient electrical stresses, leading to heightened concerns regarding insulation failures. Meanwhile, the underlying mechanism behind discharge breakdown failure and nanofiller enhancement under high-frequency electrical stress remains unclear. An electric-thermal coupled discharge breakdown phase field model was constructed to study the evolution of the breakdown path in polyimide nanocomposite insulation subjected to high-frequency stress. The investigation focused on analyzing the effect of various factors, including frequency, temperature, and nanofiller shape, on the breakdown path of Polyimide(PI) composites. Additionally, it elucidated the enhancement mechanism of nano-modified composite insulation at the mesoscopic scale. The results indicated that with increasing frequency and temperature, the discharge breakdown path demonstrates accelerated development, accompanied by a gradual dominance of Joule heat energy. This enhancement is attributed to the dispersed electric field distribution and the hindering effect of the nanosheets. The research findings offer a theoretical foundation and methodological framework to inform the optimal design and performance management of new insulating materials utilized in high-frequency power equipment.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

Model Agnostic Meta-Learning(MAML)-Based Ensemble Model for Accurate Detection of Wheat Diseases Using Vision Transformer and Graph Neural Networks

Wheat is a critical crop,extensively consumed worldwide,and its production enhancement is essential to meet escalating demand.The presence of diseases like stem rust,leaf rust,yellow rust,and tan spot significantly diminishes wheat yield,making the early and precise identification of these diseases vital for effective disease management.With advancements in deep learning algorithms,researchers have proposed many methods for the automated detection of disease pathogens;however,accurately detectingmultiple disease pathogens simultaneously remains a challenge.This challenge arises due to the scarcity of RGB images for multiple diseases,class imbalance in existing public datasets,and the difficulty in extracting features that discriminate between multiple classes of disease pathogens.In this research,a novel method is proposed based on Transfer Generative Adversarial Networks for augmenting existing data,thereby overcoming the problems of class imbalance and data scarcity.This study proposes a customized architecture of Vision Transformers(ViT),where the feature vector is obtained by concatenating features extracted from the custom ViT and Graph Neural Networks.This paper also proposes a Model AgnosticMeta Learning(MAML)based ensemble classifier for accurate classification.The proposedmodel,validated on public datasets for wheat disease pathogen classification,achieved a test accuracy of 99.20%and an F1-score of 97.95%.Compared with existing state-of-the-art methods,this proposed model outperforms in terms of accuracy,F1-score,and the number of disease pathogens detection.In future,more diseases can be included for detection along with some other modalities like pests and weed.

Uzbekistan's coordinate system transformation from CS42 to WGS84 using distortion grid model

Currently,a non-geocentric geodetic coordinate system introduced in 1942(CS42),based on the Krasovsky ellipsoid and the Baltic system of normal heights introduced in 1977,is used for geodetic works in the Republic of Uzbekistan.The development of the GNSS network proposes a task of transition to a new geocentric system based on the World Geodetic System 1984(WGS84)ellipsoid.Many software products adopt 3-or 7-parameter conversions,which can cause errors up to several meters and are not suitable for many applications.In this case,local transformations using a grid of differences between observation points with known coordinates in both datums would give the best accuracy.In this paper,we discuss various interpolation methods(Kriging,Minimum Curvature,Inverse Distance to a Power and Radial Basis Function)to solve the distortion modeling between CS42 and WGS84 systems for national datum improvement.The results show that the distortion models share a common tendency for all interpolation methods:the maximum horizontal displacements are concentrated along the West Tien Shan lineament,which is the boundary of the relief lowering.The discrepancies between the grid-based(calculated)and GPS-measured coordinates are evaluated.Statistical and spatial analysis has confirmed that for the co-ordinate transformation from CS42 to WGS84 and vice versa,grid-based transformation with Radial Basis Function interpolation has a high accuracy transformation.Analysis of the available data across the eastern part of the country shows that some positional distortions existed between the CS42 and WGS84 datums.For the best RBF method,the magnitude of these distortions is about 0.019-0.755 m with a standard deviation of 0.015 m.

SARC Model for Three-Dimensional Coordinate Transformation

In this paper, a transformation model named SARC(static-filter adjustment with restricted condition) is presented, which is more practical and more rigorous in theory and fitting any angle of rotation parameter. The transformation procedure is divided into 4 steps: ① the original and object coordinates can be regarded as observations with errors; ② rigorous formula is firstly deduced in order to compute the first approximation of the transformation parameters by use of four common points and the transformation equation is linearized; ③ calculate the most probable values and variances of the seven transformation parameters by SARC model; ④ to demonstrate validity of SARC , an example is given.

Intelligent Transformation: General Intelligence Theory

This paper aims to formalize a general definition of intelligence beyond human intelligence. We accomplish this by re-imagining the concept of equality as a fundamental abstraction for relation. We discover that the concept of equality = limits the sensitivity of our mathematics to abstract relationships. We propose a new relation principle that does not rely on the concept of equality but is consistent with existing mathematical abstractions. In essence, this paper proposes a conceptual framework for general interaction and argues that this framework is also an abstraction that satisfies the definition of Intelligence. Hence, we define intelligence as a formalization of generality, represented by the abstraction ∆∞Ο, where each symbol represents the concepts infinitesimal, infinite, and finite respectively. In essence, this paper proposes a General Language Model (GLM), where the abstraction ∆∞Ο represents the foundational relationship of the model. This relation is colloquially termed “The theory of everything”.

Evaluating the role of large language models in inflammatory bowel disease patient information

This letter evaluates the article by Gravina et al on ChatGPT’s potential in providing medical information for inflammatory bowel disease patients.While promising,it highlights the need for advanced techniques like reasoning+action and retrieval-augmented generation to improve accuracy and reliability.Emphasizing that simple question and answer testing is insufficient,it calls for more nuanced evaluation methods to truly gauge large language models’capabilities in clinical applications.

Interaction and coordinated development between desertification control and social economy in Xizang,China

Based on the general requirements of the coordinated development of"ecological livable"and"affluent life"in the rural revitalization strategy,the evaluation index system of desertification control was constructed,the interaction between desertification control and regional social economy and the internal space-time coordination mechanism were explored,and the quality of desertification control and its coordination degree with regional economic development were quantitatively analyzed.The decoupling mechanism of desertification governance society economy system were analyzed,and the high level for the government to promote desertification governance,constructing ecological economy coordinated development pattern to provide decision basis to Xizang desertification governance-social economic system interaction and coupling coordination development as the research object,introducing the coupling decoupling model to measure the coupling coordination model and system coordination and decoupling decoupling.Desertification control in Xizang shows a trend of gradual improvement,but the overall level is still not high and there is a lot of room for optimization.The coupling coordination degree of desertification control-social and economic system is in a steady fluctuation trend,rising from D value less than 0.55 in 2004 to 0.87 in 2018,in a state of coordinated development(good),and grey prediction analysis shows that D value is in a continuous rise.The coupling coordination degree of the six prefecture-level cities in Xizang and Ngari region is different in time and space,but the overall development trend is coordinated.The development index of desertification control and the socio-economic development index show the interaction of strong decoupling,strong negative decoupling and weak decoupling,and there are interaction effects of desertification control,economic development and social development at different scales.

Modern Development for the Improvement of Accuracy of Nigerian Coordinate Transformation Process Using the Adapted NTv2 Model: The Critical Issues of the Mathematical Algorithm

Changing coordinates using appropriate mathematical models from one reference system to another may be influenced if the operation requires the change of datum. A set of transformation parameters has been adopted for Nigeria. However, the critical concern usually associated with the problem of transformation of coordinates is the issue of recoverability of the original values of transformed coordinates. The recursive effect of variables associated with spatial problems can be aptly modelled with an appropriate algorithm that set out a process to achieve a definite output. Consequently, the main thrust of this paper is to highlight the critical elements of the mathematical algorithm associated with the National Transformation Version 2 (NTv2) model adapted for the Nigerian Datum Transformation process. The adapted NTv2 model adopts the bi-linear interpolation approach and the covariance function obtained were used to generate transformation elements in latitude (Δφp) and longitude (Δλp) and corresponding accuracies at the lattice nodes. The mathematical algorithm of this adapted NTv2 model underscores the likely attainment of better and significant values and statistical indicator of the improved accuracy as the average shift values for latitude and longitude for any transformed points in Nigeria. This capability makes the mathematical algorithm to be adaptable and fit for the purpose of the transformation process. The improvement in the positional accuracy is directly attributable to the application of the NTv2 model which provides a flexible and robust system of modelling any inherent systematic error in the national network.