Page 41 - untitled

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