Engineering Commons^™

Mapping Michigan's Historic Coastlines, Ryan A. Williams

Dissertations, Master's Theses and Master's Reports

This five-year project, sponsored by the Michigan Department of Environment, Great Lakes, and Energy, is working to map how Michigan’s Great Lakes shorelines have changed over the past 80+ years. Products of this project include publicly available digital, georeferenced, historic aerial photography datasets, as well as map layers depicting the locations of historic shorelines and bluff lines from 1938, 1980, 2009, 2016, 2018, and 2020. Additional products include bluff retreat risk areas, shoreline rate of change map layers, and tools to assist in the development of future Coastal Vulnerability Index projects for the Great Lakes. All products are available as …

A Speciation Modeling Study Of Heavy Metal Adsorption To Plastic In Municipal Wastewater Treatment Plant Units, Kaitlyn Hague

Electronic Theses and Dissertations

Microplastics are an emerging concern due to their harmful effect to organisms and their ability to facilitate transport of contaminants including heavy metals. Microplastics can enter the environment through wastewater treatment plants, landfill leachate, and littering. Once in the environment microplastics can be distributed throughout rivers, the ocean, and lakes. In order to understand the adsorption of heavy metals to microplastics a geochemical modeling study was completed using Visual Minteq. Lab tests were completed to better understand what constituents are available in wastewater at four different locations: influent, clarifiers, digesters, and effluent. These constituents were then used to observe how …

Evaluating And Predicting The Risk Of Algal Blooms In A Freshwater Lake Through A 4-Dimensional Approach: A Case Study On Lake Mitchell, Sumit Kumar Ghosh

Electronic Theses and Dissertations

Excessive algal growth in freshwater lakes can negatively impact ecosystems, recreation, and human health. Though algae are a natural part of freshwater ecosystems, elevated nutrient loading from anthropogenic and natural sources can lead to algal blooms. Both algae and blue-green algae (BGA) are responsible for algal blooms; however, BGA (cyanobacteria) is more dangerous. The first objective of this research was to prepare a conceptual model to understand how various environmental variables affect algae. This conceptual model was used to choose the environmental variables that help increase or decrease algae in the water environment. The second objective was to develop empirical …

Strategies For Reducing Greenhouse Gases From Liquid Dairy Manure, Vera Sokolov

Theses and Dissertations (Comprehensive)

Livestock production, including the storage, handling, and spreading of manure, are among the largest contributors to greenhouse gas emissions from the agricultural sector. Liquid dairy manure storages are hot spots of methane (CH₄), nitrous oxide (N₂O) and ammonia (NH₃). Both CH₄ and N₂O are greenhouse gases (GHG) which contribute to global warming, while NH₃ is an indirect source of N₂O and a risk to human health. Reducing emissions from manure storages is important not only for protection of environment and humans, but also for conserving the nutrients in …

A Hydrologic Study Of Climate Variability In Arid Region, Abdullah Alzaydani

Electronic Theses and Dissertations

Climate variability is an important subject to study. It is the change of climate over a long time, which could have a positive or negative impact on humans, soil, and wildlife. Many environments, such as arid environment could be affected by climate variability. The research goal is studying and examining climate variability in arid environment. The research includes three different studies. The first study includes reviewing and understanding of climate variability over extended time through existing studies in arid environments. In addition, this study includes knowledge about climate negative or positive impact on the environment. This study will be reviewing …

Upcycling Dairy Manure Fine Solids Captured By Dissolved Air Flotation As Part Of A Phosphorus Recovery And Reuse Strategy, Katherine Keith Porterfield

Graduate College Dissertations and Theses

Dissolved air flotation (DAF) has shown potential to substantially improve phosphorus (P) mass balance on dairy farms by capturing P associated with fine solids from liquid manure, enabling new management options. However, at < 25% total solids, further dewatering and other upcycling is necessary to facilitate export of recovered fine solids off farm for use in bagged or bulk products. I generated plant foods using DAF-captured dairy manure fine solids thermally dried to 45% total solids blended with other organic residuals. Dry biomass of tomato and marigold seedlings amended with 6% v/v plant food was six-times greater than the unamended control and not significantly different from a market alternative treatment. Because thermal dewatering can be prohibitively costly, I generated a second batch of plant foods using DAF-captured dairy manure fine solids conditioned with 3, 4.5 and 6% (w/w) quicklime or lime kiln dust (LKD) and dewatered using a benchtop press for comparison with thermally dried fine solids. Tomato seedling biomass was similar for thermally dried and LKD plant foods, but quicklime plant foods had no effect compared to the unamended control. Quicklime and LKD conditioned fine solids contained approximately 30 and 10 times less plant-available P than thermally dried fine solids, respectively—likely due to precipitation of Ca-P minerals. These studies indicate that DAF-captured dairy manure fine solids could be upcycled to bagged horticultural products with substantial agronomic value, however sustainable materials drying remains a key challenge to realizing this potential.

Sustainability Assessment Of Direct Energy Deposition (Ded) Based Hybrid Manufacturing Using Life Cycle Assessment (Lca) Method, Faujia Islam

Graduate Theses, Dissertations, and Problem Reports

As sustainability has emerged as a highlight for almost every field over the last few decades, the manufacturing field is no exception. Generally, additive manufacturing performs better than traditional manufacturing in terms of sustainability because of its lean energy- and material usage. Previous studies have compared the sustainability performance between traditional and additive manufacturing, but hybrid manufacturing was not focused upon much. In this paper, the life cycle assessment method is used to analyze and compare the energy consumption and environmental impact of direct energy deposition (DED) based hybrid manufacturing and traditional manufacturing “CNC milling” process for a turbine blade. …

Transform Based Approaches For The Detection Of Astrophysical Signals, Marwan Mahfud Alkhweldi

Graduate Theses, Dissertations, and Problem Reports

Development of new algorithms for the detection of isolated astrophysical pulses is of interest to radio astronomers. Both Fast Radio Bursts (FRBs) and several Rotating Radio Transients (RRATs) were detected through the application of a single pulse search algorithm. The conventional approach to detect astronomical pulses requires an exhaustive search for the correct dispersion measure. Its accelerated versions involve signal processing in Fourier transform space.

In this dissertation, we present several new transform-based approaches for the detection and analysis of astrophysical signals with the latest being the most effective and advanced of all. It is implemented in several steps. First, …

Application Of 3d Seismic Signal And Geomechanical Attributes For Subsurface Fracture Characterization: A Case Study In Clearfield County, Central Pennsylvania, Iman F. Zulkapeli

Graduate Theses, Dissertations, and Problem Reports

Hydrocarbon exploration in unconventional reservoirs is highly risky due to the nature of the reservoirs and the variability in fractures and reservoir geomechanical properties in the subsurface. The reservoir needs to be fully characterized to avoid any complication such as frac hit, wellbore failure, blowout, or even a dry hole. The Clearfield reservoir produces an exceptionally low amount of gas, compared to the neighboring region in the proximity, which has been poorly understood. This raises the question as to what causes the reservoir to have low productivity.

This study focuses on the natural fracture characterization using high-quality 3D seismic signal …

The Food-Energy-Water Nexus, Embodied Injustices, And Transboundary Sustainability, Sonya Ahamed

Graduate College Dissertations and Theses

Intersections of food, energy, and water systems (the FEW nexus) pose many sustainability and governance challenges, including risks to ecosystems, inequitable distribution of benefits and harms across populations, and reliance on distant sources for food, energy, and water. Nexus-based approaches can offer more holistic pathways for societal transitions to FEW systems that are just and sustainable, but tend to focus narrowly on inputs (e.g. water ‘for’ energy) in ways that do little to address the historical roots and structural underpinnings of current system inadequacies, thus risking their perpetuation.

This dissertation widens the FEW nexus in two contexts in which the …

Nonlinear Impedance Spectroscopy To Characterize Hole Transport And Recombination Dynamics In Organic Semiconductor Devices, Robin Rice

Graduate College Dissertations and Theses

Impedance Spectroscopy (IS) is an increasingly common technique to characterize both solid state and electrochemical systems including solar cells and light emitting diodes (LEDs). However, IS relies on a system response being linear with its input such that a time invariant impedance can be defined. This is usually achieved by a small amplitude input. However, doing so suppresses responses of the nonlinear processes which are of considerable interest to those designing and optimizing these devices, such as charge carrier recombination and space charge effects. This investigation employs the recently developed nonlinear extension to IS (NLIS) based in Fourier analysis of …

Transient Effects In Solution-Processed Organic Thin Films, Jing Wan

Graduate College Dissertations and Theses

Due to the weak van der Waals forces between organic semiconductor molecules, the molecular packing depends sensitively on the processing methods and conditions. Thus, understanding the crystallization mechanisms during solution deposition are essential for fundamental studies and reproducible fabrication of electronic devices.The performance of Organic field effect transistors (OFETs) also depends heavily on extrinsic factors such as contact resistance and interfacial defects, which can produce a different kind of transient effect at the metal-semiconductor contact. We have observed structural transient effects during the crystallization process of two small molecule organic semiconductors made from solution. We report in situ X-ray scattering …

Geomechanical, Geochemical, And Hydrological Aspects Of Co2 Injection Into Saline Reservoirs, Maziar Foroutan

Graduate College Dissertations and Theses

Carbon dioxide Capturing, and Sequestration (CCS) is a promising technique that helps mitigate the amount of CO2 emitted into the atmosphere. CCS process mainly involves capturing CO2 at the industrial plant, followed by transportation and injection into a suitable geological storage, under supercritical conditions. Saline aquifers are among the best geological storage candidates due to their availability, high storage capacity and injectivity. Despite the CCUS technology promise, several public safety concerns remain to be address, including but not limited to reservoir/wellbore stability and integrity, CO2 leakage, ground deformation (uplift) and induced seismicity.

The injected supercritical CO2 is trapped through different …

Development And Implementation Of A Pressure-Temperature Control System For The Physical Vapor Deposition Of Copper And Niobium From A Molybdenum Filament In The Development Of Superconducting 3d Printed Rf Cavity Particle Accelerators, Chandler J. Fleuette

Honors Theses and Capstones

This report covers the development of the pressure-temperature control system used in the production of small superconducting RF cavities for particle accelerators. To test the validity of the created program, a model for the process was created and tested. The model was used to fine tune the control system before integrating it into the lab. The end goal of the control system is to measure the pressure inside of a deposition vacuum chamber, convert that pressure to a temperature, and use that temperature in tandem with a PID controller to control the current passing though a molybdenum filament which is …

Simulating Ejecta Blown Off The Lunar Surface Due To Landing Spacecraft Using The Mercury N-Body Integrator, Isabel Rivera

Electronic Theses and Dissertations, 2020-

The experiences of the Apollo lunar landings revealed the danger lunar dust can pose to surrounding hardware, outposts, and orbiting spacecraft. Future lunar missions such as the Artemis program will require more information about the trajectories of ejecta blown by landers to protect orbiting spacecraft such as the Lunar Gateway. In this paper, we simulate lunar lander ejecta trajectories using the Mercury N-body integrator. We placed cones of test particles on the Moon at the North Pole, South Pole, and Equator with various ejection speeds and angles. The results show that particles ejected at speeds near the Moon's escape velocity …

ขั้นตอนวิธีเชิงพันธุกรรมแบบกระชับชนิดควอนตัมสำหรับปัญหายาก, กมลลักษณ์ สุขเสน

Chulalongkorn University Theses and Dissertations (Chula ETD)

งานวิจัยทางด้านคอมพิวเตอร์เชิงควอนตัม (Quantum computer) ยังคงเป็นความท้าทายสำหรับนักวิจัยในการพัฒนาเทคนิคต่างๆเพื่อให้การประมวลผลข้อมูลควอนตัมขนาดใหญ่สามารถทำได้จริง มีงานวิจัยหลากหลายสาขาเกี่ยวกับการจำลองระบบควอนตัม โดยเฉพาะด้านอัลกอริทึมควอนตัมสำหรับแก้ปัญหา NP-hard ซึ่งใช้เวลาแก้ปัญหานานเกินกว่าจะเป็นไปได้จริงในเครื่องคอมพิวเตอร์ดั้งเดิม งานวิจัยนี้นำเสนอขั้นตอนวิธีเชิงพันธุกรรมแบบกระชับชนิดควอนตัม ซึ่งเป็นการนำข้อได้เปรียบจากการประมวลผลเชิงควอนตัม ได้แก่ สภาวะซ้อนทับของสถานะควอนตัม และการประมวลผลควอนตัมแบบขนานในอัลกอริทึมการค้นหาของโกรเวอร์ (Grover's search algorithm) มาประยุกต์ใช้ในกระบวนการคัดเลือกโครโมโซมของขั้นตอนวิธีเชิงพันธุกรรมแบบกระชับชนิดดั้งเดิมที่มีการคัดเลือกโครโมโซมที่ดี เพื่อให้ได้ขั้นตอนวิธีเชิงพันธุกรรมแบบกระชับชนิดควอนตัมที่มีประสิทธิภาพดีขึ้นในแง่ของความถูกต้องของคำตอบ ขั้นตอนวิธีที่นำเสนอสามารถแก้ปัญหา traveling salesman ขนาดเล็กได้บนเครื่องจำลองคอมพิวเตอร์ควอนตัม เนื่องจากจำนวนคิวบิตที่มีอย่างจำกัดจึงไม่สามารถทำการทดลองกับปัญหา traveling salesman ขนาดใหญ่ได้ แม้ว่าจำนวนฟังก์ชันที่ใช้ในการประเมินค่าความเหมาะสมของขั้นตอนวิธีที่นำเสนอมีแนวโน้มเพิ่มขึ้นเป็นเอ็กโปเน็นเชียลเมื่อจำนวนเมืองเพิ่มขึ้น แต่ยังสามารถหาคำตอบที่ถูกต้องได้ดีกว่าขั้นตอนวิธีเชิงพันธุกรรมแบบกระชับชนิดดั้งเดิม นอกจากนี้ผลการทดลองแสดงให้เห็นว่าจำนวนรอบของโกรเวอร์ที่เหมาะสมช่วยเพิ่มประสิทธิภาพในการหาคำตอบที่เหมาะสมที่สุด ในขณะที่จำนวนช็อตหรือจำนวนรอบที่รันอัลกอริทึมช่วยเพิ่มความน่าเชื่อถือให้กับคำตอบที่ได้จากการวัดค่าสถานะคิวบิต

ซอฟต์แวร์เฟรมเวิร์กสำหรับระบบคอมพิวเตอร์เพื่อการฝึกฝนแบบปรับเหมาะได้ พร้อมด้วยส่วนประเมินตัวสร้างคำถาม, ปณิดา วิริยะชัยพร

Chulalongkorn University Theses and Dissertations (Chula ETD)

ระบบสำหรับการฝึกฝนแบบปรับเหมาะ (adaptive practicing) สามารถส่งเสริมศักยภาพของผู้เรียนได้อย่างเต็มที่ แม้ว่าในปัจจุบันจะมีระบบนี้อยู่บ้าง แต่การสร้างระบบนี้ยังคงมีความซับซ้อนแม้ว่าปัจจุบันจะมีเครื่องมือต่าง ๆ มาช่วยเหลือก็ตาม วิทยานิพนธ์ฉบับนี้นำเสนอซอฟต์แวร์เฟรมเวิร์กสำหรับระบบคอมพิวเตอร์เพื่อการฝึกฝนแบบปรับเหมาะได้ พร้อมด้วยส่วนประเมินตัวสร้างคำถาม โดยใช้ระบบการจัดอันดับของ Elo โดยเฟรมเวิร์กนี้สามารถนำตัวสร้างคำถามมาสร้างเป็นระบบสำหรับการฝึกฝนแบบปรับเหมาะได้อย่างง่ายดายในรูปแบบบริการเอพีไอ (Application Programming Interface; API) บนเว็บไซต์ ซึ่งในเฟรมเวิร์กนี้ประกอบไปด้วย 4 โมเดล ได้แก่ ตัวชี้วัดการเรียนรู้ ผู้เรียน โจทย์คำถาม และบทคำสั่ง นอกจากนี้ยังประกอบไปด้วย 7 มอดูล ได้แก่ ส่วนเลือกโจทย์คำถาม ส่วนสร้างโจทย์คำถาม ส่วนคำนวณความแตกต่างระหว่างคำถาม ส่วนแสดงผลโจทย์คำถาม ส่วนตรวจสอบคำตอบ ส่วนแสดงผลย้อนกลับ (feedback) และส่วนปรับโจทย์คำถามให้เป็นปัจจุบัน การแยกส่วนสร้างโจทย์คำถามออกมานั้น ส่งผลให้เฟรมเวิร์กรองรับคำถามสำหรับหลายหัวข้อ อาทิ คำถามวิชาภาษาไทย คำถามวิชาคณิตศาสตร์ นอกจากนี้ส่วนสร้างโจทย์คำถามยังทำให้ระบบที่สร้างภายใต้เฟรมเวิร์กนี้ มีทรัพยากรโจทย์คำถามที่ไม่จำกัด และขยายฐานข้อมูลโจทย์คำถามได้อย่างอัตโนมัติ อีกทั้งเฟรมเวิร์กนี้ยังรองรับคำถามได้หลากหลายประเภทที่สามารถประเมินผลเป็นถูกและผิด อาทิ คำถามปรนัย คำถามเลือกจับคู่ เนื่องจากการออกแบบให้ส่วนแสดงผลโจทย์คำถามเป็นส่วนที่สามารถปรับแต่งได้ เฟรมเวิร์กนี้รองรับการออกรายงานทั้งหมด 5 ประเภทเพื่อใช้วิเคราะห์ทั้งในฝั่งผู้เรียนและฝั่งของระบบ ระบบที่สร้างภายใต้เฟรมเวิร์กนี้ถูกออกแบบให้เป็นเอพีไอจึงทำให้สามารถเชื่อมต่อกับโปรแกรมประยุกต์อื่น ๆ ได้ง่าย นอกจากนี้ระบบที่สร้างภายใต้เฟรมเวิร์กนี้สามารถรองรับการเรียนการสอนทั้งแบบออนไลน์และออฟไลน์สำหรับกลุ่มผู้เรียนทุกขนาด และทำให้ผู้เรียนสามารถเรียนรู้ด้วยความเร็วตามความสามารถของตนเอง และผู้สอนไม่จำเป็นต้องสร้างคำถามสำหรับป้อนเข้าในระบบ

การจำแนกปัญหาของเทคโนโลยีฐานข้อมูลในชุมชนถามตอบออนไลน์, ณัฐนัย สุวรรณชูชิต

Chulalongkorn University Theses and Dissertations (Chula ETD)

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

การสร้างความต้องการเชิงฟังก์ชันและที่ไม่ใช่เชิงฟังก์ชันของซอฟต์แวร์จากการจำแนกบทวิจารณ์ของผู้ใช้งานโมไบล์แอปพลิเคชัน, ธนัชชา พันธ์ธรรม

Chulalongkorn University Theses and Dissertations (Chula ETD)

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

Prioritization Of Mutation Test Case Generation With Centrality Measures, ศุภชัย ทรัพย์มาก

Chulalongkorn University Theses and Dissertations (Chula ETD)

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

Transforming Timing Diagram Into Timed Automata For Preemptive Scheduling, อมรัตน์ พิมโคตร

Chulalongkorn University Theses and Dissertations (Chula ETD)

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