Professional Documents
Culture Documents
BTL DTS
BTL DTS
BO CO BI TP LN Mn : in t s
Ging vin: Trnh Vn Loan M lp: 22283 Sinh vin thc hin: Trn Vn Trng SHSV: CB091384 Lp: Cao hc 2009 - KTMTTT
H Ni - 2011
bi:
Mt my bn nc t ng bn mi chai nc 3000 ng. Ti mi thi im, my ch nhn mt ng tin trong hai loi 2000 ng hoc 1000 ng. Nu a tin vo qu 3000 th my tr li tin v cho ra mt chai nc. Hy tng hp h dy ng b thc hin chc nng nh trn ca my. H dng trigger JK ng b sn m ca ng h. T cho tn hiu vo cho 8 xung ng h, v tn hiu ti u vo, ra ca cc trigger v tn hiu ra dng trn cng trc thi gian vi ng h.
Bi lm : I. Tng hp h dy ca bi ton:
1. Tng hp h dy: u vo c 2 bin x 1, x2 tng ng ch hin tng khng c tin, c tin (1000, 2000) vo my, quy c nh sau: X0 = x1x2 = 00 => khng c tin vo my. X1 = x1x2 = 01 => c 1000 tin vo my. X2 = x1x2 = 10 => c 2000 tin vo my. X 3 = x1x2 = 11 => c ng thi 1000 v 2000 vo my (khng xy ra). u ra c 2 bin y1, y2 tng ng ch cc kh nng a nc ra v tr li tin, quy c nh sau: Y0 = y1y2 = 00 => khng a nc ra, khng tr li tin. Y1 = y1y2 = 01 => khng a nc ra, c tr li tin (khng xy ra). Y2 = y1y2 = 10 => c a nc ra, khng tr li tin. Y 3 = y1y2 = 11 => c a nc ra, c tr li tin. Cc trng thi ca my biu th lng tin my nhn c, quy c nh sau: S0 = s1s2 = 00 => my cha nhn c tin. S1 = s1s2 = 01 => my nhn c 1000.
Trang 2
11 -
S0 S1 S2
Bng m ha:
q2 q1 0 1
0 1 S0 S2 S1 -
Trang 3
q1q2
X1X2
11 -
00 01 11 10
Hm ra:
q 0 0 1 1
Q 0 1 0 1
J 0 1 -
K 1 0
Trang 4
x1x2 q1q2 00 01 11 10 00 J1K1 J2K2 J1K1 00--0 0-0 -001--1 01 J2K2 1-1 -0J1K1 ----11 J2K2 ----J1K1 10--1 10 J2K2 0-1 -0-
Hm kch trigger:
J1 = q2x2 + K 1 = x 1 + x2 J2 = x2
x1
K 2 = x 1 + x2
Trang 5
Trang 6
CLOCK
x1
x2
J1
K1
q1
J2
K2
q2
y1
y2
1 .M ngun:
using using using using using using using using System; System.Collections.Generic; System.ComponentModel; System.Data; System.Drawing; System.Linq; System.Text; System.Windows.Forms;
namespace DTS { public partial class Maybannuoc : Form { public Maybannuoc() { InitializeComponent(); } check ch = new check(); private void textBox1_KeyDown(object sender, KeyEventArgs e) { if (e.KeyValue == 13) { string str = textBox1.Text; if (str == "") { label2.Text = "Vui long nhap tien"; } else { int money = int.Parse(str); ch.x = money; label2.Text = ch.kiemtra(); }
} }
private void textBox1_TextChanged(object sender, EventArgs e) { label2.Text = ""; } } class check { public int x; private int t = 0; private string str; public string kiemtra() { if ((x + t) < 3000) {
Trang 8
t = t + x; str = "Vui lng nhp thm tin."; } else if ((x + t) == 3000) { x = 0; t = 0; str = "Bn nhn c mt chai nc."; } else if ((x + t) > 3000) { t = x + t - 3000; str = "Bn nhn c mt chai nc v " + t + " t = 0; x = 0; } return str; } } }
tin tr li.";
2. Phn tch chng trnh: Chng trnh vit bng ngn ng C #, gm c mt textbox nhp tin vo Hm kiemtra(): kim tra s tin c a vo, v a ra thng bo. 3. Kt qu thc hin chng trnh: 3.1 Trng hp nhp thiu tin:
Trang 9