一些模型论性质在ψ—分式下的保持性

根据Ash的Ψ-分式模型的概念,本文讨论了超齐次、可有限分划、绝对普存、胞控等一些可数模型研究中常用的结构在Ψ-分式作用下的情况.证明了它们在分式作用下的保持性.

The Least Distributive Lattice Congruence on Commutative Distributive Semiring

In this paper, we describe the least distributive lattice congruence on a commutative distributive semiring.

A Multi-component Matrix Loop Algebra and Its Application

A set of multi-component matrix Lie algebra is constructed. It follows that a type of new loop algebra AM-1 is presented. An isospectral problem is established. Integrable multi-component hierarchy is obtained by Tu pattern, which possesses tri-Hamiltonian structures. Furthermore, it can be reduced to the well-known AKNS hierarchy and BPT hierarchy. Therefore, the major result of this paper can be regarded as a unified expression integrable model of the AKNS hierarchy and the BPT hierarchy.

Experimental and numerical studies on aluminum-stainless steel explosive cladding

In this study,the effect of varied loading ratio(mass of the explosive/mass of flyer plate)on the nature of interface,temperature and pressure developed in aluminum-steel explosive cladding is presented.Increase in the loading ratio,R,enhances the pressure developed,kinetic energy utilization and deformation work performed.Interfacial microstructures exhibit the formation of molten layer at few spots,owing to the increase in temperature beyond the melting point of parent alloy.The increase in temperature and the quantum of pressure developed were determined by numerical simulation performed in Ansys AUTODYN by employing smoothed particle hydrodynamics(SPH)method.The positioning of the experimental conditions on the weldability window is presented as well.

Fatigue damage reliability analysis for Nanjing Yangtze river bridge using structural health monitoring data

To evaluate the fatigue damage reliability of critical members of the Nanjing Yangtze river bridge, according to the stress-number curve and Miner’s rule, the corresponding expressions for calculating the structural fatigue damage reliability were derived. Fatigue damage reliability analysis of some critical members of the Nanjing Yangtze river bridge was carried out by using the strain-time histories measured by the structural health monitoring system of the bridge. The corresponding stress spectra were obtained by the real-time rain-flow counting method. Results of fatigue damage were calculated respectively by the reliability method at different reliability and compared with Miner’s rule. The results show that the fatigue damage of critical members of the Nanjing Yangtze river bridge is very small due to its low live-load stress level.

A Survey of MapReduce Based Parallel Processing Technologies

Along with the increasing Big Data challenges, the MapReduce based systems are extensively welcomed, because of their remarkable simplicity and scalability. However, from the first day MapReduce is proposed, its argument with parallel Dt3MSs never stops, as it over-focuses on the scalability but overlooks the efficiency. Accordingly, extended systems are proposed in order to improve the peDbrmance on the limited scale clusters. In the meantime, traditional RDBMS technologies like structured data model, transaction, SQL, etc. are also getting more attention. This paper reviews such systems, from Google and also the third parties, trying to indicate the directions for the future research.

Some Evolution Hierarchies Derived from Self-dual Yang-Mills Equations

We develop in this paper a new method to construct two explicit Lie algebras E and F. By using a loop algebra E of the Lie algebra E and the reduced self-dual Yang-Mills equations, we obtain an expanding integrable model of the Giachetti-Johnson （G J） hierarchy whose Hamiltonian structure can also be derived by using the trace identity. This provides a much simplier construction method in comparing with the tedious variational identity approach. Furthermore, the nonlinear integrable coupling of the GJ hierarchy is readily obtained by introducing the Lie algebra gN. As an application, we apply the loop algebra E of the Lie algebra E to obtain a kind of expanding integrable model of the Kaup-Newell （KN） hierarchy which, consisting of two arbitrary parameters a and β, can be reduced to two nonlinear evolution equations. In addition, we use a loop algebra F of the Lie algebra F to obtain an expanding integrable model of the BT hierarchy whose Hamiltonian structure is the same as using the trace identity. Finally, we deduce five integrable systems in R3 based on the self-dual Yang-Mills equations, which include Poisson structures, irregular lines, and the reduced equations.

A Survey on Smart Collaborative Identifier Networks

The current Internet architecture was designed on the basis of a triple bindings model, which could meet the needs of the early Internet. However, with the tremendous growth of the Internet and the continuous innovations of applications, the triple bindings(namely, control/data binding, resource/location binding and user/network binding) have given rise to many problems for the Internet, such as scalability, mobility, and security. In order to solve these problems, many network techniques have been developed. Besides, novel future Internet architectures including Information-Centric Networks and Software-Defined Networks have emerged. However, these architectures only partially decouple the triple bindings. To completely separate the triple bindings, Smart Collaborative Identifier Networks(SINET) is proposed. There have been many research efforts on SINET, which built the foundation of SINET being a promising future Internet. In this paper, we comprehensively introduce SINET and these related research works. We start by introducing the motivation for SINET, explain its fundamental concepts and how it can make a difference. Next, we present in details the design principles of every layer in SINET, explaining how it can decouple the triple bindings and solve the problems of the current Internet. Finally, we discuss the state-of-theart challenges in SINET. We investigate the ongoing research works and commercial products in SINET, with aspects such as scalability, mobility, security and reliability.

Joint Occurrence Period of Wind Speed and Wave Height Based on Both Service Term and Risk Probability

Return periods calculated for different environmental conditions are key parameters for ocean platform design.Many codes for offshore structure design give no consideration about the correlativity among multi-loads and over-estimate design values.This frequently leads to not only higher investment but also distortion of structural reliability analysis.The definition of design return period in existing codes and industry criteria in China are summarized.Then joint return periods of different ocean environmental parameters are determined from the view of service term and danger risk.Based on a bivariate equivalent maximum entropy distribution,joint design parameters are estimated for the concomitant wave height and wind speed at a site in the Bohai Sea.The calculated results show that even if the return period of each environmental factor,such as wave height or wind speed,is small,their combinations can lead to larger joint return periods.Proper design criteria for joint return period associated with concomitant environmental conditions will reduce structural size and lead to lower investment of ocean platforms for the exploitation of marginal oil field.

A New Lie Algebra and Its Related Liouville Integrable Hierarchies

A new Lie algebra G and its two types of loop algebras G1 and G2 are constructed. Basing on G1 and G2, two different isospectral problems are designed, furthermore, two Liouville integrable soliton hierarchies are obtained respectively under the framework of zero curvature equation, which is derived from the compatibility of the isospectral problems expressed by Hirota operators. At the same time, we obtain the Hamiltonian structure of the first hierarchy and the bi-Hamiltonian structure of the second one with the help of the quadratic-form identity.

A Type of New Loop Algebra and a Generalized Tu Formula

A new Lie algebra, which is far different form the known An-1, is established, for which the corresponding loop algebra is given. From this, two isospectral problems are revealed, whose compatibility condition reads a kind of zero curvature equation, which permits Lax integrable hierarchies of soliton equations. To aim at generating Hamiltonian structures of such soliton-equation hierarchies, a beautiful Killing-Cartan form, a generalized trace functional of matrices, is given, for which a generalized Tu formula （GTF） is obtained, while the trace identity proposed by Tu Guizhang [J. Math. Phys. 30 （1989） 330] is a special case of the GTF. The computing formula on the constant γ to be determined appearing in the GTF is worked out, which ensures the exact and simple computation on it. Finally, we take two examples to reveal the applications of the theory presented in the article. In details, the first example reveals a new Liouville-integrable hierarchy of soliton equations along with two potential functions and Hamiltonian structure. To obtain the second integrable hierarchy of soliton equations, a higher-dimensional loop algebra is first constructed. Thus, the second example shows another new Liouville integrable hierarchy with 5-potential component functions and bi- Hamiltonian structure. The approach presented in the paper may be extensively used to generate other new integrable soliton-equation hierarchies with multi-Hamiltonian structures.

Review Article of Landscape Metrics Based on Remote Sensing Data

This article describes metrics in order to quantify landscape structure. Landscape metrics are offered and designed to be as versatile as possible using several programs. In this paper it is attempted to （a） collect all the metrics found in the literature, （b） classify them, and （c） evaluate them through their use. An extensive investigation of the literature has been performed. Small discussion of each metric is provided to its concept, definition, use, way of calculation and in some cases contribution to the sustainable development. The frequency of used papers per each index has been taken into account. The most used to the least used six metrics have the following order： Area/Density/Edge; Isolation Proximity; Diversity; Contagion Interspersion; Shape; Connectivity. Moreover, the frequency of used papers is divided into five groups, i.e. group A till group E. Concluding, it has been provided an explanation of the results regarding to the four indices of group A and two indices from the group B.

A Matrix-Based Approach for Sustainability in Product Design

The paper proposes a matrix-based approach that a designer can use to evaluate the sustainability of one or more design solutions in the conceptual phase of a product development process. The methodology is structured in two main phases. In the first one, a data structure, called Augmented-DSM （Design Structure Matrix）, has to be drawn in order to collect design information such as functional links among product components, indicators that provide information about the life cycle of each element, connections with the environment and toward other systems. The matrix is based on a DSM format, where new records were introduced to store and organize different types of data and an editing protocol was formalized. In the second stage, a set of procedures have to be applied in order to evaluate sustainability of a design solution and compare it with the others. The presented procedures, in fact, allow designers to assess a product in its proper characteristics, evaluate a device during its use stage and verify the coherence of links present in the functional model. This new approach is conceived to manage different performance indicators and, as a support tool, it is an attempt to aid designers in a quantitative evaluation.

Algebraic algorithm for reliability index weighted capacity of communication network

Communication network has communication capacity and connection reliability of the links. They canbe independently defined and can be used separately, and when the reliability of a communication network isanalyzed from a macroscopical angle of view, it is more objective to express the performance index of a commu-nication network as a whole. The reliability index weighted capacity is just obtained by integrating these two pa-rameters. It is necessary to further study the algorithm to calculate the reliability index of the communicationnetwork with a complicated topologic structure and a whole algebraic algorithm is therefore proposed for calcula-tion of the reliability index weighted capacity of a communication network with a topologic structure. The wholecomputational procedure of the algorithm is illustrated with a typical example.

Relay switched, scalable topology control for mobile robot networks based on motion synchronization

A mobile robot network is said to be easily scalable to any number of robots if its performance is kept almost fixed after these robots are added or some fail in the network. An interaction dynamics model based on motion synchronization is first established. Considering the mobility of mobile robot networks, we propose a relay switched, distributed topology control for the scalable network to drive neMy added robots to the most suitable positions with more neighbors as well as self-heal the blank positions of failed robots, and give a metric of the topology structure for evaluating the performance of network topologies. Then, we prove the stability of motion synchronization with the individual control based on Lyapunov exponent. Finally, the results of simulations have demonstrated the validity of the proposed modeling and control methods.

Liouville Integrable System and Associated Integrable Coupling

Liouville integrable discrete integrable system is derived based on discrete isospectral problem. It is shown that the hierarchy is completely integrable in the Liouville sense and possesses bi-Hamiltonian structure. Finally, integrable couplings of the obtained system is given by means of semi-direct sums of Lie algebras.

Proposed Simplified Procedure for Safety Factor Scaling for Various Life Cycles

It is common to assume that structures are designed in view of 50 year life cycle as per Euro-Code 2 and other codes. In special cases, structures are designed in view of longer life cycle, such as bridges, important infrastructure facilities, important religious structures or in case of extended returning period of seismic event or floods. Beside issues of durability and maintenance aspects, this involves also the need to cover the probability of exceeding characteristic design live loads during the extended period, while keeping the same levels of the accepted risk that were assumed by the various codes, as good enough for the standard 50 year life cycle. Bearing in mind that design procedures, formulations, materials characteristic strengths and partial safety factors are used for these structures as per the existing codes, scaling of partial safety factors, or alternatively an additional ＂compensating＂ factor is required. A simplified approach and procedure to arrive at a reasonable calibration of the code safety factors based on 50 years to compensate for an extended life cycle, based upon structural reliability considerations, is proposed.

Non-Linear Dependence in Oil Price Behavior

In this paper, the authors analyze the adequacy of GARCH-type models to analyze oil price behavior by applying two types of non-parametric tests, the Hinich portmanteau test for non-linear dependence and a frequency-dominant test of time reversibility, the reverse test based on the bispectrum, to explore the high-order spectrum properties of the Mexican oil price series. The results suggest strong evidence of a non-linear structure and time irreversibility. Therefore, it does not comply with the i.i.d （independent and identically distributed） property. The non-linear dependence, however, is not consistent throughout the sample period, as indicated by a windowed test, suggesting episodic nonlinear dependence. The results imply that GARCH models cannot capture the series structure.

Pointed p^3-Dimensional Hopf Algebras in Positive Characteristic

We focus on the classification of pointed p^3-dimensional Hopf algebras H over any algebraically closed field of prime characteristic p 〉 0. In particular, we consider certain cases when the group of grouplike elements is of order p or p^2 that is, when H is pointed but is not connected nor a group algebra. The structures of the associated graded algebra gr H are completely described as bosonizations of graded braided Hopf algebras over group algebras, and most of the lifting structures of H are given. This work provides many new examples of （parametrized） non-commutative, non-cocommutative finite- dimensional Hopf algebras in positive characteristic.

Ideals in the Roe Algebras of Discrete Metric Spaces with Coefficients in B(H)

The notion of an ideal family of weighted subspaces of a discrete metric space X with bounded geometry is introduced. It is shown that, if X has Yu’s property A, the ideal structure of the Roe algebra of X with coefficients in B(H) is completely characterized by the ideal families of weighted subspaces of X, where B(H) denotes the C*-algebra of bounded linear operators on a separable Hilbert space H.