... 32 2.2 Ph-ơng trình động lực thang thời gian 34 2.2.1 Các khái niệm thang thời gian 34 2.2.2 Đạo hàm tíchphân thang thời gian 35 2.2 .3 Các kết tính ... nghĩa 2.2 .38 Nếu G (t) = g(t) tíchphân Cauchy g đ-ợc xác định t g(s)s = G(t) G(a) a Ta g Crd (T ) tíchphân Cauchy t G(t) = g(s)s t0 tồn với t0 T thoả mãn G (t) = g(t) với t T Về tíchphân Cauchy ... un +3 3un+2 + 3un+1 un ; Nói chung, sai phân cấp k hàm un k k un = ( k1 un ) = k1 un+1 k1 i (1)i Ck un+ki , un = i=0 17 k! i Ck = i!(ki)! Các tính chất sai phân: i) Tính chất 1: Sai phân...
... phẩm đáy Ví dụ áp suất 17 93 + 20 = 18 13 kPa sau : Cấu tử xi (% mol) Ki (ở 134 oC 18 13 kPa) Kixi (% mol) 2 .31 1.52 1 .32 0.46 2. 03 25.19 53. 33 19.44 0.88 16.52 40 .34 42.26 C3 n-C4 i-C5 C5+ (tương đương ... suất P, nhiệt độ T tích V T : Nhiệt độ tuyệt đối R : Hằng số khí, giá trị thể Bảng sau : P V T R kPa MPa Bar Psi lb/ft2 m3 m3 m3 ft3 ft3 K K K o R o R 8 .31 4 0.00 831 0.0 831 4 10. 73 1545 Đối với hầu ... cân lỏng mô trình chưng cất hệ nhiều cấu tử N2 126 3. 40 0. 037 2 CO2 0.28 30 4 7 .38 0.2667 H2 S 0.28 37 3 8.96 0.0948 H2 O 0.29 0. 235 647 22.06 0 .34 43 Quy tắc hỗn hợp (mixing rule) Tất quy tắc hỗn hợp...
... 13 1.4.1 Tính ổn định phải tính ổn định trái theo Lyapunov 13 1.4.2 Các phương trình so sánh tíchphân 15 1.4 .3 Sự tương đương tiệm cận phương trình so sánh tích Phương ... cận nghiệm phương trình vi phân hàm bị nhiễu 26 MỤC LỤC 3. 1 Họ toán tử tiến hóa phi tuyến U (t, s) tồn nghiệm phương trình tíchphân Volterra có chậm 26 3. 2 Các tính chất họ toán ... tiến hóa U (t, s) 28 3.3 Sự tương đương tiệm cận phương trình vi phân hàm bị nhiễu 31 Kết luận 42 Tài liệu tham khảo 42 Tài liệu tham khảo 43 Danh mục kí hiệu chữ viết tắt X -...
... thực 2t P3 đưa vào trạng thái ready Nếu để P2 tiếp tục P3 phải chờ lâu (chờ 8t), vi phạm mục tiêu thời gian hồi đáp thông lượng tối đa (đối với P3) Nếu cho P2 dừng để cấp processor cho P3 hoạt ... sau: Tiến trình: P1 P2 P3 Thời điểm: 24 27 Vậy thời gian chờ tiến trình P1 0, P2 23 (24 - 0), P3 25 (24 + - 2) Và thời gian chờ đợi trung bình tiến trình là: (0 + 23 + 25) /3 = 16 Như FIFO tồn số ... processor cho tiến trình P1, P2, P3, với thời điểm vào ready list khoảng thời gian tiến trình cần processor mô tả bảng sau: Tiến trình thời điểm vào t/g xử lý P1 24 P2 P3 Thì thứ tự cấp processor cho...
... phá bỏ tắc nghẽn hệ thống rơi vào tình trạng treo toàn hệ thống Như trường hợp tắc nghẽn ví dụ 1, sau có tiến trình P3, giữ tài nguyên R3, cần R2 để tiếp tục P3 rơi vào tập tiến trình bị tắc nghẽn, ... trình P4 cần tài nguyên R1 R3 để tiếp tục P4 rơi vào tập tiến trình bị tắc nghẽn P3, … dẫn đến thời điểm tất tiến trình hệ thống rơi vào tập tiến trình tắc nghẽn Và hệ thống bị treo hoàn toàn ... đặt chế độc quyền để bảo vệc tài nguyên chia sẻ Vàphântích việc cấp phát tài nguyên lần cho tiến trình để ngăn chặn tượng hold and wait tồn vài hạn chế Các hệ điều hành giải vấn đề tắc nghẽn...
... liệu gọi là tiến trình Reader Tiến trình cần cập nhật thông tin vào file sở liệu gọi là tiến trình Writer Trong hệ thống này, công tác điều độ tiến trình cần phải thực ràng buộc sau: Có thể có ... đọc file sở dũ liệu Không cho phép tiến trình Writer ghi vào sở liệu tiến trình Reader khác đọc sở liệu Chỉ có tiến trình Writer phép ghi vào file sở liệu Hãy dùng giải pháp Semafore, Monitor, ... Tiến trình Writer phải chuyển sang trạng thái khoá RC > Khi khỏi đoạn găng tiến trình Reader cuối đánh thức tiến trình Write bị khoá Sau sơ dồ điều độ: II .3. 4.5 Program Producer/Consumer; Monitor...
... buffer} Up(empty); {đã lấy phần tử liệu Buffer} Until F End; { -} BEGIN Full = 0; Empty = 3; Mutex = 1; Produc er(); Consumer(); END { } II .3. 4.2 Giải ... blocked để tiếp tục Điều có nghĩa công tác điều độ không thành công sơ đồ điều độ tổ chức tốt Sau xem xét đồng giữ tiến trình send tiến trình receiver trường hợp II .3. 8 Hai toán điều phối làm ví ... liệu vào Buffer Buffer bị đầy Tiến trình Consumer không đọc liệu từ Buffer Buffer rỗng Hãy dùng giải pháp Semafore, Monitor, Message để tổ chức điều độ cho tiến trình Producer Consumer toán II .3. 4.1...
... chưa vào đoạn găng đưa vào hàng đợi tiến trình khỏi đoạn găng đánh thức tiến trình có độ ưu tiên cao hành đợi để đưa vào đoạn găng Tiến trình đưa vào hàng đợi sau có độ ưu tiên cao đưa vào đoạn ... Down Down Down Up Down Up Down Up Up Up Up Tiến trình thực A B C D A E D F C F E B S -1 -2 -3 -2 -3 -2 -3 -2 -1 Tiến trình hoạt động A A A A D D C C F E B - Các tiến trình hàng đợi B C B D C B C ... lợi sau: Mỗi tiến trình kiểm tra quyền vào đoạn găng lần, chờ không làm cả, tiến trình khỏi đoạn găng phải đánh thức Không xuất hiện tượng chờ đợi tích cực, nên khai thác tối đa thời gian...
... lập quyền vào đoạn găng} {vào đoạn găng} {thông báo rời đoạn găng } End; { } Sơ đồ điều độ dùng biến khoá chung đơn giản, dễ xây dựng xuất hiện tượng chờ đợi tích cực, ... Lock = DO;) Hiện tương chờ đợi tích cực gây lãng phí thời gian processor Nếu tiến trình đoạn găng khỏi đoạn găng, tiến trình chờ đoạn găng chờ đợi vô hạn (vì Lock không đặt lại = 0) II .3. 3.b Dùng ... Lock1 = vào đoạn găng Khi vừa vào đoạn găng bị thu hồi processor P2 cấp processor trở lại: P2 không kiểm tra lại Lock1 mà đặt Lock2 = vào đoạn găng Rõ ràng với thực tế P1 P2 nằm đoạn găng Và biết...
... P3 chấp nhận truy xuất đến R Giả sử P3 truy xuất R, sau trước P3 kết thúc đoạn găng P1 lại lần cần truy xuất, P1 truy xuất sau P3 kết thúc đoạn găng, P1, P3 thay nhận quyền truy xuất P2 truy cập ... P1, P2, P3, tiến trình cần truy xuất định kỳ đến tài nguyên R Xét trường hợp P1 sở hữu tài nguyên hai tiến trình P2, P3 phải chờ đợi tài nguyên Khi mà P1 thoát khỏi đoạn găng nó, P2 lẫn P3 chấp ... tiến trình đồng thời xin vào đoạn găng có tiến trình phép vào đoạn găng, tiến trình khác phải xếp hàng chờ hàng đợi Tiến trình chờ đoạn găng không ngăn cản tiến trình khác vào đoạn găng Không có...
... Chương trình thực sau: Tiến trình P1 ghi nội dung biến toàn cục Count vào biến cục L1 Tiến trình P2 ghi nội dung biến toàn cục Count vào biến cục L2 Tiến trình P1 thực L1:= L1 + Count := L1 Tiến trình ... nhận giá trị Count (giả sử ban đầu Count = 4) vào L1 L2, sau P1 tăng L1 lên P2 tăng L2 lên (L1 = 5, L2 = 5), sau P1 P2 đồng thời ghi giá trị biến L vào lại Count, Count tăng đơn vị, Count = Đây ... rút = 800 -500 = 30 0 > 0, P1 ghi nhận điều chuẩn bị rút tiền Nhưng P1 chưa kịp rút tiền bị hệ điều hành thu hồi lại processor, hệ điều hành cấp processor cho P2 P1 chuyển sang trạng thái ready...
... định (chiến lược phânphântrang nhớ) hay thay đổi (chiến lược phân đoạn nhớ) hay kết hợp hai Hệ điều hành cho phép không nạp tất trang (page) và/ hoặc đoạn (segment) tiến trình vào nhớ Do đó, process ... trình trạng thái blocked-suspend chuyển sang trạng thái ready-suspend kiện mà đợi xảy Ready-suspend sang Ready: có lý để hệ điều hành chọn chuyển tiến trình trạng thái ready-suspend sang trạng ... trình ready, tiến trình trạng thái blocked thực lại chiếm nhiều không gian nhớ so với tiến trình trạng thái ready Tuy nhiên, việc chọn tiến trình để chuyển sang suspend dựa vào điều kiện: chiếm...