THE UNFOLDING OF EQUIVARIANT BIFURCATION PROBLEMS WITH PARAMETERS SYMMETRY

In this paper versal unfolding theorem of multiparameter equivaxiant bifurcation problem with parameter symmetry is given. The necessary and sufficient condition that unfolding of multiparameter equivariant bifurcation problem with parameter symmetry factors through another is given. The corresponding results in [1]-[6] are generalized.     

含两组状态变量的等变分歧问题在左右等价群下的开折

基于奇点理论中光滑映射芽的左右等价关系, 讨论多参数等变分歧问题关于左右等价的开折．将这种等变分歧问题的状态变量分为两组,其中属于同一组的诸状态变量可以独立地变化,而属于另一组的诸状态变量在变化过程中依赖于前一组中的诸状态变量．应用光滑映射芽开折理论中的相关方法和技巧,得到了一个含两组状态变量的多参数等变分歧问题的开折是通用开折的充要条件．     

等变两参数分歧问题的开折

在ｕ－等价群作用的情形下对等变两参数分歧问题（其中参数均取向量值）的开折进行研究,得到一个分歧问题的某个开折是通用开折的充要条件,也给出了一个开折可由另一个开折导出的充要条件等结论．     

Versal unfoldings for linear retarded functional differential equations

We consider parametrized families of linear retarded functional differential equations (RFDEs) projected onto finite-dimensional invariant manifolds, and address the question of versality of the resulting parametrized family of linear ordinary differential equations. A sufficient criterion for versality is given in terms of readily computable quantities. In the case where the unfolding is not versal, we show how to construct a perturbation of the original linear RFDE (in terms of delay differential operators) whose finite-dimensional projection generates a versal unfolding. We illustrate the theory with several examples, and comment on the applicability of these results to bifurcation analyses of nonlinear RFDEs.     

K等价下相对映射芽的通用形变

本文研究了K等价下相对映射芽的通用形变问题.利用经典奇点理论中的通用形变理论的方法,获得了K等价意义下相对映射芽的通用形变的判别法及相关性质.并且可以研究相对映射芽的稳定性.     

A survey of product form queueing networks with blocking and their equivalences

Queueing network models have been extensively used to represent and analyze resource sharing systems, such as production, communication and information systems. Queueing networks with blocking are used to represent systems with finite capacity resources and with resource constraints. Different blocking mechanisms have been defined and analyzed in the literature to represent distinct behaviors of real systems with limited resources. Exact product form solutions of queueing networks with blocking have been derived, under special constraints, for different blocking mechanisms. In this paper we present a survey of product form solutions of queueing networks with blocking and equivalence properties among different blocking network models. By using such equivalences we can extend product form solutions to queueing network models with different blocking mechanisms. The equivalence properties include relationships between open and closed product form queueing networks with different blocking mechanisms.This work has been partially supported by CNR Project Research Funds Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo and by MURST Project Research Funds Performability hw/sw di sistemi distribuiti e paralleli.     

Independence equivalence classes of paths

The independence equivalence class of a graph G is the set of graphs that have the same independence polynomial as G. A graph whose independence equivalence class contains only itself, up to isomorphism, is independence unique. Beaton, Brown and Cameron [2] showed that paths with an odd number of vertices are independence unique and raised the problem of finding the independence equivalence class of paths with an even number of vertices. The problem is completely solved in this paper.     

The Unfolding of Equivariant Bifurcation Problems with Two Types of State Variables in the Presence of Parameter Symmetry

The unfolding of equivariant bifurcation problems with two types of state variables under the action of group K（Г, △） is discussed by using DA-algebraic tools. One of the main results is the equivariant versal unfolding theorem.     

Existence of Moduli for Bi-Lipschitz Equivalence of Analytic Functions

We show that the bi-Lipschitz equivalence of analytic function germs (², 0)(, 0) admits continuous moduli. More precisely, we propose an invariant of the bi-Lipschitz equivalence of such germs that varies continuously in many analytic families f _t : (², 0)(, 0). For a single germ f the invariant of f is given in terms of the leading coefficients of the asymptotic expansions of f along the branches of generic polar curve of f.     

An Augmentation Algorithm for the Maximum Weighted Stable Set Problem

Edge projection is a specialization of Lovász and Plummer's clique reduction when restricted to edges. A concept of augmenting sequences of edge-projections is defined w.r.t. a stable set S. It is then proved the equivalence between the optimality of S and the existence of an augmenting sequence w.r.t. S. This result is then exploited to develop a new tabu-search heuristic for the Maximum Stable Set Problem (weighted and unweighted). The resulting code proved to be competitive with the best codes presented in the literature.     

Versal unfoldings of predator-prey systems with ratio-dependent functional response

In this paper we study the versal unfolding of a predator-prey system with ratio-dependent functional response near a degenerate equilibrium in order to obtain all possible phase portraits for its perturbations. We first construct the unfolding and prove its versality and degeneracy of codimension 2. Then we discuss all its possible bifurcations, including transcritical bifurcation, Hopf bifurcation, and heteroclinic bifurcation, give conditions of parameters for the appearance of closed orbits and heteroclinic loops, and describe the bifurcation curves. Phase portraits for all possible cases are presented.     

Remarks on Uniformly Finitely Precomplete Positive Equivalences

The paper contains some observations on e-complete, precomplete, and uniformly finitely precomplete r. e. equivalence relations. Among these are a construction of a uniformly finitely precomplete r. e. equivalence which is neither e- nor precomplete, an extension of Lachlan's theorem that all precomplete r. e. equivalences are isomorphic, and a characterization of sets of fixed points of endomorphisms of uniformly finitely precomplete r. e. equivalences. Mathematics Subject Classification: 03D45.     

Graphs realised by r.e. equivalence relations

We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on ω. In particular we compare r.e. equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism types of some of these partial orders.     

Codimension two bifurcation in a delayed neural network with unidirectional coupling

In this paper, a delayed neural network model with unidirectional coupling is considered. Zero–Hopf bifurcation is studied by using the center manifold reduction and the normal form method for retarded functional differential equation. We get the versal unfolding of the norm form at the zero–Hopf singularity and show that the model can exhibit pitchfork, Hopf bifurcation, and double Hopf bifurcation is also found to occur in this model. Some numerical simulations are given to support the analytic results.     

Triple-zero bifurcation in van der Pol’s oscillator with delayed feedback

In this paper, we study a classical van der Pol’s equation with delayed feedback. Triple-zero bifurcation is investigated by using center manifold reduction and the normal form method for retarded functional differential equation. We get the versal unfolding of the norm forms at the triple-zero bifurcation and show that the model can exhibit transcritical bifurcation, Hopf bifurcation, Bogdanov–Takens bifurcation and zero-Hopf bifurcation. Some numerical simulations are given to support the analytic results.     

关于两种连分式加速收敛方法等价性的一般猜想的证明

本文证明了［２］提出的两种连分式加速收敛方法等价性的一般猜想是正确的。     

Morita Equivalence of Sketches

Equivalence of sketches S and T means the equivalence of their categories Mod_S and Mod_T of all Set-valued models. E. Vitale and the second author have characterized equivalence of limit-sketches by means of bimodels, where a bimodel for limit sketches S and T is a model of S in the category Mod_T. For general sketches, we show that an analogous result holds provided that Mod_T is substituted by a more complex category; e.g., in case of limit-coproduct sketches, that category is (Mod_T), the free product completion of Mod_T.     

关于凸规划对偶模型的讨论

修正了文[1]中的错误,在其基础上讨论了凸规划的Lagrange对偶,Subgradient对偶及Wolfe对偶等四种对偶模型之间的关系,给出了它们之间等价的条件.     

Abelian group actions and hypersmooth equivalence relations

We show that a Borel action of a standard Borel group which is isomorphic to a sum of a countable abelian group with a countable sum of real lines and circles induces an orbit equivalence relation which is hypersmooth, i.e., Borel reducible to eventual agreement on sequences of reals, and it follows from this result along with the structure theory for locally compact abelian groups that Borel actions of Polish LCA groups induce orbit equivalence relations which are essentially hyperfinite, extending a result of Gao and Jackson and answering a question of Ding and Gao.