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.

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.

FURTHER STUDIES ON STROH-TYPE FORMALISMS FOR ANISOTROPIC PLATES WITH BENDING-EXTENSION COUPLING

Stroh-type formalisms for anisotropic thin plates in literature axe reviewed and discussed, and two kinds of hybrid Stroh-type formalisms axe compared. It is seen that the two Stroh-type formalisms are essentially equivalent. With simple transfer relations, they can be expressed each other. In addition, with properly defined notation systems, the two Stroh-type formalisms can also be written in unified forms, which will be convenient in applications.

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.

Geometrical Diagnostics for Modified Gravitational Theory with the Different Formalisms

Geometrical diagnostic methods were often applied to distinguish the gravitational models. But it is scarce to investigate the differences between the different formalisms of modified gravitational theories (e.g. the metric formalism and the Palatini formalism). In this paper, we discriminate the gravitational theory with the different formalisms by using the geometrical diagnostic methods. For a considered modified theory of gravity (e.g. the f(R) theory or GBD theory), we can see that the difference between the two formalisms is remarkable according to the diagnostic results. And relative to the ΛCDM model, there are more deviations in metric formalism than those in Palatini formalism, according to the {r, s} diagnostic. Given that the GBD (generalized Brans-Dicke theory) is a time-variable Newton gravitational constant (VG) theory, the differences between the VG theory and the constant-G theory are studied. It indicates that the variation of Newton’s gravitational constant could induce notable effects on geometrical quantities (e.g. r, s and q) in both metric formalism and Palatini formalism.

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

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

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.

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.

GENERALIZED STROH FORMALISM FOR ANISOTROPIC ELASTICITY FOR GENERAL BOUNDARY CONDITIONS

The Stroh formalism is most elegant when the boundary conditions are simple, namely,they are prescribed in terms of traction or displacement.For mixed boundary conditions such as there for a slippery boundary,the concise matrix expressions of the Stroh formalism are destroyed.We present a generalized Stroh formalism which is applicable to a class of general boundary conditions.The general boundary conditions in- clude the simple and slippery boundary conditions as special cases.For Green's functions for the half space, the general solution is applicable to the case when the surface of the half-space is a fixed,a free,a slippery, or other more general boundary.For the Griffith crack in the infinite space,the crack can be a slit-like crack with free surfaces,a rigid line inclusion(which is sometimes called an anticrack),or a rigid line with slippery surface or with other general surface conditions.It is worth mention that the modifications required on the Stroh formalism are minor.The generalized formalism and the final solutions look very similar to those of unmodified version.Yet the results are applicable to a rather wide range of boundary conditions.

Comparison of the Molecular Interaction Volume Model with the Unified Interaction Parameter Formalism in the Fe-Cr-Ni Liquid Alloys at 1873 K

The molecular interaction volume model （MIVM） for a general ternary system was deduced in detail for further clarifying and understanding its general multicomponent expression. Both MIVM and the unified interaction parameter formalism （UIPF） can be used to predict the activities of solutes and solvents in the Fe-Cr-Ni liquid alloys. But the former employs only the infinite dilute activity coefficients, and the later is not applicable without the dilute binary and ternary interaction parameters. MIVM has a certain physical meaning from the viewpoint of statistical thermodynamics, so it is an alternative for the estimation of activity coefficients of the solutes and solvents in a dilute or finite concentration metal solution where the interaction parameters are absent or their accuracies are questionable.

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.

Radiative decay from doubly to singly excited states of He via generalization of Laguerre-type orbitals： A non-orthogonal formalism

By taking full account of the non-orthogonality of the orbitals between the low-lying doubly excited states ^1po and the singly excited states ^1S^e and ^1D^e of He, the corresponding radiative decay rates have been investigated theoretically via analytic generalized Laguerre-type atomic orbitals at a nearly numerical multi-conflguration self-consistent field accuracy in a general non-orthogonal configuration interaction scheme. From these rates, we calculate the VUV photon emission and metastable atom spectra, and both are found to be in good qualitative agreement with recent excellent measurements. We obtain, successfully, the enhancement of the VUV photon spectrum, experimentally observed at the energy of （2s4p-4s2p）/（2p,3d） ^1po as compared with other nearby lying states. The mechanism proposed by Odling-Smee et al is verified, implying that taking appropriate account of the overlap existing between orbitals of the low-lying doubly excited and singly excited states （especially important for the compact orbitals） can reveal basic physical dominant mechanism and is crucial in understanding these spectra.

Einstein Dilemma and Two-State Vector Formalism

In the famous EPR paper published in 1935, Einstein, Podolsky, and Rosen suggested a thought experiment, which later became known as the “EPR experiment”. Using the EPR experiment, they posited that quantum mechanics was incomplete. Einstein, however, was dissatisfied with the EPR paper and published a second work on the EPR experiment, in which he discussed the dilemma of choosing whether quantum mechanics was incomplete or nonlocal. Currently, most physicists choose the nonlocality of quantum mechanics over Einstein’s choice of the incompleteness of quantum mechanics. However, with an appropriate alternate hypothesis, both of these choices can be rejected. Herein, I demonstrate an approach to overcome the Einstein Dilemma by proposing a new interpretation invoked by a new formalism of quantum mechanics known as two-state vector formalism.

A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets

In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.

Measurement Problem and Two-State Vector Formalism

In this paper, I show that an interpretation of quantum mechanics using two-state vector formalism proposed by Aharonov, Bergmann, and Lebowitz, can solve one of the measurement problems formulated by Maudlin. According to this interpretation, we can simultaneously insist that the wave function of a system is complete, that the wave function is determined by the Schr?dinger equation, and that the measurement of a physical quantity always has determinate outcomes, although Maudlin in his formulation of the measurement problem states that these three claims are mutually inconsistent. Further, I show that my interpretation does not contradict the uncertainty relation and the no-go theorem.

On the Cohomological Derivation of Yang-Mills Theory in the Antifield Formalism

We present a brief review of the cohomological solutions of self-coupling interactions of the fields in the free Yang-Mills theory. All consistent interactions among the fields have been obtained using the antifield formalism through several order BRST deformations of the master equation. It is found that the coupling deformations halt exclusively at the second order, whereas higher order deformations are obstructed due to non-local interactions. The results demonstrate the BRST cohomological derivation of the interacting Yang-Mills theory.

Study on Defamiliarization: from Formalism to Marxism

One of the most influential concepts of the literary theory in the past century, defamiliarization tends to distance the audience from the ordinary, in order to augment difficulties in comprehending and thus impede the automization of perception. It is originally put forward by Russian Formalists, yet ranges over literary movements including Futurism and Marxism, a historical and dynamic phenomenon from the theoretical level to the practice plane, from the pure aesthetic perspective to the motivated and political viewpoint. This paper attempts to make a comparatively detailed analysis of such a vigorous process.

Non-Perturbative Analysis of Various Mass Generation by Gluonic Dressing Effect with the Schwinger-Dyson Formalism in QCD

As a topic of “quantum color dynamics”, we study various mass generation of colored particles and gluonic dressing effect in a non-perturbative manner, using the Schwinger-Dyson (SD) formalism in (scalar) QCD. First, we review dynamical quark-mass generation in QCD in the SD approach as a typical fermion-mass generation via spontaneous chiral-symmetry breaking. Second, using the SD formalism for scalar QCD, we investigate the scalar diquark, a bound-state-like object of two quarks, and its mass generation, which is clearly non-chiral-origin. Here, the scalar diquark is treated as an extended colored scalar field, like a meson in effective hadron models, and its effective size R is introduced as a form factor. As a diagrammatical difference, the SD equation for the scalar diquark has an additional 4-point interaction term, in comparison with the single quark case. The diquark size R is taken to be smaller than a hadron, R ~ 1 fm, and larger than a constituent quark, R ~ 0.3 fm. We find that the compact diquark with R ~ 0.3 fm has a large effective mass of about 900 MeV, and therefore such a compact diquark is not acceptable in effective models for hadrons. We also consider the artificial removal of 3- and 4-point interaction, respectively, to see the role of each term, and find that the 4-point interaction plays the dominant role of the diquark self-energy. From the above two different cases, quarks and diquarks, we guess that the mass generation of colored particles is a general result of non-perturbative gluonic dressing effect.

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.