5. ÁÖ¹® Àü È®ÀÎ ¿øÇÕ´Ï´Ù.
Q:¸ðµ¨¹øÈ£°¡ A061USDBH (Nano ¥á IH) ¸ðµ¨ÀÔ´Ï´Ù. ÀÌ ³»¼ÜÀ» »ç¸é µÉ±î¿ä? A:¾È³çÇϼ¼¿ä, ¹®ÀÇÇϽйä¼Ü¿¡ ¸Â´Â ¸ðµ¨ÀÔ´Ï´Ù. °¨»çÇÕ´Ï´Ù,
| |||
4. ÁÖ¹® È®ÀÎ ºÎʵ右´Ï´Ù.
Q:¾È³çÇϼ¼¿ä. ÁÖ¹® È®ÀÎ ºÎʵ叮·Á°í ÇÕ´Ï´Ù. °áÁ¦½Ã ¿¡·¯ ¸î¹ø ÁøÇàÈÄ Ä«µå °áÁ¦´Â µÇ¾ú´Âµ¥ ¿À´õ ³»¿ªÀÌ È®ÀÎÀÌ ¾ÈµÇ³×¿ä. È®ÀÎ ºÎŹ µå¸®°Ú½À´Ï´Ù. (¹è¼ÛÁö¿Í ÁÖ¹®ÀÚ ÁÖ¼Ò°¡ ´Ù¸¨´Ï´Ù.) °¨»çÇÕ´Ï´Ù. A:¾È³çÇϼ¼¿ä, °áÁ¦µÈ ³»¿ªÀÌ È®ÀÎÀÌ µÇÁú ¾Ê½À´Ï´Ù.
| |||
3. ³»¼Ü ȣȯ °¡´ÉÇÑÁö¿ä..
Q:Àúµµ ³»¼Ü »çÀÌÁî È®ÀÎ ºÎʵ右´Ï´Ù. Á¦Ç° ¹øÈ£ : A061USDRH °¨»çÇÕ´Ï´Ù. A:¾È³çÇϼ¼¿ä, ȣȯ °¡´ÉÇÑ ¸ðµ¨ÀÔ´Ï´Ù. °¨»çÇÕ´Ï´Ù,
| |||
2. ¸ðµ¨ È®ÀÎ
Q:Á¦°¡ °¡Áö°í ÀÖ´Â ¸ðµ¨Àº A061USDSH Àä.ÀÌ ³»¼ÜÀÌ ¸Â´Â°ÍÀÎÁö È®ÀÎ ºÎŹ µå·Á¿ä. A:³× ÇØ´ç ¸ðµ¨¿¡ ¸Â´Â ³»¼ÜÀÔ´Ï´Ù. °¨»çÇÕ´Ï´Ù.
| |||
1. Model checking
Q:¾È³çÇϼ¼¿ä. Á¦°¡ °¡Áö°í ÀÖ´Â µõä ¸ðµ¨ÀÌ ÆÇ¸ÅÇϽô ³»¼Ü°ú »ç¿ëÀÌ °¡´ÉÇѰ¡ ÇØ¼¿ä. ¸ðµ¨¸í:µõä Äî ³ª³ë ¾ËÆÄ IH A061USDBH ³»¼Ü ±³Ã¼¸¦ ÇÏ°í ½ÍÀºµ¥ »ç¿ë°¡´ÉÇÑÁö È®ÀÎ ºÎʵ右´Ï´Ù. ºü¸¥ ´äº¯ ¹Ù¶ø´Ï´Ù. °¨»çÇÕ´Ï´Ù. A:¾È³çÇϼ¼¿ä, µõäÄî ³ª³ë¾ËÆÄ IH ¹ä¼Ü A060 (6 Cup) ³»¼Ü ȣȯÀÌ µÇ´Â Á¦Ç° ÀÔ´Ï´Ù. °¨»çÇÕ´Ï´Ù.
| |||
1