Open Access. Powered by Scholars. Published by Universities.®
Articles 541 - 570 of 618
Full-Text Articles in Computer Sciences
ระบบการสื่อสารแบบดีซิงโครไนเซชั่นสาหรับขบวนยานพาหนะขับเคลื่อนอัตโนมัติ, วิศทัศน์ ดียิ่ง
ระบบการสื่อสารแบบดีซิงโครไนเซชั่นสาหรับขบวนยานพาหนะขับเคลื่อนอัตโนมัติ, วิศทัศน์ ดียิ่ง
Chulalongkorn University Theses and Dissertations (Chula ETD)
ขบวนยานพาหนะขับเคลื่อนอัตโนมัตินั้นมีความท้าทายในการสร้างสูงอันเนื่องมาจากมีความต้องการในการประกาศข้อมูลที่มีความถี่ในการประกาศสูง ประสิทธิภาพของโพรโทคอลซีเอสเอ็มเอ/ซีเอบนมาตรฐานการสื่อสาร IEEE 802.11p นั้นไม่สามารถตอบสนองต่อความต้องการของขบวนยานพาหนะขับเคลื่อนอัตโนมัติได้เนื่องจากความล่าช้าที่ไม่มีขอบเขตโดยเฉพาะกรณีที่มีการใช้งานช่องสัญญาณมาก มีงานวิจัยหลากหลายงานที่นั้นมีการเกี่ยวพันกับชั้นการควบคุมการเข้าถึงสื่อกลางและ/หรือไม่รองรับจำนวนยานพาหนะที่มีการเปลี่ยนแปลงและ/หรือมีจุดเดียวของความล้มเหลว เราเสนอให้ใช้งานการดีซิงโครไนเซชั่นสำหรับยานพาหนะที่มีพื้นฐานมาจากโพรโทคอลทีดีเอ็มเอบนมาตรฐานการสื่อสาร IEEE 802.11p ที่มีอยู่ทั่วไปแล้ว โดยยังสามารถรองรับจำนวนยานพาหนะที่มีการเปลี่ยนแปลงและไม่มีจุดเดียวของความล้มเหลว เราได้เสนอช่วงการตั้งค่าที่เหมาะสมกับการใช้งานขบวนยานพาหนะขับเคลื่อนอัตโนมัติ จากผลการทดลองได้แสดงว่าเมื่อใช้งานช่วงการตั้งค่าที่เราเสนอ การดีซิงโครไนเซชั่นสามารถรองรับการประกาศข้อมูลที่มีความถี่สูงในสถานการณ์ที่มียานพาหนะสูงสุดถึง 16 คัน ที่การประกาศข้อมูล 100 รอบต่อวินาที และมีประสิทธิภาพที่ดีกว่าโพรโทคอลซีเอสเอ็มเอ/ซีเอ ในกรณีที่เกิดความล้มเหลว จากผลการทดลองได้แสดงว่าการดีซิงโครไนเซชั่นสำหรับยานพาหนะนั้นไม่ได้มีผลกระทบที่ร้ายแรงอันเนื่องมาจากความล้มเหลวเมื่อเปรียบเทียบกับงานวิจัยอื่น
การตรวจสอบข่าวปลอมด้วยวิธีการเรียนรู้ด้วยเครื่อง, สุปัญญา อภิวงศ์โสภณ
การตรวจสอบข่าวปลอมด้วยวิธีการเรียนรู้ด้วยเครื่อง, สุปัญญา อภิวงศ์โสภณ
Chulalongkorn University Theses and Dissertations (Chula ETD)
วิทยานิพนธ์นี้นำเสนอวิธีการตรวจจับข่าวปลอมบนเครือข่ายสังคมออนไลน์ทวิตเตอร์ด้วยวิธีการเรียนรู้ด้วยเครื่อง โดยใช้การเรียนรู้ด้วยเครื่องสามวิธี ได้แก่ Naïve Bayes, Neural Network และ Support Vector Machine โดยเก็บข้อมูลจากหัวข้อข่าวที่เป็นภาษาไทย ในระหว่างเดือนตุลาคมถึงพฤศจิกายน พ.ศ. 2560 ผลการวิจัยพบว่าทั้งสามวิธีสามารถตรวจจับข่าวปลอมในชุดข้อมูลได้อย่างถูกต้อง ร้อยละความถูกต้องของวิธี Naïve Bayes คือ 96.08 เปอร์เซ็นต์ Neural Network 99.89 เปอร์เซ็นต์ และ Support Vector Machine 99.89 เปอร์เซ็นต์ นอกจากนี้ได้ทำการวิเคราะห์ข้อมูลข่าวปลอมและชี้ให้เห็นลักษณะของข่าวปลอมที่พบในชุดข้อมูล
การทำนายโครงสร้างทุติยภูมิของอาร์เอ็นเอด้วยขั้นตอนวิธีเชิงวิวัฒนาการ, สุภาวดี ศรีคำดี
การทำนายโครงสร้างทุติยภูมิของอาร์เอ็นเอด้วยขั้นตอนวิธีเชิงวิวัฒนาการ, สุภาวดี ศรีคำดี
Chulalongkorn University Theses and Dissertations (Chula ETD)
วิทยานิพนธ์นี้นำเสนอขั้นตอนวิธีแบบใหม่ชื่อว่า Hybrid-EDAfold ซึ่งเป็นขั้นตอนวิธีเชิงวิวัฒนาการที่อยู่บนพื้นฐานของขั้นตอนวิธีประมาณการแจกแจงแบบผสมสำหรับทำนายโครงสร้างทุติยภูมิของอาร์เอ็นเอ ขั้นตอนวิธีที่นำเสนอประกอบด้วย 2 ขั้นตอนวิธีประมาณการแจกแจงและดำเนินการอยู่บนเทคนิคการทำนายโครงสร้างที่มีค่าพลังงานต่ำสุด ขั้นตอนวิธีที่นำเสนอใช้ทั้งกลุ่มคำตอบดีและกลุ่มคำตอบด้อยร่วมกันในการปรับปรุงแบบจำลองความน่าจะเป็นเพื่อส่งเสริมให้ขั้นตอนวิธีสามารถค้นหาได้ทั่วทั้งปริภูมิค้นหา ใช้ข้อมูลจากคำตอบด้อยเพื่อบ่งบอกว่าบริเวณไหนไม่น่าสนใจที่จะเข้าไปสำรวจเมื่อต้องดำเนินการกับข้อมูลที่มีจำนวนมิติที่ค่อนข้างสูง วิธีการที่นำเสนอมีการเพิ่มเติมตัวดำเนินการกลายพันธุ์ในขั้นตอนวิธีประมาณการแจกแจงหนึ่งเพื่อสนับสนุนการค้นหาแบบท้องถิ่น ช่วยเพิ่มความหลากหลายของคำตอบและบรรเทาการลู่เข้าก่อนกำหนด นอกจากนี้ วิธีการที่นำเสนอยังรองรับการทำนายหลายโครงสร้างทั้งโครงสร้างที่มีค่าพลังงานต่ำสุดและโครงสร้างที่มีค่าพลังงานต่ำรองเพื่อเพิ่มโอกาสที่จะพบโครงสร้างที่ใกล้เคียงกับโครงสร้างที่เป็นคำตอบมากยิ่งขึ้น การประเมินประสิทธิภาพของขั้นตอนวิธี Hybrid-EDAfold เมื่อเปรียบเทียบกับขั้นตอนวิธีในกลุ่มของกำหนดการพลวัตที่เป็นที่รู้จักกันดี ได้แก่ Mfold, RNAfold และ RNAstructure บนข้อมูลอาร์เอ็นเอจาก 15 ชนิด จำนวน 760 สายลำดับ พบว่า ขั้นตอนวิธี Hybrid-EDAfold มีผลการทำนายเฉลี่ยดีกว่าขั้นตอนวิธีอื่น ๆ ที่นำมาเปรียบเทียบในทุกตัวชี้วัด และ เปรียบเทียบกับขั้นตอนวิธีในกลุ่มเมตาฮิวริสติกด้วยอาร์เอ็นเอ 20 สายลำดับ ผลลัพธ์แสดงให้เห็นว่าวิธีการที่นำเสนอมีค่า F-measure เฉลี่ยดีกว่า RnaPredict และ SARNA-Predict และ มีผลลัพธ์เทียบเคียงได้กับ TL-PSOfold
กระบวนการจำแนกการเคลื่อนไหวมือด้วยสัญญาณคลื่นไฟฟ้าสมองสำหรับการฟื้นฟูผู้ป่วยโรคหลอดเลือดสมอง, อาภา สุวรรณรัตน์
กระบวนการจำแนกการเคลื่อนไหวมือด้วยสัญญาณคลื่นไฟฟ้าสมองสำหรับการฟื้นฟูผู้ป่วยโรคหลอดเลือดสมอง, อาภา สุวรรณรัตน์
Chulalongkorn University Theses and Dissertations (Chula ETD)
เทคโนโลยีการติดต่อสื่อสารระหว่างสมองและคอมพิวเตอร์ (Brain-Computer Interfaces - BCI) คือเทคโนโลยีที่เชื่อมต่อระหว่างสัญญาณคลื่นไฟฟ้าสมองกับอุปกรณ์ภายนอกต่างๆ การประยุกต์ใช้เทคโนโลยี BCI เพื่อการฟื้นฟูผู้ป่วยโรคหลอดเลือดสมองได้รับความสนใจเป็นอย่างมาก โดยเฉพาะอย่างยิ่งการฟื้นฟูการการเคลื่อนไหวร่างกายส่วนรยางค์บน การฟื้นฟูด้วยเทคโนโลยี BCI มักทำโดยการฝึกจินตนาการการเคลื่อนไหว งานวิจัยนี้จึงพัฒนากระบวนการจำแนกการจินตนาการการเคลื่อนไหวด้วยสัญญาณคลื่นไฟฟ้าสมอง การจินตนาการการเคลื่อนไหวท่ากำและแบมือเป็นทั้งท่าพื้นฐานในการฟื้นฟูผู้ป่วยโรคหลอดเลือดสมองและท่าพื้นฐานในงานวิจัยด้านนี้ ในขณะที่ท่ากระดกข้อมือขึ้นลงและท่าคว่ำและหงายมือเป็นท่าพื้นฐานในการฟื้นฟูผู้ป่วยโรคหลอดเลือดสมองเช่นกัน จึงถูกเลือกมาใช้งานวิจัยนี้ งานวิจัยนี้มีผู้ร่วมทดลองสุขภาพดีทั้งหมด 11 คน การทดลองเริ่มจากท่ากำและแบมือ ท่ากระดกข้อมือขึ้นลง และท่าคว่ำและหงายมือตามลำดับ ผลการทดลองแสดงให้เห็นว่า ตัวจำแนก LDA และ SVM ให้ความแม่นยำในการจำแนกไม่แตกต่างกันอย่างมีนัยสำคัญ การดึงคุณลักษณะ Filter Bank Common Spatial Pattern ให้ความแม่นยำในการจำแนกสูงกว่าการดึงคุณลักษณะ Whole Band Common Spatial Pattern อย่างมีนัยสำคัญ การจำแนกแบบขึ้นกับชุดทดลองให้ความแม่นยำในการจำแนกสูงกว่าการจำแนกแบบไม่ขึ้นกับชุดทดลองอย่างมีนัยสำคัญ ความแม่นยำในการจำแนกมีแนวโน้มสูงขึ้นเมื่อผู้ร่วมทดลองเข้าร่วมการทดลองมากขึ้น นอกจากนี้ ความแม่นยำในการจำแนกมีค่าสูงขึ้นเมื่อติดตั้งจำนวนช่องสัญญาณมากขึ้น เมื่อพิจารณาถึงความแม่นยำในการจำแนกร่วมกับเวลาและความสะดวกในการติดตั้งอุปกรณ์ ผลการทดลองจากงานวิจัยนี้สนับสนุนให้ติดตั้งช่องสัญญาณจำนวน 9 ตำแหน่ง นอกจากนี้ ผลการทดลองยังแสดงให้เห็นถึงความเป็นไปได้ในการจำแนกจินตนาการการเคลื่อนไหวแต่ละท่าซึ่งเกิดการเปลี่ยนแปลงของสัญญาณคลื่นไฟฟ้าสมองจากสมองซีกเดียวกัน
การรีแฟ็คเตอร์เว็บเซอร์วิสแบบประสานให้เป็นไมโครเซอร์วิส โดยการใช้แบบรูปการแยกออกเป็นส่วน, เมธาวี ทัศจันทร์
การรีแฟ็คเตอร์เว็บเซอร์วิสแบบประสานให้เป็นไมโครเซอร์วิส โดยการใช้แบบรูปการแยกออกเป็นส่วน, เมธาวี ทัศจันทร์
Chulalongkorn University Theses and Dissertations (Chula ETD)
สถาปัตยกรรมเชิงบริการ หรือ Service-oriented architecture (SOA) คือ การออกแบบเว็บเซอร์วิสให้มีการทำงานประสานกัน โดยโครงสร้างการออกแบบสถาปัตยกรรมนี้จะประกอบไปด้วย 3 ส่วนหลักได้แก่ ผู้รับบริการ (Service Client), ผู้ให้บริการ (Service Provider) และตัวกลาง (Service Broker) ซึ่งด้วยลักษณะการออกแบบที่อาศัยตัวกลางจึงเป็นสาเหตุให้การออกแบบด้วยสถาปัตยกรรมเชิงบริการไม่มีความยืดหยุ่นต่อการเปลี่ยนแปลง ปัจจุบันอุตสาหกรรมซอฟต์แวร์ได้มุ่งเน้นการพัฒนาซอฟต์แวร์สู่ตลาดอย่างต่อเนื่อง และมุ่งเน้นให้ซอฟต์แวร์มีความยืดหยุ่นรองรับต่อการเปลี่ยนแปลงทางด้านธุรกิจ ซึ่งการออกแบบเว็บเซอร์วิสด้วยสถาปัตยกรรมเชิงบริการจึงไม่สามารถตอบโจทย์ความต้องการในส่วนนี้ได้ ในปัจจุบันจึงได้มีทางเลือกการออกแบบเว็บเซอร์วิสแบบใหม่ คือสถาปัตยกรรมไมโครเซอร์วิส โดยไมโครเซอร์วิสเป็นสถาปัตยกรรมการออกแบบที่มุ่งเน้นเรื่องความยืดหยุ่นในการเปลี่ยนแปลง ส่งผลให้ซอฟต์แวร์ที่ออกแบบด้วยสถาปัตยกรรมนี้สามารถปรับเปลี่ยน หรือแก้ไขเว็บเซอร์วิสได้โดยไม่ส่งผลกระทบกับระบบในวงกว้าง เนื่องจากไมโครเซอร์วิสเน้นการออกแบบเว็บเซอร์วิสให้มีขนาดเล็กลง แต่ละเซอร์วิสทำงานร่วมกันแบบกระจาย จึงส่งผลให้แต่ละไมโครเซอร์วิสค่อนข้างมีความอิสระต่อกันอย่างชัดเจน อย่างไรก็ตาม ในปัจจุบันการออกแบบไมโครเซอร์วิสยังคงเป็นเรื่องที่ท้าทายและไม่สามารถทำได้โดยง่าย ด้วยเหตุดังกล่าว งานวิจัยนี้จึงได้นำเสนอระเบียบวิธีในการสร้างเครื่องมือสำหรับรีแฟ็คเตอร์เว็บเซอร์วิสแบบเดิมที่ถูกเขียนด้วยภาษาดำเนินการทางธุรกิจ (BPEL) ให้เป็นไมโครเซอร์วิส ตามแบบรูปการแยกออกเป็นส่วน (Decomposition pattern) ของไมโครเซอร์วิส โดยกระบวนการรีแฟ็คเตอร์จะทำการพิจารณาร่วมกับรายการความสามารถทางธุรกิจ (Business Capabilities) ที่สกัดได้จากข้อมูลคำศัพท์และประโยคสถานการณ์ (Scenario)
การผสานออนโทโลยีที่ต่างแบบกันโดยใช้การวิเคราะห์ฟอร์มัลคออนเซ็ปต์, จตุรดา ดียิ่ง
การผสานออนโทโลยีที่ต่างแบบกันโดยใช้การวิเคราะห์ฟอร์มัลคออนเซ็ปต์, จตุรดา ดียิ่ง
Chulalongkorn University Theses and Dissertations (Chula ETD)
ความแพร่หลายของการนำเอาออนโทโลยีเข้ามาใช้ที่มีมากขึ้น ทำให้เกิดการซ้อนทับกันของ ออนโทโลยีมากขึ้นตามมา วิศวกรความรู้จึงได้เกิดแนวคิดที่จะนำเอาออนโทโลยีที่คล้ายคลึงกันเข้ามามีส่วนร่วมด้วยกัน ด้วยเหตุนี้แนวคิดการผสานออนโทโลยีจึงได้ถูกนำเสนอขึ้นมา อย่างไรก็ตามในปัจจุบัน งานวิจัยที่เกี่ยวข้องกับอัลกอริทึมของการผสานออนโทโลยีในโดเมนที่แตกต่างกันเข้าด้วยกันยังมีให้เห็นไม่มากนัก ส่วนมากจะเป็นการนำเสนออัลกอริทึมของการผสานออนโทโลยีที่อยู่ภายใต้ขอบเขตโดเมนเดียวกันหรือคล้ายคลึงกัน ในงานวิจัยฉบับนี้ ผู้วิจัยมีเป้าหมายที่จะทำการผสานออนโทโลยีในโดเมนที่ต่างแบบกันแต่มีส่วนเกี่ยวข้องกันของข้อมูลโดยใช้หลักการการวิเคราะห์ฟอร์มัลคอนเซ็ปต์ โดยผู้วิจัยได้สร้างกรณีศึกษาด้วยการนำเอาข้อมูลยา และออนโทโลยีโรคมาผสานเข้าด้วยกัน และนำเสนอออกมาเป็นความเกี่ยวโยงกันของข้อมูลยาและโรคในรูปแบบของฟอมัลแลททิส จากนั้นกรณีศึกษาจะถูกประเมินความถูกต้องของผลลัพธ์ด้วยการเปรียบเทียบกับอ้างอิงข้อมูลการแนะนำทางการแพทย์ ผลของการทดสอบของกรณีศึกษาแสดงให้เห็นว่าวิธีการผสานออนโทโลยีโดยใช้การวิเคราะห์ฟอร์มัลคอนเซ็ปต์ที่ ผู้วิจัยนำเสนอนั้นนำมาซึ่งของมูลที่ถูกต้องตามการแนะนำทางการแพทย์ที่เปรียบเทียบ ซึ่งสามารถกล่าวได้ว่าสามารถเป็นประโยชน์ในการสนับสนุนการทำงานวิศวกรความรู้ ในการผสานออนโทโลยีโดยใช้คุณลักษณะร่วมระหว่างออนโทโลยีในขอบเขตโดเมนต่างกัน
การสกัดตัวยืนยงชนิดข้อมูลจากโพรเมลา, วิสุทธิ์ สุขศรีบางเตย
การสกัดตัวยืนยงชนิดข้อมูลจากโพรเมลา, วิสุทธิ์ สุขศรีบางเตย
Chulalongkorn University Theses and Dissertations (Chula ETD)
ตัวยืนยงชนิดข้อมูลเป็นข้อมูลคงที่ซึ่งจะมีค่าคงอยู่ตลอดการทำงานของโปรแกรม ซึ่งอยู่ในรูปของตัวแปรหรือเงื่อนไข ที่อยู่ในความต้องการที่ได้กำหนดไว้แสดงด้วยสูตรแอลทีแอล ซึ่งระบุความถูกต้องของการทำงานของโปรแกรมที่เกิดขึ้นในปัจจุบัน โปรแกรมซอฟต์แวร์จำนวนมากในปัจจุบันมุ่งเน้นเรื่องการปรับปรุงคุณภาพซอฟต์แวร์ ซึ่งการทวนสอบโปรแกรมซอฟต์แวร์ก็เป็นสิ่งสำคัญสำหรับองค์กร เนื่องจากการทวนสอบนั้นเป็นหนึ่งในวิธีที่ใช้ในการตรวจสอบความถูกต้องของอัลกอริทึมภายใต้การทำงานของซอฟต์แวร์ ในทางปฏิบัตินั้นการเขียนสูตรแอลทีแอลด้วยตนเองนั้นเป็นสิ่งที่ยาก และมีความซับซ้อนสำหรับโค้ดโปรแกรม โพรเมลาแตกต่างจากภาษาอื่นๆ เพราะโพรเมลาสนับสนุนโปรแกรมที่มีการทำงานหลายอย่างพร้อมกัน บางครั้งก็จะมีการทำงานที่สอดแทรกหรือคาบเกี่ยวกัน ซึ่งในการทำงานหลายอย่างพร้อมๆกัน ส่งผลให้กระทบกับตัวแปรหรือฟังก์ชันอื่นๆ ซึ่งอาจก่อให้เกิดข้อผิดพลาด ทำให้โปรแกรมทำงานได้ไม่ถูกต้อง และคนทั่วไปมักไม่ค่อยตระหนักถึงการทวนสอบความถูกต้องของค่าที่ใช้ในโปรแกรม งานวิจัยนี้จึงได้นำเสนอวิธีการแบ่งส่วนของข้อมูล เพื่อสร้างตัวยืนยงชนิดข้อมูลจากโพรเมลา โดยอยู่ในรูปของสูตรแอลทีแอลขึ้นมาช่วยในการตรวจสอบความถูกต้องในการทำงานของโปรแกรม
การวิเคราะห์ผลกระทบและควบคุมเวอร์ชันของการเปลี่ยนแปลงข้อมูลนำเข้าและข้อมูลนำออกของความต้องการเชิงฟังก์ชัน, นันท์นภัส เชิดสกุลวงศ์
การวิเคราะห์ผลกระทบและควบคุมเวอร์ชันของการเปลี่ยนแปลงข้อมูลนำเข้าและข้อมูลนำออกของความต้องการเชิงฟังก์ชัน, นันท์นภัส เชิดสกุลวงศ์
Chulalongkorn University Theses and Dissertations (Chula ETD)
การจัดเก็บความต้องการ ถือเป็นขั้นตอนสำคัญในวิศวกรรมซอฟต์แวร์ หากจัดเก็บความต้องการไม่ครบถ้วน จะสามารถเกิดการเปลี่ยนแปลงความต้องการเชิงฟังก์ชันได้ตลอดเวลา ดังนั้นการเปลี่ยนแปลงจึงควรอยู่ภายใต้การควบคุมของผู้บริหารโครงการ เพื่ออนุมัติการเปลี่ยนแปลงที่เกิดขึ้นก่อนเสมอ ความต้องการเชิงฟังก์ชันประกอบไปด้วยข้อมูลนำเข้าและข้อมูลนำออก ซึ่งอาจจะมีความสัมพันธ์กับสคีมาฐานข้อมูลหรือไม่มีความสัมพันธ์กับสคีมาฐานข้อมูล หากเกิด การเปลี่ยนแปลงอาจจะส่งผลกระทบกับกรณีทดสอบ หรือสคีมาฐานข้อมูล ดังนั้นจึงจำเป็นต้องทำการจัดเก็บข้อมูลการเปลี่ยนแปลงและควบคุมเวอร์ชัน ซึ่งการจัดเก็บเวอร์ชันทำให้สามารถย้อนกลับเวอร์ชันที่ต้องการได้วิทยานิพนธ์เล่มนี้นำเสนอการวิเคราะห์และควบคุมเวอร์ชันของการเปลี่ยนแปลงข้อมูลนำเข้าและข้อมูลนำออกของต้องการเชิงฟังก์ชัน ผู้วิจัยได้พัฒนาเครื่องมือสนับสนุนการวิเคราะห์และควบคุมเวอร์ชันตามที่นำเสนอ โดยเครื่องมือมีความสามารถนำเข้าข้อมูลที่เกี่ยวข้องต่าง ๆ อีกทั้งสามารถจัดการการร้องขอเปลี่ยนแปลงข้อมูลของความต้องการเชิงฟังก์ชันจากผู้ใช้ วิเคราะห์และควบคุมเวอร์ชันของข้อมูลที่ถูกเปลี่ยนแปลง โดยมีการตรวจสอบสิทธิ์ในการเปลี่ยนแปลงข้อมูลนำเข้าและข้อมูลนำออกของความต้องการเชิงฟังก์ชัน และสามารถย้อนกลับความต้องการเชิงฟังก์ชันได้ สุดท้ายเครื่องมือถูกนำไปทดสอบความถูกต้องกับกรณีศึกษาทั้งหมด 3 กรณีศึกษา ซึ่งผลลัพธ์ที่ได้คือเครื่องมือสามารถวิเคราะห์ผลกระทบและควบคุมเวอร์ชันได้อย่างถูกต้อง
การเปรียบเทียบแผนภาพลำดับยูเอ็มแอลเพื่อตามรอยการเปลี่ยนเเปลงข้อกำหนดทางเทคนิค, สุพัตรา อินศรี
การเปรียบเทียบแผนภาพลำดับยูเอ็มแอลเพื่อตามรอยการเปลี่ยนเเปลงข้อกำหนดทางเทคนิค, สุพัตรา อินศรี
Chulalongkorn University Theses and Dissertations (Chula ETD)
แผนภาพลำดับมักนิยมใช้เพื่อจำลองปฏิสัมพันธ์ระหว่างวัตถุของคลาสภายในระบบสารสนเทศ งานวิจัยนี้นำเสนอวิธีการเเละได้พัฒนาเครื่องมือสำหรับเปรียบเทียบแผนภาพลำดับยูเอ็มแอล เพื่ออำนวยความสะดวกการตามรอยการเปลี่ยนแปลงข้อกำหนดทางเทคนิค โดยบันทึกการเปลี่ยนแปลงจะถูกสร้างขึ้นเพื่อรายงานส่วนต่าง ๆ ที่ได้รับผลกระทบทั้งหมด นอกจากนี้ ระบบยังสามารถสร้างกราฟการตามรอยที่สัมพันธ์กับแผนภาพลำดับเวอร์ชันใหม่เพื่อแสดงความขึ้นต่อกันที่เป็นปัจจุบันระหว่างส่วนประกอบต่าง ๆ แนวทางระบบอัตโนมัติที่นำเสนอจะเป็นประโยชน์ต่อการปรับปรุงกระบวนการซอฟต์แวร์ในด้านการวิเคราะห์ผลกระทบของการเปลี่ยนเเปลง รวมทั้งการได้ผลลัพธ์ที่สร้างขึ้นอย่างรวดเร็วจากระบบที่พัฒนาขึ้น จากเดิมที่เป็นงานเอกสารน่าเบื่อหน่ายเเละลดแนวโน้มความผิดพลาดของการทำงาน
การแปลงไทม์เพทริเน็ตเป็นโพรเมลา, อรสุธี ชัยชมภู
การแปลงไทม์เพทริเน็ตเป็นโพรเมลา, อรสุธี ชัยชมภู
Chulalongkorn University Theses and Dissertations (Chula ETD)
วิทยานิพนธ์นี้เสนอวิธีการแปลงไทม์เพทริเน็ตเป็นโพรเมลา เพื่อตรวจสอบคุณสมบัติ พฤติกรรมของไทม์เพทริเนตที่เป็นระบบเวลา โดยคุณสมบัติที่ตรวจสอบมีคุณสมบัติเชิงคุณภาพ และคุณสมบัติเชิงปริมาณ ประการแรกการสร้างกฎการแปลงไทม์เพทริเน็ตเป็นโพรเมลา นำส่วนประกอบของไทม์ เพทริเน็ต ตัวแปรเวลา พฤติกรรมของเวลา พฤติกรรมการเคลื่อนที่โทเค็น และโครงสร้างเนต มาสร้างกฎสี่กฎ ได้แก่ กฎกำหนดชื่อตัวแปรโพรเมลา กฎกำหนดการเปลี่ยนแปลงเวลา กฎการ เคลื่อนที่โทเค็น และกฎโครงสร้างเน็ต ตามลำดับ เมื่อได้กฎการแปลงไทม์เพทริเน็ตเป็นโพรเมลา แล้ว จะได้โพราเมลา 4 ส่วน จากนั้นรวมโพรเมลาทั้งหมดจึงได้โพรเมลาของไทม์เพทริ เน็ต ประการที่สองเครื่องมือสนับสนุนการแปลงไทม์เพทริเน็ตเป็นโพรเมลานั้น เนื่องจากไทม์เพทริเน็ตเป็นสัญลักษณ์เชิงรูปภาพ ดังนั้นเปลี่ยนสัญลักษณ์เชิงรูปภาพเป็นข้อมูลตัวอักษรที่เรียกว่าพี เอ็นเอ็มแอล แต่พีเอ็นเอ็มแอลมาตรฐานไม่รองกับไทม์เพทริเน็ต ฉะนั้นวิทยานิพนธ์นี้เสนอพี เอ็นเอ็มสำหรับไทม์เพทริเน็ตด้วย เพื่อทำให้พีเอ็นเอ็มแอลเป็นข้อมูลนำเข้าของเครื่องมือสนับสนุน การแปลงไทม์เพทริเน็ตเป็นโพรเมลา เมื่อนำข้อมูลนำเข้าพีเอ็นเอ็มแอลเข้าเครื่องมือสนับสนุนการ แปลงแล้วจะได้โพรเมลาของไทม์เพทริเน็ตมา ประการที่สามคุณสมบัติที่ตรวจสอบมีคุณสมบัติเชิง คุณภาพและคุณสมบัติเชิงปริมาณ โดยการตรวจสอบนำโพรเมลาของไทม์เพทริเน็ตและแอลทีแอล ไปตรวจสอบด้วยเครื่องมือสปิน ได้ผลลัพธ์การตรวจสอบที่ผลลัพธ์การตรวจสอบที่ผ่านและผลลัพธ์ การตรวจสอบที่ไม่ผ่านอันเป็นไปตามผลลัพธ์ที่คาดหวัง
Fully Automatic 3d Facial Cosmetic Surgery Simulation, Adawat Chanchua
Fully Automatic 3d Facial Cosmetic Surgery Simulation, Adawat Chanchua
Chulalongkorn University Theses and Dissertations (Chula ETD)
Before cosmetic surgery procedures, the patients are commonly involved in the consultation process using interviews and reference images. The reference images typically consist of pre-post surgery images of other patients, leading to misunderstandings between patients and the surgeon. This thesis presents a fully automatic pipeline to simulate the whole face of post-surgery results. We first establish a 3D face registration and alignment based on the face surgery procedures of the current day and then generate the delta image. We proposed the delta image to solve the lack of dataset dilemma of the pre-post surgery face images. We also propose a …
Fully Automatic 3d Facial Cosmetic Surgery Simulation, Adawat Chanchua
Fully Automatic 3d Facial Cosmetic Surgery Simulation, Adawat Chanchua
Chulalongkorn University Theses and Dissertations (Chula ETD)
Before cosmetic surgery procedures, the patients are commonly involved in the consultation process using interviews and reference images. The reference images typically consist of pre-post surgery images of other patients, leading to misunderstandings between patients and the surgeon. This thesis presents a fully automatic pipeline to simulate the whole face of post-surgery results. We first establish a 3D face registration and alignment based on the face surgery procedures of the current day and then generate the delta image. We proposed the delta image to solve the lack of dataset dilemma of the pre-post surgery face images. We also propose a …
การทำนายแนวโน้มของตลาดหุ้นด้วยแบบจำลองการเรียนรู้เชิงลึกที่เพิ่มประสิทธิภาพร่วมกับข้อมูลเชิงตัวเลขและข้อมูลเชิงตัวอักษร, พิศุทธ อ่อนเจริญ
การทำนายแนวโน้มของตลาดหุ้นด้วยแบบจำลองการเรียนรู้เชิงลึกที่เพิ่มประสิทธิภาพร่วมกับข้อมูลเชิงตัวเลขและข้อมูลเชิงตัวอักษร, พิศุทธ อ่อนเจริญ
Chulalongkorn University Theses and Dissertations (Chula ETD)
การทำนายแนวโน้มของตลาดหุ้นเป็นสิ่งที่ยากเนื่องจากตลาดหุ้นมีความผันผวนสูงและได้รับอิทธิพลจากปัจจัยภายนอกอื่น ๆ ในปัจจุบันเริ่มมีการนำเทคนิคการเรียนรู้เชิงลึก (Deep Learning) มาใช้ในการทำนายแนวโน้มของตลาดหุ้น โดยที่ข้อมูลรับเข้าของแบบจำลองสามารถแบ่งออกได้เป็น 2 ประเภทคือ 1) ข้อมูลเชิงตัวเลข เช่น ราคาในอดีตและตัวชี้วัดทางเทคนิค และ 2) ข้อมูลเชิงตัวอักษร ซึ่งได้แก่หัวข้อข่าวและเนื้อข่าว เป็นต้น แต่อย่างไรก็ตามงานวิจัยส่วนใหญ่มักจะมุ่งเน้นไปที่สร้างแบบจำลองโดยใช้ข้อมูลประเภทใดประเภทหนึ่งเท่านั้น ในขณะที่นักลงทุนส่วนใหญ่ทำการวิเคราะห์พฤติกรรมของตลาดโดยพิจารณาจากข้อมูลหลากหลายประเภท งานวิจัยนี้ได้นำเสนอแบบจำลองการเรียนรู้เชิงลึกที่สามารถพิจารณาข้อมูลทั้งสองประเภทเพื่อทำนายแนวโน้มของตลาดหุ้น ซึ่งแบบจำลองนี้ประกอบไปด้วยนิวรอลเน็ตเวิร์กแบบคอนโวลูชัน (Convolutional Neural Network) และหน่วยความจำระยะสั้นแบบยาว (Long-Short Term Memory) โดยใช้ข้อมูลรับเข้าเป็นเหตุการณ์ฝังตัวซึ่งสกัดได้จากหัวข้อข่าว ราคาในอดีตและตัวชี้วัดทางเทคนิคซึ่งสร้างจากข้อมูลของราคาในอดีต รวมทั้งได้ทำการนำเสนอฟังก์ชันวัตถุประสงค์ชนิดใหม่ที่สามารถช่วยเพิ่มประสิทธิภาพในด้านผลตอบแทนเฉลี่ยต่อปีที่ได้จากการจำลองการซื้อขาย โดยการนำเอาค่าชาร์ปเรโชซึ่งเป็นตัวชี้วัดผลตอบแทนเมื่อเทียบกับความเสี่ยงมาใช้ร่วมกับค่าครอสเอนโทรปี
Robust Scale-Invariant Normalization And Similarity Measurement For Time Series Data, Ariyawat Chonbodeechalermroong
Robust Scale-Invariant Normalization And Similarity Measurement For Time Series Data, Ariyawat Chonbodeechalermroong
Chulalongkorn University Theses and Dissertations (Chula ETD)
Classification is one of the most prevalent tasks in time series mining. Dynamic Time Warping and Longest Common Subsequence are well-known and widely used algorithms to measure similarity between two time series sequences using non-linear alignment. However, these algorithms work best when the time series pair has similar amplitude scaling. Unfortunately, sensor data and most real-world time series data usually contain noise, missing values, outlier, and variability or scaling in both axes, which is not suitable for the widely used Z-normalization. This research introduces the Local Feature Normalization (LFN) and its Local Scaling Feature (LSF), which can be used to …
Factors Influencing Intention To Purchase Local Community Product On E-Commerce Website: Case Of One Tambon One Product (Otop) In Thailand, Krittika Akasarakul
Factors Influencing Intention To Purchase Local Community Product On E-Commerce Website: Case Of One Tambon One Product (Otop) In Thailand, Krittika Akasarakul
Chulalongkorn University Theses and Dissertations (Chula ETD)
In Thailand, ICT and e-Commerce are using for supporting rural community people refer to Thailand policy framework which has the policy to expand the market and create opportunities in business. However, these communities mostly do not have their website to sell their products. They still have to rely on a web portal. Therefore, having the rural community official website and e-Commerce would expect to gain more attention and would be advantages to the community. Thus, in this research, we would like to study factors influencing customer's purchasing intention through internet shopping of One Tambon One Product (OTOP), derived from the …
Rule-Based Recommendation Model For Selecting Classifiers In Weka Based On User Specifications, Hussein Ali Azeez
Rule-Based Recommendation Model For Selecting Classifiers In Weka Based On User Specifications, Hussein Ali Azeez
Chulalongkorn University Theses and Dissertations (Chula ETD)
Machine learning field has many different algorithms; selecting an algorithm for non-expert user and aiming for maximizing empirical performance could be a tough task. This thesis considers the problem of selecting an algorithm based on the user specifications, for instance, training speed, memory, and interpretation. Specifically, considers the classification problem in the range of 20 models (2 meta-methods, 18 based classifiers) arising from 10 different families (Bayesian, Decision trees, Rule-based methods, Nearest neighbor methods, Logistic, multinomial regression, Neural networks, Support vector machines, Boosting, Bagging, and other ensembles), all implemented in WEKA. Different characteristics have been gathered for each model such …
การอ่านเลขสายรถประจำทางจากภาพ, พิชชากร วงศ์ต๊ะ
การอ่านเลขสายรถประจำทางจากภาพ, พิชชากร วงศ์ต๊ะ
Chulalongkorn University Theses and Dissertations (Chula ETD)
จากข้อจำกัดในการเดินทางด้วยตนเองโดยใช้ระบบขนส่งสาธารณะของผู้พิการสายตาเลือนราง ที่มักมองเลขสายรถประจำทางไม่ชัดเจน จึงจำเป็นต้องอาศัยผู้ช่วยหรือสอบถามจากคนรอบข้าง จึงสร้างแรงบันดาลใจให้เกิดงานวิจัยชิ้นนี้ เพื่อช่วยให้ผู้พิการสายตาเลือนรางสามารถเดินทางโดยรถประจำทางได้อย่างอิสระยิ่งขึ้น งานวิจัยนี้นำเสนอระบบตรวจจับเลขสายรถประจำทางจากภาพ โดยใช้เทคนิคการเรียนรู้ของเครื่องที่สามารถเรียนรู้และสกัดคุณลักษณะจากชุดข้อมูลสอนได้ และใช้เทคนิคการประมวลผลภาพประกอบกับใช้ข้อมูลจีพีเอสของป้ายรถประจำทางที่มีข้อมูลบอกว่าป้ายรถประจำทางนั้นมีรถประจำทางสายใดผ่าน วิเคราะห์และประมวลผลจนได้เลขสายรถประจำทางออกมา โดยขั้นตอนของระบบตรวจจับเลขสายรถประจำทางจากภาพ ประกอบด้วย 4 ขั้นตอนหลัก คือ ขั้นตอนการตรวจจับบริเวณแผงด้านบนรถประจำทาง ขั้นตอนการตรวจหาบริเวณที่มีข้อความ ขั้นตอนการรู้จำข้อความ และขั้นตอนการประมวลผลหลังเพื่อปรับปรุงความแม่นยำ โดยขั้นตอนการตรวจจับบริเวณแผงด้านบนรถประจำทางจะใช้เทคนิคการเรียนรู้ของเครื่องวิธีการฟาสเตอร์อาร์ซีเอ็นเอ็น ในการเรียนรู้ตัวสกัดคุณลักษณะแผงด้านบนรถประจำทางจากชุดข้อมูลสอน และส่งต่อไปยังขั้นตอนการหาบริเวณที่มีข้อความโดยใช้เทคนิคการเรียนรู้ของเครื่องวิธีการฟาสเตอร์อาร์ซีเอ็นเอ็น จากนั้นนำเข้าสู่กระบวนการรู้จำข้อความกูเกิลคลาวด์วิชัน และตัวรู้จำข้อความวิธีหน่วยความจำระยะสั้นระยะยาว สุดท้ายนำผลลัพธ์ที่ได้เข้าสู่ขั้นตอนการประมวลผลหลังเพื่อปรับปรุงความแม่นยำ โดยทำการตัดตัวอักษรที่ไม่เกี่ยวข้อง และใช้ข้อมูลจีพีเอสป้ายรถประจำทาง ในการช่วยแก้ไขคำตอบที่ผิดจากวิธีรู้จำข้อความให้ถูกต้องมากขึ้น จากผลการทดลองในการอ่านสายรถประจำทางพบว่าสามารถอ่านเลขรถประจำทางได้ถูกต้อง 62 เปอร์เซ็นต์ โดยประเมินความถูกต้องจากจำนวนค่าความจริงของแผงรถประจำทาง และจำนวนเลขสายรถประจำทางที่อ่านได้ถูกต้องจากขั้นตอนวิธีที่นำเสนอ
แบบจำลองการสูญหายของการแพร่กระจายในมุมอับสายตาสำหรับมาตรฐานไอทริปเปิ้ลอี 802.11 พี, สัญชัย จักรธีรังกูร
แบบจำลองการสูญหายของการแพร่กระจายในมุมอับสายตาสำหรับมาตรฐานไอทริปเปิ้ลอี 802.11 พี, สัญชัย จักรธีรังกูร
Chulalongkorn University Theses and Dissertations (Chula ETD)
เครือข่ายแอดฮอกสำหรับยานพาหนะถูกสร้างขึ้นเพื่อเพิ่มคุณภาพการคมนาคมทางถนน ไอทริปเปิ้ลอี 802.11 พีเป็นมาตรฐานสำหรับการสื่อสารระหว่างยานพาหนะ ซึ่งจะทำให้เกิดแอพพลิเคชันของยานพาหนะที่เชื่อมต่อกัน หนึ่งในแอพพลิเคชันคือแอพพลิเคชันเพื่อความปลอดภัย ที่จะสามารถลดจำนวนอุบัติเหตุบนท้องถนน แต่อย่างไรก็ตามเมื่อการสื่อสารเกิดขึ้นที่บริเวณมุมอับสายตา ประสิทธิภาพของการสื่อสารอาจลดลงอย่างมีนัยสำคัญ ซึ่งจะนำมาซึ่งการลดลงของประสิทธิภาพของแอพพลิเคชัน หลังจากการสร้างแอพพลิเคชัน และโปรโตคอลแล้ว ประสิทธิภาพจะต้องถูกประเมินด้วย โปรแกรมจำลองเครือข่ายเป็นหนึ่งในวิธีสำหรับการประเมินประสิทธิภาพ แต่อย่างไรก็ตาม ยังไม่มีแบบจำลองการสูญหายของการแพร่กระจายที่สามารถแสดงคุณลักษณะของการสื่อสารที่บริเวณมุมอับสายตาได้ใกล้เคียงกับการทดลองจริง ดังนั้นในงานวิจัยนี้จึงเสนอแบบจำลองการสูญหายของการแพร่กระจายในมุมอับสายตาสำหรับมาตรฐานไอทริปเปิ้ลอี 802.11 พี ระยะทางที่สั้นที่สุดถูกใช้เป็นตัวประกอบหลักในแบบจำลอง นอกจากนั้น ยังมีตัวประกอบที่ใช้สำหรับปรับปริมาณการกีดขวางในแบบจำลองได้อีกด้วย การทดลองจริงจำนวนมากได้ทำขึ้นเพื่อประเมินแบบจำลอง ผลการทดลองแสดงว่าแบบจำลองที่เสนอสามารถแสดงคุณลักษณะของการสื่อสารในการทดลองจริงได้อย่างใกล้เคียง แบบจำลองสำหรับมุมอับสายตาสามารถนำไปใช้จำลองในโปรแกรมจำลองเครือข่ายได้อย่างสมจริง
การวิเคราะห์ผลกระทบอินสแตนซ์ฐานข้อมูลจากการเปลี่ยนแปลงข้อมูลนำเข้าของความต้องการเชิงฟังก์ชัน, กฤษฎา แก่นเฉลียว
การวิเคราะห์ผลกระทบอินสแตนซ์ฐานข้อมูลจากการเปลี่ยนแปลงข้อมูลนำเข้าของความต้องการเชิงฟังก์ชัน, กฤษฎา แก่นเฉลียว
Chulalongkorn University Theses and Dissertations (Chula ETD)
ความต้องการเชิงฟังก์ชันถูกนำมากำหนดฟังก์ชันการทำงานของซอฟต์แวร์ ซึ่งความต้องการดังกล่าวสามารถเกิดการเปลี่ยนแปลงได้ทุกช่วงของการพัฒนาซอฟต์แวร์ บางฟังก์ชันสัมพันธ์ฐานข้อมูล หากข้อมูลนำเข้าของฟังก์ชันเกิดการเปลี่ยนแปลงจะส่งผลกระทบไปยังสคีมาฐานข้อมูล เมื่อสคีมาฐานข้อมูลได้รับผลกระทบอาจจะเกิดผลกระทบกับอินสแตนซ์ฐานข้อมูลด้วย ในการทดสอบฟังก์ชันที่เกี่ยวข้องกับฐานข้อมูล กรณีทดสอบจะถูกสร้างขึ้นโดยมีรายการข้อมูลนำเข้าเป็นไปตามฟังก์ชัน และมีค่าข้อมูลทดสอบที่มาจากอินสแตนซ์ฐานข้อมูล และตารางการตามรอยจะถูกนำมาใช้เพื่อบอกความสัมพันธ์ระหว่างความต้องการเชิงฟังก์ชันกับกรณีทดสอบ ดังนั้นเมื่อเกิดการเปลี่ยนแปลงข้อมูลนำเข้าข้องความต้องการเชิงฟังก์ชัน จึงจำเป็นต้องวิเคราะห์ผลกระทบต่อสคีมาฐานข้อมูล อินสแตนซ์ฐานข้อมูล ความต้องการเชิงฟังก์ชัน กรณีทดสอบ และตารางการตามรอยความต้องการ วิทยานิพนธ์จึงเสนอวิธีการวิเคราะห์ผลกระทบต่อสคีมาฐานข้อมูล อินสแตนซ์ฐานข้อมูล ความต้องการเชิงฟังก์ชัน กรณีทดสอบ และตารางการตามรอยความต้องการที่เกิดจากการเปลี่ยนแปลงข้อมูลนำเข้าของความต้องการเชิงฟังก์ชัน 3 ประเภทคือ เพิ่ม ลบ แก้ไข โดยผู้วิจัยได้พัฒนาเครื่องมือสนับสนุนการวิเคราะห์ผลกระทบตามที่นำเสนอ โดยเครื่องมือมีความสามารถนำเข้าข้อมูลที่เกี่ยวข้องต่าง ๆ อีกทั้งผู้ใช้ยังสามารถร้องขอเปลี่ยนแปลงข้อมูลนำเข้าของความต้องการเชิงฟังก์ชัน ซึ่งเครื่องมือสามารถวิเคราะห์ผลกระทบที่เกิดขึ้นจากการเปลี่ยนแปลงดังกล่าวและสามารถปรับปรุงสิ่งที่กระทบได้อย่างอัตโนมัติ สุดท้ายเครื่องมือถูกนำไปทดสอบความถูกต้องกับกรณีศึกษาที่แบ่งการทดสอบออกเป็น 4 กรณี ซึ่งผลลัพธ์ที่ได้คือเครื่องมือสามารถวิเคราะห์ผลกระทบและปรับปรุงสิ่งที่ได้รับผลกระทบได้อย่างถูกต้อง
การแปลงไทมด์เพทริเน็ตให้เป็นอีเวนท์บีโดยอัตโนมัติสำหรับการทวนสอบเชิงรูปนัย, ชลิกา ศักดิ์สุภาวัฒนกุล
การแปลงไทมด์เพทริเน็ตให้เป็นอีเวนท์บีโดยอัตโนมัติสำหรับการทวนสอบเชิงรูปนัย, ชลิกา ศักดิ์สุภาวัฒนกุล
Chulalongkorn University Theses and Dissertations (Chula ETD)
โดยทั่วไปการออกแบบซอฟต์แวร์เป็นขั้นตอนที่สำคัญในกระบวนการพัฒนาซอฟต์แวร์ ความถูกต้องของพฤติกรรมของระบบซอฟต์แวร์แบบเรียลไทม์มีความสัมพันธ์กับเวลาของการทำงานของระบบ หากพบข้อผิดพลาดหลังจากการพัฒนาซอฟต์แวร์จะทำให้มีผลกระทบที่ต้องสูญเสียอย่างมาก จึงเป็นสิ่งสำคัญที่ต้องทำการทวนสอบแบบจำลองของการออกแบบ เพื่อหาจุดผิดพลาดก่อนที่จะลงเมื่อพัฒนาซอฟต์แวร์ วิทยานิพนธ์นี้จึงนำเสนอทางเลือกในการทวนสอบเชิงรูปนัยโดยใช้ไทมด์เพทริเน็ตในการสร้างแบบจำลองเชิงรูปนัย ซึ่งในปฏิบัติแล้วไทมด์เพทริเน็ตเป็นวิธีการเชิงรูปนัยที่ใช้สัญลักษณ์กราฟิกสำหรับจำลองโครงสร้างของระบบ ซึ่งทำให้สามารถเข้าใจพฤติกรรมของระบบได้ง่าย แต่ไทมด์เพทริเน็ตยังขาดการแสดงส่วนของข้อมูลที่ใช้ภายในระบบและยังไม่ได้มีการปรับแต่งใดๆ หากระบบมีขนาดใหญ่และมีความซับซ้อนมาก อาจจะเกิดปัญหาการระบบของสถานะได้ State explosion อีกทางเลือกของวิธีการเชิงรูปนัยพบว่าอีเวนท์บี เป็นวิธีการเชิงรูปนัยที่นิยมสำหรับการทวนสอบการทำงานของระบบโดยสนใจข้อมูลภายในระบบอีกทั้งสนับสนุนการปรับแต่งของระบบซอฟต์แวร์แบบเรียลไทม์ โดยใช้วิธีการพิสูจน์ทฤษฎีทางคณิตศาสตร์ ซึ่งจะทำให้ไม่เกิดปัญหาการระเบิดของสถานะในระหว่างการทวนสอบ อย่างไรก็ตามการเขียนอีเวนท์บีไม่ง่ายนักเนื่องจากต้องมีทักษะทางด้านคณิตศาสตร์สำหรับการเขียนอีเวนท์บีเพื่อทวนสอบระบบ งานวิทยานิพนธ์นี้จึงเสนอเครื่องมือการแปลงไทมด์เพทริเน็ตให้เป็นอีเวนท์บีโดยอัตโนมัติสำหรับการทวนสอบเชิงรูปนัย โดยสนใจแบบจำลองไทมด์เพทริเน็ตที่มีค่าน้ำหนักโทเค็นที่มีค่าเท่ากับ 1 เท่านั้น และกฎการแปลงส่วนประกอบไทมด์เพทริเน็ตให้เป็นอีเวนท์บีทั้งหมด 7 ข้อ ข้อมูลนำเข้าเครื่องมือการแปลงจะเป็นแบบจำลองไทมด์เพทริเน็ตที่อยู่ในรูปแบบแฟ้มเอกสารเอกซ์เอ็มแอล และเครื่องมือจะดำเนินการแปลงโดยใช้กฎการแปลงที่ได้นิยามขึ้นมา เพื่อแปลงแบบจำลองไทมด์เพทริเน็ตให้เป็นอีเวนท์บีได้โดยอัตโนมัติ เมื่อได้ผลลัพธ์การแปลงอีเวนท์บีเรียบร้อยแล้ว จะดำเนินการทวนสอบด้วยเครื่องมือโรดิน เพื่อตรวจสอบความถูกต้องของวิธีการแปลงโดยใช้เครื่องมือการแปลงและทวนสอบการทำงานของระบบ
การปรับปรุงแบบจำลองเสียงเพื่อเพิ่มความเป็นธรรมชาติของเสียงสังเคราะห์ภาษาไทย, ศุภเดช ฉันจรัสวิชัย
การปรับปรุงแบบจำลองเสียงเพื่อเพิ่มความเป็นธรรมชาติของเสียงสังเคราะห์ภาษาไทย, ศุภเดช ฉันจรัสวิชัย
Chulalongkorn University Theses and Dissertations (Chula ETD)
เสียงสังเคราะห์เป็นเทคโนโลยีทางเลือกสำหรับการรับรู้ข้อมูลประเภทข้อความ ความชัดเจน และความเป็นธรรมชาติของเสียงสังเคราะห์ส่งผลโดยตรงกับความเข้าใจของผู้ฟังที่มีต่อข้อมูลในสัญญาณเสียง ดังนั้นในงานวิจัยนี้จึงได้พัฒนาด้านความเป็นธรรมชาติ และความชัดเจนของเสียงสังเคราะห์ที่สร้างมาจากค่าพารามิเตอร์ของตัวเข้ารหัสเสียง STRAIGHT ซึ่งค่าพารามิเตอร์เหล่านั้นถูกสร้างขึ้นมาจากแบบจำลองฮิดเดนมาร์คอฟ และแบบจำลองโครงข่ายประสาทเทียมแบบลึก โดยการนำเสนอแนวคิด 3 แนวคิด ได้แก่ 1) แนวคิดการแยกกันของแบบจำลองคุณลักษณะความถี่มูลฐาน และค่าคุณลักษณะสเปกตรัม โดยทั้งสองแบบจำลองถูกฝึกฝนแยกกันเพื่อสร้างเป็นแบบจำลองฮิดเดนมาร์คอฟสำหรับสร้างค่าพารามิเตอร์ของตัวเข้ารหัสเสียง STRAIGHT ที่สอดคล้องกับแบบจำลองดังกล่าว ในวิทยานิพนธ์นี้ได้นำเสนอขั้นตอนวิธีในการปรับแนวเวลาของค่าพารามิเตอร์ที่สร้างขึ้นมาจากการใช้สองแบบจำลอง 2) เสนอการปรับเปลี่ยนค่าคุณลักษณะส่วนรับเข้าของโครงข่ายประสาทเทียมแบบลึกที่ถูกใช้ในการสร้างค่าพารามิเตอร์ของตัวเข้ารหัสเสียง STRAIGHT จากเดิมที่ใช้ค่าคุณลักษณะทางบริบท เป็นแบบจำลองฮิดเดนมาร์คอฟที่เป็นผลลัพธ์จากต้นไม้ตัดสินใจที่ใช้ในการจัดกลุ่มบริบท 3) นำเสนอวิธีการนอร์มัลไลเซชันค่าคุณลักษณะส่วนส่งออกของแบบจำลองโครงข่ายประสาทเทียมแบบลึก ที่ใช้ค่ากลาง และค่าความแปรปรวนจากแบบจำลองฮิดเดนมาร์คอฟที่เป็นผลลัพธ์จากต้นไม้ตัดสินใจ ในการทดสอบได้ทำการทดสอบ 2 รูปแบบ คือ 1) การทดสอบปรนัยที่ใช้ตัวชี้วัดค่าความเพี้ยนของเซปตรัลในระดับเมลของค่าสัมประสิทธิ์เมลเคปสตรัม (MGC_MCD) ค่าความเพี้ยนของเซปตรัลในระดับเมลของค่าแถบคลื่นความถี่ของความไม่เป็นคาบ (BAP_MCD) ความไม่สอดคล้องกันของสถานะความก้องของเสียง (LF0_UVU) และความผิดพลาดกำลังสองเฉลี่ยของค่าความถี่มูลฐาน (LF0_RMSE) 2) การทดสอบอัตนัยที่ใช้ผู้ทดสอบ 9 คน โดยวัดในด้านของความชัดเจน และความเป็นธรรมชาติของเสียงสังเคราะห์ ผลการทดสอบปรนัยการใช้แนวคิดที่ 2 และ 3 กับแบบจำลองโครงข่ายประสาทเทียมแบบลึก สามารถสังเคราะห์ค่าพารามิเตอร์ของตัวเข้ารหัสเสียง STRAIGHT ได้ใกล้เคียงกับเสียงต้นฉบับมากกว่าการใช้แนวคิดที่ 1 กับแบบจำลองฮิดเดนมาร์คอฟ และแบบจำลองดั้งเดิมทั้งในส่วนของแบบจำลองฮิดเดนมาร์คอฟ และแบบจำลองโครงข่ายประสาทเทียมแบบลึก สำหรับในการทดสอบอัตนัยพบว่าการใช้แนวคิดที่ 1 กับแบบจำลองฮิดเดนมาร์คอฟสามารถสังเคราะห์ค่าคุณลักษณะที่มีความเป็นธรรมชาติ และชัดเจนมากกว่าการใช้แนวคิดอื่น และแบบจำลองดั้งเดิมทั้งสองแบบจำลอง
New Location Recommendation Technique On Network, Sutarat Choenaksorn
New Location Recommendation Technique On Network, Sutarat Choenaksorn
Chulalongkorn University Theses and Dissertations (Chula ETD)
Nowadays, recommender systems play a crucial role in our daily life as can be seen from numerous websites that utilize the systems to recommend interesting items for their visitors, such as lonelyplanet.com, netfliex.com etc. From operational viewpoint, the recommender system is embedded in several domains by which it is categorized based on their usage. For example, lonelyplanet.com is categorized as a Location-Domain while netflex.com is in a Movie-Domain. In fact, the interesting attractions from traveling websites or movie selections from movie online sites are part of the recommendation outcome. To analyze the user's preferences, many methods have been widely used …
การลดมิติของข้อมูลอนุกรมเวลาโดยใช้การแทนข้อมูลบางส่วน, กึกก้อง ศิริสัมพันธ์
การลดมิติของข้อมูลอนุกรมเวลาโดยใช้การแทนข้อมูลบางส่วน, กึกก้อง ศิริสัมพันธ์
Chulalongkorn University Theses and Dissertations (Chula ETD)
ข้อมูลอนุกรมเวลานั้นกลายเป็นสิ่งหนึ่งที่ใช้กันอย่างแพร่หลายในงานเหมืองข้อมูล เนื่องจากข้อมูลอื่นที่ไม่ใช่ข้อมูลอนุกรมเวลาสามารถนำมาเปลี่ยนแปลงให้กลายเป็นข้อมูลอนุกรมเวลาได้ แต่เนื่องจากลักษณะโดยทั่วไปของอนุกรมเวลาที่มีจำนวนมิติที่มาก ส่งผลให้การทำงานที่เกี่ยวข้องกับข้อมูลอนุกรมเวลาจะใช้เวลามากเช่นเดียวกัน โดยมีหลายงานวิจัยที่พยายามลดจำนวนมิติข้อมูลลงเพื่อลดเวลาในการทำงานกับข้อมูลอนุกรมเวลา แต่เนื่องจากวิธีการหลายวิธีการยังคงต้องอาศัยการเรียนรู้พารามิเตอร์อยู่ทำให้เสียเวลาในการเรียนรู้พารามิเตอร์ที่ค่อนข้างมาก วิทยานิพนธ์นี้เสนอการลดมิติข้อมูลให้เหลือน้อยที่สุดและเท่ากันสำหรับทุกข้อมูล ซึ่งจะใช้ข้อมูลเพียงบางส่วนจากอนุกรมเวลาเดิมเพื่อลดเวลาในการทำงาน โดยผลการทดลองพบว่าวิธีการที่นำเสนอทำงานได้รวดเร็วกว่างานวิจัยอื่นที่นำมาเปรียบเทียบ โดยยังคงความแม่นยำในการจำแนกประเภทข้อมูลไว้ได้
การแปลงแผนภาพยูเอ็มแอลสเตทแมชชีนเป็นภาษาโพรเมลา, ปาณิสรา ดำจันทร์
การแปลงแผนภาพยูเอ็มแอลสเตทแมชชีนเป็นภาษาโพรเมลา, ปาณิสรา ดำจันทร์
Chulalongkorn University Theses and Dissertations (Chula ETD)
การทำการทวนสอบเชิงรูปนัยโดยใช้วิธีการโมเดลเช็คกิงโดยเครื่องมือสปินนั้นต้องอาศัยแบบจำลองที่เป็นภาษาโพรเมลาซึ่งการทวนสอบเชิงรูปนัยนั้นสามารถทำได้ตั้งแต่ระยะต้นของกระบวนการพัฒนาซอฟต์แวร์โดยเฉพาะขั้นตอนการออกแบบ ปัจจุบันการออกแบบระบบได้มีการนำแผนภาพยูเอ็มแอลมาใช้โดยเฉพาะแผนภาพสเตทแมชชีนที่ช่วยอธิบายพฤติกรรมแบบพลวัตของระบบซอฟต์แวร์ วิทยานิพนธ์นี้จึงนำเสนอเครื่องมือในการแปลงแผนภาพสเตทแมชชีนที่มีการเขียนโอซีแอลไปเป็นภาษาโพรเมลา เพื่อเป็นทางเลือกหนึ่งสำหรับผู้ที่ต้องการทำการทวนสอบด้วยวิธีโมเดลเช็คกิงโดยเครื่องมือสปิน โดยวิทยานิพนธ์นี้สนใจสัญลักษณ์พื้นฐานของแผนภาพสเตทแมชชีน 5 สัญลักษณ์ด้วยกันคือ สัญลักษณ์เริ่มต้น สัญลักษณ์สิ้นสุด สัญลักษณ์สถานะ สัญลักษณ์ทางเลือก และสัญลักษณ์การเปลี่ยนสถานะ และมีแม่แบบในการแปลง 6 แม่แบบ สำหรับแปลงแผนภาพสเตทแมชชีนเป็นภาษาโพรเมลา ทั้งนี้เครื่องมือสามารถแปลงแผนภาพสเตทแมชชีนที่มีการเขียนโอซีแอลบนแผนภาพ สเตทแมชชีนไปเป็นภาษาโพรเมลาได้ โดยเครื่องมือจะรับแผนภาพสเตทแมชชีนที่อยู่ในรูปแบบแฟ้มเอกสารเอกซ์เอ็มแอลเป็นข้อมูลนำเข้าในการแปลงและข้อมูลนำออกเป็นภาษาโพรเมลา
จุดพร้อมโยงที่ปลอดภัยด้วยการพิสูจน์ตัวจริงแบบหลายปัจจัยผ่านเอ็นเอฟซีบนสมาร์ตโฟน, วิภพ โพธิ์มาก
จุดพร้อมโยงที่ปลอดภัยด้วยการพิสูจน์ตัวจริงแบบหลายปัจจัยผ่านเอ็นเอฟซีบนสมาร์ตโฟน, วิภพ โพธิ์มาก
Chulalongkorn University Theses and Dissertations (Chula ETD)
ปัจจุบัน เทคโนโลยีเครือข่ายแบบไร้สายเป็นองค์ประกอบสำคัญของธุรกิจ สถานที่ทำงานบางแห่งมีนโยบายให้พนักงานนำอุปกรณ์ที่เป็นของตนเองเพื่อเข้าถึงสารสนเทศและใช้งานแอปพลิเคชันต่างๆของบริษัท หลายองค์กรได้จัดเตรียมระบบเครือข่ายไร้สายภายในองค์กร เพื่อสนับสนุนการเชื่อมต่อให้กับอุปกรณ์ขนาดเล็กและความสะดวกในการจัดการ อย่างไรก็ตาม ความปลอดภัยของเครือข่ายองค์กรจำเป็นต้องมีการจำกัดสิทธิ์ที่เข้มงวด เนื่องจากข้อมูลสำคัญจำนวนมากจะถูกถ่ายโอนผ่านเครือข่ายไร้สาย ดังนั้น การพิสูจน์ตัวจริงถูกมองว่าเป็นหน้าด่านแรกของการป้องกันการเข้าถึงที่ไม่มีสิทธิซึ่งสามารถลดภัยคุกคามต่อเครือข่ายไร้สายได้ WPA2 Enterprise กับมาตรฐาน 802.1X มักถูกนำมาใช้เพื่อจัดการขั้นตอนพิสูจน์ตัวจริงบนเครือข่ายด้วยกรอบงาน EAP โดยเฉพาะกรอบงานประเภท EAP-TLS ที่ใช้ใบรับรองในการพิสูจน์ตัวจริงร่วมกัน ซึ่งให้ความปลอดภัยสูงแต่การใช้งานจริงมีความยุ่งยาก เนื่องจากการจัดการใบรับรองลูกข่าย ด้วยเหตุนี้ การจัดการข้อมูลใบรับรองสำหรับผู้ใช้ทั้งหมดจึงเป็นเรื่องยุ่งยากต่อผู้ดูแลระบบ และผู้ใช้มักจะประสบกับกระบวนการพิสูจน์ตัวจริงที่ซับซ้อน เช่น การติดตั้งใบรับรอง การกำหนดการตั้งค่าเครือข่าย เป็นต้น เพื่อลดภาระในการจัดการใบรับรองของผู้ดูแลระบบ และเพื่อสนับสนุนนโยบายความปลอดภัยเครือข่ายไร้สายระดับสูง งานวิจัยนี้จึงนำเสนอแนวทางการพิสูจน์ตัวจริงกับจุดพร้อมโยงเครือข่ายไร้สายในองค์กรด้วยการใช้เทคโนโลยีเอ็นเอฟซีร่วมกับการพิสูจน์ตัวจริงแบบหลายปัจจัย สำหรับแลกเปลี่ยนข้อมูลใบรับรองและข้อมูลการตั้งค่าเครือข่าย ระบบถูกพัฒนาบนสมาร์ตโฟนแอนดรอยด์ที่สนับสนุนเอ็นเอฟซีโดยใช้งานร่วมกับสถาปัตยกรรมเครือข่ายไร้สายจำลองที่ใช้การตรวจสอบสิทธิ์แบบ WPA2-802.1X กับ EAP-TLS ทั้งนี้ แนวทางที่นำเสนอได้ถูกประเมินด้วย ตัววัดเวลาใช้งานจริงในการติดต่อเข้าถึงเครือข่ายไร้สาย และแบบสอบถามการประเมินประสบการณ์การใช้งานจากผู้ใช้
Using Sound To Describe Scenes With Still And Moving Obstacles, Kawin Metsiritrakul
Using Sound To Describe Scenes With Still And Moving Obstacles, Kawin Metsiritrakul
Chulalongkorn University Theses and Dissertations (Chula ETD)
The information human get from sight and hearing sense are similar. With these correlations, there are many works that take this idea to describe the spatial information with sound. The previous works only described the nearest obstacle with the direction and distance information to sound. To let the user clearly understand the spatial information in the scene, we aim to develop the describing solution from spatial information to auditory information including direction, distance, boundary and speed info with the multiple obstacle descriptions. The participants took the experiment by controlling the character and avoiding the obstacles in the different scenarios to …
Developing An Area Classification System From Mobile Phone Usage Data, Naruethai Thongphasook
Developing An Area Classification System From Mobile Phone Usage Data, Naruethai Thongphasook
Chulalongkorn University Theses and Dissertations (Chula ETD)
Since human activities are vary by time and place, there have been many attempts to extract social behavior in spatial studies which included area use in the city. This information helps gaining advantages in city and facilities planning. Nowadays, many people carry mobile phone with them for communication purpose. This motivates us to analyze mobile phone usage in different area types. This thesis proposes method of an analysis for area use classification from mobile phone usage pattern. CDR data was used to define mobile phone usage pattern by hour from 1:00 to 24:00 and day of week from Monday to …
Automatic 3d Hair Model From Small Set Of Images, Nuttapon Vanakittistien
Automatic 3d Hair Model From Small Set Of Images, Nuttapon Vanakittistien
Chulalongkorn University Theses and Dissertations (Chula ETD)
We present a system for creating hair model that matches a user's hairstyle from images. The model consists of guide hair strands and can be used in a real-time hair simulator. Our goal differs from most previous work which aims to create realistic high resolution hair for off-line applications or create mesh of the exterior of the hair volume for image manipulation. Our primary aim is for user to be able to put his/her hairstyle into game or other real-time applications. By taking photos in 8 views of the user's head using a smart phone camera and segmenting images with …
Random Field Optimization Using Local Label Hierarchy, Sangsan Leelhapantu
Random Field Optimization Using Local Label Hierarchy, Sangsan Leelhapantu
Chulalongkorn University Theses and Dissertations (Chula ETD)
Random field formulation has proven to be a powerful framework for solving various computer vision tasks, specifically those involving assigning labels to image pixels or superpixels subjected to spatial relationships and visual contexts, due to the ability to intuitively incorporate global and local information. Unfortunately, solving these problems can be impractical when large number of variables and possible labels are present as the computational complexity grows fast with the problem size. In this thesis, we propose a speedup scheme for random field optimization using local label hierarchy. We focus on problems in which the label space has a natural ordering …
Efficient And Robust Grasp Planning Based On Independent Contact Region And Caging, Teesit Makapunyo
Efficient And Robust Grasp Planning Based On Independent Contact Region And Caging, Teesit Makapunyo
Chulalongkorn University Theses and Dissertations (Chula ETD)
A conventional way to find a proper grasp to grab and hold any object is to measure its stability which usually is based on physical constraint called force-closure. This execution works well from the theoretical point of view but often fails on an actual robot due to many reasons such as intrinsic errors in robot's system and a disparity between real and simulated physics. Several research works introduced methods to alleviate those issues and increase the success rate of grasping for a real robot. Caging and Independent Contact Region are ones of them. In this work, we investigate a method …