A NEW PANSYSTEMS RESEARCH ABOUT BINARY RELATION ′S TRANSITIVITY

Because of. the great needs both for the research of pansystem mathematics andfor the analysis of general things' mechanism, this paper discusses the binary relation,stransitivity confined to multirelation. The so-called g-transitvity- a completelynew concept about transitivity- is introduced and its basic properties are investigated.The study shows that it is not only g-transitivity a generalization of traditionaltransitivity, quasi-transitivity, seml-order, quasi-order and other panorder, but alsoincludes many important concepts such as closeness, convexity, topology, duality as itsspecial cases.

Analysis of the Load-Stress Response Characteristics of the Bogie Frame in Intercity Electric Multiple Unit

Load spectra research for bogie frame requires establishing the load?stress relationship on working condition, which has been omitted by the researchers. With the load?stress of the bogie frame of an intercity Electric Multiple Unit(Hereinafter referred to as EMU) as the research object, an optimization model of the load?stress transfer relationship is established. The load?stress coe cient for EMU bogie frame was calibrated in the laboratory bench and online test was arranged on Dazhou?Chengdu line. Comparison of nonlinear and linear neural networks proves that the linear transitive relation between the load and stress of the bogie frame in the operating process is highly suitable. An optimization model of the load?stress transfer coe cient is obtained. The data calculated with the modified coe cient are closer to the dynamic stress results in the actual operating process than the data calculated with the calibration coe cient. The coe cient of the modified transitive relation is una ected by operating area, empty load, heavy load, or other conditions in the operating process of the intercity EMU. The real loads in actual situations are obtained. The model of online load?stress relationship that is highly suitable for line stress calculation is finally established. The research is helpful for further damage calculation and inferring the time history signal of the load in load spectra research.

TAR~*:an improved process similarity measure based on unfolding of Petri nets

Determining the similarity degree between process models was very important for their management,reuse,and analysis.Current approaches either focused on process model's structural aspect,or had inefficiency or imprecision in behavioral similarity.Aiming at these problems,a novel similarity measure which extended an existing method named Transition Adjacent Relation(TAR) with improved precision and efficiency named TAR * was proposed.The ability of measuring similarity was extended by eliminating the duplicate tasks without impacting the behaviors.For precision,TARs was classified into repeatable and unrepeatable ones to identify whether a TAR was involved in a loop.Two new kinds of TARs were added,one related to the invisible tasks after the source place and before sink place,and the other representing implicit dependencies.For efficiency,all TARs based on unfolding instead of its reach ability graph of a labeled Petri net were calculated to avoid state space explosion.Experiments on artificial and real-world process models showed the effectiveness and efficiency of the proposed method.

Tuning Martensitic Phase Transition by Non-Magnetic Atom Vacancy in MnCoGe Alloys and Related Giant Magnetocaloric Effect

The effects of non-magnetic atom vacancy on structural, martensitic phase transitions and the corresponding magnetocMoric effect in MnCoGel-x alloys are investigated using x-ray diffraction and magnetic measurements. The introduction of non-magnetic atom vacancy leads to the decrease of the martensitic transition temperature and realizes a temperature window where magnetic and martensitic phase transitions can be tuned together. Moreover, the giant magnetocaloric effect accompanied with the coupled magnetic-structural transition is ob- tained. It is observed that the peak values of magnetic entropy change of MnCoGeo.97 are about -13.9, -35.1 and -47.4J.kg-1K-1 for △H = 2, 5, 7T, respectively.

Approaches to Improving Consistency of Interval Fuzzy Preference Relations

This article introduces a consistency index for measuring the consistency level of an interval fuzzy preference relation（IFPR）.An approach is then proposed to construct an additive consistent IFPR from a given inconsistent IFPR.By using a weighted averaging method combining the original IFPR and the constructed consistent IFPR,a formula is put forward to repair an inconsistent IFPR to generate an IFPR with acceptable consistency.An iterative algorithm is subsequently developed to rectify an inconsistent IFPR and derive one with acceptable consistency and weak transitivity.The proposed approaches can not only improve consistency of IFPRs but also preserve the initial interval uncertainty information as much as possible.Numerical examples are presented to illustrate how to apply the proposed approaches.

RELATIONS IN TRANSITION

Three decades after they turned enmity into cooperation, China and the United States may need to transform their relations once

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial functions by introducing undefined values in a traditional approach,we shall define a priority derivation tree for every term,and by respecting the rule“attacking the subterm of the highest priority first”we define transition relations,computation sequences etc.directly based on a standard interpretation which includes no undefined value in its domain.Finally,we prove that our new approach generates the same operational semantics as the traditional one.It is also pointed out that we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semantics of recursive programs cannot be built based on predicate logic.