共查询到20条相似文献,搜索用时 15 毫秒
1.
The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or
without strong negation.
We would like to thank the referees for their valuable comments and suggestions. This research was supported by the Alexander
von Humboldt Foundation. The second author is grateful to
the Foundation for providing excellent working conditions and generous support of this research.
This work was also supported by the Japanese Ministry of Education, Culture, Sports, Science
and Technology, Grant-in-Aid for Young Scientists (B) 20700015, 2008. 相似文献
2.
We study the effect of a magnetic field on the behaviour of a slender conducting elastic structure, motivated by stability
problems of electrodynamic space tethers. Both static (buckling) and dynamic (whirling) instability are considered and we
also compute post-buckling configurations. The equations used are the geometrically exact Kirchhoff equations. Magnetic buckling
of a welded rod is found to be described by a surprisingly degenerate bifurcation, which is unfolded when both transverse
anisotropy of the rod and angular velocity are considered. By solving the linearised equations about the (quasi-) stationary
solutions, we find various secondary instabilities. Our results are relevant for current designs of electrodynamic space tethers
and potentially for future applications in nano- and molecular wires. 相似文献
3.
We propose and analyze a perturbed version of the classical Josephy–Newton method for solving generalized equations. This
perturbed framework is convenient to treat in a unified way standard sequential quadratic programming, its stabilized version,
sequential quadratically constrained quadratic programming, and linearly constrained Lagrangian methods. For the linearly
constrained Lagrangian methods, in particular, we obtain superlinear convergence under the second-order sufficient optimality
condition and the strict Mangasarian–Fromovitz constraint qualification, while previous results in the literature assume (in
addition to second-order sufficiency) the stronger linear independence constraint qualification as well as the strict complementarity
condition. For the sequential quadratically constrained quadratic programming methods, we prove primal-dual superlinear/quadratic
convergence under the same assumptions as above, which also gives a new result. 相似文献
4.
G. van der Laan A. J. J. Talman Z. Yang 《Journal of Optimization Theory and Applications》2010,144(2):391-407
Tucker’s well-known combinatorial lemma states that, for any given symmetric triangulation of the n-dimensional unit cube and for any integer labeling that assigns to each vertex of the triangulation a label from the set
{±1,±2,…,±n} with the property that antipodal vertices on the boundary of the cube are assigned opposite labels, the triangulation admits
a 1-dimensional simplex whose two vertices have opposite labels. In this paper, we are concerned with an arbitrary finite
set D of integral vectors in the n-dimensional Euclidean space and an integer labeling that assigns to each element of D a label from the set {±1,±2,…,±n}. Using a constructive approach, we prove two combinatorial theorems of Tucker type. The theorems state that, under some
mild conditions, there exists two integral vectors in D having opposite labels and being cell-connected in the sense that both belong to the set {0,1}
n
+q for some integral vector q. These theorems are used to show in a constructive way the existence of an integral solution to a system of nonlinear equations
under certain natural conditions. An economic application is provided. 相似文献
5.
Andrzej Derdzinski 《Journal of Geometric Analysis》2009,19(2):301-357
The local structure of the manifolds named in the title is described. Although curvature homogeneous, they are not, in general,
locally homogeneous. Not all of them are Ricci-flat, which answers an existence question about type III Jordan-Osserman metrics,
raised by Díaz-Ramos, García-Río and Vázquez-Lorenzo (J. Geom. Anal. 16, 39–52, 2006).
Work begun during the author’s visit to the University of Santiago de Compostela, supported by Grant MTM2006-01432 (Spain). 相似文献
6.
We describe a Mathematica package for dealing with q-holonomic sequences and power series. The package is intended as a q-analogue of the Maple package gfun and the Mathematica package GeneratingFunctions. It provides commands for addition, multiplication,
and substitution of these objects, for converting between various representations (q-differential equations, q-recurrence equations, q-shift equations), for computing sequence terms and power series coefficients, and for guessing recurrence equations given
initial terms of a sequence.
C. Koutschan partially supported by the Austrian Science Foundation (FWF) grants SFB F1305. 相似文献
7.
Jeffrey B. Vancouver Charles A. Scherbaum 《Computational & Mathematical Organization Theory》2008,14(1):1-22
Self-regulation theories in applied psychology disagree about whether action or perceptions are the focus of regulation. Computational
models based on the two conceptualizations were constructed and simulated. In one scenario, they performed identically and
in conjunction with participants in a study of the goal-level effect (Vancouver et al., Organ Res Methods 8:100–127, 2005). In another scenario they created differentiating predictions and only the computational model based on the self-regulation
of perceptions matched the data of participants. Implications for research and practice are discussed.
相似文献
Jeffrey B. VancouverEmail: |
8.
Raul Antonio Ferraz 《代数通讯》2013,41(2):851-872
The goal of this article is to describe a multiplicatively independent set, which generates the group of units of the integral group ring ?G, where G is either the cyclic group of order 2p or C2 × C2 × Cp, for a prime number p that satisfies some suitable conditions that will be specified later. 相似文献
9.
Douglas R. Anderson Richard I. Avery 《Journal of Applied Mathematics and Computing》2011,37(1-2):297-312
Green’s functions for new second-order periodic differential and difference equations with variable potentials are found, then used as kernels in integral operators to guarantee the existence of a positive periodic solution to continuous and discrete second-order periodic boundary value problems with periodic coefficient functions. A new version of the Leggett-Williams fixed point theorem is employed. 相似文献
10.
In this paper, we first consider difference equations with several delays in the neutral term of the form * $$\Delta\left(y_{n}+\sum_{i=1}^{L}p_{i}y_{n-{k_{i}}}-\sum_{j=1}^{M}r_{j}y_{n-{\rho_{j}}}\right)+q_{n}y_{n-\tau}=0\quad \mbox{for}\ n\in\mathbb{Z}^{+}(0),$$ study various cases of coefficients in the neutral term and obtain the asymptotic behavior for non-oscillatory solution of (*) under some hypotheses. Moreover, we consider reaction-diffusion difference equations with several delays in the neutral term of the form $$\begin{array}{l}\Delta_{1}\left(u_{n,m}+\displaystyle \sum_{i=1}^{L}p_{i}u_{n-{k_{i}},m}-\displaystyle \sum_{j=1}^{M}r_{j}u_{n-{\rho_{j}},m}\right)+q_{n,m}u_{n-\tau,m}\\[18pt]\quad {}=a^{2}\Delta_{2}^{2}u_{n+1,m-1}\end{array}$$ for (n,m)∈?+(0)×Ω, study various cases of coefficients in the neutral term and obtain the asymptotic behavior for non-oscillatory solution under some hypotheses. 相似文献
11.
Barbara H. Jasiulis 《Journal of Theoretical Probability》2010,23(1):315-327
We denote by ? \((\mathcal{P_{+}})\) the set of all probability measures defined on the Borel subsets of the real line (the positive half-line [0,∞)). K. Urbanik defined the generalized convolution as a commutative and associative ?+-valued binary operation ? on ? + 2 which is continuous in each variable separately. This convolution is distributive with respect to convex combinations and scale changes T a (a>0) with δ 0 as the unit element. The key axiom of a generalized convolution is the following: there exist norming constants c n and a measure ν other than δ 0 such that \(T_{c_{n}}\delta_{1}^{\bullet n}\to\nu\).In Sect. 2 we discuss basic properties of the generalized convolution on ? which hold for the convolutions without the key axiom. This rather technical discussion is important for the weak generalized convolution where the key axiom is not a natural assumption. In Sect. 4 we show that if the weak generalized convolution defined by a weakly stable measure μ has this property, then μ is a factor of strictly stable distribution. 相似文献
12.
Matthias Börger 《Bl?tter der DGVFM》2010,31(2):225-259
In general, the capital requirement under Solvency II is determined as the 99.5% Value-at-Risk of the Available Capital. In the standard model’s longevity risk module, this Value-at-Risk is approximated by the change in Net Asset Value due to a pre-specified longevity shock which assumes a 25% reduction of mortality rates for all ages. We analyze the adequacy of this shock by comparing the resulting capital requirement to the Value-at-Risk based on a stochastic mortality model. This comparison reveals structural shortcomings of the 25% shock and therefore, we propose a modified longevity shock for the Solvency II standard model. We also discuss the properties of different Risk Margin approximations and find that they can yield significantly different values. Moreover, we explain how the Risk Margin may relate to market prices for longevity risk and, based on this relation, we comment on the calibration of the cost of capital rate and make inferences on prices for longevity derivatives. 相似文献
13.
Dalibor Volný 《Journal of Theoretical Probability》2010,23(3):888-903
Let (X i ) be a stationary and ergodic Markov chain with kernel Q and f an L 2 function on its state space. If Q is a normal operator and f=(I?Q)1/2 g (which is equivalent to the convergence of \(\sum_{n=1}^{\infty}\frac{\sum_{k=0}^{n-1}Q^{k}f}{n^{3/2}}\) in L 2), we have the central limit theorem [cf. (Derriennic and Lin in C.R. Acad. Sci. Paris, Sér. I 323:1053–1057, 1996; Gordin and Lif?ic in Third Vilnius conference on probability and statistics, vol. 1, pp. 147–148, 1981)]. Without assuming normality of Q, the CLT is implied by the convergence of \(\sum_{n=1}^{\infty}\frac{\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}}{n^{3/2}}\), in particular by \(\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}=o(\sqrt{n}/\log^{q}n)\), q>1 by Maxwell and Woodroofe (Ann. Probab. 28:713–724, 2000) and Wu and Woodroofe (Ann. Probab. 32:1674–1690, 2004), respectively. We show that if Q is not normal and f∈(I?Q)1/2 L 2, or if the conditions of Maxwell and Woodroofe or of Wu and Woodroofe are weakened to \(\sum_{n=1}^{\infty}c_{n}\frac{\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}}{n^{3/2}}<\infty\) for some sequence c n ↘0, or by \(\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}=O(\sqrt{n}/\log n)\), the CLT need not hold. 相似文献
14.
In this work, we consider the function pod(n), the number of partitions of an integer n wherein the odd parts are distinct (and the even parts are unrestricted), a function which has arisen in recent work of Alladi.
Our goal is to consider this function from an arithmetic point of view in the spirit of Ramanujan’s congruences for the unrestricted
partition function p(n). We prove a number of results for pod(n) including the following infinite family of congruences: for all α≥0 and n≥0,
pod(32a+3n+\frac23×32a+2+18) o 0 (mod 3).\mathrm{pod}\biggl(3^{2\alpha+3}n+\frac{23\times3^{2\alpha+2}+1}{8}\biggr)\equiv 0\ (\mathrm{mod}\ 3). 相似文献
15.
Random projection methods give distributions over k×d matrices such that if a matrix Ψ (chosen according to the distribution) is applied to a finite set of vectors x
i
∈ℝ
d
the resulting vectors Ψx
i
∈ℝ
k
approximately preserve the original metric with constant probability. First, we show that any matrix (composed with a random
±1 diagonal matrix) is a good random projector for a subset of vectors in ℝ
d
. Second, we describe a family of tensor product matrices which we term Lean Walsh. We show that using Lean Walsh matrices as random projections outperforms, in terms of running time, the best known current
result (due to Matousek) under comparable assumptions. 相似文献
16.
Piero D’Ancona Vittoria Pierfelice Fulvio Ricci 《Journal of Fourier Analysis and Applications》2010,16(2):294-310
The dispersive properties of the wave equation u
tt
+Au=0 are considered, where A is either the Hermite operator −Δ+|x|2 or the twisted Laplacian −(∇
x
−iy)2/2−(∇
y
+ix)2/2. In both cases we prove optimal L
1−L
∞ dispersive estimates. More generally, we give some partial results concerning the flows exp (itL
ν
) associated to fractional powers of the twisted Laplacian for 0<ν<1. 相似文献
17.
F. Parreño R. Alvarez-Valdes J. F. Oliveira J. M. Tamarit 《Annals of Operations Research》2010,179(1):203-220
The three-dimensional bin packing problem consists of packing a set of boxes into the minimum number of bins. In this paper
we propose a new GRASP algorithm for solving three-dimensional bin packing problems which can also be directly applied to
the two-dimensional case. The constructive phase is based on a maximal-space heuristic developed for the container loading
problem. In the improvement phase, several new moves are designed and combined in a VND structure. The resulting hybrid GRASP/VND
algorithm is simple and quite fast and the extensive computational results on test instances from the literature show that
the quality of the solutions is equal to or better than that obtained by the best existing heuristic procedures. 相似文献
18.
We describe the so-called method of virtual components for tight wavelet framelets to increase their approximation order and vanishing moments in the multivariate setting. Two examples of the virtual components for tight wavelet frames based on bivariate box splines on three or four direction mesh are given. As a byproduct, a new construction of tight wavelet frames based on box splines under the quincunx dilation matrix is presented. 相似文献
19.
Given a set of vectors F={f
1,…,f
m
} in a Hilbert space H\mathcal {H}, and given a family C\mathcal {C} of closed subspaces of H\mathcal {H}, the subspace clustering problem consists in finding a union of subspaces in C\mathcal {C} that best approximates (is nearest to) the data F. This problem has applications to and connections with many areas of mathematics, computer science and engineering, such
as Generalized Principal Component Analysis (GPCA), learning theory, compressed sensing, and sampling with finite rate of
innovation. In this paper, we characterize families of subspaces C\mathcal {C} for which such a best approximation exists. In finite dimensions the characterization is in terms of the convex hull of an
augmented set C+\mathcal {C}^{+}. In infinite dimensions, however, the characterization is in terms of a new but related notion; that of contact half-spaces.
As an application, the existence of best approximations from π(G)-invariant families C\mathcal {C} of unitary representations of Abelian groups is derived. 相似文献
|