排序方式: 共有18条查询结果,搜索用时 109 毫秒
1.
In this paper we determine the threshold for d‐collapsibility in the probabilistic model Xd(n,p) of d‐dimensional simplicial complexes. A lower bound for this threshold was established in (Aronshtam and Linial, Random Struct. Algorithms 46 (2015) 26–35), and here we show that this is indeed the correct threshold. Namely, for every c > ηd, a complex drawn from is asymptotically almost surely not d‐collapsible. © 2015 Wiley Periodicals, Inc. Random Struct. Alg., 48, 260–269, 2016 相似文献
2.
3.
A design of novel type superconducting magnet for super—high field functional magnetic resonance imaging by using the harmonic analysis method of magnetic vector potentials
下载免费PDF全文
![点击此处可从《中国物理》网站下载免费的PDF全文](/ch/ext_images/free.gif)
The approach of expanding the magnetic scalar potential in a series of Legendre polynomials is suitable for designing a conventional superconducting magnetic resonance imaging magnet of distributed solenoidal configuration. Whereas the approach of expanding the magnetic vector potential in associated Legendre harmonics is suitable for designing a single-solenoid magnet that has multiple tiers, in which each tier may have multiple layers with different winding lengths. A set of three equations to suppress some of the lowest higher-order harmonics is found. As an example, a 4T single-solenoid magnetic resonance imaging magnet with 4×6 layers of superconducting wires is designed. The degree of homogeneity in the 0.5m diameter sphere volume is better than 5.8 ppm. The same degree of homogeneity is retained after optimal integralization of turns in each correction layer. The ratio Bm/B0 in the single-solenoid magnet is 30% lower than that in the conventional six-solenoid magnet. This tolerates higher rated superconducting current in the coil. The Lorentz force of the coil in the single-solenoid system is also much lower than in the six-solenoid system. This novel type of magnet possesses significant advantage over conventional magnets, especially when used as a super-high field functional magnetic resonance imaging magnet. 相似文献
4.
《南昌大学学报(理科版)》1999~2008年载文、作者和引文分析 总被引:5,自引:0,他引:5
颜志森 《南昌大学学报(理科版)》2008,32(6):1
应用文献计量学的方法,对2006~2007年及1999~2008年每年的第1期,共20期《南昌大学学报(理科版)》进行定量分析,并与相关的文献报道进行比较。分析结果表明:该刊在相近的同类高校学报(科技期刊)中,载文量较高,基金项目论文平均达到65.95%;论文合著率为88.26%,合作度为2.89;第一 相似文献
5.
变系数二元线性差分方程解的显式表示 总被引:5,自引:0,他引:5
文章讨论了变系数二元线差分方程求解公式,并给出两个应用实例。 相似文献
6.
7.
8.
Pierluigi Minari 《Archive for Mathematical Logic》2009,48(2):159-184
It has often been remarked that the metatheory of strong reduction , the combinatory analogue of βη-reduction in λ-calculus, is rather complicated. In particular, although the confluence of is an easy consequence of being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained
proof of the confluence of , one which makes no detour through λ-calculus. We answer positively to this question, by extending and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof
of the confluence of immediately follows from the main result of the present paper, namely that a certain analytic proof system G
e
[] , which is equivalent to the standard proof system CL
ext
of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able
to provide not only for G
e
[] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical
techniques, and is entirely contained within the theory of combinators.
相似文献
9.
10.
基于对模糊复积分理论的研究,本文借助复区间值函数的Henstock-Stieltjes积分定义和刻划了复模糊值函数的Henstock-Stieltjes积分,并得到了复模糊值函数Henstock-Stieltjes积分的线性性及区间可加性. 相似文献