Synthesizing high-resolution satellite salinity data based on multi-fractal fusion

The spaceborne platform has unprecedently provided the global eddy-permitting(typically about 0.25°)products of sea surface salinity(SSS),however the existing SSS products can hardly resolve mesoscale motions due to the heavy noises therein and the over-smoothing in denoising processes.By means of the multi-fractal fusion(MFF),the high-resolution SSS product is synthesized with the template of sea surface temperature(SST).Two low-resolution SSS products and four SST products are considered as the source data and the templates respectively to determine the best combination.The fused products are validated by the in situ observations and intercompared via SSS maps,Singularity Exponent maps and wavenumber spectra.The results demonstrate that the MFF can perform a good work in mitigating the noises and improving the resolution.The combination of the climate change initiative SSS and the remote sensing system SST can produce the 0.1°denoised product whose global mean standard derivation of salinity against Argo is 0.21 and the feature resolution can reach 30−40 km.

MF2-DMTD: A Formalism and Game-Based Reasoning Framework for Optimized Drone-Type Moving Target Defense

Moving-target-defense(MTD)fundamentally avoids an illegal initial compromise by asymmetrically increasing the uncertainty as the attack surface of the observable defender changes depending on spatial-temporal mutations.However,the existing naive MTD studies were conducted focusing only on wired network mutations.And these cases have also been no formal research on wireless aircraft domains with attributes that are extremely unfavorable to embedded system operations,such as hostility,mobility,and dependency.Therefore,to solve these conceptual limitations,this study proposes normalized drone-type MTD that maximizes defender superiority by mutating the unique fingerprints of wireless drones and that optimizes the period-based mutation principle to adaptively secure the sustainability of drone operations.In addition,this study also specifies MF2-DMTD(model-checkingbased formal framework for drone-type MTD),a formal framework that adopts model-checking and zero-sum game,for attack-defense simulation and performance evaluation of drone-type MTD.Subsequently,by applying the proposed models,the optimization of deceptive defense performance of drone-type MTD for each mutation period also additionally achieves through mixed-integer quadratic constrained programming(MIQCP)and multiobjective optimization-based Pareto frontier.As a result,the optimal mutation cycles in drone-type MTD were derived as(65,120,85)for each control-mobility,telecommunication,and payload component configured inside the drone.And the optimal MTD cycles for each swarming cluster,ground control station(GCS),and zone service provider(ZSP)deployed outside the drone were also additionally calculated as(70,60,85),respectively.To the best of these authors’knowledge,this study is the first to calculate the deceptive efficiency and functional continuity of the MTD against drones and to normalize the trade-off according to a sensitivity analysis with the optimum.

Effects of formal credit on pastoral household expense: Evidence from the Qinghai-Xizang Plateau of China

Formal credit is critical in agricultural production,allowing more expenditure and productive input,thereby improving farmers'welfare.In pastoral China,formal financial institutions are gradually increasing.However,a limited understanding remains of how formal credit affects herders'household expenses.Based on a survey of 544 herders from the Qinghai-Xizang Plateau of China,this study adopted the propensity score matching approach to identify the effect of formal credit on herders'total household expenses,daily expenses,and productive expenses.The results found that average age,grassland mortgage,and other variables significantly affected herders'participation in formal credit.Formal credit could significantly improve household expenses,especially productive expenses.A heterogeneity analysis showed that formal credit had a greater impact on the household total expense for those at higher levels of wealth;however,it significantly affected the productive expense of herders at lower wealth levels.Moreover,the mediating effect indicated that formal credit could affect herders'household income,thus influencing their household expenses.Finally,this study suggests that policies should improve herders'accessibility to formal credit.

A Formal Model for Analyzing Fair Exchange Protocols Based on Event Logic

Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.

A Natural Language Generation Algorithm for Greek by Using Hole Semantics and a Systemic Grammatical Formalism

This work is about the progress of previous related work based on an experiment to improve the intelligence of robotic systems,with the aim of achieving more linguistic communication capabilities between humans and robots.In this paper,the authors attempt an algorithmic approach to natural language generation through hole semantics and by applying the OMAS-III computational model as a grammatical formalism.In the original work,a technical language is used,while in the later works,this has been replaced by a limited Greek natural language dictionary.This particular effort was made to give the evolving system the ability to ask questions,as well as the authors developed an initial dialogue system using these techniques.The results show that the use of these techniques the authors apply can give us a more sophisticated dialogue system in the future.

A Definition Formalism of Machining Features for DFM

Benefiting from advances in feature technology for design and manufacture can not be expected before a formal methodology is established. This paper makes attempt to establish a definition formalism of machining features in design for manufacturability from two aspects: formal definition and manufacturability analysis. Some definitions for machining feature based upon the selection and sequencing of material removal operations for component in accordance with the design geometry are presented and a framework of feature based design for manufacturability is outlined correspondingly. The proposed scheme contributes to several aspects of feature based CAD/CAM integration, especially to encourage potentially a more generic approach to the automation of design.

Aesthetism, Russian Formalism, and Their Comparison

In our class,we have already learned some articles of Aesthetism.The famous aesthetes,such as Walter Pater,Oscar Wilde,Benedetto Croce,all give us huge impressions.And Russian Formalism is also very important school of thoughts.As they all study art,literature and form,I would like to know the relationship between them.In this paper,first I will show some of my own understandings on Both Aesthetism and Russian Formalism.Then I will compare them to find similarities and differences.At last,I will say something about my preference.

Metallogenic mechanism of Pingguo bauxite deposit,western Guangxi,China:Constraints from REE geochemistry and multi-fractal characteristics of major elements in bauxite ore

Major and REE geochemistry and multi-fractal analysis of two types of bauxite(primary bauxite and accumulated bauxite) ores were studied in Pingguo bauxite orefield in western Guangxi,China.The results of geochemical data show that the accumulated bauxite has a feature of high Al_2O_3 whereas relative low Fe_2O_3 and SiO_2 contents compared to the primary bauxite.The similar chondrite-normalized rare earth element(REE) patterns illustrate that they have a cognate relationship.However,the negative Ce anomalies of primary bauxite and positive Ce anomalies of accumulated bauxite indicate that the ore-forming system changed from reducing environment to oxidation environment.The results of multi-fractal spectrum and parameters of Al_2O_3,Fe_2O_3 and SiO_2 between primary bauxite and accumulated bauxite show that the distinct multi-fractal spectrum parameters reflect the different grade distribution between accumulated and primary bauxite ores.Metallogenic process from primary bauxite to accumulated bauxite is accompanied by the loss of diffluent elements(e.g.,Si and S) and enrichment of stable elements(e.g.,Al and Fe) in the surface environment.Among the rest,the migration mechanism of iron during the evolutionary process from primary ore to accumulated ore can be described as combined leaching and chemical weathering action with participation of sulfur.

“形式主义”不完全等于“formalism”——基于CCL和COCA语料库的对比分析

"形式主义"一词在国内的大众媒体中频频出现,是中国政治文献常用的术语之一。国内的权威词典大多将其翻译成formalism。文章基于CCL语料库和COCA语料库,从词频、搭配和语义韵三个角度进行了对比分析,发现"形式主义"一词在不同领域中含义大相径庭,特别是在中国政治领域中,该词更是含义特殊。笔者建议中国政治文献中的"形式主义"应翻译成formism,以便与其他语境下该词被翻译成formalism相区分。

Pest Detection Method Using Multi-Fractal Analysis

A novel method for pest detection is proposed based on the theory of multi-fractal spectrum to extract pests on plant leaves.Both local and global information of the image regularity were obtained by multi-fractal analysis.By applying fractal dimension,the spots on leaf images can be extracted without loosing or introducing any information.The different parts of images are re-analysis by morphology operations to determine the candidate regions of pests.The performance of multi-fractal analysis of whitefly detection is investigated through greenhouse experiments.The experimental results show that the proposed method is robust to noise from light and is not sensitive to the complex environment.

A note on the mass of Kerr-AdS black holes in the off-shell generalized ADT formalism

In this note, the off-shell generalized Abbott-Deser-Tekin （ADT） formalism is applied to explore the mass of Kerr- anti-de Sitter （Kerr-AdS） black holes in various dimensions within asymptotically rotating frames. The cases in four and five dimensions are explicitly investigated. It is demonstrated that the asymptotically rotating effect may make the charge non-integrable or unphysical when the asymptotic non-rotating timelike Killing vector associated with the charge is allowed to vary and the fluctuation of the metric is determined by the variation of all the mass and rotation parameters. To obtain a physically meaningful mass, it is proposed that one can let the non-rotating timelike Killing vector be fixed or perform calculations in the asymptotically static frame. The results further support that the ADT formalism is background- dependent.

Constructing(2+1)-dimensional N=1 supersymmetric integrable systems from the Hirota formalism in the superspace

The N = 1 supersymmetric extensions of two integrable systems,a special negative Kadomtsev–Petviashvili（NKP）system and a（2＋1）-dimensional modified Korteweg–de Vries（MKd V） system,are constructed from the Hirota formalism in the superspace.The integrability of both systems in the sense of possessing infinitely many generalized symmetries are confirmed by extending the formal series symmetry approach to the supersymmetric framework.It is found that both systems admit a generalization of W∞type algebra and a Kac-Moody–Virasoro type subalgebra.Interestingly,the first one of the positive flow of the supersymmetric NKP system is another N = 1 supersymmetric extension of the（2＋1）-dimensional MKd V system.Based on our work,a hypothesis is put forward on a series of（2＋1）-dimensional supersymmetric integrable systems.It is hoped that our work may develop a straightforward way to obtain supersymmetric integrable systems in high dimensions.

THERMODYNAMIC FORMALISM FOR SUBADDITIVE SEQUENCE OF DISCONTINUOUS FUNCTIONS

The topological pressure for subadditive sequence of discontinuous functions is defined on any invariant subset having a nested family of subsets in the compact metric space. Two subadditive variational principles associated with two different relatively weak conditions are developed for the defined topological pressure. As an application, we give an example on systems with nonzero Lyapunov exponents.

Multi-fractal Behaviors of Relative Humidity over China

The multi-fractal ity over China are studied behaviors of relative humid using the multi-fractal de trended fluctuation analysis （DFA） method. Three multi fractal parameters （the spectrum width Aa, the asymmetry Aaas, and the long-range correlation exponent a0） of the singularity spectrum are introduced to quantify the multi-fractal behaviors. The results show that multi-frac tality exists in daily humidity records over most stations in China and is mainly due to the broad distribution of the probability density of the sequence values. Strong multi fractal behaviors over some stations in the Yunnan, Guangdong, and Inner Mongolia provinces are obvious. These behaviors are mainly caused by different long range correlations between large and small fluctuations. The asymmetry of the singularity of relative humidity records is weak, except for a small number of stations in the far east and west of China, where the singularity spec trum is left-skewed. Finally, the long-range correlations in North China are stronger than those in South China, which indicates better predictability in North China. By studying the parameters of the multi-fractal spectrum, various data of long-range power law correlations of the relative humidity records are obtained, which may pro vide theoretical support for climate prediction.

The minimal spanning tree method for calculating seismic multi-fractal

There are many methods to calculate seismic fractal at present. However, there are still more or less questions to every method. In this paper, we introduce a new way to calculate seismic fractal-the minimal spanning tree. We make an important improvement for this method. By studying some seismic events of four regions including Wushi, Wusu, Tangshan and Haicheng, we obtain that before the strong earthquake occurrence, the multi-fractal spectrum of the space-time distribution of earthquakes changes from centralized to loose. The result shows that the complexity of fractal structure and the inhomogeneity of the space-time distribution of earthquakes are both increasing. By studying the numerical simulation of point sets, we draw the conclusion that the physical essence of multi-fractal spectrums before and after a strong earthquake occurrence is a changing process from homogeneous to inhomogeneous, from simple to complex.

Multi-scale and multi-fractal analysis of pressure fluctuation in slurry bubble column bed reactor

The Daubechies second order wavelet was applied to decompose pressure fluctuation signals with the gas flux varying from 0.18 to 0.90 m3/h and the solid mass fraction from 0 to 20% and scales 1?9 detail signals and the 9th scale approximation signals. The pressure signals were studied by multi-scale and R/S analysis method. Hurst analysis method was applied to analyze multi-fractal characteristics of different scale signals. The results show that the characteristics of mono-fractal under scale 1 and scale 2, and bi-fractal under scale 3?9 are effective in deducing the hydrodynamics in slurry bubbling flow system. The measured pressure signals are decomposed to micro-scale signals, meso-scale signals and macro-scale signals. Micro-scale and macro-scale signals are of mono-fractal characteristics, and meso-scale signals are of bi-fractal characteristics. By analyzing energy distribution of different scale signals,it is shown that pressure fluctuations mainly reflects meso-scale interaction between the particles and the bubble.

Hamiltonian Formalism of mKdV Equation with Non-vanishing Boundary Values

Hamiltonian formalism of the mKdV equation with non-vanishing boundary valueis re-examined by a revised form of the standard procedure. It is known that the previous papers did not give the final results and involved some questionable points [T.C. Au Yeung and P.C.W. Fung, J. Phys. A 21 (1988) 3575]. In this note, simple results are obtained in terms of an affine parameter and a Galileo transformation is introduced to ensure the results compatible with those derived from the inverse scattering transform.

The Multifractal Formalism for Measures, Review and Extension to Mixed Cases

The mulfifractal formalism for single measure is reviewed. Next, a mixed generalized multifractal formalism is introduced which extends the multifractal formalism of a single measure based on generalizations of the Hausdorff and packing measures to a vector of simultaneously many measures. Borel-Cantelli and Large deviations Theorems are extended to higher orders and thus applied for the validity of the new variant of the multifractal formalism for some special cases of multi-doubling type measures.

Investigating the effect of entrance channel mass asymmetry on fusion reactions using the Skyrme energy density formalism

In the present investigations,the fusion crosssections for the formation of 200Pb compound nucleus(CN)using 16O+184 W,30Si+170Er,and 40Ar+160Gd nuclear reactions at energies above the Coulomb barrier were calculated to understand the effect of entrance channel mass asymmetry(α)on the fusion reactions;the Skyrme energy density formalism(SEDF)was used for this calculation.The SEDF uses the Hartree-Fock-Bogolyubov(HFB)computational program with Skyrme forces such as SkM*,SLy4,and SLy5 to obtain the nucleus-nucleus potential parameters for the above reactions.Using the SEDF model with SkM*,SLy4,and SLy5 interaction forces,the theoretical fusion cross-sections were determined above the barrier energy and compared with the available experimental fusion cross-sections.The results show a close agreement between the theoretical and experimental values for all selected systems at energies well above the barrier.However,near the barrier energies,the theoretical values were observed to be higher than the experimental values.

The Precision Estimate of Multi-Fractal Methods of Time Sequence of Earthquakes

At present,there are many methods of calculating seismic time-fractal.However,there isn’t aquantitative result about the precision of every method.So,in this Paper,we use the digitalimitation of theoretic model to solve precision estimate problems of calculating the precision ofone dimension distribution of theoretic models with Cantor multi-fractal set,we obtained someresults as follows:(1)There exists many problems such as rules,numbers of samples,basicpoint selection,the diffence resulted from different methods and so on.(2)The fixed-massmethod(MAS)and the minimal spanning tree method(MST)can give good structure charac-teristics with different q value,while the counting-boxes method can’t.And the error of thefixed-radius method(RAD)in the range of-q is too big.(3)There are scale problems of rulesfor multi-fractal,it is objective reflection for non-rule area.(4)MST has the boundary prob-lem,while MAS and RAD don’t.(5)With increasing sample number,the precision of allfractal-dimension values