关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

On the maximum cardinality search lower bound for treewidth

The Maximum Cardinality Search (MCS) algorithm visits the vertices of a graph in some order, such that at each step, an unvisited vertex that has the largest number of visited neighbours becomes visited. A maximum cardinality search ordering (MCS-ordering) of a graph is an ordering of the vertices that can be generated by the MCS algorithm. The visited degree of a vertex v in an MCS-ordering is the number of neighbours of v that are before v in the ordering. The visited degree of an MCS-ordering ψ of G is the maximum visited degree over all vertices v in ψ. The maximum visited degree over all MCS-orderings of graph G is called its maximum visited degree. Lucena [A new lower bound for tree-width using maximum cardinality search, SIAM J. Discrete Math. 16 (2003) 345-353] showed that the treewidth of a graph G is at least its maximum visited degree.We show that the maximum visited degree is of size O(logn) for planar graphs, and give examples of planar graphs G with maximum visited degree k with O(k!) vertices, for all k∈N. Given a graph G, it is NP-complete to determine if its maximum visited degree is at least k, for any fixed k?7. Also, this problem does not have a polynomial time approximation algorithm with constant ratio, unless P=NP. Variants of the problem are also shown to be NP-complete.In this paper, we also propose some heuristics for the problem, and report on an experimental analysis of them. Several tiebreakers for the MCS algorithm are proposed and evaluated. We also give heuristics that give upper bounds on the value of the maximum visited degree of a graph, which appear to give results close to optimal on many graphs from real life applications.     

New Plasmon Waveguides Composed of Twin Metal Wedges with a Nano Gap

We have numerically shown the existence of coupled wedge plasmons (CWPs) which propagates along a nano gap of a twin metal wedge. The CWPs are formed by wedge plasmons which can interact with each other. The dispersion relations of the wavenumber, propagation distance, and beam area of CWPs, are described and show that the characteristics of CWPs are similar to those of wedge plasmons and of gap plasmons. We also propose a new plasmon waveguide composed of twin metal wedges with a nano gap.     

A stable approach to the equivariant Hopf theorem

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner [S. Waner, Equivariant RO(G)-graded bordism theories, Topology and its Applications 17 (1984) 1-26], the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterised in terms of congruences. This is first shown to be a stable problem, and then solved using methods of equivariant stable homotopy theory with respect to a semi-free G-universe.     

The inverse scattering problem for Schrödinger and Klein–Gordon equations with a nonlocal nonlinearity

We study the inverse scattering problem for the nonlinear Schrödinger equation and for the nonlinear Klein–Gordon equation with the generalized Hartree type nonlinearity. We reconstruct the nonlinearity from knowledge of the scattering operator, which improves the known results.     

Support problem for the intermediate Jacobians of l-adic representations

We consider the support problem of Erdös in the context of l-adic representations of the absolute Galois group of a number field. Main applications of the results of the paper concern Galois cohomology of the Tate module of abelian varieties with real and complex multiplications, the algebraic K-theory groups of number fields and the integral homology of the general linear group of rings of integers. We answer the question of Corrales-Rodrigáñez and Schoof concerning the support problem for higher dimensional abelian varieties.     

Solid phase extraction for analysis of biogenic carbonates by electrothermal vaporization inductively coupled plasma mass spectrometry (ETV-ICP-MS): an investigation of rare earth element signatures in otolith microchemistry

Uptake of trace elements into fish otoliths is governed by several factors such as life histories and environment in addition to stock and species differences. In an attempt to elucidate the elemental signatures of rare earth elements (REEs) in otoliths, a solid phase extraction (SPE) protocol was used in combination with electrothermal vaporization (ETV) as a sample introduction procedure for the determinations by inductively coupled plasma quadrupole mass spectrometry (ICP-MS). Effects of various parameters, such as carrier gas flow rate, atomization temperature and chemical modification, were examined for optimization of the conditions by ETV-ICP-MS. Atomization was achieved at 2800 °C. Lower temperatures (i.e. 2600 °C) resulted in severe memory problems due to incomplete atomization. Palladium was used as a chemical modifier. It was found that an increase in Pd concentration up to 0.5 μg in the injection volume (70 μl) led up to four-fold enhancement in the integrated signals. This phenomenon is attributed to the carrier effect of Pd rather than the stabilization since no significant losses were observed for high temperature drying around 700 °C even in the absence of Pd. Preconcentration was performed on-line at pH 5 by using a mini-column of Toyopearl AF-Chelate 650M chelating resin, which also eliminated the calcium matrix of otolith solutions. After preconcentration of 6.4 ml of solution, the concentrate was collected in 0.65 ml of 0.5% (v/v) HNO₃ in autosampler cups, and then analyzed by ETV-ICP-MS. The method was validated with the analysis of a fish otolith certified reference material (CRM) of emperor snapper, and then applied to samples. Results obtained from otoliths of fish captured in the same habitat indicated that otolith rare earth element concentrations are more dependent on environmental conditions of the habitat than on species differences.     

Three methods for analyzing forced vibration of a fluid-filled cylindrical shell

The forced vibration of an infinite elastic circular cylindrical shell filled with fluid is studied. Three methods are employed to analyze the forced vibration problem of this shell-fluid coupled system, that is, wave propagation approach (wave mode superposition), theorem of residues and a numerical integral method. In order to explain these methods more explicitly, before being used to investigate the vibration of an infinite fluid-filled elastic circular cylindrical shell, all these three methods are employed firstly to analyze the forced vibration problem of an infinite beam and an infinite elastic circular cylindrical shell in vacuo. Advantage and disadvantage of these three methods are discussed and their interesting relationship is revealed. That is, to any circumferential wavenumber and frequency of the external force, there is an unchangeable relationship between the general coordinates of various waves in the wave propagation approach and the residuals in the theorem of residues.     

空间非相干多分量光束构成的非相干耦合屏蔽孤子对

两束本身具有空间非相干性的非相干多分量光束可以在光折变介质中形成非相干耦合 屏蔽孤子对，利用相干密度法得到了亮 亮、暗 暗型耦合孤子对的解，并研究了构成 非相干孤子对分量光束的相干组分的传播特性. 关键词： 空间非相干多分量光束 耦合孤子对 相干密度 相干组分     

The spline collocation method for parabolic boundary integral equations on smooth curves

Summary. We consider the spline collocation method for a class of parabolic pseudodifferential operators. We show optimal order convergence results in a large scale of anisotropic Sobolev spaces. The results cover the classical boundary integral equations for the heat equation in the general case where the spatial domain has a smooth boundary in the plane. Our proof is based on a localization technique for which we use our recent results proved for parabolic pseudodifferential operators. For the localization we need also some special spline approximation results in anisotropic Sobolev spaces. Received May 17, 2001 / Revised version received February 19, 2002 / Published online April 17, 2002