オープンソースの組み込みOSを用いた「オペレーティングシステム」の実習
全文
(2) . Exer cises Using an Op en Source Embedded OS for "Operating Systems" Course. Hide ka zu S hioza wa ŧòßãóãǖZkaEFBSDG~WãŻDZ 194-8610 ĺǗŮŭôŧòãÓ6-1-1 Department of Software Science, College of Engineering, Tamagawa University, 6-1-1 Tamagawagakuen, Machida, Tokyo 194-8610. Abstract Department of Software Science, Tamagawa University offers the subject "Operating Systems" since 2006. This paper reports the exercises using an open source embedded operating system in this course for the students to understand internal structures and algorithms of operating systems. As a result of evaluating several open source operating systems for the course, the author selected HOS (Hyper Operating System) developed based on the ITRON specifications. It is expected that the programming exercises using a real operating system help students understand and investigate more practically how operating systems work internally.. Keywords: programming exercises, educational operating system, embedded OS, computer science education 1. *5(. ơ><# ;ƥǥ'ªũ?vTĉƾ;Ą. ZkaEFBSDG~WãŻ$*DZ3÷Ň2. Ʀ*' Dz8. *4÷Ň)Żų%#In{_C~NUW_. sV#ĒƢű(ũƬ;)*DZĄ6èĬ. rǝƽ<# ;Dz)Żų_p%;. '%$*' Dz. In{_C~NUW_rǯOSǰ*DZƥǥ'Q~. $DZßã)ìǜĢƛ$*DZƽƗ$'DZ. ju[UW_r?¸ 5('#*'9. ZWQb¤ǝ<ǯIm~ZW)ǰ. ' ZkaEFB$:DZ ×ĸZkaEFB%. In{_C~NUW_r?. 6Ì+<;Dzƣű'OS%#*DZWindowsDZ. ǐ?ƻ/:DZƞ¬$ħ ņƝ?Ǎ¶:DZ. macOSDZLinux'&8ŵ9<# ;Dz. ǖ)ªũ?ğǐ:;8 'çƘ?À:. )Żų*DZOS)×ĸű'§ǖłǐ7BzRy. ¢<# ;ǯš(œÝ(ǰÞ DzZkaEF. Xr?ã-6)$:DZßã)ćØƎǯZkaE. BUW_r)¸?ŵ;(*DZZWQb?ƹ. FBƎǰãŻ$*Ɵű'§è$;Dz DZ. 4)IJ6ŕũƬ$;ĨŐ% ;Dz. OS)Ʀǖ¬*ǏöǣƠ<#
(3) :DZ)§ǖ$. +DZLinux*ZWQb%§ǖłǐå. #DZãū(% #6DZ<9?D. ŧòßãóãǖƏƦ ƃ 52 Åǯ2017 1 Memoirs of The College÷ǰ of Engineering, Tamagawa University, No.53 (2018). #DZ)§ǖł. 49.
(4) Memoirs of The College of Engineering, Tamagawa University, No.53 (2018). £(¤ǝ<# ;)$DZm|Nxq~NçƘ?. ĸƷ')$§ǖªũ?ũƬ7 Dz2DZHOS. %6' ßã)ėŀ$)Ŭ 1) Þ Dz). *DZARM'&)Ƒ3NJ3ŬpDQ~$¸;. Linux*DZİƌ$§ǖłǐƵƬƸ<. $'DZ[Dpµ:NJ3ƅ)Gqu{Uw. MINIX2)% ĢƛŬOS. ~(8. à2. %'. #ǝŰ. 6)$;Dz. #DZWindows))BmyOUw~m. |Nxr%#6¸;)$DZãūƞ¬)PC. )8 'ƜĮ)6%DZ2006÷ù 9ƄƚĔ. $¸#çƘ?ǒ5;%$;Dz. ü;ĸŻų$6DZĸã)ãū(ǔ'ǦĬù?. . ƙČ$DZçǢ(î$6OS)§ǖªũ(nj. 2. ĸŻų)£łĎ. ;8 'm|Nxq~NçƘ?ơ' %?ƴ. ƣ1*DZĸŻų)2017÷ù)UxgW$;Dz£. 3#Dz. ű'ő<%#*DZD~[kFWDZm|YW. ĸŻų$*DZíƨń'Im~ZWOS? . ƉũDZÉĵªũDZstyƉũDZkADzUW_r. ! ĿƯƓļDZITRON3))Ń(×" #ǝ. )Ǩ$ǒơ;DzÇÏ)ƵƐ*DZƄƚĤŤ6)). ?Ŭ. WebSDa$¤ǝ# ;ėŀǃĥǯh}oD. Ű<HOSǯHyper Operating Systemǰ. 4,5). # ;Dz)OS*DZǝŰƚƞLjOS)Ƒ3?ã. ~aǃĥǰ?¿Ş< Dz. -5)Ƙ%#ǝŰǧö(í'Ƒ3. ĸŻų$*01ŋÏDZėŀ)IJĀ(çƘƺǫ?. NJ3OS$:DZCƭƷ$ǝŰ<#;Dz. «# ;Dzƣ)Ä)HOS)®*DZ)$6š. HOS)ZWQb*DZçơ·Ŧ8:6¬ :. (HOS?±Ŭ;ƺǫ?«Ï$;Dz<9. 7? ¡# ;8 $:DZQs~a6Ī. )ƺǫ*DZŋÏ)ėŀ§è(ǟǑ# ;DZŋ. ƣ 1 In{_C~NUW_r)UxgWǯ2017 ÷ùǰ ėŀÏ. §è. ƃ1Ï. In{_C~NUW_rŁƼ. ƃ2Ï. OS)D~[kFW. ƃ3Ï. Jdz%`gDWbxDg. ƃ4Ï. m|YW%W{^b)×ŷ. ƃ5Ï. Q~ju[fbEFB. ƃ6Ï. m|YW)WOVuy~N. ƃ7Ï ƃ8Ï. í_Wa%m|Nxq~NçƘ í_Wa)ƬƸ%Ǟ{oaě«. ƃ9Ï. ¥ĴǃŚ%ǃŚƉũ. ƃ10Ï. m|YW)Éĵ%m|YWǞǏ. ƃ11Ï. styƉũ. ƃ12Ï. Ĉưč. ƃ13Ï. kADzUW_r%YLuy_C. ƃ14Ï ƃ15Ï. í_Wa%m|Nxq~NçƘ í_Wa)ƬƸ%ĵķ{oaě«. 'L}b ėŀKD\~WDZQ~ju[%OS)ʼnÃDZOS)žǬ% þµDZOS)×ĸłǐ vTD~[kFWǯUFzDZGUIǰ DZm|Nxq~ND ~[kFWǯUW_rQzDZAPIDZSiWQzǰ JdzǯĽǰ)þµDZ`gDWbxDgDZlaUO ~WǯOS§ǖ)Dž¸ĐǨǰ m|NxrçơĐǨDZpz][WMDZm|YW)ŢĊǕżDZ m|YW)ƪáǟDZm|YW)styp^m CPU)Ƒ3ǯ{VW[DZm|NxrJE~[DZW[^M oD~[ǰ DZµ:NJ3DZm|Nxr)ƹ3NJ3%çơ m|YWćØ)ƉũDZQ~_MWaWD^]DZWOVu y~NBzRyXrǯ¡ŴǨDZ ¡ùDZEDFDZSJFDZRRǰ í_Wa%ǤçƘ ¥ĴǃŚǯyZWǰ DZMy_CJzYMUw~DZ`^b |^MDZǃŚǯyZWǰƉũ ƲĂņƝDZm|YWÉĵņƝDZYpkHDZm|YWǞ ǏDZÉĵÕǏ%ǧÉĵÕǏ ¨ǘƖÂƝm|NxrDZstyµ:ĨúDZsty)Ħ ş¹%Q~hMUw~DZstyǀDZstyµü#API ĈưčDZĈBb{W%çBb{W)ÜĜDZnV~NDZ nVƖĜBzRyXrǯFIFODZLRUǰDZWx^U~N kADz%`C{MayDZĈkADzUW_rDZvT ƉũDZƶƳDZkADz7m|YW)ǀDZƣű'Ġĝ í_Wa%ǤçƘ. ŧòßãóãǖƏƦ ƃ 53 Åǯ2018 ÷ǰ ⋢ᕝᏛᕤᏛ㒊⣖せࠉ➨53ྕ 㸦2018㸧 50. 2. HOS . . . .
(5) Memoirs of The College of Engineering, Tamagawa University, No.53 (2018). Ï)éǫ%*(DZǞ%ĵķ)2Ï){o. (çơ;pz]m|YWǯpz][WMǰ(!. a%#2%5#ě«# ;Dzě«Ï)´). #ã-Dz)ǢDZCPU)łǐƅ(! #)ŵƾ. Ï(*DZǤű(ĭǞ?%. ĄƦ')$ƃ5Ï$Ƌ¼(đ Dz. #ėŀ(çƘǯš. '
(6) DZHOS*Ƒ3NJ3OS$:DZçơ$. (DŽÎëąƅǰ)ņ?Ʊ# ;Dz. ;[WM*DZstyǩÖµ:ü#9<# 3. ĸŻų)çƘƺǫ. ' '&DZǏö)OS)m|YW%£É6)$. Ǩ(DZĸŻų)2017÷ù)ėŀ(
(7) #DZ. *' DZĸŻų)çƘ(
(8) #*DZçơ¸?. çǢ(HOS?±Ŭ#ơ. ũƬ;$*Éƅ%3'#đ. m|Nxq~Nç. # ;Dz. Ƙ)ƺǫ)ŁƦ?ØÊ;Dz¦ű'ñƚ.). ƺǫ4a HOS(
(9) ;[WM)çơ. Ƹī*ĤŤ6)?¿Ş#0 Dz. ƃ4Ï)çƘƺǫ*DZ2[WM1! ' U~Nz[WM)m|Nxr?çơDZITRON(. 3.1 çƘŪÛ)łƊ.
(10) ;[WM?Ŭ m|Nxq~N)×ĸ?. ƃ1Ï 9ƃ3Ï2$*DZOS)łǐ'&)ŁƦ. ũƬ;)ųű$;DzãƘƚ*DZƺǫ)m|. _p$;DzçƘ$*DZãƘƚ*Çƞ)PC$ç. Nxr?Q~hDz#çơDZƣŸƓļ 9[. ƘŪÛ)łƊ?ơ Dz(Çƺǫ)§è?ŸDz. WM)¸(! #ƙê;Dzš(DZǡ)ƺǫ. HOS)D~Wazǯśƺǫǰ. (ǒ4´ě%#DZƞ[WM?ĖæĭǞň;. ƃ1Ï)ėŀ$*DZãƘƚ*çƘŬ)OS$;. dly_tskǯdelay taskǰ% ITRON)APIǯApplication. HOS?Çƞ)PC(D~Waz;Dz)ǢDZĸ. Program Interfaceǰ(! #ũƬ#
(11) %Ō. Żų$ŬĉHOS)ǘõkADz(*DZƺǫ). 59<;Dz. m|Nxr¡)Ï)¬2$9 5Éľ. ƺǫ4b HOS(
(12) ;pz][WM. <# ;Dz2DZHOS)çơ(*Visual StudioĄ. ƃ4Ï)Ň)ƺǫ)ţ *DZpz][WM)×. Ʀ$;5DZĶD~Waz)ƚ(*)Ï$. ĸ?ũƬ;%$;DzƟű'OS$*DZçơ. D~Waz#69. Dzėŀ¯Ï$;)$. )[WMƞ9ňƅ)ªũ?;%(8. ƚ(*DZƃ3Ï2$(D. #DZçơ?ĭĦ#)[WM(çơ?. PC?ĕ¿# '. ~Waz;8 (ĖŸ#éǫ%Dz. :ı ;%$;Dzƺǫ)m|NxrǯÑ1ǰ. ƺǫ3a HOS)laǓŽ. $*DZOSDž¸Ā(çơ<;startǟģ)$DZ. ƃ3Ï)çƘƺǫ$*DZHOS?ǫĹ(#OS). task1)Ň(task2Dž¸<# ;DZçơƓļ$. laǯDž¸ǰǓŽ?ƫê;Dzãū*DZHOS(. *task1%task2(8;ƣŸŖÔ#Ũ<;DzãƘ. ð# ;S~mzm|Nxr?ǝ #çơ. ƚ*DZdly_tsk(8;çơŅ)ÁŘ%DZtask1%. DZ`g^K)W_^mçơņƝ(8. task2)ªũ)[Dq~N(! #ũƬ;%. #DZ1!. !ǟģ)ªũ?Ǎ ;Dz<%Éĭ(çơ. Ō59<;Dz. <;ǟģ?Ǩ(ưǚDZĪĸƷ)Qs~a 9ª. ƺǫ6b ¡ŴǨ+ ¡ùWOVuy~N. ũ§è?Ěř;Dz)ƺǫ*2$6HOS(. ƃ6Ï)ėŀ$*DZÇž)WOVuy~NB. ċ<;)ųű$;Dz. zRyXr(! #ã-DzIJ¯)ƺǫ*DZçǢ) m|Nxq~N(8 #DZ¡ŴǨWOVuy~. 3.2 m|YW(ǟ;çƘ. N% ¡ùWOVuy~N)Ƒ3?ũƬ. ƃ4Ï 9ƃ6Ï2$)ėŀ$*DZm|YW)×. ;%$;Dz¡ŴǨ(ǟ#*DZstartǟģ). ŷ%OSƥģ)m|YW?Ƨ Éĭ ơű. (
(13) ;Dž¸Ǩ$Ėæ;%$DZ ¡ù*DZ. ŧòßãóãǖƏƦ ƃ 53 Åǯ2018 3 Memoirs of The College÷ǰ of Engineering, Tamagawa University, No.53 (2018). 51.
(14) Memoirs of The College of Engineering, Tamagawa University, No.53 (2018). /* [WM)㨠*/ const T_CTSK ctsk1 = { TA_HLNG | TA_ACT, 0x1234, task1, 5, 256, NULL }; const T_CTSK ctsk2 = { TA_HLNG | TA_ACT, 0x1234, task2, 5, 256, NULL }; /* [WM)ūĎªũ */ void start(VP_INT exinf) { cre_tsk(1, &ctsk1); /* [WM ID 1 */ cre_tsk(2, &ctsk2); /* [WM ID 2 */ } /* [WM 1 )ªũ */ void task1(VP_INT exinf) { SYSTIM st; for (;;) { get_tim(&st); /* ƒǓĭǞ)Àā */ printf("1: %ld sec¥n", st.ltime/1000); dly_tsk(2000); /* ĖæĭǞň */ } } /* [WM 2 )ªũ */ void task2(VP_INT exinf) { SYSTIM st; for (;;) { get_tim(&st); /* ƒǓĭǞ)Àā */ printf("2: %ld sec¥n", st.ltime/1000); dly_tsk(3000); /* ĖæĭǞň */ }. /* [WM 1 )ªũ */ void task1(VP_INT exinf) { int i; for (i = 0; i < 20; i++) { delay(); printf("1"); delay(); /* )[WM(ƞű(ªũ?ƿ; */ // rot_rdq(5); /* ¡ù 5 )Lu */ } ext_tsk(); } /* [WM 2 )ªũ */ void task2(VP_INT exinf) { int i; for (i = 0; i < 20; i++) { delay(); printf("2"); delay(); /* )[WM(ƞű(ªũ?ƿ; */ // rot_rdq(5); /* ¡ù 5 )Lu */ } ext_tsk(); }. (a) main.c 9ǖēƍ /* [Dpµ:NJ3f~bx */ void OsTimer_Handler(VP_INT exinf) { ID id;. }. isig_tim(); if (iget_tid(&id) != E_OK) return;. Ñ 1 pz][WM)ƺǫm|Nxr. /* // // //. ǯmain.c 9ēƍǰ. Ñ1)©Ǫ(;[WM)ƱæćØ$ĖæÂƝ$ ;DzãƘƚ*DZÇ[WM)çơǨø7 ¡ù?. {`CLu)Ïljǯû²ű'[WMı ǰ */ irot_rdq(3); /* ¡ù 3 */ irot_rdq(4); /* ¡ù 4 */ irot_rdq(5); /* ¡ù 5 */. }. Üį# ! )Ƒ3È>?ƴDZ<9) ·ļ(! #ũƬ;%Ō5<;Dz ƺǫ6c e~myG~m_Cl'pz][WM. e~myG~m_Cl'pz][WM%*DZÇ m|YWƞű(çơŅ?Đġ%$DZƥģ m|YW) ®ű'çơ?çŨ;ĨŐ$;Dz )ƺǫ$*DZ)¸%m|Nxq~NŐ? ũƬ;DzITRON* ¡ù%({`CLu? ĕDZrot_rdqǯrotate ready queueǰ% API(8 #Ň)[WM(çơ?ż%$;DzÑ2 *ƺǫ)m|Nxr)ǖ$:DZãƘƚ*(a)) )rot_rdqǟģ?Ĵ·(DZçơƓļ?ƙê;Dz. (b). ostimer.h 9ǖēƍ. Ñ 2 WOVuy~Nªũ)ƺǫm|Nxr. '
(15) DZdelayǟģ*°)Ƈď$æƗ<#
(16) :DZƮ ƈ(8. #ĭǞ?Ŕǂ;6)$;Dz. ƺǫ6d xE~b|i~WOVuy~N. ƃ6Ï)IJĀ)ƺǫ$*DZxE~b|i~WO Vuy~N(8;myG~m_Cl'pz] [WM?çŨ;DzxE~b|i~WOVuy ~N$*DZOSæËĵ$çơm|YW?Ǩů( ǯ !û²ű(ǰ:ı # Dz)5(OS *[Dpµ:NJ3$WOVux?ǭ¸DZ. ŧòßãóãǖƏƦ ƃ 53 Åǯ2018 ÷ǰ ⋢ᕝᏛᕤᏛ㒊⣖せࠉ➨53ྕ 㸦2018㸧 52. 4.
(17) Memoirs of The College of Engineering, Tamagawa University, No.53 (2018). m|YW):ı ?ơ DzITRON$*DZ<* [Dpµ:NJ3ªũ)$DZirot_rdqǯrot_rdq) µ:NJ3빊ǰ?. #{`CLu?Ïlj. ;%$çŨ$;DzÑ2(b)*DZHOS?Windows $¸ ÙÈ)[Dpµ:NJ3ªũ)Gqu. /* YpkH$ä;/¥ĴǃŚ */ int shared = 0; /* Dž¸z]~ */ void start(VP_INT exinf) { int i; /* YpkH)ūĎ */ cre_sem(SEMID, &csem);. {Uw~ǖ¬$:DZãƘƚ*))irot_rdq ?Ĵ·(#DZçơƓļ?ƙê;Dz. /* É[WM)Qj10 )ūĎ */ for (i = 1; i <= 10; i++) { cre_tsk(i, &ctsk); }. 3.3 Éĵªũ(ǟ;çƘ ƃ9Ï%ƃ10Ï)$*DZ¥ĴǃŚ(ǟ;Ę. }. ²Ă%m|YW)Éĵªũ(! #ã-DZm|. /* [WMǟģ */ void task(VP_INT exinf) { int a;. Nxq~NçƘ;)*DZƃ10Ï$;Dz ƺǫ10a YpkH?. ƲĂ. YpkH%*DZ Ŋ:ģ?ƣž)JE~[. /* 9 shared )My_CJzYMUw~ */. $:DZ¥ĴǃŚ)ƲĂ(Ŭ 9<;Dz) ƺǫ$*DZƲĂ)ĄƦĆ%)5)Ypk. a = shared; a += 10; printf("read : %d¥n", a);. H) Ĩ?DZçǢ)m|Nxq~N?Ǐ#ã. work_something(); /* ĭǞſ)ªũ */. -DzITRON$*DZYpkH)PĞǯťāĞǰ*. shared = a; printf("write: %d¥n", shared);. wai_semǯwait semaphoreǰ DZVĞǯƬġĞǰ*. /* 2$ shared )My_CJzYMUw~ */. sig_semǯsignal semaphoreǰ% API?Ŭ ;Dz Ñ3*ƺǫm|Nxr)ǖ$:DZ¥ĴǃŚ( BMYW# ;ǩÖǯMy_CJzYMUw~ǰ ?wai_sem%sig_sem$*4%$DZǔ'Ę ²ĂçŨ$;DzãƘƚ*DZYpkH)Ƒ3 %þµ(! #ũƬ;%Ō59<;Dz ƺǫ10b `^b|^M%ƲĂ. `^b|^M%*DZƥģ)m|YWƥģ)ǃ Ś)ťā?8 %;%(DZ
(18)
(19) ?ÿ!ăŪÿ)ǟ(':DZUW_rň #2 ŢĊ$;Dz)ƺǫ)ţ *DZ<? çǢ)m|Nxr$ƒǮ$DZ<Dž' 8 (;ëƆ?ƙ DZĿƳ;%$;Dz ƺǫ)m|Nxr*DZwai_sem%sig_sem?Ŭ ƲĂ)ĐǨǔ$' 5(DZ`^b|^ MŰū;8 ('. # ;DzãƘƚ*DZƃ9Ï. )ėŀ$ã-`^b|^M)ǠňƆ?m|Nx r)ý$ƣŨDZçơƓļ?Ÿ#ĿƳ;%. ext_tsk(); }. Ñ 3 ƲĂ)ƺǫm|Nxrǯēƍǰ ƺǫ10c HOS(
(20) ;[WMǞǏ. ĸŻų$*DZm|YWǞǏ(Þ)ĭǞ*µ ' DZ)ƺǫ$*×ĸű'm|YWǞǏ ǯ[WMǞǏǰ(! #DZm|Nxq~N? Ǯ;DzITRON(* ! )[WMǞǏņƝ ;DZƺǫ)m|Nxr$*Ĥâ®ǯ) 2:ǰ?ǎÁ;3$;s^YVg^ kA?Ŭ;DzãƘƚ*DZsnd_mbfǯsend message bufferǰ?±Ŭ;ǎ[WM%DZrcv_mbfǯreceive message bufferǰ?±Ŭ;Á[WM)ªũ?ũ ƬDZǎ%Á)ëą?ƥģëƥģ(; '&#DZš(ǧÉĵű'm|YWǞǏ(! #ũƬ;%Ō59<;Dz. Ō59<;Dz ŧòßãóãǖƏƦ ƃ 53 Åǯ2018 5 Memoirs of The College÷ǰ of Engineering, Tamagawa University, No.53 (2018). 53.
(21) Memoirs of The College of Engineering, Tamagawa University, No.53 (2018). 3.4 styƉũ(ǟ;çƘ. 4.
(22) >:(. ƃ11Ï$*styƉũDZƃ12Ï$*ĈưčDZ. ĸƀ$*DZZkaEFBSDG~WãŻ3÷Ň. ƃ13Ï$*kADzUW_r(! #ã-DZ&. 2*4÷Ň)Żų%#ǝƽ<# ;In. <6íƨń'Ƒ3NJ3OS$*ǙƩ<' ņƝ. {_C~NUW_r$çLJ# ;Im~. ')$DZHOS)8 'OS$*ëąǦ Dz). ZW)Ƒ3NJ3OS?Ŭ çƘ(! #ØÊ. 5)ǖ¬*çƘº¬%'9;?āDZ. Dzíƨń'Im~ZWOS? ! ĿƯ. Ā)ƺǫ$;Dz. ƓļDZITRON)Ń(×" #ǝŰ<. ƺǫ11b HOS(
(23) ;styµ:ü#. HOS?Ŭ ;%$DZĸãŻ)ãū(ǔ'ǦĬ. )ƺǫ$*DZ×ĸű'styµ:ü#)ĐŐ. ù%$DZÞî':%6OS)§ǖªũ(nj;. %sty)Ħş¹% Ũǁ?çǢ)m|Nx. 8 'm|Nxq~NçƘçĩ$%ƙ. r$ã-DzHOS)8 'Ƒ3NJ3OS$*DZsty. # ;DzĀ*DZkADzUW_r7Ĉưč'. mz%Ì+<;ÒæǩÖ?5Ŷ#
(24) DZ. &DZŨÔHOS$*çŨ$# ' çƘ)çŨ?. 9sty?µ:ü#;%Þ DZ×ĸ. ųĖ# Dz. ű'ƙ Ĩ*DZ¸ű'µ:ü#ªũ%¥Ǐ$;Dz ƺǫ)m|Nxr$*get_mplǯget memory poolǰ. ¿ƙĤŤ. %rel_mplǯrelease memory poolǰ% API?ƕ:. 1) Pyc^a: çƘLinuxJdzũƼ. Nj (ƁǩÖ)ƔgDaģ*dž:# ;. %çƘ Jdz?·Ŧű(ũƬ;5)çƘ. *')(DZĦş¹(8. #ħ(sty?Ŷ. İ, Œŭ(Ʋ), jBZ~G`uOUw~, (2001).. $' Ũǁ?Űū;DzãƘƚ*)¾Ð(. 2) A. S. [d~gEr : In{_C~NUW. ! #ƙê;%Ō59<;Dz. _rǯƃ2ŠǰƱƮ%ũƼ
(25) 8,MINIX(8;ç Ƥ, ŏ(Ų), jBZ~G`uOUw~, (1998).. 3.5 Űïƺǫ. 3) (Ź)a|~» ITRONŃĿƯNzm:. IJĀ(DZãƘƚOS)§ǖªũ(! #8:ŕ. ITRON4.0Ń Ver. 4.02.00, (1999).. ã@$ . http://www.ertl.jp/ITRON/SPEC/mitron4-j.html. %;5(DZŰïƺǫ%. #HOS)ZWQb?ƬĻ;ƺǫ?«. 4) Project HOS ( ŗ Ƃ Æ ): Hyper Operating. # ;Dz '9DZçǢ)%=*<9). System (ITRONŃOS), (19988:¤ǝ).. ƺǫ?ě«;ƚ*0%@& ' ŢŎ$;Dz. https://sourceforge.jp/projects/hos. ƺǫ14a rot_rdq )§ǖªũ?Ƨ#38. 5) ŝ¾Íī: ITRONm|Nxq~N¢ǜH8p. HOS)ZWQb 9DZƃ6Ï)çƘƺǫ$. DQ~%HOS$à5;Ƒ3NJ3ǝŰ, IrŹ,. Ŭ rot_rdq)ªũ)Ʀ'ǖ¬?ēƍ6. (2005).. )½³ǘõ<;)$DZǑƓyWa(8;{. 6) ÚŜźÍ: In{_C~NUW_rėŀǃ. `CLu)ƉũĨŐ(! #ũƬ;Dz. ĥ, (2017). http://vilab.org/lecture/?OS. ƺǫ14b get_mpl )§ǖªũ?Ƨ#38. HOS)ZWQb 9ÉDZƃ11Ï)çƘ. 14 2018÷3ij1ξƀÁDZ2018÷3ij14Īęǚōæ. ƺǫ$Ŭ get_mpl)ªũ)Ʀ'ǖ¬?ēƍ. Received, March 1, 2018; accepted, March 14 14, 2018. 6)½³ǘõ<;)$DZǑƓyWa( 8;ÂÜǛstyl|^M)styǩÖ)Ɖũ ĨŐ(! #ũƬ;Dz ŧòßãóãǖƏƦ ƃ 53 Åǯ2018 ÷ǰ ⋢ᕝᏛᕤᏛ㒊⣖せࠉ➨53ྕ 㸦2018㸧 54. 6.
(26)
関連したドキュメント
Thus, we use the results both to prove existence and uniqueness of exponentially asymptotically stable periodic orbits and to determine a part of their basin of attraction.. Let
Section 3 is first devoted to the study of a-priori bounds for positive solutions to problem (D) and then to prove our main theorem by using Leray Schauder degree arguments.. To show
This paper presents an investigation into the mechanics of this specific problem and develops an analytical approach that accounts for the effects of geometrical and material data on
Equivalent ISs This paper mentions several particular ISs that describe a given Moore family, more or less small with respect to their size: The full IS Σ f that contains an
It is known that quasi-continuity implies somewhat continuity but there exist somewhat continuous functions which are not quasi-continuous [4].. Thus from Theorem 1 it follows that
We also examine the q-partial fraction content of reciprocals of the cyclo- tomic polynomials, and indicate how the technique can be used to facilitate the extraction of
Power dissipation caused by voltage drop across the LDO and by the output current flowing through the device needs to be dissipated out from the chip. 2) Where: I GND is the
Amount of Remuneration, etc. The Company does not pay to Directors who concurrently serve as Executive Officer the remuneration paid to Directors. Therefore, “Number of Persons”