共查询到20条相似文献,搜索用时 69 毫秒
1.
一种故障树分析的新算法 总被引:13,自引:0,他引:13
本论文中,首先引入了BDD(BrinaryDecisionDiagrams-BDD)的概念,介绍由故障树到BDD转化算法一递归法,及BDD进行故障树分析的方法。 相似文献
2.
本文把文[2]中关于 R D D E 解空间为有限维的结果完整地推广到 N D D E 和 C D D E 上去,给出了相应的充要条件 相似文献
3.
本文证明了两个定理:(1)设DCn是一个完备的圆型域,若且对任意.则D对ρD而言是完备的.(2)令D是Cn中的有界域,若其 Bergman核函数KD(z,)满足下列条件:(i)KD(z,)在 D x(D∪ D)连续;(ii)对任何 P ∈D,有lim KD(z,z)= +∞.则 D对 ρD而言是完备的.作为其应用,还证明了Cartan-Hartogs域在其 Bergman度量下是完备的. 相似文献
4.
设D是R~2中的Jordan域,∞∈6 D,D~*=R~2\D,本文证明D是拟国的充分必要条件是D和D~*均是内线性局部连通集. 相似文献
5.
本文研究了Domain理论中投射空间的性质.其主要结果是;若连续cpoD的投射空间是连续的,则 D必是代数 Domain.进一步,若连续 cpo D具有性质m则其投射空间是连续 cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集. 相似文献
6.
赵开明 《数学年刊A辑(中文版)》1995,(4)
设D是交换整环,本文讨沦了二元多项式代数D[X,y]的自同构.证明了,如果D不是域则D[x,y]有非标准的自同构;如果D是唯一分解环,τ是D[x,y]的D-自同态,则τ是自同构,当且仅当,上其中条件1)可换为:τ将D[x,y]的任一本原多项式变为本原多项式. 相似文献
7.
立体几何是研究空间图形的性质的一门学科,在处理线线、线面、面面的位置关系时,常要用到三角的有关知识来解决.1 三角函数性质的应用例1 (北京市高一数学竞赛,1993)在三棱锥ABCD中,∠DAB ∠BAC ∠DAC=90°,∠ADB=∠BDC=∠ADC=90°,若cos70°=0.3420.试证:二面角ABCD的度数大于70°.证 如图,设DB=a,DC=b,DA=x.图1 例1图 图2 例1展开图剪开DA,DB,DC展开在平面上,则∠D1AD2=90°,D1A=D2A=x,延长D1B,D2C交于K,则AD1KD2为正方形.BK=x-a,CK=x-b,BC=a2 b2,由… 相似文献
8.
本文把[1]的结果推广到更广泛的一类Reinhardt域D=D(k1k2…kp) C(1≤p<n),即利用D的解析自同构群Aut(D)下不变函数给出了域D在Aut(D)下不变的Kahler度量. 相似文献
9.
《数学通报》2002,(4)
20 0 2年 3月号问题解答(解答由问题提供人给出 )1 361 如图 ,C为半圆上一点 ,CD⊥AB于D ,AB为直径 ,G、H分别为 △ ACD、△ BCD的内心 ,过G、H作直线交AC、BC于E、F ,求证 :CE =CF .(安徽省肥西中学 刘运谊 2 31 2 0 0 )证明 连结DG并延长AC于M ,连结DH并延长CB于N ,再连结MN、AG、BN .因为CD⊥AB所以∠CDA=∠CDB =90°而G、H分别为 △ACD、△BCD的内心所以DM、DN分别是∠CDA =∠CDB的平分线所以∠MDC =∠MDA=∠NDC =∠NDB= 45°在 △ MAD和… 相似文献
10.
《数学通讯》2001,(11):35-37
题 5 如图 1 ,四面体ABCD中 ,△ABC与△DBC都是边长为 4的正三角形 .1 )求证 :BC⊥AD ;2 )若点D到平面ABC的距离不小于 3,求二面角A BC D的平面角的取值范围 ;3)求四面体ABCD的体积的最大值和最小值 .解 1 )取BC的中点O ,连结AO ,DO ,∵△ABC ,△BCD都是边长为 4的正三角形 ,∴AO⊥BC ,DO⊥BC ,且AO∩DO =O .∴BC⊥平面AOD .又∵AD 平面AOD ,∴BC⊥AD .2 )由 1 )的证明过程可知 ,∠AOD为二面角A BC D的平面角 ,记为θ,则θ∈ ( 0 ,π) .过点D作DE⊥AO交… 相似文献
11.
12.
We study a class of self-similar processes with stationary increments belonging to higher order Wiener chaoses which are similar to Hermite processes. We obtain an almost sure wavelet-like expansion of these processes. This allows us to compute the pointwise and local Hölder regularity of sample paths and to analyse their behaviour at infinity. We also provide some results on the Hausdorff dimension of the range and graphs of multidimensional anisotropic self-similar processes with stationary increments defined by multiple Wiener–Itô integrals. 相似文献
13.
ZHENG ShiJun 《分析论及其应用》2004,20(3)
Schr(o)dinger operator is a central subject in the mathematical study of quantum mechanics.Consider the Schrodinger operator H = -△ V on R, where △ = d2/dx2 and the potential function V is real valued. In Fourier analysis, it is well-known that a square integrable function admits an expansion with exponentials as eigenfunctions of -△. A natural conjecture is that an L2 function admits a similar expansion in terms of "eigenfunctions" of H, a perturbation of the Laplacian (see [7], Ch. Ⅺ and the notes), under certain condition on V. 相似文献
14.
It is considered the class of Riemann surfaces with dimT1 = 0, where T1 is a subclass of exact harmonic forms which is one of the factors in the orthogonal decomposition of the spaceΩH of harmonic forms of the surface, namely The surfaces in the class OHD and the class of planar surfaces satisfy dimT1 = 0. A.Pfluger posed the question whether there might exist other surfaces outside those two classes. Here it is shown that in the case of finite genus g, we should look for a surface S with dimT1 = 0 among the surfaces of the form Sg\K , where Sg is a closed surface of genus g and K a compact set of positive harmonic measure with perfect components and very irregular boundary. 相似文献
15.
One of the most fundamental problems in theoretical biology is to explain the mechanisms by which patterns and forms are created in the'living world. In his seminal paper "The Chemical Basis of Morphogenesis", Turing showed that a system of coupled reaction-diffusion equations can be used to describe patterns and forms in biological systems. However, the first experimental evidence to the Turing patterns was observed by De Kepper and her associates(1990) on the CIMA reaction in an open unstirred reactor, almost 40 years after Turing's prediction. Lengyel and Epstein characterized this famous experiment using a system of reaction-diffusion equations. The Lengyel-Epstein model is in the form as follows 相似文献
16.
Pankaj Mathur 《分析论及其应用》2006,22(2)
In this paper, we study the explicit representation and convergence of (0, 1; 0)-interpolation on infinite interval, which means to determine a polynomial of degree ≤ 3n - 2 when the function values are prescribed at two set of points namely the zeros of Hn(x) and H′n(x) and the first derivatives at the zeros of H′n(x). 相似文献
17.
18.
《高校应用数学学报(英文版)》2014,29(4)
正Applied Mathematics-A Journal of Chinese Universities,Series B(Appl.Math.J.Chinese Univ.,Ser.B)is a comprehensive applied mathematics journal jointly sponsored by Zhejiang University,China Society for Industrial and Applied Mathematics,and Springer-Verlag.It is a quarterly journal with 相似文献
19.
《数学研究及应用》2014,(6)
正Journal overview:Journal of Mathematical Research with Applications(JMRA),formerly Journal of Mathematical Research and Exposition(JMRE)created in 1981,one of the transactions of China Society for Industrial and Applied Mathematics,is a home for original research papers of the highest quality in all areas of mathematics with applications.The target audience comprises:pure and applied mathematicians,graduate students in broad fields of sciences and technology,scientists and engineers interested in mathematics. 相似文献
20.
A cumulative-capacitated transportation problem is studied. The supply nodes and demand nodes are each chains. Shipments from a supply node to a demand node are possible only if the pair lies in a sublattice, or equivalently, in a staircase disjoint union of rectangles, of the product of the two chains. There are (lattice) superadditive upper bounds on the cumulative flows in all leading subrectangles of each rectangle. It is shown that there is a greatest cumulative flow formed by the natural generalization of the South-West Corner Rule that respects cumulative-flow capacities; it has maximum reward when the rewards are (lattice) superadditive; it is integer if the supplies, demands and capacities are integer; and it can be calculated myopically in linear time. The result is specialized to earlier work of Hoeffding (1940), Fréchet (1951), Lorentz (1953), Hoffman (1963) and Barnes and Hoffman (1985). Applications are given to extreme constrained bivariate distributions, optimal distribution with limited one-way product substitution and, generalizing results of Derman and Klein (1958), optimal sales with age-dependent rewards and capacities.To our friend, Philip Wolfe, with admiration and affection, on the occasion of his 65th birthday.Research was supported respectively by the IBM T.J. Watson and IBM Almaden Research Centers and is a minor revision of the IBM Research Report [6]. 相似文献