đối chiếu kết quả hs1 đối với phương trình ax2 bx c 0 a 0 và biệt thức b2 4ac nếu gt 0 thì pt có 2 nghiệm x1 x2 nếu 0 thì phương trình có nghiệm kép x nếu lt 0 phương trình vô nghiệm
Tài liệu Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog. doc
... tao ilich mcfi dich diro 'c dtra bao bang (la dich moi di.n tinh) tr& cac literal dtro 'c chon cua cac nut Goc cua cac cay dc3i diroc goi lit cac nut to' tien Phep toan phan gidi qui tttc dtroc ... sinh cac nut cti a cac nut to' tien vit cac nut (nut lit nut literal diroc chon cua no la khc3ng dtro 'c dua vao bang) Neu literal dtro 'c chon cua m9t nut la dtroc dira vao bang thl cac cii a n6 ... dich con, m~i dich gh lien voi m9t t~p cac cau tra lai, hai dich hoac cac cau tra lai diro 'c xem lit dong nhat vo'i bang neu chung lit cac bien th€ ciia D!nh nghia 5.1 .2 M9t h~ thong SLG bao gom...
- 10
- 1,041
- 1
PHƯƠNG PHÁP ĐỊNH GIÁ TRUY VẤN ĐỐI VỚI CHƯƠNG TRÌNH LOGIC DIỂN GIẢI CÓ RÀNG BUỘC pot
... Mathematics and Artificial Intelligence (Forthcomming), 1999 [4] Marc Denecker and Antonis Kakas, Abduction in Logic Programming, LNAI 2 407 , ( 20 0 2) , 4 02 –436 [5] Mancarella M., and Terreni G.: The CIFF ... Procedure for Abductive LogicProgramming with Constraints, Theory, Implementation and Experiments, 20 0 9 [6] Paolo Mancarella, Francesca Toni, Fariba Sadri, Francesca Toni, Ulle Endriss., A semantics ... ph c vấn đề TÀI LIỆU THAM KHẢO [1] Kakas A .C. , Kowalski R .A. , and Toni F., Abductive Logic Programming, Journal of Logic and Computation, (1993), 719 – 7 70 [2] Kakas A .C. , Michael A. , and Mourlas...
- 11
- 347
- 0
Thoả thuận khi lập dự án đối với công trình thuộc dự án nhóm B, C có liên quan đến giao thông đường thuỷ trên đường thuỷ nội địa địa phương; đường thuỷ nội địa chuyên dùng nối với đường thuỷ nội địa địa phương doc
... Tổ ch c, c nhân - C quan th c thủ t c hành chính: C quan c thẩm quyền định: Sở Giao thông vận tải; C quan tr c tiếp th c thủ t c hành chính: Phòng Kế hoạch Tài Sở - Kết vi c th c TTHC: Văn ... c u c u c ng, c ng trình phụ trợ vùng nư c cần thiết cho hoạt động c ng +Đối với c ng trình kè, c ng trình chỉnh trị: * Bản vẽ thể hướng kích thư c công trình, phần c ng trình nhô từ bờ + Đối với ... Đối với dự án c ng trình c u vĩnh c u, c u tạm: * Dữ liệu khoang thông thuyền (vị trí, độ c u, chiều cao tĩnh không); * Mặt c t d c công trình thể mặt c t ngang sông; * Đối với c u quay, c u c t,...
- 4
- 383
- 0
đối chiếu kết quả thính lực, nhĩ lượng và chụp cắt lớp vi tính với hình ảnh tổn thương trong phẫu thuật để rút kinh nghiệm cho chẩn đoán
... trung bình c ng ngưỡng nghe tần số 500 , 100 0, 20 0 0, 400 0 Hz [ 32] PTA = dB 500 Hz + dB 100 0 Hz + dB 20 0 0 Hz + dB 400 0Hz + Đánh giá phân loại m c độ giảm s c nghe thính l c đồ d a vào số PTA theo Hội ... hợp B a- XBĐ C x ơng C u x ơng Kh c Tổng số (N) Số tai (n) 10 10 13 1 46 Tỷ lệ (%) 21 ,7 21 ,7 15 ,2 2 ,2 28 ,2 2 ,2 2 ,2 4,4 100 Nhận x t: - Tổn thương thiếu hụt x ơng c 34/46 tai, chiếm tỷ lệ cao (73,9%) ... theo PTA Loại nghe Số tai (n) Tỷ lệ (%) Nhẹ 2, 2 V a 23 50 46 Nặng 21 45,6 Rất nặng 2, 2 Đi c sâu 0 Tổng số (N) 46 100 ,0 Nhận x t: - Nghe m c độ v a c 23 /46 tai, chiếm tỷ lệ cao 50% Sau nghe mức...
- 103
- 770
- 0
Một số định lý về sự tồn tại nghiệm của bài toán Cauchy đối với phương trình vi phân cấp 1: Khóa luận toán học
... Picard Thật vậy, với x1 , x2 , ta c VT = x2 − x1 − x2 x2 = x2 − x2 (x1 − x2 )( x4 + 12 x2 x2 + x1 + x2 = x4 ) x4 + x2 x2 + x4 Chọn x1 = , x2 = theo ta c n n x1 + x2 x4 + x2 x2 = + x4 3 = 3 n 16 ... |x1 (t) − x2 (t)| Từ c ch x c định trên, ta thấy x( t) liên t c tuyệt đối Lấy t ∈ [t0 , t0 + a] , ta x t trường hợp sau i X t x1 (t) > x2 (t) Do x1 , x2 liên t c tuyệt đối nên liên t c có đạo hàm ... [t0 , a ) cho [t0 , a ) ⊃ [t0 , ax ) φ(t) = x( t) với t ∈ [t0 , ax ) Khi với nghiệm th c triển u, v ∈ S x c định Iu = [t0 , au ), au ≥ ax , Iv = [t0 , av ), av ≥ ax , ta định ngh a quan hệ sau:...
- 44
- 2,682
- 5
phương pháp toán tử đơn điệu và ứng dụng nghiên cứu sự tồn tại nghiệm của bải toán biến đổi với phương trình elliptic không tuyến tính
... F (x2 ), Pn x1 Pn x2 X X = F (x1 ) F (x2 ), x1 x2 0, X x1 , x2 Xn Do ú Fn l toỏn t n iu V vi mi dóy xk x Xn , ta c y Xn Fn xk Fn x, y = Pn F (xk ) Pn F (x) , y X X = F (xk ) F (x) , ... (u2 ), u1 u2 H0 () | (u1 (x) u2 (x) ) |2 dx = [g (x, u1 (x) ) g (x, u2 (x) )](u1 (x) u2 (x) )dx |u1 (x) u2 (x) |2 dx | (u1 (x) u2 (x) ) |2 dx | (u1 (x) u2 (x) ) |2 dx |u1 (x) u2 (x) |2 dx ... Fn : Xn Xn , Fn (xn ) = Pn F (xn ) -24 - 1.5 Toỏn t trờn khụng gian Hilbert thc tỏch c T tớnh n iu v liờn tc yu ca F suy Fn (x1 ) Fn (x2 ), x1 x2 = Pn F (x1 ) Pn F (x2 ), x1 x2 X = F (x1 )...
- 65
- 548
- 1
Ứng dụng phương pháp biến phân để nghiên cứu sự tồn tại nghiệm của các bài toán biến đổi với phương trình và hệ phương trình elliptic
... b (x) |v0 ||v v0 |)dx 2 h1 (x) | u0 | dx T (w0 ) 2 h2 (x) | v0 | dx h1 (x) | u 2 u0 | dx h2 (x) | v 2 v0 | dx a( x) |u0 |2 dx a( x) |u u0 |2 dx b (x) |v0 |2 dx b (x) |v v0 ... div(h2 (x) v0 )2 + a( x) u0 + b (x) v0 )dx R + (h1 (x) v0 u0 + h2 (x) )d n n (f (x, u0 , v0 )1 + g (x, u0 , v0 )2 )dx = R vi mi = (1 , ) C0 (, R2 ) T ú (div(h1 (x) u0 )1 div(h2 (x) v0 )2 + a( x) u0 ... Korean of Mathematic Society (Tp ISI), Acta Mathematica Vietnamica v Vietnam Journal of Mathematics C c kt qu ny ó c bỏo c o Hi ngh khoa hc Khoa Toỏn -C- Tin hc Trng i hc Khoa hc T nhiờn i hc Quc...
- 90
- 581
- 1
Nghiệm giải tích và nghiệm xấp xỉ của một bài toán biên đối với phương trình song điều hòa
... (x) , x ∈ Ω, u1 = 0, x Γ (2. 11) 26 ∆ 2 = 0, x ∈ Ω, 2 = 0 , x ∈ Γ (2. 12) ∆u2 = 2 (x) , x ∈ Ω, u2 = 0, x Γ (2. 13) (2. 10) toán Dirichlet phương trình Poisson nên c nghiệm υ1 Thay υ1 vào (2. 11), ... 0 (x) , x ∈ Γ, ∆u (x) = υ (x) , x ∈ Ω, B0 u (x) = g0 (x) , x ∈ Γ, (2. 3) (2. 2) toán Dirichlet, (2. 3) toán Dirichlet B0 c c p 0, toán Neumann B0 c c p 1, 0 (x) hàm biên ch a biết Để tìm 0 (x) , sử ... véctơ pháp tuyến biên Γ điểm s s Từ (2. 30) ta tính ∂G (x, x) R2 − r =− ∂ns 2 R R2 + r2 − 2R cos (ψ − ϕ) (2. 31) Thay (2. 31) vào (2. 29), ta c R 2 K(s, s = 0 4π R2 R2 − r2 rdψdr R2 + r2 − 2Rr cos...
- 49
- 398
- 0
Tính giải được và tính ổn định của nghiệm đối với phương trình vi phân đạo hàm riêng trung tính với trễ vô hạn (LV01182)
... t c Lipschitz đ a phương sinh A Đạo hàm (S (t))t 0 D (A) n a nhóm liên t c mạnh sinh phần tử A0 toán tử A D (A) , định ngh a D (A0 ) = {x ∈ D (A0 ) : Ax ∈ D (A) , A0 x = Ax, x ∈ D (A0 ) Bổ đề 1 .2. 8 Cho ... tx Hệ 2. 2.3 [6] Với x ∈ E, t ≥ 0, ta c S(t )x ∈ D (A) Hơn n a, với x ∈ E , S(. )x khả vi phải với t ≥ S(t )x ∈ D (A) , trường hợp ta c S (t )x = AS(t )x + x Mệnh đề 2. 2.4 [7] Cho f : [0, a] → E, a ... := x( ., ϕ1 ) 0 s≤ 0 s≤ 27 x2 := x( ., 2 ), với t ∈ [0, ], ta c : ||U (t)(ϕ1 ) − U (t) 2 ||B = | |x1 − x2 ||B t t ≤ K(t) sup |x1 (s) − x2 (s)| + M (t)||ϕ1 − 2 ||B 0 s≤t ≤ K( ) sup {|G (x1 ) − G (x1 ...
- 51
- 503
- 0
Bài toán biên không có điều kiện ban đầu thứ nhất đối với phương trình truyền nhiệt trong miền chứa các điểm lùi(1211)
... đẳng th c Cauchy Cho a, b số th c dương ε > Khi b2 ab ≤ a + 4ε Chứng minh Ta c : a. b = (2 ) a b (2 ) Áp dụng bất đẳng th c trung bình c ng trung bình nhân cho tích ta đư c: 2 a2 + a. b = (2 ) a ... (H) ta c bất đắng th c Cauchy- Schwarz |uv| ≤ u Chứng minh Cho ε > ý v |x ± εy |2 = |x |2 2 .xy+|ε.y |2 Do đó: ε |x |2 + |y |2 2 ±xy ≤ C c tiểu hoá vế trái, đặt ε = |x| |y| , với y = Ta c điều ... uxi (x, τ ) dτ, h với h < t < b ta c biểu diễn sau: b ηxj (x, τ ) dτ = vi (x, b) − vi (x, t) ηxi (x, t) = t Theo (2. 10) ta c n η (x, h) W (Ω) n |vi (x, b) |2 + |vi (x, t) |2 dxdt ηxj dxdt ≤ C...
- 40
- 383
- 0
Bài toán biên không có điều kiện ban đầu thứ nhất đối với phương trình truyền sóng trong miền không trơn (LV01237)
... đó: b2 ab ≤ a + 4ε Chứng minh Ta c : a. b = (2 ) a b (2 ) Áp dụng bất đẳng th c trung bình c ng trung bình nhân cho tích ta đư c: 2 a2 + a. b = (2 ) a ≤ (2 ) b b2 2 b2 = a + 4ε Bất đẳng th c ... n aij (x, t) uxj uxi dx ≥ Ω i,j=1 aij (x) uxj uxi dx Ω i,j=1 n − |aij (x, t) − aij (x) | uxj uxi dx i,j=1 Ω n n Ω j=1 |u (x, t) |2 dx |uxi |2 dx − 2 uxj dx − C1 ≥ γ1 Ω i=1 Ω n |uxi |2 dx − 2 ... gian hàm khả vi vô hạn với giá compact Ω, x = (x1 , x2 , , xn ) ∈ Rn Cho X không gian Banach với chuẩn X Kí hiệu L∞ (0, T ; X) không gian bao gồm tất hàm u (., t) nhận giá trị không gian X, x c...
- 36
- 339
- 0
Bài toán biên không có điều kiện ban đầu thứ nhất đối với phương trình schrodinger trong miền nón (LV01229)
... dương ε > Khi b2 ab ≤ a + 4ε Chứng minh Ta c : a. b = (2 ) a 12 b (2 ) Áp dụng Cauchy b2 2 2a (2 ) a + ≤ (2 ) 2 b b2 = a + • Bất đẳng th c Cauchy - Schwarz Cho u, v ∈ Rn Khi đó, ta c |uv| ≤ ... ta c : 1 o |x| ψ (x) dx = − −1 ψ ∈ C ∞ (−1, 1) v (x) ψ (x) dx, −1 |x| ψ (x) dx = T = x. ψ (x) dx + −1 −1 0 = x. ψ (x) |0 + −1 x. ψ (x) dx ψ (x) dx + x. ψ (x) |1 ψ (x) dx − −1 =− signx.ψ (x) dx ... tồn nghiệm Chương Kiến th c chuẩn bị 1.1 C c kí hiệu Rn không gian Euclide n− chiều, x = (x1 , x2 , , xn ) ∈ Rn Cho hai điểm x, y ∈ Rn , x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) Tích vô hướng...
- 42
- 333
- 0
Tóm tắt luận án tiến sĩ ứng dụng phương pháp biến phân để nghiên cứu sự tồn tại nghiệm của các bài toán biên đối với phương trình và hệ phương trình elliptic không tuyến tính
... Mathematic Society (Tạp chí ISI), Acta Mathematica Vietnamica Vietnam Journal of Mathematics C c kết báo c o Hội nghị khoa h c Khoa Toán -C -Tin h c năm 20 0 8, 20 1 0 Semina Bộ môn Giải tích Khoa Toán- ... semilinear elliptic equation in an unbounded domain, Acta Mathematica Vietnamica, 37(1), pp.137-147 Trinh Thi Minh Hang, Hoang Quoc Toan, ( 20 1 2) Existence of weak nonnegative solution for a class ... |u |2 )dx Ω 20 (2. 11) Ta x t không gian M H0 (Ω) sau đây: M = {u ∈ H0 (Ω) : (h (x) | u |2 + a( x) |u |2 )dx < +∞} Ω M không gian Hilbert với chuẩn sau (h (x) | u |2 + a( x) |u |2 )dx ||u| |2 = M Ω tích vô hướng...
- 27
- 405
- 0
Áp dụng định lý điểm bất động brouwer – schauder nghiên cứu sự tồn tại nghiệm của bài toán biên đối với phương trình elliptic không tuyến tính
... ∆u (x) v (x) dx = Ω (2. 23) Từ 2. 22, với v ∈ C0 ∞ (Ω) ⊂ C ∞ (Ω), − g (x, u (x) )v (x) dx, ∀v ∈ C ∞ (Ω) ∆u (x) v (x) dx = Ω ∂u (x) = suy ∂n Ω Suy −∆u (x) = g (x, u (x) ) Ω Từ 2. 22 ta c v (x) ∂u (x) ds = 0, ∀v ∈ C ∞ (Ω) ... đẳng th c Holder ta c 1 /2 2σ |u (x) | dx 1 /2 ≤ Ω ≤ |u (x) | dx (measΩ) 1−σ Ω 1−σ σ Cemb (measΩ) ||u||σL2 (Ω) (2. 18) Từ c ng th c 2. 17 2. 18 ta c 1+σ ||S(u)||H01 (Ω) ≤ Cemb ||r||L2 (Ω) + C. Cemb (measΩ) ... r (x) + C. |s|σ Khi ∀u ∈ H01 (Ω) ta c : 1 ||S(u)||H01 (Ω) ≤ sup ( |g (x, u (x) ) |2 dx) ( |v (x) |2 dx) ||v||≤1 Ω Ω 1 /2 σ ≤ Cemb (r (x) + C| u (x) | ) dx Ω ≤ Cemb |r (x) | dx 1 /2 2σ |u (x) | dx /2 + C Ω Ω (2. 17)...
- 52
- 791
- 1
PHƯƠNG PHÁP NGHIỆM TRÊN NGHIỆM DƯỚI GIẢI BÀI TOÁN DIRICHLET ĐỐI VỚI PHƯƠNG TRÌNH ELLIPTIC
... i=1 2 x2 i gọi toán tử Laplace hay thường gọi Laplacian ∆ϕ: biểu th c Laplacian hàm ϕ (x) Phương trình ∆ϕ = 0, x ∈ Ω gọi phương trình Laplace phương trình vi phân không nhất: ∆ϕ = f (x) , x ∈ Ω ... : a. x = a. x + 0. y ∈ K, ∀y ∈ K ⇒ a. x ∈ K Ngư c lại giả thiết K lồi x ∈ K, a ≥ ⇒ a. x ∈ K Khi với x, y ∈ K, a, b ≥ ⇒ a. x ∈ K, b.y ∈ K 2 2 Vì K lồi nên ax + bx ∈ K Do đó: 2( ax + bx) = ax + bx ∈ ... Định ngh a 2. 2 Không gian Banach th c X gọi không gian Banach thứ tự X c tập hợp nón thứ tự Ví dụ 2. 1 Ω tập hợp bị chặn RN X = C( Ω) không gian Banach với chuẩn f ∈ X : f = max | f (x) | C + (Ω)...
- 51
- 314
- 1
Mối liên hệ giữa môđun liên tục của hệ số và tính tựa giải tích của nghiệm trong bài toán cauchy đối với phương trình hyperbolic mạnh
... (x + at)] + 2a x+ at ψ (ξ) dξ, x at c ng th c Poisson n = u (t, x) = 2 a ψ (ξ) a2 t2 |ξ x|
- 40
- 423
- 0
Trình chiếu mối liên hệ giữa môđun liên tục của hệ số và tính tựa giải tích của nghiệm trong bài toán cauchy đối với phương trình hyperbolic mạnh
... λ∗ ω(Dx ) )2 + a( t, x) Dx2 + rλ,ω (t, x, Dx )ω(Dx )Dx với rλ,ω (t, x, Dx ) họ biểu trưng bị chặn S0 ,0 ∗ ∗ ∗ λ T ≤ 0 , ≤ t ≤ T Ta đ a vào biểu trưng a ∈ C [0, T ]; S1 ,0 sau a( t, x, ξ) := H c viên: ... a( τ, x) = a( T , x) với τ > T , a( τ, x) = a (0, x) với τ < Ta c ∂ξα x a( t, x, ξ) − a( t, x) ≤ C ,β ξ −1−α ω(ξ) ∂ξα x ∂t a( t, x, ξ) ≤ C ,β ξ −α ω(ξ), Do Lλ = (∂t + i a( t, x, Dx )Dx + λ∗ ω(Dx ... toán Cauchy phương trình hyperbolic mạnh hệ số phụ thu c thời gian X t toán Cauchy với phương trình hyperbolic mạnh [0, T ] × Rx utt − a( t)uxx = (2. 1) u (0, x) = u0 , ut (0, x) = u1 hệ số a( t)...
- 45
- 417
- 0
Tìm thêm: hệ việt nam nhật bản và sức hấp dẫn của tiếng nhật tại việt nam xác định các nguyên tắc biên soạn khảo sát các chuẩn giảng dạy tiếng nhật từ góc độ lí thuyết và thực tiễn xác định thời lượng học về mặt lí thuyết và thực tế tiến hành xây dựng chương trình đào tạo dành cho đối tượng không chuyên ngữ tại việt nam điều tra đối với đối tượng giảng viên và đối tượng quản lí điều tra với đối tượng sinh viên học tiếng nhật không chuyên ngữ1 khảo sát thực tế giảng dạy tiếng nhật không chuyên ngữ tại việt nam nội dung cụ thể cho từng kĩ năng ở từng cấp độ xác định mức độ đáp ứng về văn hoá và chuyên môn trong ct các đặc tính của động cơ điện không đồng bộ hệ số công suất cosp fi p2 đặc tuyến hiệu suất h fi p2 đặc tuyến mômen quay m fi p2 đặc tuyến tốc độ rôto n fi p2 đặc tuyến dòng điện stato i1 fi p2 động cơ điện không đồng bộ một pha sự cần thiết phải đầu tư xây dựng nhà máy thông tin liên lạc và các dịch vụ từ bảng 3 1 ta thấy ngoài hai thành phần chủ yếu và chiếm tỷ lệ cao nhất là tinh bột và cacbonhydrat trong hạt gạo tẻ còn chứa đường cellulose hemicellulose