Engineering Commons^™

Moderate Heat-Assisted Gene Electrotransfer For Cutaneous Delivery Of A Dna Vaccine Against Hepatitis B Virus, Chelsea Edelblute, Cathryn Mangiamele, Richard Heller

Bioelectrics Publications

An estimated 350 million people are living with chronic Hepatitis B virus (HBV) worldwide. Preventative HBV vaccination in infants has reduced the disease burden; however, insufficient immunization programs and access obstacles leave vulnerable populations at risk for infection in endemic regions. Gene electrotransfer (GET) using a noninvasive multielectrode array (MEA) provides an alternative platform for DNA vaccination in the skin. DNA vaccines are nonlive and nonreplicating and temperature stable unlike their counterparts. In addition, their simple engineering allows them to be manufactured quickly at a low cost. In the current work, we present the combination of GET and moderate heating …

Stobe Photography Mapping Of Cell Membrane Potential With Nanosecond Resolution, Allen S. Kiester, Bennett L. Ibey, Zachary N. Coker, Andrei G. Pakhomov, Joel N. Bixler

Bioelectrics Publications

The ability to directly observe membrane potential charging dynamics across a full microscopic field of view is vital for understanding interactions between a biological system and a given electrical stimulus. Accurate empirical knowledge of cell membrane electrodynamics will enable validation of fundamental hypotheses posited by the single shell model, which includes the degree of voltage change across a membrane and cellular sensitivity to external electric field non-uniformity and directionality. To this end, we have developed a high-speed strobe microscopy system with a time resolution of ~ 6 ns that allows us to acquire time-sequential data for temporally repeatable events (non-injurious …

Four Channel 6.5 Kv, 65 A, 100 Ns-100 Μs Generator With Advanced Control Of Pulse And Burst Protocols For Biomedical And Biotechnological Applications, Aleh Kandratsyeu, Uladzimir Sabaleuski, Luis Redondo, Andrei G. Pakhomov

Bioelectrics Publications

Pulsed electric fields in the sub-microsecond range are being increasingly used in biomedical and biotechnology applications, where the demand for high-voltage and high-frequency pulse generators with enhanced performance and pulse flexibility is pushing the limits of pulse power solid state technology. In the scope of this article, a new pulsed generator, which includes four independent MOSFET based Marx modulators, operating individually or combined, controlled from a computer user interface, is described. The generator is capable of applying different pulse shapes, from unipolar to bipolar pulses into biological loads, in symmetric and asymmetric modes, with voltages up to 6.5 kV and …

The Role Of Reactive Oxygen Species In The Immunity Induced By Nano-Pulse Stimulation, Siqi Guo, Niculina I. Burcus, Megan Scott, Yu Jing, Iurii Semenov

Bioelectrics Publications

Reactive oxygen species (ROS) are byproducts of tumor cells treated with Nano-Pulse Stimulation (NPS). Recently, ROS have been suggested as a contributing factor in immunogenic cell death and T cell-mediated immunity. This research further investigated the role of NPS induced ROS in antitumor immunity. ROS production in 4T1-luc breast cancer cells was characterized using three detection reagents, namely, Amplex Red, MitoSox Red, and Dihydroethidium. The efficiency of ROS quenching was evaluated in the presence or absence of ROS scavengers and/or antioxidants. The immunogenicity of NPS treated tumor cells was assessed by ex vivo dendritic cell activation, in vivo vaccination assay …

Oxygen Harvesting From Carbon Dioxide: Simultaneous Epoxidation And Co Formation, Han Xu, Muhammad Shaban, Sui Wang, Anas Alkayal, Dingxin Liu, Michael G. Kong, Felix Plasser, Benjamin R. Buckley, Felipe Iza

Bioelectrics Publications

Due to increasing concentrations in the atmosphere, carbon dioxide has, in recent times, been targeted for utilisation (Carbon Capture Utilisation and Storage, CCUS). In particular, the production of CO from CO₂ has been an area of intense interest, particularly since the CO can be utilized in Fischer–Tropsch synthesis. Herein we report that CO₂ can also be used as a source of atomic oxygen that is efficiently harvested and used as a waste-free terminal oxidant for the oxidation of alkenes to epoxides. Simultaneously, the process yields CO. Utilization of the atomic oxygen does not only generate a valuable product, …

Effect Of He Plasma Jet Versus Surface Plasma On The Metabolites Of Acute Myeloid Leukemia Cells, Dehui Xu, Ning Ning, Yujing Xu, Wenjie Xia, Hai-Lan Chen, Michael G. Kong

Bioelectrics Publications

Cold atmospheric plasma, including plasma jet and surface plasma, can promote the apoptosis of cancer cells without causing significant damage to surrounding normal cells, which was hopeful to be applied to the clinical cancer therapy. However, experimental plasma devices used directly to clinical experiments has challenges in technology and methods, especially the difference in killing tumor cells efficiency of these two common plasma sources. Therefore, it is great necessity to explore the differences in treating tumors between different plasma sources. This paper achieved good killing efficiency by using two kinds of cold atmospheric plasma generating devices, namely plasma jet and …

Discharge Mode Transition In He/Ar Atmospheric Pressure Plasma Jet And Its Inactivation Effect Against Tumor Cells In Vitro, Bolun Pang, Zhijie Liu, Sitao Wang, Yuting Gao, Huaiyan Zhang, Feng Zhang, Xiamin Tantai, Dehui Xu, Dingxin Liu, Michael G. Kong

Bioelectrics Publications

Discharge characteristic comparisons between He and Ar plasma jets have been extensively reported, but is rarely reported for the comprehensive study of discharge mode transition from He jet to Ar jet, especially its induced liquid chemistry and biological effect. In this paper, we investigate the plasma jet mode transformation by varying the Ar contents in the He/Ar mixing working gas, particularly focusing on the effect of liquid chemistry of plasma activated water (PAW) and the corresponding inactivation effect against tumor cells in vitro. The mode transition process from He jet to Ar jet is characterized by the discharge images, …

Test-Retest Reliability And Minimal Detectable Change Of The Computerized Dynamic Posturography Proprio For Adults With Chronic Traumatic Brain Injury, Guilherme Manna Cesar, Thad W. Buster, Judith M. Burnfield

Department of Mechanical and Materials Engineering: Faculty Publications

Purpose: Balance deficits after brain injury, including reactive recovery from unexpected perturbations, can persist well after rehabilitation is concluded. While traditional clinical assessments are practical, the anticipatory nature of the tasks may mask perceptible balance control. Computerized dynamic posturography can directly quantify capacity to respond to unexpected, external perturbations. This study examined the reliability of the computerized dynamic posturography assessment with the device PROPRIO® 4000 in adults with traumatic brain injury and created the minimal detectable change for its standardized test.

Methods: Ten adults (ages 21–55 years) with chronic (average 10 ± 6 years post-injury) severe (loss of consciousness 2–75 …

Perceived Importance Of Aac Messages To Support Communication In Rehabilitation Settings, Susan Koch Fager, Judith M. Burnfield, Chase M Pfeifer, Tabatha Sorenson

Department of Mechanical and Materials Engineering: Faculty Publications

Purpose: Permanent or temporary speech loss can occur due to a variety of medical conditions and often requires individuals to use augmentative and alternative communication (AAC) strategies and technologies to support communication. The use of AAC in medical and rehabilitation settings is critical to ensure the health, safety and psychological well-being of communicatively vulnerable individuals.

Method: This study surveyed the perceived importance of communication messages within five categories (Basic Needs, Patient-Provider Specific Communication, Social, Feelings, and Messages for Young Children) by individuals with disability who have undergone recent medical care as well as by rehabilitation care providers.

Results: Results indicated …

Feasibility Of Motor-Assisted Elliptical To Improve Walking, Fitness And Balance Following Pediatric Acquired Brain Injury: A Case Series, Judith M. Burnfield, Guilherme Manna Cesar, Thad W. Buster

Department of Mechanical and Materials Engineering: Faculty Publications

Purpose: Walking, fitness, and balance deficits are common following acquired brain injury (ABI). This study assessed feasibility, acceptability, and usefulness of a modified motor-assisted elliptical (ICARE) in addressing walking, fitness, and balance deficits in children with chronic ABIs.

Methods: Three children (> 5 years post-ABI) completed 24 ICARE exercise sessions (exercise time, speed, and time overriding motor-assistance gradually increased) to promote mass repetition of gait-like movements and challenge cardiorespiratory fitness. Parents’ and children’s perceptions of ICARE’s safety, comfort, workout, and usability were assessed. Cardiovascular response, gait and balance outcomes were assessed.

Results: No adverse events occurred. Parent’s …

A Novel Large Animal Model Of Smoke Inhalation-Induced Acute Respiratory Distress Syndrome, Premila D. Leiphrakpam, Hannah R. Weber, Andrea Mccain, Roser Romaguera Matas, Ernesto Martinez Duarte, Keely L. Buesing

Department of Mechanical and Materials Engineering: Faculty Publications

Background: Acute respiratory distress syndrome (ARDS) is multifactorial and can result from sepsis, trauma, or pneumonia, amongst other primary pathologies. It is one of the major causes of death in critically ill patients with a reported mortality rate up to 45%. The present study focuses on the development of a large animal model of smoke inhalation-induced ARDS in an effort to provide the scientific community with a reliable, reproducible large animal model of isolated toxic inhalation injury-induced ARDS. Methods: Animals (n=21) were exposed to smoke under general anesthesia for 1 to 2 h (median smoke exposure=0.5 to 1 L of …

Ultrasound-Activated Ciliary Bands For Microrobotic Systems Inspired By Starfish, Cornel Dillinger, Nitesh Nama, Daniel Ahmed

Department of Mechanical and Materials Engineering: Faculty Publications

Cilia are short, hair-like appendages ubiquitous in various biological systems, which have evolved to manipulate and gather food in liquids at regimes where viscosity dominates inertia. Inspired by these natural systems, synthetic cilia have been developed and utilized in microfluidics and microrobotics to achieve functionalities such as propulsion, liquid pumping and mixing, and particle manipulation. Here, we demonstrate ultrasound-activated synthetic ciliary bands that mimic the natural arrangements of ciliary bands on the surface of starfish larva. Our system leverages nonlinear acoustics at microscales to drive bulk fluid motion via acoustically actuated small-amplitude oscillations of synthetic cilia. By arranging the planar …

New York State Materials Recycling Facilities Report 2019, Firman Firmansyah, Yiyi Wang, Sameena Manzur, Sayidana Brannan-Douglas, Justin Lee, Andersson Lora, John O'Halloran, Elizabeth Hewitt, Krista L. Thyberg, David J. Tonjes

Technology & Society Faculty Publications

The composition of collected recyclables reported on here has some consistency across the three systems in terms of the general kinds of recyclables collected (but that is true for most US waste management systems). The grab samples analyzed here varied considerably in terms of overall composition. Clearly some of that has to do with the nature of the collection programs (single stream and dual stream, residential alone versus residential plus commercial) but it may also relate to the service areas for the systems, indicating that waste is highly context-driven and location-specific. Islip is an affluent suburban setting; Delaware County collects …

A Machine Vision Based Automated Quality Control System For Product Dimensional Analysis, Aditya Akundi, Mark Reyna

Manufacturing & Industrial Engineering Faculty Publications

Quality control (QC) in manufacturing processes is critical to ensuring consumers receive products with proper functionality and reliability. Faulty products can lead to additional costs for the manufacturer and damage trust in a brand. A growing trend in QC is the use of machine vision (MV) systems because of their noncontact inspection, high repeatability, and relatively low cost. This paper presents a robust MV system developed to perform comparative dimensional inspection on diversely shaped samples, including additive manufacturing products. The algorithm used performs dimensional inspection on a base product considered to have acceptable dimensions. The perimeter, area, rectangularity, and circularity …

A Review On Application Of Model Based Systems Engineering To Manufacturing And Production Engineering Systems, Aditya Akundi, Viviana Lopez

Manufacturing & Industrial Engineering Faculty Publications

Increasing complexity in today’s manufacturing and production industry due to the need for higher flexibility and competitiveness is leading to inconsistencies in the iterative exchange loops of the system design process. To address these complexities and inconsistencies, an ongoing industry trend for organizations to make a transition from document-centric principles and applications to being model-centric is observed. In this paper, a literature review is presented highlighting the current need for an industry-wide transition from document-centric systems engineering to Model-Based Systems Engineering (MBSE). Further, investigating the tools and languages used by the researchers for facilitating the transition to and the integration …

Potential Production Of Theranostic Boron Nitride Nanotubes (64cu-Bnnts) Radiolabeled By Neutron Capture, Wellington Marcos Silva, Helio Ribeiro, Jaime Taha-Tijerina

Manufacturing & Industrial Engineering Faculty Publications

In this work, the radioisotope 64Cu was obtained from copper (II) chloride dihydrate in a nuclear research reactor by neutron capture, (63Cu(n, )64Cu), and incorporated into boron nitride nanotubes (BNNTs) using a solvothermal process. The produced 64Cu-BNNTs were analyzed by TEM, MEV, FTIR, XDR, XPS and gamma spectrometry, with which it was possible to observe the formation of64Cu nanoparticles, with sizes of up to 16 nm, distributed through nanotubes. The synthesized of 64Cu nanostructures showed a pure photoemission peak of 511 keV, which is characteristic of gamma radiation. This type of emission is desirable for Photon Emission Tomography (PET scan) …

Modeling And Optimization Of Process Parameters In Face Milling Of Ti6al4v Alloy Using Taguchi And Grey Relational Analysis, Al Mazedur Rahman, S M Abdur Rob, Anil K. Srivastava

Manufacturing & Industrial Engineering Faculty Publications

Titanium alloys are extensively used in aerospace, missiles, rockets, naval ships, automotive, medical devices, and even the consumer electronics industry where a high strength to density ratio, lightweight, high corrosion resistance, and resistance to high temperatures are important. The machining of these alloys has always been challenging for manufacturers. This article investigates the combined effect of radial depth, cutting speed and feed rate on cutting forces, tool life, and surface roughness during face milling of Ti6Al4V alloy. This study focuses on the significance of radial depth of cut on cutting force, tool life and surface roughness compared to that of …

El Español En Estados Unidos Como Recurso Para La Educación De Hispanos En Ingeniería, Hiram Moya

Manufacturing & Industrial Engineering Faculty Publications

Los Hispanos representan la más grande minoría en Estados Unidos. Sin embargo, el número de estudiantes hispanos en las carreras de ciencias y en particular en ingeniería ha estado subrepresentada por muchos años. Esta falta de representación ha hecho que se estudie de muchas formas los métodos de reclutar y retener y graduar estudiantes hispanos en ingeniería. Sin embargo, la urgencia continúa. Existen muchos retos para mejorar la participación de hispanos en ingeniería, incluyendo la falta costumbre en preguntar o solicitar ayuda, los retos económicos, y la falta de ejemplos a seguir en la facultad. Dado los retos, este artículo …

Direct Selective Laser Synthesis Of Cucrfenitial High Entropy Alloy From Elemental Powders Through Selective Laser Melting, Joni Dhar, Lazaro Lopez, Shanshan Zhang, Ben Xu, Mohammed Jasim Uddin, Jianzhi Li

Manufacturing & Industrial Engineering Faculty Publications

This study investigated the synthesis of CuCrFeNiTiAl high entropy alloy (HEA) from pure elements using selective laser melting (SLM). The objectives are to validate the feasibility of the HEA fabrication from elemental powder materials, and to examine the effect of various process conditions in SLM, such as laser power, point distance and laser exposure time, on the microstructures formed. The as-built samples under high, medium and low energy densities were characterized by X-ray diffraction (XRD), and the microstructures were observed using scanning electron microscopy (SEM). The XRD results showed that five major crystal structure phases (hexagonal, monoclinic, orthorhombic, body-centered cubic …

Machine Learning Model Optimization With Hyper Parameter Tuning Approach, Md. Riyad Hossain, Douglas Timmer

Manufacturing & Industrial Engineering Faculty Publications

Hyper-parameters tuning is a key step to find the optimal machine learning parameters. Determining the best hyper-parameters takes a good deal of time, especially when the objective functions are costly to determine, or a large number of parameters are required to be tuned. In contrast to the conventional machine learning algorithms, Neural Network requires tuning hyperparameters more because it has to process a lot of parameters together, and depending on the fine tuning, the accuracy of the model can be varied in between 25%-90%. A few of the most effective techniques for tuning hyper-parameters in the Deep learning methods are: …

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 …

Artificial Reefs: A History, A Science, A Technology, Mairead D. Farrell

Honors Theses

Over the past 60 years, artificial reefs have expanded beyond the definition of a technology, and in turn have developed into a unique branch of marine science. To better emphasize this growth and separation, a brief history of artificial reef development and usage in chapter two shows some of the key shifts over time in this technology’s purpose and the materials used to achieve that goal. Likewise, to indicate the scientific development of artificial reefs as a branch of marine science, their usage for discovery and research is recorded in chapter three, along with the exponential increase in published scientific …

Non-Equilibrium Behavior Of Large-Scale Axial Vortex Cores, Robert L. Ash, Irfan R. Zardadkhan

Mechanical & Aerospace Engineering Faculty Publications

A logical basis for incorporating pressure non-equilibrium and turbulent eddy viscosity in an incompressible vortex model is presented. The infrasonic acoustic source implied in our earlier work has been examined. Finally, this non-equilibrium turbulent vortex core is shown to dissipate mechanical energy more slowly than a Burgers vortex, helping us to explain the persistence of axial vortices in nature. Recent molecular dynamics simulations replicate aspects of this non-equilibrium pressure behavior.

Integrating Ethics Across The Engineering Curriculum Through Sustainability And Legislative Topics, Diana Adela Martin, Eddie Conlon, Brian Bowe

Conference Papers

The paper explores the inclusion of sustainability and legislation related coverage in Engineering programmes in Ireland in the context of increasing calls for integrating ethics across the curriculum. It is part of a broader study examining engineering ethics education conducted in cooperation with the national accrediting body, Engineers Ireland. The study includes 23 Engineering programmes from 6 institutions in Ireland that underwent accreditation between 2017-2019. Qualitative research methods have been employed, such as documentary analysis of module descriptors and of materials submitted for accreditation, as well as interviews with evaluators serving on accreditation panels and lecturers within the participant programmes. …

A Multi‑Level Review Of Engineering Ethics Education: Towards A Socio‑Technical Orientation Of Engineering Education For Ethics, Diana Adela Martin, Eddie Conlon, Brian Bowe

Articles

This paper aims to review the empirical and theoretical research on engineering ethics education, by focusing on the challenges reported in the literature. The analysis is conducted at four levels of the engineering education system. First, the individual level is dedicated to findings about teaching practices reported by instructors. Second, the institutional level brings together findings about the implementation and presence of ethics within engineering programmes. Third, the level of policy situates findings about engineering ethics education in the context of accreditation. Finally, there is the level of the culture of engineering education. The multi-level analysis allows us to address …

Bim-Ar-Based System For Supporting Decision-Making Process Of Change Orders In Construction Projects, Vi Nguyen Nguyen

Chulalongkorn University Theses and Dissertations (Chula ETD)

Recently, the integration of building information modeling (BIM) with augmented reality (AR) has been introduced to support decision-making on change orders in construction sites. However, traditional BIM-AR-based systems have some limitations on the interaction with the changes of construction work and cost information. Therefore, this research aims to develop a BIM-AR-based system to support the decision-making process of change orders during the construction phase. It includes four main functions: (1) visualization of change models and interaction with them in real-world environments, (2) cost assessment for calculating the direct cost of changes automatically and showing the information of cost comparison, (3) …

The Study Of Effects Of Catalyst Groups, Chain Lengths, And Oxygen Vacancies On Ketonization Of Methyl Ester, Thanwarat Rattanachartnarong

Chulalongkorn University Theses and Dissertations (Chula ETD)

The selectivity of symmetrical ketone was investigated in metal oxide catalyst by the ketonization of long-chain methyl ester at 400 oC and atmospheric pressure. The main problem of the ketonization of long-chain methyl ester was the cracking reaction. To investigate the effect of oxygen vacancies with selectivity of the main product, the metal oxide catalysts were charactered by SEM, XPS, XRD, TGA, TPO, H2-TPD, and NH3-IR. The results indicated that the amphoteric catalyst shown better performance than pure acidic due to the acid-base properties. Moreover, the selectivity of the main product depends on the hydrogen spillover which was the key …

Supercapacitors From Nitrogen And Sulfur Co-Doped Graphene/Nickel Cobalt Sulfide, Nutthapong Poompiew

Chulalongkorn University Theses and Dissertations (Chula ETD)

This research aims to develop high performance supercapacitors in term of capacitive efficiency, power density and long-term cycle stability. Supercapacitors are a kind of energy storages device which exhibit high power density when comparing with conventional batteries. However, most of them exhibits inefficient energy capacitance and long-term cycle stability. Thus, this research is focusing on development materials for using as supercapacitor electrodes. Thus, nitrogen and sulfur co-doped graphene and nickel cobalt compounds were synthesized using in situ hydrothermal process. This research is divided into two major parts (i) to sort out the optimum ratio of nickel and cobalt for the …

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

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