组合逻辑中的抽象运算

为了研究组合逻辑(CL)与λ-演算的等价性,在CL中定又抽象运算“λ*x”以及引入规则ξ_C(所得理论记为CLξ_C) P=Q?λ*x·P=λ*x·Q是很自然的。通常研究λ-演算与CLξ_C的等价性时都以特殊的抽象运算为依据。本文得到了抽象运算“λ*x”所要满足的一般的充要条件以使λ-演算与 CLξ_C等价。定理1叙述为使一般λ-演算与CLξ_C等价,运算“λ*x”要满足的充要条件。定理2叙述为使外延的λ-演算与CLξ_C等价,运算λ*x”要满足的充要条件。     

复平面上解析Banach空间的拟不变子空间

讨论复平面上解析Banach空间具有任意指标的拟不变子空间的存在性问题.首先给出一类复平面上解析Banach空间存在任意指标拟不变子空间的判定定理.作为应用,证明了Fock型空间F~p(C)={f∈Hol(C):1/π∫_C|f(z)|~pe~(-|z|~2)dA(z)+∞,1≤p+∞}与Hilbert空间H={f∈Hol(C):1/π∫_C|f(z)|~2e~(-|z|)dA(z)+∞}具有任意指标的拟不变子空间.     

半群上的Green(e)-关系

半群上的Green(e)-关系是半群上通常Green's关系的一种推广.借助半群的左(右)S-系及半群的双系深入研究了Green(e)-关系的代数性质,证明了每个H(e)-类R(e)e∩L(e)f为一个强无挠的(H(e)e,H(e)f)-双系,其中e,f为幂等元,并给出了每个含幂等元的D(e)-类的代数结构.     

关于(QU)型模糊拓扑群的直积

研究(QU)型模糊拓扑群族直积,证明了任意(QU)型模糊拓扑群族的直积仍是(QU)型模糊拓扑群;研究了(QU)型模糊拓扑群族直积的模糊单位元之重域基的结构,得到了(QU)型模糊拓扑群族直积的一些重要性质.     

C_m·S_n的D(2)-点可区别边色数

对阶数不小于3的连通图G(V,E),设α,β为正整数,令映射f:Ef{1,2,…,α},若u,v∈V(G),1≤d(u,v)≤β,有C(u)≠C(v),则称f为G的一个α-D(β)-点可区别的边染色,简记为α-D(β)-VDPEC,对一个图进行α-D(β)-点可区别的边染色,所需的最少的颜色数称为图G的D(β)-点可区别的边色数,记为χ′β-vd(G),其中d(u,v)表示两个点u,v之间的最短距离.得到了Cm.Sn的D(2)-点可区别边色数.     

D(2)-点可区别正常边色数的一个上界

图G的D(β)-点可区别正常边染色是指G的一个正常边染色f使得对任意两点u,v∈V(G),0相似文献   

一类椭圆型变分不等式的非平凡广义解的存在性

本文研究了下列障碍问题的非平凡解的存在性u∈K∶∫Ωu.(u-u)dx ∫Ωa(x)u.(v-u)dx∫Ωp(x,u)(v-u)dx,v∈K.其中K={v∈H01(Ω)∶vψa.e.onΩ}.利用关于不等式推广的山路引理,在a(x)和障碍p(x,ξ)满足适当的假设下,我们证明了上述不等式存在非平凡解.     

(p,λ)-Koszul模和有线性表示的模(英文)

在本文中,主要讨论了(p,λ)-Koszul模范畴(K_λ~P(A))和线性表示模范畴(L(A))两者之间的关系.特别地,我们得到了K_λ~P(A)=L(A)的一些充分必要条件.     

(IC)式Stone-(C)ech紧化

以Hutton单位区间I(L)的外(IC)化空间(L)作为标准单位区间,引入了相应的(IC)完全正则分离性,建立了这类空间的嵌入理论并给出了(IC)式Stone-(C)ech紧化定理.     

优化的GM(1,1)模型及其在广东省梅毒疫情预测中的应用

提出了一种基于初始值和背景值同时优化的新GM(1,1)模型,利用广东省梅毒年发病率预测作为研究对象,用以验证所提模型的有效性和准确性,通过计算实例验证了优化模型具有较高的预测和模拟精度.     

Diamond nucleation on surface of C60 thin layers

Diamond nucleation on the surface of C₆₀ thin layers and intermediate layer of Si substrates are studied by scanning electron microscopy (SEM). The cross-section SEM images of diamond films show that diamond grains really nucleate on the surface of C₆₀ thin layers. The SEM images of diamond nucleating sites show the nucleating aggregation of diamond on C₆₀ surfaces. The preferential oriented diamond films are observed. The plasma pretreatment of C₆₀ sublimating layers is a key factor for diamond nucleation.     

Synchrotron radiation photoemission spectrum study on K3C60 film

K₃C₆₀, single crystal film was prepared on the cleaved (111) surface of C₆₀, single crystal. Synchrotron radiation angle-resolved photoemission spectra were measured at normal emission with sample temperature at × 150K. Up to four subpeaks of LUMO-derived band were observed. These sub-peaks exhibit distinct energy dispersions which resemble in general the theoretical ones calculated for K₃C₆₀ at low temperature with the so-called one-dimensional disordered structure. But there is large deviation of experimental sub-band intervals from the theoretical values. This result is meaningful for the studies of the physical properties of alkali-doped C₆₀ solids, e.g. the mechanism for superconductivity.     

Growth morphology and structural characteristic of C70 single crystals

Large size C₇₀ single crystals with the dimension of more than 5 mm are grown from the vapor phase by controlling nucleation. X-ray diffraction and electron diffraction confirm that in the C₇₀ single crystal a phase of the hexagonal close-packed (hcp) structure coexists with a minor face-center-cubic (fcc) phase at room temperature. The morphologies and their formation mechanism of the C₇₀ single crystals are investigated by means of scanning electron micrascopy and optical microscopy. The influence of growth conditions on the morphologies of C₇₀ single crystals is discussed. Project supported by the National Natural Science Foundation of China (Grant No. 59772026).     

Synthesis of C3N4 crystals under high pressure and high temperature

C₃N₄ crystals with the size of several micrometers have been synthesized from C₃N₄H₄ in the presence of nickel-based alloy or cobalt as catalyst under high pressure of 7 GPa and temperature of about 1400°C for 10 min. Scanning electron microscopy, energy-disperse X-ray analysis, and X-ray diffraction were used to examine the grown crystals. The general rule on selecting the starting materials for synthesis of carbon nitride crystals at high pressures and high temperatures is suggested.     

Weak barrelledness for C(X) spaces

Buchwalter and Schmets reconciled C_c(X) and C_p(X) spaces with most of the weak barrelledness conditions of 1973, but could not determine if -barrelled ⇔ ?^∞-barrelled for C_c(X). The areas grew apart. Full reconciliation with the fourteen conditions adopted by Saxon and Sánchez Ruiz needs their 1997 characterization of Ruess' property (L), which allows us to reduce the C_c(X) problem to its 1973 status and solve it by carefully translating the topology of Kunen (1980) and van Mill (1982) to find the example that eluded Buchwalter and Schmets. The more tractable C_p(X) readily partitions the conditions into just two equivalence classes, the same as for metrizable locally convex spaces, instead of the five required for C_c(X) spaces. Our paper elicits others, soon to appear, that analytically characterize when the Tychonov space X is pseudocompact, or Warner bounded, or when C_c(X) is a df-space (Jarchow's 1981 question).     

Synthesis and characterization of C3N4 crystal (I)

A successful experimental synthesis of pure crystalline β- and α-C₃N₄ films on Si(100) substrate was carried out by bias-assisted hot filament chemical vapor deposition (bias-HFCVD). It is found that a mixed-phase C₃-_I-Si_xN_y buffer layer was formed between the Si substrate and the C-N film. A “lattice match selection” was proposed to study the growth mechanism of C₃N₄ clusters composed of many crystal columns with hexagonal facets. Project supported by the National Natural Science Foundation of China and the Chinese Academy of Sciences.     

退化C_0-半群族的指数稳定性

首先,应用泛函分析和算子理论在Hilbert空间中得到了关于退化C_0-半群指数稳定的充分必要条件.然后,讨论了退化C_0-半群族的指数稳定性问题,应用退化C_0-半群理论给出了充分必要条件.     

A note on approximation of semigroups of contractions on Hilbert spaces

We show that every contractive C ₀-semigroup on a separable, infinite-dimensional Hilbert space X can be approximated by unitary C ₀-groups in the weak operator topology uniformly on compact subsets of ℝ₊. As a consequence we get a new characterization of a bounded H ^∞-calculus for the negatives of generators of bounded holomorphic semigroups. Applications of our results to the study of a topological structure of the set of (almost) weakly stable contractive C ₀-semigroups on X are also discussed. The author was partially supported by the Marie Curie “Transfer of Knowledge” programme, project “TODEQ”, and by a MNiSzW grant Nr. N201384834.     

The Flag-Transitive C 3-Geometries of Finite Order

It is shown that a flag-transitive C ₃-geometry of finite order (x, y) with x2 is either a finite building of type C ₃ (and hence the classical polar space for a 6-dimensional symplectic space, a 6-dimensional orthogonal space of plus type, a 6- or 7-dimensional hermitian space, a 7-dimensional orthogonal space, or an 8-dimensional orthogonal space of minus type) or the sporadic A ₇-geometry with 7 points.