Digital Commons Network^™

Soil Hydraulic Property Estimation Under Major Land-Uses In The Shawnee Hills, Trinity Joseph Baker

Theses and Dissertations--Plant and Soil Sciences

The ability to map soil moisture is becoming more important with changing climates and modeling these effects depends on reliable estimations of hydrologic soil properties under different land managements. This study: 1) tests the application of existing soil hydraulic property estimation methods against in-situ values of six catenas under two covers (forest and grass); 2) validate Random Forest Algorithm (RF) estimates informed from the six catenas on two separate catenas; 3) identify Rapid Carbon Assessment (RaCA) sites within the Shawnee Hills Region that represent different land-uses (Crop, Conservation Reserve Program (CRP), Forest, and Pasture); 4) apply RF learning tree informed …

Evaluating Soil Physical And Chemical Properties Following Addition Of Non-Composted Spent Coffee And Tea For Athletic Fields, Shuang Zhou

Theses and Dissertations--Plant and Soil Sciences

Physical and chemical properties of non-composted spent coffee (CF) and tea (T) suggest they may have applications as soil amendments for improving poor soils. Studies were conducted to determine 1) the effect of amendments on grass growth and soil properties, 2) the effect of incorporation versus surface application of amendments on soil properties, and 3) the effect of amendment application frequency on grass growth and soil properties. In the first study, amendments were mixed with sand and planted to bermudagrass. Treatments included CF, T, and peat moss (PM) mixed with sand, and 100% sand as a control. In the second …

Evaluating Loss To Follow-Up In Newborn Hearing Screening In A Southern State, Elizabeth L. Crouch, Janice Probst, Kevin J. Bennett, Tara Carroll

Faculty Publications

Objective: The aim of this study was to examine loss to follow-up (LTFU) for diagnostic or early intervention (EI) services for South Carolina infants screened or diagnosed with hearing loss, and the risk factors associated with LTFU.

Design: A cross sectional analysis of data from South Carolina was used to examine LTFU for the use of audiologic evaluation services after initial newborn hearing screening and receipt of EI services after confirmation of hearing loss.

Results: Three percent (3.1%) of newborns screened in the state of South Carolina did not pass their hearing screening in 2013. Nearly half (49.1%) of those …

Online Teacher Professional Development For Gifted Education: Examining The Impact Of A New Pedagogical Model, Matthew J. Edinger

School of Professional and Continuing Studies Faculty Publications

This paper theoretically develops and examines the outcomes of a pilot study that evaluates the PACKaGE Model of online Teacher Professional Development (the Model). The Model was created to facilitate positive pedagogical change within gifted education teachers’ practice, attitude, collaboration, content knowledge, and goal effectiveness. Kirkpatrick and Kirkpatrick’s (2006) model of training evaluation suggests that trainees should evaluate the training for satisfaction at the time the training is completed, as well as six months after, to evaluate for behavior change. Applying Kirkpatrick and Kirkpatrick’s (2006) model, findings indicate that teachers were immediately satisfied with the Model’s effectiveness, adequacy and overall …

Human-Intelligence/Machine-Intelligence Decision Governance: An Analysis From Ontological Point Of View, Faisal Mahmud, Teddy Steven Cotter

Engineering Management & Systems Engineering Faculty Publications

The increasing CPU power and memory capacity of computers, and now computing appliances, in the 21st century has allowed accelerated integration of artificial intelligence (AI) into organizational processes and everyday life. Artificial intelligence can now be found in a wide range of organizational processes including medical diagnosis, automated stock trading, integrated robotic production systems, telecommunications routing systems, and automobile fuzzy logic controllers. Self-driving automobiles are just the latest extension of AI. This thrust of AI into organizations and everyday life rests on the AI community’s unstated assumption that “…every aspect of human learning and intelligence could be so precisely described …

Contributions Of Nanoscale Roughness To Anomalous Colloid Retention And Stability Behavior, Scott A. Bradford, Hyunjung Kim, Chongyang Shen, Salini Sasidharan, Jianying Shang

United States Department of Agriculture-Agricultural Research Service / University of Nebraska-Lincoln: Faculty Publications

All natural surfaces exhibit nanoscale roughness (NR) and chemical heterogeneity (CH) to some extent. Expressions were developed to determine the mean interaction energy between a colloid and a solid−water interface, as well as for colloid−colloid interactions, when both surfaces contain binary NR and CH. The influence of heterogeneity type, roughness parameters, solution ionic strength (IS), mean zeta potential, and colloid size on predicted interaction energy profiles was then investigated. The role of CH was enhanced on smooth surfaces with larger amounts of CH, especially for smaller colloids and higher IS. However, predicted interaction energy profiles were mainly dominated by NR, …

Extreme Weather, Biotechnology, And Corn Productivity, Jonathan R. Mcfadden, John A. Miranowski

United States Department of Agriculture-Agricultural Research Service / University of Nebraska-Lincoln: Faculty Publications

U.S. agriculture has made impressive strides over the past 50 years in crop yield and input productivity growth, especially since the advent of genetically modified crops in 1996. However, future growth rates could decline if U.S. agriculture does not sufficiently adapt to climate change. We examine the magnitudes of weather impacts on U.S. corn yields during 1960–2011—with a focus on intense precipitation and nitrogen use efficiency—and use the empirical results to forecast yields for the subsequent 20 years (2012-2031). We improve upon past methodologies by employing dynamic Bayesian regressions. These dynamic models permit rapid updating of new information, consistent with …

Behavioral Responses Of Male Diaphorina Citri (Hemiptera: Liviidae) To Mating Communication Signals From Vibration Traps In Citrus (Sapindales: Rutaceae) Trees, E. Hartman, B. Rohde, S. Lujo, M. Dixon, S. Mcneill, R. W. Mankin

United States Department of Agriculture-Agricultural Research Service / University of Nebraska-Lincoln: Faculty Publications

The Asian citrus psyllid, Diaphorina citri Kuwayama (Hemiptera: Liviidae), vectors the bacterium causing citrus greening disease, which has devastated citrus production worldwide wherever it has been introduced. To help monitor and target D. citri populations in commercial groves, thereby facilitating more effective management of citrus greening disease, a prototype device has been developed that mimics D. citri female vibrational communication signals, attracting males to a trap. For this report, effects of the device on male D. citri searching behavior were assessed to consider potential improvements in field applications. Forty-five percent of the males that searched towards the female signal mimic …

Impacts Of Effective Temperature On Sectional View Drawing Ability And Implications For Engineering And Technology Education Students, Petros J. Katsioloudis

STEMPS Faculty Publications

Temperature can influence thermal comfort, working performance, and social behavior. In a classroom that is slightly cool, an assumption can be made that learning could be affected in a negative way. Considering this, a quasi-experimental study was done to determine if a significant difference of effective temperature have an effect on students’: a) spatial visualization ability, as measured by the MCT and b) ability to sketch a sectional view drawing. While not statistically significant, the students who received treatment using warm water outperformed their peers who received treatment using cold and hot water temperatures, respectively.

Establishing A Virtual Makerspace For An Online Graduate Course: A Design Case, Kevin M. Oliver, Robert L. Moore, Michael A. Evans

STEMPS Faculty Publications

This design case discusses key steps taken to establish a virtual makerspace for students enrolled in an online graduate course on informal learning. Two key design decisions are elaborated around (a) the selection of appropriate projects and packaged materials that distance education students can receive by mail to participate in making, and (b) the choice of an online platform for distance education students to document their design processes for assessment purposes and peer interaction and learning. This design case is relevant to a variety of online communities who may wish to engage in maker activities as well as isolated face-to-face …

Integrating Remote Sensing, Gis And Dynamic Models For Landscape-Level Simulation Of Forest Insect Disturbance, Lu Liang, Xuecao Li, Yanbo Huang, Yuchu Qin, Huabing Huang

United States Department of Agriculture-Agricultural Research Service / University of Nebraska-Lincoln: Faculty Publications

Cellular automata (CA) is a powerful tool for modeling the evolution of macroscopic scale phenomena as it couples time, space, and variables together while remaining in a simplified form. However, such application has remained challenging in forest insect epidemics due to the highly dynamic nature of insect behavior. Recent advances in temporal trajectory-based image analysis offer an alternative way to obtain high-frequency model calibration data. In this study, we propose an insect-CA modeling framework that integrates cellular automata, remote sensing, and Geographic Information System to understand the insect ecological processes, and tested it with measured data of mountain pine beetle …

Pursuing The "Half Empty Question": Biology Undergraduates' Differential Engagement In A Brief Relevance Writing Intervention, Ting Dai, Avi Kaplan, Ying Wang, Jennifer G. Cromley, Tony Perez, Kyle R. Mara, Michael Balsai

STEMPS Faculty Publications

Whereas relevance-writing interventions have shown effects on students’ achievement, a persistent finding is that interventions benefit students with low, but not high, outcome expectancies—a phenomenon that Schwartz et al. (2016) termed the half empty question. In the current mixed-methods study, we investigated the role of undergraduate students’ patterns of engagement in a relevance-writing intervention and their relations to biology course achievement. Ninety-six students who were administered four relevance writing assignments were found to manifest two patterns: Students who completed at least 50% of the intervention in a timely manner outperformed those who completed less-then-50% or completed it late, regardless of …

Spectrum 2017, Saint Mary's College Of California

The Undergraduate Spectrum

No abstract provided.

Measuring And Modeling Nmr And Emission Spectra To Gain New Insight Into Challenging Organic Compounds, Jacob Powell

Electronic Theses and Dissertations

The advancement of theoretical methods in recent years has allowed the calculation of highly accurate spectroscopic parameters. Comparing these values to the corresponding experimental data can allow molecular structures to be elucidated. This dissertation details the use of experimental and theoretical data from nuclear magnetic resonance (NMR) and fluorescence spectroscopy to determine structure. Herein the NMR focus is on measuring & modeling chemical shift anisotropy and one-bond carbon-carbon J-coupling constants (1JCC). The fluorescence analysis models vibrationally resolved fluorescence spectra. Chemical shift anisotropy techniques were used to study two conflicting crystal structures of the n-alkyl fatty acid, lauric acid. These two …

Dimensionality Analysis Of The Pals Classroom Goal Orientation Scales, Angela K. Tombari

Theses and Dissertations--Educational, School, and Counseling Psychology

Achievement goal theory is one of the most broadly accepted theoretical paradigms in educational psychology with over 35 years of influencing research and educational practice. The longstanding use of this construct has led to two consequences of importance for this research: 1) many different dimensionality representations have been debated, and 2) methods used to confirm dimensionality of the scales have been supplanted from best practice. A further issue is that goal orientations are used to inform classroom practice, whereas most measurement studies focus on the structure of the personal goal orientation scales rather than the classroom level structure. This study …

Resources, Race And Rights: A Case Study Of Native Title And The Adani Carmichael Coal Mine, Kate Arnautovic

Theses : Honours

This thesis examines the extent to which state institutions and government have taken into account Indigenous rights and interests during the approval process for a large mining development. This case study focuses on the various phases of approval for the proposed Adani Carmichael Coal Mine, a significant development that has challenged the native title system in Australia. It assesses the extent to which the rights and interests of the Wangan and Jagalingou people, the traditional owners that possess a native title claim over the region, have been upheld by the National Native Title Tribunal and the State and Federal Government. …

Ammonium Removal And Biomass Production By Unicellular Cyanobacterium Synechococcus Sp., Piroonporn Srimongkol

Chulalongkorn University Theses and Dissertations (Chula ETD)

Using microalgae as a biofuel feedstock has played more attention over a decade. The cultivation of microalgae requires high water use and high initial investment that can make the process still not economically appealing. This study attempted to examine the potential for using brackish shrimp aquaculture effluents as culture medium for algal biomass production. To investigate whether algae could be used to remove ammonium from brackish shrimp aquaculture wastewater, marine cyanobacterium, Synechococcus sp. was cultured in BG-11 medium supplemented with Turks Island salt solution and different concentrations of NH4Cl (10-40 mg N L-1) for 18 days. The results showed that, …

การพัฒนาตัวบ่งชี้ผู้บริหารสถานศึกษาในศตวรรษที่ 21, อัศวิน เสนีชัย

Chulalongkorn University Theses and Dissertations (Chula ETD)

การวิจัยครั้งนี้มีวัตถุประสงค์เพื่อ 1) พัฒนาตัวบ่งชี้ผู้บริหารสถานศึกษาในศตวรรษที่ 21 2) ทดสอบความสอดคล้องของโมเดลการวัดผู้บริหารสถานศึกษาในศตวรรษที่ 21 ที่สร้างและพัฒนาขึ้นกับข้อมูลเชิงประจักษ์ 3) เพื่อตรวจสอบความไม่แปรเปลี่ยนของโมเดลการวัดความเป็นผู้บริหารสถานศึกษาในเขตและนอกเขตกรุงเทพมหานคร 4) เพื่อกำหนดแนวทางการพัฒนาในการเป็นผู้บริหารสถานศึกษาในศตวรรษที่ 21 ตัวอย่างที่ใช้ในการวิจัยในครั้งนี้คือผู้บริหารสถานศึกษาจากทั่วประเทศจำนวน 783 คน ได้มาจากการสุ่มตัวอย่างแบบหลายขั้นตอน การวิเคราะห์ข้อมูลใช้สถิติบรรยาย ด้วยโปรแกรม SPSS และ การวิเคราะห์องค์ประกอบเชิงยืนยันอันดับสองด้วยโปรแกรม Lisrel ผลการวิจัยสรุปได้ด้งนี้ 1. โมเดลการวัดผู้บริหารสถานศึกษาในศตวรรษที่ 21 ประกอบด้วย 4 องค์ประกอบหลัก 13 ตัวบ่งชี้ ได้แก่ 1) องค์ประกอบภาวะผู้นำใหม่ ประกอบด้วย 3 ตัวบ่งชี้ คือ มีพลังความคิด พลังขับเคลื่อน การสร้างสรรค์และผลิตภาพ และบทบาทเชิงรุกในสถานการณ์ที่ไม่แน่นอน 2) องค์ประกอบการบริหารเชิงกลยุทธ์ ประกอบด้วย 4 ตัวบ่งชี้ คือ ผลการปฏิบัติงานที่โดดเด่น การสร้างทางเลือกเชิงกลยุทธ์ การตัดสินใจภายใต้สภาวการณ์ที่ผันผวน และ การสร้างเครือข่ายความร่วมมือ 3) องค์ประกอบการบริหารเชิงวิชาการ ประกอบด้วย 3 ตัวบ่งชี้ คือ การสร้างครูต้นแบบ การสร้างนวัตกรรมและการวิจัย และการพัฒนาสารสนเทศทางการเรียนรู้ 4) องค์ประกอบคุณธรรมจริยธรรม ประกอบด้วย 3 ตัวบ่งชี้ คือ ความเมตตากรุณา ความยุติธรรม และความซื่อสัตย์สุจริต 2. โมเดลการวัดผู้บริหารสถานศึกษาในศตวรรษที่ 21 ที่พัฒนาขึ้นมีความสอดคล้องกับข้อมูลเชิงประจักษ์ ( ꭓ² =32.99 , df =26 , p= .16 , และ RMSEA = 0.02) 3. โมเดลการวัดผู้บริหารสถานศึกษาในศตวรรษที่ 21 มีความไม่แปรเปลี่ยนของรูปแบบโมเดล ( ꭓ² = 66.49, df = …

การอ่านเลขสายรถประจำทางจากภาพ, พิชชากร วงศ์ต๊ะ

Chulalongkorn University Theses and Dissertations (Chula ETD)

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

แบบจำลองการสูญหายของการแพร่กระจายในมุมอับสายตาสำหรับมาตรฐานไอทริปเปิ้ลอี 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 กับแบบจำลองฮิดเดนมาร์คอฟสามารถสังเคราะห์ค่าคุณลักษณะที่มีความเป็นธรรมชาติ และชัดเจนมากกว่าการใช้แนวคิดอื่น และแบบจำลองดั้งเดิมทั้งสองแบบจำลอง

การเปรียบเทียบตัวแบบอนุกรมเวลาแบบผสมสำหรับการพยากรณ์ข้อมูลอนุกรมเวลาที่มีปัจจัยเชิงฤดูกาล, อนุธิดา อนันต์ทรัพย์สุข

Chulalongkorn University Theses and Dissertations (Chula ETD)

งานวิจัยนี้เป็นการศึกษาเปรียบเทียบความแม่นยำของค่าพยากรณ์ที่ได้จาก 3 ตัวแบบ คือ ตัวแบบ ARIMA ที่มีฤดูกาล(SARIMA), ตัวแบบผสมระหว่างตัวแบบ ARIMA ที่มีฤดูกาลกับตัวแบบโครงข่ายประสาทเทียม(SARIMA-ANN) และตัวแบบผสมระหว่างตัวแบบ ARIMA ที่มีฤดูกาลกับตัวแบบซัพพอร์ทเวกเตอร์แมชชีน(SARIMA-SVM) โดยทำการศึกษาเปรียบเทียบทั้งในส่วนของข้อมูลจริงและข้อมูลจำลอง ในส่วนของข้อมูลจริงนั้นได้มีการนำราคาขายปลีกมะนาวเบอร์ 1-2 (หน่วยเป็นบาท/ผล) จากกรมการค้าภายใน กระทรวงพาณิชย์ ซึ่งเป็นราคาผลผลิตทางการเกษตรซึ่งอยู่ในรูปแบบอนุกรมเวลาที่มีปัจจัยเชิงฤดูกาลมาทำการเปรียบเทียบ โดยใช้เกณฑ์รากของค่าคลาดเคลื่อนกำลังสองเฉลี่ย(Root Mean Square Error : RMSE) เป็นเกณฑ์ในการเปรียบเทียบตัวแบบ ผลการศึกษาพบว่าตัวแบบผสมระหว่างตัวแบบ SARIMA กับตัวแบบโครงข่ายประสาทเทียม(SARIMA-ANN) และตัวแบบผสมระหว่างตัวแบบ SARIMA กับตัวแบบซัพพอร์ทเวกเตอร์แมชชีน(SARIMA-SVM) ให้ผลการพยากรณ์ที่แม่นยำกว่าตัวแบบ SARIMA ทั้งในชุดข้อมูลจริง และชุดข้อมูลจำลอง และสำหรับการพยากรณ์ด้วยชุดข้อมูลจริงราคาขายปลีกมะนาวที่มีลักษณะอนุกรมเวลาที่มีปัจจัยเชิงฤดูกาลสอดคล้องกับตัวแบบ ARIMA(1,1,2)x(0,1,1)12 ตัวแบบผสมระหว่าง ARIMA(1,1,2)x(0,1,1)12 กับตัวแบบโครงข่ายประสาทเทียมให้ค่าพยากรณ์ที่แม่นยำที่สุด รองลงมาคือตัวแบบผสมระหว่าง ARIMA(1,1,2)x(0,1,1)12 กับตัวแบบซัพพอร์ทเวกเตอร์แมชชีน และตัวแบบ ARIMA(1,1,2)x(0,1,1)12 มีความแม่นยำในการพยากรณ์ต่ำที่สุด ซึ่งให้ผลสอดคล้องกับผลการพยากรณ์ด้วยชุดข้อมูลจำลอง

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)

งานวิจัยนี้มีจุดประสงค์เพื่อศึกษาการขจัดสีย้อมรีแอคทีฟเรด 120 ในน้ำ โดยการดูดซับบนตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน และเปรียบเทียบกับตัวดูดซับไคโตซาน ซึ่งการทดลองนี้จะศึกษาการดูดซับแบบกะ โดยตัวแปร ที่ศึกษาในการทดลอง คือ ปริมาณตัวดูดซับ ความเข้มข้นเริ่มต้นของสารละลายสีย้อม ค่าความเป็นกรดด่าง โดยเวลาที่ใช้ในการดูดซับ ตั้งแต่ 15 นาทีถึง 420 นาที จากการวิเคราะห์คุณลักษณะของตัวดูดซับโดยใช้ใช้เทคนิคฟูเรียร์ทรานส์ฟอร์มอินฟราเรดสเปกโทรสโกปี (FTIR) พบว่าตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซานจะมีลักษณะสเปกตรัมเฉพาะที่สะท้อนถึงตัวดูดซับไคโตซานและตัวดูดซับแร่ดินอย่างชัดเจน เมื่อพิจารณาพื้นที่ผิวการดูดซับโดยใช้เทคนิคการดูดซับ/การคายซับไนโตรเจน พบว่าแนวโนมของการเพิ่มสัดส่วนของแร่ดินจะช่วยเพิ่มพื้นที่ผิวให้กับตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน ส่งผลให้ตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน มีพื้นที่ผิวที่สูงกว่าตัวดูดซับไคโตซาน เนื่องจากไคโตซานเข้าไปแทรกในโครงสร้างของแร่ดิน สามารถอธิบายด้วยเทคนิคเอกซเรย์ฟลูออเรสเซนต์ (XRF) ทำให้โครงสร้างของแร่ดินเกิดการขยายขนาดขึ้น สำหรับผลจากการศึกษาตัวแปรต่างๆ พบว่า ตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน มีประสิทธิภาพในการกำจัดสีย้อมได้ดีกว่าตัวดูดซับไคโตซานและตัวดูดซับแร่ดิน ถึง 1.17 เท่า และ 1.88 เท่า ตามลำดับ การเพิ่มปริมาณตัวดูดซับจะช่วยลดระยะเวลาในการดูดซับให้เร็วยิ่งขึ้น สำหรับตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน พบว่าสามารถกำจัดสีย้อมได้หมดสมบูรณ์ทุกความเข้มข้น และสามารถกำจัดสีย้อมได้ดีสำหรับทุกช่วงของค่าความเป็นกรดด่างที่ได้ศึกษาในงานวิจัย แบบจำลองสมดุลการดูดซับของตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน สอดคล้องกับแบบจำลองการดูดซับของโกเบิลคอร์ริแกน จลนพลศาสตร์การดูดซับของตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน มีอัตราเร็วของปฏิกิริยาการดูดซับสารละลายสีย้อมเป็นปฏิกิริยาอันดับสองเทียม นอกจากนี้ยังพบว่ากลไกในการควบคุมขั้นตอนการดูดซับคือ ขั้นตอนการของการแพร่ผ่านชั้นฟิล์ม และขั้นตอนของการแพร่ภายในรูพรุน สำหรับการศึกษาอุณหพลศาสตร์ของการดูดซับพบว่าตัวดูดซับคอมพอสิตแร่ดิน-ไคโตซาน สามารถเกิดขึ้นได้เองและเกิดขึ้นได้ดีที่อุณหภูมิสูง

การพัฒนาแบบจำลองเพื่อประเมินปริมาณการชะล้างตะกอนบริเวณลุ่มน้ำแม่สรวย (ตอนบน) จังหวัดเชียงราย, กัมปนาท ศิริเรือง

Chulalongkorn University Theses and Dissertations (Chula ETD)

งานวิจัยนี้มีวัตถุประสงค์เพื่อสร้างแบบจำลองทางคณิตศาสตร์เพื่อคาดการณ์ปริมาณการชะล้างพังทลายของหน้าดินในลุ่มน้ำแม่สรวยตอนบน จังหวัดเชียงราย ผู้วิจัยสร้างแบบจำลองโดยยึดแนวทางจากแบบจำลอง Daily Base- Morgan-Morgan Finney (DMMF) ในการอธิบายลักษณะของปริมาณน้ำท่า และแบบจำลอง Revised Morgan-Morgan Finney (RMMF) ในการจำลองปริมาณการชะล้างของตะกอน แบบจำลองสร้างขึ้นด้วยโปรแกรม PCRaster ซึ่งสามารถประมวลผลข้อมูลเชิงพลวัติ ในรูปแบบราสเตอร์ ผู้วิจัยใช้ข้อมูลปริมาณน้ำไหลในลำน้ำและปริมาณตะกอนแขวนลอยที่จุดออกของลุ่มน้ำในการปรับเทียบค่าพารามิเตอร์ที่เหมาะสมและประเมินประสิทธิภาพของแบบจำลองในการคาดการณ์ด้วยดัชนี Nash-Sutcliffe Efficiency (NSE) ผลการศึกษาพบว่าแบบจำลองมีความถูกต้องในการคาดการณ์ปริมาณน้ำท่าในเกณฑ์ที่ยอมรับได้ด้วยค่า NSE เท่ากับ 0.37 และ 0.46 ในปี 2558 และ 2559 ตามลำดับ และคาดการณ์ปริมาณตะกอนมีความถูกต้องในระดับต่ำ (ค่า NSE เท่ากับ 0.12 และ 0.26 ในปี 2558 และ 2559 ตามลำดับ) แบบจำลองมีประสิทธิภาพในการคาดการณ์สูงในกรณีที่มีน้ำท่าและตะกอนในลำน้ำในปริมาณที่ไม่มากนัก หากเป็นช่วงที่มีน้ำท่าและปริมาณตะกอนเกิดขึ้นจำนวนมาก แบบจำลองคาดการณ์ปริมาณน้ำท่าและตะกอนต่ำกว่าความเป็นจริงมาก การคาดการณ์ปริมาณตะกอนในลำน้ำมีความผิดพลาดมากกว่าปริมาณน้ำท่า การวิเคราะห์รูปแบบทางพื้นที่และความรุนแรงของการชะล้างตะกอน พบว่าพื้นที่ส่วนใหญ่มีความรุนแรงจากการชะล้างตะกอนในระดับต่ำ (0-2 ตัน/ไร่/ฤดูฝน) เนื่องจากพื้นที่ศึกษาส่วนเป็นพื้นที่ป่าผลัดใบ มีการเกิดน้ำไหลบ่าหน้าดินไม่มากนักจึงทำให้เกิดการชะล้างหน้าดินในปริมาณไม่มากนัก ในขณะที่พื้นที่เพาะปลูกพืชไร่และไร่หมุนเวียน มีความรุนแรงของการชะล้างตะกอนในระดับสูง (มากกว่า 20 ตัน/ไร่/ฤดูฝน) นอกจากนี้ผู้วิจัยยังพบว่าในบริเวณที่มีลักษณะเป็นพื้นที่รับน้ำขนาดใหญ่และมีความลาดชันสูง หรือเป็นพื้นที่ที่มีดัชนีกำลังไหลลำธาร (stream power index) สูง จะทำให้มีการชะล้างของตะกอนหน้าดินจากการกระทำของน้ำไหลบ่าหน้าดินในปริมาณมาก

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

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 ทั้งนี้ แนวทางที่นำเสนอได้ถูกประเมินด้วย ตัววัดเวลาใช้งานจริงในการติดต่อเข้าถึงเครือข่ายไร้สาย และแบบสอบถามการประเมินประสบการณ์การใช้งานจากผู้ใช้