Page 42 - untitled
P. 42

Web, Internet,  Networking, and Software (WINS)
               Web, Internet   ,  Networking, and Software (WINS)



 ޶ਂ݊Շଡ଼஝ᇍૢ΁ගٙഐ࿴ό݈࿁fҢࡁٙ  ҢࡁආБʕٙࠇྌ˸ܔ࿴ྡҖʷʧࠦމ  Internet Knowledge Extraction and Man-  measurements in emerging and challenging network
 ጳሳί׵޼ӺνО˸͍஝ٙ˙όdԸܔ࿴Ϥ၇  ͦٙd౤ԶԴ͜٫อᄣeࡌҷeʝਗXML༟  agement            scenarios. We plan to develop several approaches
                                                                that can accurately, timely, and uncostly measure/
 ݈࿁ٙᅼۨd˸ʿνОਗ਼வԬᅼۨdໝྼ׵ྼ  ࣘdҢࡁ͍ίක೯ɓ၇ʝਗ׌ʩ΁˜Forms-
                    This project focuses on Internet document   monitor the network.
 ਕɪf  XML™d̴ঐಁXMLႧคପ͛˸ڌఊމਿᓾٙ  extraction, classification and query processing. We
 Ңࡁ࿁׵XMLʕٙ˖΁ۨ࿒່֛d౤̈  Դ͜٫ʧࠦdԨЪމXML˖΁ᇜ፨ኜf  address the problem of extracting knowledge from   In addition, using network measurement
               web sites along two directions. In the first direction,   results, we intend to develop QoS enhancement
 ˜ਞᅰʷʫ࢙ᅼۨ™ٙ฿ׂdԨኽϤІਗܔ࿴
 'PSNT 9.- Ϟ˸ɨอٙतЍj   we extract knowledge from web documents using an   schemes for various network services/applications.
 ̈࿁Ꮠٙ˖΁ഐ࿴᜕ᗇ೻ҏfϤධᅼۨމԴ͜
               existing ontology. In the second direction, we recog-  For instance, for mobile network applications, we
 ML€ɓ၇ᆽڭۨ࿒τΌٙ೻όႧԊdՈ৷චՌ  (1) ̴˸˜ᒒе™ಁ˾˜Ꮸݟ™Ⴇجɪٙ፹  nize informative structure of a web site and hereof   plan to develop an algorithm which can agilely   Research Groups
 ᅰၾਞᅰʷᅼଡ଼ഃ̌ঐ˸ආБబۨ࿒ٙXML  Ⴌdה˸Ъ͜ʕٙ˖΁ᐼ݊ୌΥܸ֛ٙၤͦd  to extract informative contents which are usually   adapt network services, in accordance with real-
 ೻όணࠇٙਿᓾf͟ϤᅼۨdҢࡁɰኬ̈XML  Դ͜٫ʔ඲ዄː༼ˀXMLႧجٙ፹Ⴌf  coupled with undesired redundant information. We   time network measurement results, in order to
               are also interested in developing new methods, algo-  optimize the user-perceived service quality for the
 ˖΁ᔷ౬ٙᅼଡ଼ʷଣሞf  (2) Forms-XML ˕౪อᄣɓʩ΁ЇЪ͜ʩ΁
               rithms, and technologies to extract knowledge from   mobiles. Moreover, we plan to apply network mea-
 Ϥ̮d࿁׵  XML  ˖΁ٙЕݴஈଣ   ٙቌڐᇍఖfνϤԴ͜٫ʔ඲ᆽ֛อᄣʩ΁ٙ  web pages of a specific type, e.g., citation list or   surement results to benefit emerging peer-to-peer,
 (streaming processing) ೻όdҢࡁɰഹ˓޼Ӻ͍  ͍ᆽЗໄf  bibliography.       overlay, mesh, sensor, ad hoc, and/or opportunistic
                                                                                                                  Research Groups
 ஝ʷٙ˙جd˸ᆽڭՉЭܓٙাኳ٤ගცӋe  (3) Forms-XML ౤Զ܄Ⴁʷʿ୚ฆછՓԴ͜               networks, so that not only can the network resource
                    In addition, the project also studies learning   be effectively utilized, but QoS can also be greatly
 ˸ʿՉପ̈˖΁ഐ࿴͍ٙᆽ׌f  ٫ʧࠦٙ̌ঐdܼ̍əᏐ͜೻όʧࠦʿ܄Ⴁʷ  and management of knowledge from Internet docu-  improved.
 ίྼࠦ͜dҢࡁʊԴ͜ XML ˸ʿ޴ᗫ  ˖΁(ஹЇ̮௅ٙCSSᅵόڌ)f  ments, including the following topics: personalized
               knowledge management, topic discovery, and event   Formal Verifi cation
 Ҧஔ€ν˜ַ̙࢝Σඎྡ™dSVG׵ɓࢁ  ੽வԬतЍԸ޶dForms-XML̙މॹ˶
               detection and tracking. The personalization system
 ˸༟ৃၣ༩މਿᓾٙɛɹήྡӻ୕fவࢁն  XMLٝᗆٙԴ͜٫ପ͛Դ͜٫ʧࠦf                             Our research goal is to improve the quality
               filters information for users based on user interests.
 Τމ˜ၽᝄٟึήྡ™€http: //tsm.iis.sinica.  Topic discovery finds interesting topics via hyper-  of computer systems. For the past decades, formal
 ක׳όٙήଣ٤ග༟ৃҦஔ
 edu.twٙӻ୕d̙ᜫԴ͜٫ί༟ৃၣ༩ɪd  links and contents of Web documents. The goal of   method has been used to ensure the correctness of
 ڐϋԸήଣ༟ৃӻ୕Դ͜Όଢ༟ৃၣމ                                              computer systems. We are developing and applying
 Іٙ͟ค዆˸ʿൖᙂʷɛɹ౷ݟ༟ࣘණf  event detection and life cycle tracking is to identify
 ੂБձ೯̨̻࢝ٙઋҖ˚ू౷ʿd޴ᗫٙ༟ࣘ  specific events and distinguish the articles of the   formal verification techniques to help system engi-
       ̤̮d஢εᏐ͜ჯਹʊ຾Җϓʮึאᑌຑd
 ʹ౬ᅺ๟ν˜ήଣᅺͪႧԊ™€GMLe˜̙  events from others from several document sources.   neers build high-quality computer systems.
 Ԩމəʹ౬༟ࣘϾ່֛༈ჯਹत֛ٙXMLႧ
 ַ࢝Σඎྡ™€SVGٙ೯࢝ɰڢ੬Ҟ஺dவ  The presentation of a complicated event for reader   Currently, the following projects are focused
 คfXML༟ࣘࢫ၍ଣӻ୕͍နနϓᆞdXMLႧ  comprehension is also an interesting research topic.
 ேп׵΢όอ጑٤ග༟ৃӻ୕ٙක೯f͉ࠇ                                            in the formal verification group:
 ค̙ঐᜊϓਗ਼ԸΆุ༟ৃӻ୕ٙᅺ๟ᅼۨf
 ೥ཀ̘Դ͜வԬ༟ࣘʹ౬ᅺ๟dภৣΌଢ༟ৃ  WLAN/WMAN as Access Network              (1) System-on-Chip verification:
 Ңࡁ˸ҦஔԶᏐ٫ٙԉЍਞၾ޴ᗫᅺ๟ଡ଼
 ၣҦஔ̨̻d˸ʿක׳ࡡ֐ᇁழ᜗ʈՈdʊϓ
 ᔌٙݺਗdतй݊਷ʫٙৌਕ༟ৃᅺ๟-XBRL  This project focuses on the enhancement of
 ̌ٙක೯əɓࢁழ᜗ʈՈd࿁Դ̨͜ᝄତϞٙ                                               SoC systems require the integration of both
 ၾषዝࣸόᅺ๟-HL7/CDAfҢࡁʊ຾ၾึࠇձ  IEEE 802.11and 802.16 families in order to provide   hardware and software components. But it is dif-
 ˜ਿ͉ήҖྡ༟ࣘࢫᅺ๟ʹ౬ࣸό™ᇜᇁٙᅰ  QoS guarantee and multimedia communication, and
 ༟ৃ߅Ҧഃ޴ᗫჯਹٙኪ٫ଡ଼ϓ޼Ӻྠ᜗d˸                                           ficult to integrate due to different development envi-
 ࠽ήҖྡd̙ਗ਼Չᔷ౬މ˸˜ήଣᅺͪႧԊ™  multi-hop access, such that they can be integrated as
 ೯࢝਷ʫٙXBRL taxonomiesၾක೯XBRLৌਕ                                  ronments of hardware and software components. In
 ձ˜ַ̙࢝Σඎྡ™ᇜᇁٙXML˖΁dԴ੻வ  a full-blown access network. Resource management   this project, we would like to propose an integrated
 ༟ৃٙ޴ᗫᔷ౬ʱؓʈՈfҢࡁɰၾ̨ᝄᔼኪ  and fairness are the major issues for QoS guarantee.
 Ԭ˸ᔚᅺ๟ᇜᇁٙᅰ࠽ήҖྡd̙˸ܘ˙کٙ                                           verification platform to check the correctness of
 ༟ৃኪึίཥɿषዝᅺ๟Փࠈɪၡ੗ഐΥdߧ  Beside theoretic study, we implement embedded
 ίΌଢ༟ৃၣɪԴ͜f͉ࠇ೥ٙ޼Ӻࠠᓃਗ਼׳                                           SoC systems. The idea is to develop a core verifica-
 ɢ׵Փ֛˸CDAމਿ๟ٙXML schemadԨ˸Ϥ  system prototypes on Linux for performance evalu-  tion tool which allows users to translate hardware
 ί˸ᅺ๟ႧԊމਿᓾٙอ጑ήଣ༟ৃӻ୕dܔ  ation purposes. Our studies cover MAC layer, net-
 schema೯࢝Web-basedٙᕑҖӻ୕d੶ሜਗ਼ෂ୕                                   and software specifications to the core verification
 ிהცٙӻ୕ᕑҖd˸᜕ᗇอٙ฿ׂfவԬอ  work layer and transport layer protocols.
 ٙᔼኪ༟ࣘࢫ༟ࣘᔷ౬މCDAٙᅺ๟ࣸόʘྼ                                          language.
 ጑ٙήଣ༟ৃӻ୕dʔස̙዆ΥԸІεࡈԸ๕
 Ъd˸ڮආ̨ᝄᔼᐕ৫הཥɿषዝٙ೯࢝ၾᏐ  Network Measurement                      (2) OMocha model checker:
 ٙମሯ༟ࣘd˸Όଢ༟ৃၣމੂБ̨̻dԨ̙
 ͜પᄿf
 ԱԴ͜٫אԴ͜٫໊ٟٙცࠅאԴ͜ᐑྤdਂ  Network measurement is a fundamental re-     OMocha is a model checker for reactive mod-
 อጳٙXMLႧค˚ूᄣεdᜑ್඲ࠅމ  search problem in the field of computer networks.
 ʿࣛٙ܄Ⴁʷяତfவධ޼Ӻࠇ೥ٙͦᅺʘɓ                                           ules. It serves as the core verification platform of
 XML ༟ࣘ€˖΁ܔͭԴ͜٫ʧࠦfՑͦۃމ  The results of network measurements are critical for
 уίԴ͜ක׳ٙ༟ࣘᅺ๟eක೯ʈՈeၾҦஔ                                           our System-on-Chip verification project. We have
 ˟dXML༟ࣘٙԴ͜٫ʧࠦே݊ఱत֛ٙXML  efficient network design, management, and usage.   also developed model checking algorithms and
 ̨̻dܔி̙࢝ͪϤ၇อ጑̌ঐٙήଣ༟ৃӻ  With the growing popularity of emerging network
 ႧคʿᏐࠠ͜อႡЪdϽᅇՑΆุॴXMLႧค                                          implemented them in OMocha. We use CUDD and
 ୕f            technologies, such as WiFi, Bluetooth, ZigBee, Wi-
 ܼ̍ٙʩ΁ʿ᙮׌ਗႿɷϵdԴ͜٫ʧࠦ̀඲                                           chaff as the underlying BDD and SAT packages. To
               Media, WiMAX, and GPRS/3G, it is becoming in-    improve the quality of the model checker, we use
 ءจਗ࿒XML༟ࣘഐ࿴eႧج஝ᇍʿ̮ᝈٙя  creasingly desirable to have a simple, accurate, end-
                                                                Objective Caml to implement high-level algorithms
 ତഃdவࡈ˙όਗ਼ึڢ੬൬ࣛ൬ɢf  to-end, and less intrusive approach to measure the   in OMocha. Currently, OMocha has both BDD and
               network. In this project, we intend to study network
                                                                SAT-based model checking algorithms.
 30                                                                                                               31
   37   38   39   40   41   42   43   44   45   46   47