Computer Sciences Commons^™

ระบบสังเคราะห์เสียงร้องเพลงภาษาไทยโดยใช้แบบจำลองฮิดเดนมาร์คอฟ, ลัทธพล จีระประดิษฐ

Chulalongkorn University Theses and Dissertations (Chula ETD)

การร้องเพลงในแต่ละภาษานั้นมีเอกลักษณ์เฉพาะตัวบางอย่างซึ่งส่งผลให้การพัฒนาความเป็นธรรมชาติของเสียงร้องเพลงสังเคราะห์ในแต่ละภาษานั้นมีความท้าทายแตกต่างกัน เสียงวรรณยุกต์เป็นส่วนที่มีผลมากกับการสื่อสารในภาษาที่มีเสียงวรรณยุกต์ แต่ระบบสังเคราะห์เสียงร้องเพลงในปัจจุบันไม่ได้คำนึงถึงเสียงวรรณยุกต์ นอกจากนี้เมลิสมาเป็นอีกสถานการณ์หนึ่งที่พบได้บ่อยครั้งในการร้องเพลงป็อปไทยซึ่งต้องมีการจัดการเพื่อจำลองการร้องเมลิสมา เป้าหมายของวิทยานิพนธ์นี้จึงมุ่งเน้นที่การปรับระบบสังเคราะห์เสียงร้องเพลงให้รองรับการจำลองเสียงในสถานการณ์เมลิสมาและผลกระทบของเสียงวรรณยุกต์ งานวิทยานิพนธ์นี้เสนอ 1) ปัจจัยบริบทที่ใช้ในระบบสังเคราะห์เสียงร้องเพลงสำหรับภาษาที่วรรณยุกต์มีผลต่อเสียงร้องเพลงและคำนึงถึงเมลิสมา 2) วิธีการทำสำเนารูปเขียน จากการประเมินผลพบว่า วิธีการทำสำเนารูปเขียนที่เสนอทั้งสองแบบนั้นส่งผลให้ระบบสังเคราะห์เสียงร้องเพลงรองรับเมลิสมา โดยวิธีการทำสำเนารูปเขียนที่คำนึงถึงสระเสียงสั้น-ยาวและตัวสะกดนั้นมีรูปคลื่นของเสียงร้องเพลงสังเคราะห์ใกล้เคียงกับรูปคลื่นของเสียงร้องเพลงจริงมากกว่า รวมถึงมีความเป็นธรรมชาติมากกว่าโดยใช้มาตรวัดเอ็มโอเอส อีกทั้งเมื่อมีปัจจัยบริบทที่เกี่ยวข้องกับเสียงวรรณยุกต์ เค้ารูปของความถี่มูลฐานที่สังเคราะห์ได้นั้นมีความใกล้เคียงเสียงร้องเพลงจริงมากกว่าในระบบที่ไม่มีปัจจัยบริบทที่เกี่ยวข้องกับเสียงวรรณยุกต์ และมีความเป็นธรรมชาติมากขึ้นโดยใช้มาตรวัดเอ็มโอเอส นอกจากนี้เพื่อเพิ่มความเป็นธรรมชาติให้เสียงร้องเพลงสังเคราะห์จึงมีการทดลองเกี่ยวกับจำนวนสถานะของแบบจำลองเสียงพบว่า เมื่อจำนวนสถานะเพิ่มขึ้น ความเป็นธรรมชาติของเสียงร้องเพลงสังเคราะห์ก็มากขึ้น แต่เมื่อถึงจุดหนึ่งเสียงร้องเพลงสังเคราะห์ที่ได้จะมีความเป็นธรรมชาติลดลง

ระบบการสื่อสารแบบดีซิงโครไนเซชั่นสาหรับขบวนยานพาหนะขับเคลื่อนอัตโนมัติ, วิศทัศน์ ดียิ่ง

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)

การจัดเก็บความต้องการ ถือเป็นขั้นตอนสำคัญในวิศวกรรมซอฟต์แวร์ หากจัดเก็บความต้องการไม่ครบถ้วน จะสามารถเกิดการเปลี่ยนแปลงความต้องการเชิงฟังก์ชันได้ตลอดเวลา ดังนั้นการเปลี่ยนแปลงจึงควรอยู่ภายใต้การควบคุมของผู้บริหารโครงการ เพื่ออนุมัติการเปลี่ยนแปลงที่เกิดขึ้นก่อนเสมอ ความต้องการเชิงฟังก์ชันประกอบไปด้วยข้อมูลนำเข้าและข้อมูลนำออก ซึ่งอาจจะมีความสัมพันธ์กับสคีมาฐานข้อมูลหรือไม่มีความสัมพันธ์กับสคีมาฐานข้อมูล หากเกิด การเปลี่ยนแปลงอาจจะส่งผลกระทบกับกรณีทดสอบ หรือสคีมาฐานข้อมูล ดังนั้นจึงจำเป็นต้องทำการจัดเก็บข้อมูลการเปลี่ยนแปลงและควบคุมเวอร์ชัน ซึ่งการจัดเก็บเวอร์ชันทำให้สามารถย้อนกลับเวอร์ชันที่ต้องการได้วิทยานิพนธ์เล่มนี้นำเสนอการวิเคราะห์และควบคุมเวอร์ชันของการเปลี่ยนแปลงข้อมูลนำเข้าและข้อมูลนำออกของต้องการเชิงฟังก์ชัน ผู้วิจัยได้พัฒนาเครื่องมือสนับสนุนการวิเคราะห์และควบคุมเวอร์ชันตามที่นำเสนอ โดยเครื่องมือมีความสามารถนำเข้าข้อมูลที่เกี่ยวข้องต่าง ๆ อีกทั้งสามารถจัดการการร้องขอเปลี่ยนแปลงข้อมูลของความต้องการเชิงฟังก์ชันจากผู้ใช้ วิเคราะห์และควบคุมเวอร์ชันของข้อมูลที่ถูกเปลี่ยนแปลง โดยมีการตรวจสอบสิทธิ์ในการเปลี่ยนแปลงข้อมูลนำเข้าและข้อมูลนำออกของความต้องการเชิงฟังก์ชัน และสามารถย้อนกลับความต้องการเชิงฟังก์ชันได้ สุดท้ายเครื่องมือถูกนำไปทดสอบความถูกต้องกับกรณีศึกษาทั้งหมด 3 กรณีศึกษา ซึ่งผลลัพธ์ที่ได้คือเครื่องมือสามารถวิเคราะห์ผลกระทบและควบคุมเวอร์ชันได้อย่างถูกต้อง

การสกัดตัวยืนยงชนิดข้อมูลจากโพรเมลา, วิสุทธิ์ สุขศรีบางเตย

Chulalongkorn University Theses and Dissertations (Chula ETD)

ตัวยืนยงชนิดข้อมูลเป็นข้อมูลคงที่ซึ่งจะมีค่าคงอยู่ตลอดการทำงานของโปรแกรม ซึ่งอยู่ในรูปของตัวแปรหรือเงื่อนไข ที่อยู่ในความต้องการที่ได้กำหนดไว้แสดงด้วยสูตรแอลทีแอล ซึ่งระบุความถูกต้องของการทำงานของโปรแกรมที่เกิดขึ้นในปัจจุบัน โปรแกรมซอฟต์แวร์จำนวนมากในปัจจุบันมุ่งเน้นเรื่องการปรับปรุงคุณภาพซอฟต์แวร์ ซึ่งการทวนสอบโปรแกรมซอฟต์แวร์ก็เป็นสิ่งสำคัญสำหรับองค์กร เนื่องจากการทวนสอบนั้นเป็นหนึ่งในวิธีที่ใช้ในการตรวจสอบความถูกต้องของอัลกอริทึมภายใต้การทำงานของซอฟต์แวร์ ในทางปฏิบัตินั้นการเขียนสูตรแอลทีแอลด้วยตนเองนั้นเป็นสิ่งที่ยาก และมีความซับซ้อนสำหรับโค้ดโปรแกรม โพรเมลาแตกต่างจากภาษาอื่นๆ เพราะโพรเมลาสนับสนุนโปรแกรมที่มีการทำงานหลายอย่างพร้อมกัน บางครั้งก็จะมีการทำงานที่สอดแทรกหรือคาบเกี่ยวกัน ซึ่งในการทำงานหลายอย่างพร้อมๆกัน ส่งผลให้กระทบกับตัวแปรหรือฟังก์ชันอื่นๆ ซึ่งอาจก่อให้เกิดข้อผิดพลาด ทำให้โปรแกรมทำงานได้ไม่ถูกต้อง และคนทั่วไปมักไม่ค่อยตระหนักถึงการทวนสอบความถูกต้องของค่าที่ใช้ในโปรแกรม งานวิจัยนี้จึงได้นำเสนอวิธีการแบ่งส่วนของข้อมูล เพื่อสร้างตัวยืนยงชนิดข้อมูลจากโพรเมลา โดยอยู่ในรูปของสูตรแอลทีแอลขึ้นมาช่วยในการตรวจสอบความถูกต้องในการทำงานของโปรแกรม

การเปรียบเทียบแผนภาพลำดับยูเอ็มแอลเพื่อตามรอยการเปลี่ยนเเปลงข้อกำหนดทางเทคนิค, สุพัตรา อินศรี

Chulalongkorn University Theses and Dissertations (Chula ETD)

แผนภาพลำดับมักนิยมใช้เพื่อจำลองปฏิสัมพันธ์ระหว่างวัตถุของคลาสภายในระบบสารสนเทศ งานวิจัยนี้นำเสนอวิธีการเเละได้พัฒนาเครื่องมือสำหรับเปรียบเทียบแผนภาพลำดับยูเอ็มแอล เพื่ออำนวยความสะดวกการตามรอยการเปลี่ยนแปลงข้อกำหนดทางเทคนิค โดยบันทึกการเปลี่ยนแปลงจะถูกสร้างขึ้นเพื่อรายงานส่วนต่าง ๆ ที่ได้รับผลกระทบทั้งหมด นอกจากนี้ ระบบยังสามารถสร้างกราฟการตามรอยที่สัมพันธ์กับแผนภาพลำดับเวอร์ชันใหม่เพื่อแสดงความขึ้นต่อกันที่เป็นปัจจุบันระหว่างส่วนประกอบต่าง ๆ แนวทางระบบอัตโนมัติที่นำเสนอจะเป็นประโยชน์ต่อการปรับปรุงกระบวนการซอฟต์แวร์ในด้านการวิเคราะห์ผลกระทบของการเปลี่ยนเเปลง รวมทั้งการได้ผลลัพธ์ที่สร้างขึ้นอย่างรวดเร็วจากระบบที่พัฒนาขึ้น จากเดิมที่เป็นงานเอกสารน่าเบื่อหน่ายเเละลดแนวโน้มความผิดพลาดของการทำงาน

การแปลงไทม์เพทริเน็ตเป็นโพรเมลา, อรสุธี ชัยชมภู

Chulalongkorn University Theses and Dissertations (Chula ETD)

วิทยานิพนธ์นี้เสนอวิธีการแปลงไทม์เพทริเน็ตเป็นโพรเมลา เพื่อตรวจสอบคุณสมบัติ พฤติกรรมของไทม์เพทริเนตที่เป็นระบบเวลา โดยคุณสมบัติที่ตรวจสอบมีคุณสมบัติเชิงคุณภาพ และคุณสมบัติเชิงปริมาณ ประการแรกการสร้างกฎการแปลงไทม์เพทริเน็ตเป็นโพรเมลา นำส่วนประกอบของไทม์ เพทริเน็ต ตัวแปรเวลา พฤติกรรมของเวลา พฤติกรรมการเคลื่อนที่โทเค็น และโครงสร้างเนต มาสร้างกฎสี่กฎ ได้แก่ กฎกำหนดชื่อตัวแปรโพรเมลา กฎกำหนดการเปลี่ยนแปลงเวลา กฎการ เคลื่อนที่โทเค็น และกฎโครงสร้างเน็ต ตามลำดับ เมื่อได้กฎการแปลงไทม์เพทริเน็ตเป็นโพรเมลา แล้ว จะได้โพราเมลา 4 ส่วน จากนั้นรวมโพรเมลาทั้งหมดจึงได้โพรเมลาของไทม์เพทริ เน็ต ประการที่สองเครื่องมือสนับสนุนการแปลงไทม์เพทริเน็ตเป็นโพรเมลานั้น เนื่องจากไทม์เพทริเน็ตเป็นสัญลักษณ์เชิงรูปภาพ ดังนั้นเปลี่ยนสัญลักษณ์เชิงรูปภาพเป็นข้อมูลตัวอักษรที่เรียกว่าพี เอ็นเอ็มแอล แต่พีเอ็นเอ็มแอลมาตรฐานไม่รองกับไทม์เพทริเน็ต ฉะนั้นวิทยานิพนธ์นี้เสนอพี เอ็นเอ็มสำหรับไทม์เพทริเน็ตด้วย เพื่อทำให้พีเอ็นเอ็มแอลเป็นข้อมูลนำเข้าของเครื่องมือสนับสนุน การแปลงไทม์เพทริเน็ตเป็นโพรเมลา เมื่อนำข้อมูลนำเข้าพีเอ็นเอ็มแอลเข้าเครื่องมือสนับสนุนการ แปลงแล้วจะได้โพรเมลาของไทม์เพทริเน็ตมา ประการที่สามคุณสมบัติที่ตรวจสอบมีคุณสมบัติเชิง คุณภาพและคุณสมบัติเชิงปริมาณ โดยการตรวจสอบนำโพรเมลาของไทม์เพทริเน็ตและแอลทีแอล ไปตรวจสอบด้วยเครื่องมือสปิน ได้ผลลัพธ์การตรวจสอบที่ผลลัพธ์การตรวจสอบที่ผ่านและผลลัพธ์ การตรวจสอบที่ไม่ผ่านอันเป็นไปตามผลลัพธ์ที่คาดหวัง

Extraction Of Fiber Morphology From Sem Images For Quality Control Of Fiber Reinforced Composites Manufacturing, Md Fashiar Rahman

Open Access Theses & Dissertations

The morphology of fibers (e.g. spatial uniformity, orientation, and length) plays a decisive role in determining the material properties or fabrication quality of fiber-reinforced nanocomposites. Hence, determining the morphology becomes a very critical issue in the field of nanocomposite quality control. The conventional way of quality inspection is to take the scanning electron microscopic (SEM) images of the cross-section of composite material and do the visual checking of these SEM images to evaluate the nanofiber alignment and length distribution. But this type of inspection is often subjective, inaccurate and time consuming. Moreover, the extremely small size of nanofibers makes the …

Design Of Revising Proximity Between Space And Time Cues On Flight Deck Displays To Support Nextgen – The First Phase, Chang-Geun Oh, Jennie J. Gallimore, Pamela S. Tsang

International Journal of Aviation, Aeronautics, and Aerospace

The objective of this study is to develop and evaluate novel display formats to support RTA operations for near to midterm NextGen. Traditional cockpit displays separate space and time information in distant display sources in heterogeneous formats (graphics vs. text). This design composition may cause potential pilot errors when required time of arrival (RTA) obligations are imposed at every waypoint in NextGen. Pilots were randomly assigned to four different display conditions in a simulator – one traditional display with distant space and time cues, and three novel displays with close spatial proximity between the two cues. In the first phase …

Design Of Revising Proximity Between Space And Time Cues On Flight Deck Displays To Support Nextgen – The Second Phase, Chang-Geun Oh, Jennie J. Gallimore, Pamela S. Tsang

International Journal of Aviation, Aeronautics, and Aerospace

The prior first phase of this study investigated the effectiveness of new design of flight deck display for required time of arrival operation of NextGen by collecting objective query response data during autopilot flights and subjective data about the perception between display condition and situation awareness level. To evaluate pilots’ mental workload during the operations when they interacted with novel flight deck display design, this second phase provided pilots with simulation flight tasks arriving at four successive waypoints on time in the same display conditions as the first phase and asked them to rate their mental workload ratings. The workload …

If I Had A Million Cryptos: Cryptowallet Application Analysis And A Trojan Proof-Of-Concept, Trevor Haigh, Frank Breitinger, Ibrahim Baggili

Electrical & Computer Engineering and Computer Science Faculty Publications

Cryptocurrencies have gained wide adoption by enthusiasts and investors. In this work, we examine seven different Android cryptowallet applications for forensic artifacts, but we also assess their security against tampering and reverse engineering. Some of the biggest benefits of cryptocurrency is its security and relative anonymity. For this reason it is vital that wallet applications share the same properties. Our work, however, indicates that this is not the case. Five of the seven applications we tested do not implement basic security measures against reverse engineering. Three of the applications stored sensitive information, like wallet private keys, insecurely and one was …

แบบจำลองทำนายผลคำตัดสินและประเด็นในคดีอาญาที่เรียนรู้จากคำพิพากษาศาลฎีกาไทย โดยใช้เทคนิคการเรียนรู้เชิงลึก, กานกวิญจน์ โค้วสีหวัฒน์

Chulalongkorn University Theses and Dissertations (Chula ETD)

การทำนายผลคำตัดสินในคดีอาญาด้วยแบบจำลองการเรียนรู้ของเครื่องได้รับความสนใจมากขึ้นในช่วงเวลาที่ผ่านมา อย่างไรก็ดี เทคนิคที่ใช้ในแบบจำลองดังกล่าวมักใช้ตัวแทนข้อความที่มีที่มาจากแบบจำลองถุงคำ ซึ่งไม่สนใจลำดับของข้อความทำให้สูญเสียบริบทของข้อความ และผลลัพธ์การทำนายมีความแม่นยำลดลง ดังนั้น วิทยานิพนธ์ฉบับนี้จึงเสนอแบบจำลองทำนายผลคำตัดสินและประเด็นในคดีอาญาซึ่งเรียนรู้จากคำพิพากษาศาลฎีกาไทยโดยใช้เทคนิคการเรียนรู้เชิงลึกผ่านชุดโครงข่ายประสาทเทียม แบบจำลองนี้สร้างตัวแทนข้อความด้วยโครงข่ายประตูวกกลับสองทิศทางร่วมด้วยกลไกจุดสนใจ ก่อนนำตัวแทนข้อความนั้นไปทำนายผลคำตัดสินและประเด็นในคดีอาญาด้วยโครงข่ายประสาทเทียมแบบโมดูลซึ่งจำลองโครงสร้างความรับผิดทางอาญาตามทฤษฎีกฎหมายอาญา ผลการทดลองแสดงให้เห็นว่าแบบจำลองให้ประสิทธิภาพสูงกว่าแบบจำลองที่ใช้เทคนิคการเรียนรู้ของเครื่องเดิมอย่างเนอีฟเบยส์และเอสวีเอ็ม เมื่อพิจารณาจากค่า F1 นอกจากนี้ แบบจำลองยังให้ประสิทธิภาพสูงในการทำนายประเด็นในคดีอาญาบางประเด็นซึ่งมีผลต่อการทำนายผลคำตัดสินในคดีอาญาด้วย นอกจากนั้น ผลการทดลองสะท้อนให้เห็นว่า การใช้โครงข่ายประตูวกกลับสองทิศทางร่วมด้วยกลไกจุดสนใจสามารถสร้างตัวแทนข้อความที่ดีกว่าแบบจำลองดั้งเดิมที่มีลักษณะเดียวกันกับถุงคำ ตลอดจนโครงข่ายประสาทเทียมแบบโมดูลสามารถจำลองโครงสร้างความรับผิดทางอาญาได้

Consuming Digital Debris In The Plasticene, Stephen R. Parks

Theses and Dissertations

Claims of customization and control by socio-technical industries are altering the role of consumer and producer. These narratives are often misleading attempts to engage consumers with new forms of technology. By addressing capitalist intent, material, and the reproduction limits of 3-D printed objects’, I observe the aspirational promise of becoming a producer of my own belongings through new networks of production. I am interested in gaining a better understanding of the data consumed that perpetuates hyper-consumptive tendencies for new technological apparatuses. My role as a designer focuses on the resolution of not only the surface of the object through 3-D …

Automated Optical Mark Recognition Scoring System For Multiple-Choice Questions, Murtadha Alomran

Theses: Doctorates and Masters

Multiple-choice questions are one of the questions commonly used in assessments. It is widely used because this type of examination can be an effective and reliable way to examine the level of student’s knowledge. So far, this type of examination can either be marked by hand or with specialised answer sheets and scanning equipment. There are specialised answer sheets and scanning equipment to mark multiple-choice questions automatically. However, these are expensive, specialised and restrictive answer sheets and optical mark recognition scanners.

This research aims to design and implement a multiple-choice answer sheet and a reliable image processing-based scoring system that …

Next Generation Wireless Communication Networks: Energy And Quality Of Service Considerations, Md Munjure Mowla

Theses: Doctorates and Masters

The rapid growth in global mobile phone users has resulted in an ever-increasing demand for bandwidth and enhanced quality-of-service (QoS). Several consortia comprising major international mobile operators, infrastructure manufacturers, and academic institutions are working to develop the next generation wireless communication systems fifth generation (5G) - to support high data rates and increased QoS. 5G systems are also expected to represent a greener alternative for communication systems, which is important because power consumption from the information and communication technology (ICT) sector is forecast to increase significantly by 2030. The deployment of ultra-dense heterogeneous small cell networks (SCNs) is expected to …

Interoperable Ocean Observing Using Archetypes: A Use-Case Based Evaluation, Paul Stacey, Damon Berry

Conference papers

This paper presents a use-case based evaluation of the impact of two-level modeling on the automatic federation of ocean observational data. The goal of the work is to increase the interoperability and data quality of aggregated ocean observations to support convenient discovery and consumption by applications. An assessment of the interoperability of served data flows from publicly available ocean observing spatial data infrastructures was performed. Barriers to consumption of existing standards-compliant ocean-observing data streams were examined, including the impact of adherence to agreed data standards. Historical data flows were mapped to a set of archetypes and a backward integration experiment …

Crop Height Estimation With Unmanned Aerial Vehicles, Carrick Detweiler, David Anthony, Sebastian Elbaum

School of Computing: Faculty Publications

An unmanned aerial vehicle (UAV) can be configured for crop height estimation. In some examples, the UAV includes an aerial propulsion system, a laser scanner configured to face downwards while the UAV is in flight, and a control system. The laser scanner is configured to scan through a two-dimensional scan angle and is characterized by a maxi mum range. The control system causes the UAV to fly over an agricultural field and maintain, using the aerial propulsion system and the laser scanner, a distance between the UAV and a top of crops in the agricultural field to within a programmed …

Dynamic Output Feedback Invariants Of Full Relative Degree Nonlinear Siso Systems, W. Steven Gray, Luis A. Duffaut Espinosa

Electrical & Computer Engineering Faculty Publications

The goal of this paper is to explicitly describe invariants of a plant described by a Chen--Fliess series under a class of dynamic output feedback laws using earlier work by the authors on feedback transformation groups. The main result requires the rather strong assumption that the plant has a generating series with both finite Lie rank and full relative degree. In which case, there is no loss of generality in working with state space realizations of the plant. An additional genericness assumption regarding the normal form of the plant is also required, but as shown by the examples, this condition …

Deep Recurrent Learning For Efficient Image Recognition Using Small Data, Mahbubul Alam

Electrical & Computer Engineering Theses & Dissertations

Recognition is fundamental yet open and challenging problem in computer vision. Recognition involves the detection and interpretation of complex shapes of objects or persons from previous encounters or knowledge. Biological systems are considered as the most powerful, robust and generalized recognition models. The recent success of learning based mathematical models known as artificial neural networks, especially deep neural networks, have propelled researchers to utilize such architectures for developing bio-inspired computational recognition models. However, the computational complexity of these models increases proportionally to the challenges posed by the recognition problem, and more importantly, these models require a large amount of data …

Containment Control Of Heterogeneous Systems With Non-Autonomous Leaders: A Distributed Optimal Model Reference Approach, Yongliang Yang, Shusen Cheng, Yixin Yin, Donald C. Wunsch

Electrical and Computer Engineering Faculty Research & Creative Works

This paper presents a distributed optimal model reference adaptive control approach for solving containment control of heterogeneous multi-agent systems (MASs) with non-autonomous leaders. First, a fully distributed adaptive observer is designed to provide for each agent the desired reference trajectory by estimating the convex hull spanned by leaders. The distributed observer dynamics serves as a reference model for each follower to synchronize. The global communication graph information or the leader dynamics is not required to design the observer. In contrast to existing model reference adaptive controllers (MRAC) for single-agent systems and containment control solutions for MASs, the proposed MRAC approach …

Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophy is a new branch of philosophy which studies the origin, nature and scope of neutralities. This has formed the basis for a series of mathematical theories that generalize the classical and fuzzy theories such as the neutrosophic sets and the neutrosophic logic. In the paper, the fundamental concepts related to neutrosophy and its antecedents are presented. Additionally, fundamental concepts of artificial intelligence will be defined and how neutrosophy has come to strengthen this discipline.

Collaborative Fall Detection Using Smartphone And Kinect, Xue Li, Lanshun Nie, Hanchuan Xu, Xianzhi Wang

Research Collection School Of Computing and Information Systems

Humanfall detection has attracted broad attentions as sensors and mobile devices are increasingly adopted in real-life scenarios such as smart homes. The complexity of activities in home environments pose severe challenges to the fall detection research with respect to the detection accuracy. We propose a collaborative detection platform that combines two subsystems: a threshold-based fall detection subsystem using mobile phones and a support vector machine (SVM)-based fall detection subsystem using Kinects. Both subsystems have their respective confidence models and the platform detects falls by fusing the data of both subsystems using two methods: the logical rules-based and D-S evidence fusion …

Integrated Reward Scheme And Surge Pricing In A Ride Sourcing Market, Hai Yang, Chaoyi Shao, Hai Wang, Jieping Ye

Research Collection School Of Computing and Information Systems

Surge pricing is commonly used in on-demand ride-sourcing platforms (e.g., Uber, Lyft and Didi) to dynamically balance demand and supply. However, since the price for ride service cannot be unlimited, there is usually a reasonable or legitimate range of prices in practice. Such a constrained surge pricing strategy fails to balance demand and supply in certain cases, e.g., even adopting the maximum allowed price cannot reduce the demand to an affordable level during peak hours. In addition, the practice of surge pricing is controversial and has stimulated long debate regarding its pros and cons. In this paper, to address the …

Precise Energy Efficient Scheduling Of Mixed-Criticality Tasks & Sustainable Mixed-Criticality Scheduling, Sai Sruti

Masters Theses

"In this thesis, the imprecise mixed-criticality model (IMC) is extended to precise scheduling of tasks, and integrated with the dynamic voltage and frequency scaling (DVFS) technique to enable energy minimization. The challenge in precise scheduling of MC systems is to simultaneously guarantee the timing correctness for all tasks, hi and lo, under both pessimistic and optimistic (less pessimistic) assumptions. To the best of knowledge this is the first work to address the integration of DVFS energy conserving techniques with precise scheduling of lo-tasks of the MC model.

In this thesis, the utilization based schedulability tests and sufficient conditions for such …

Mitigation Of Environmental Hazards Of Sulfide Mineral Flotation With An Insight Into Froth Stability And Flotation Performance, Muhammad Badar Hayat

Doctoral Dissertations

"Today's major challenges facing the flotation of sulfide minerals involve constant variability in the ore composition; environmental concerns; water scarcity and inefficient plant performance. The present work addresses these challenges faced by the flotation process of complex sulfide ore of Mississippi Valley type with an insight into the froth stability and the flotation performance. The first project in this study was aimed at finding the optimum conditions for the bulk flotation of galena (PbS) and chalcopyrite (CuFeS₂) through Response Surface Methodology (RSM). In the second project, an attempt was made to replace toxic sodium cyanide (NaCN) with the biodegradable chitosan …

Resource Optimization In Wireless Sensor Networks For An Improved Field Coverage And Cooperative Target Tracking, Husam Sweidan

Dissertations, Master's Theses and Master's Reports

There are various challenges that face a wireless sensor network (WSN) that mainly originate from the limited resources a sensor node usually has. A sensor node often relies on a battery as a power supply which, due to its limited capacity, tends to shorten the life-time of the node and the network as a whole. Other challenges arise from the limited capabilities of the sensors/actuators a node is equipped with, leading to complication like a poor coverage of the event, or limited mobility in the environment. This dissertation deals with the coverage problem as well as the limited power and …