Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 10261 - 10290 of 17428

Full-Text Articles in Engineering

Detecting Information Leakage In Android Malware Using Static Taint Analysis, Soham P. Kelkar Jan 2017

Detecting Information Leakage In Android Malware Using Static Taint Analysis, Soham P. Kelkar

Browse all Theses and Dissertations

According to Google, Android now runs on 1.4 billion devices. The growing popularity has attracted attackers to use Android as a platform to conduct malicious activities. To achieve these malicious activities some attacker choose to develop malicious Apps to steal information from the Android users. As the modern day smartphones process, a lot of sensitive information, information security, and privacy becoming a potential target for the attacker. The malicious Apps steal information from the infected phone and send this information to the attacker-controlled URLs using various Android sink functions. Therefore, it necessary to protect data as it can prove detrimental …


Harassment Detection On Twitter Using Conversations, Venkatesh Edupuganti Jan 2017

Harassment Detection On Twitter Using Conversations, Venkatesh Edupuganti

Browse all Theses and Dissertations

Social media has brought people closer than ever before, but the use of social media has also brought with it a risk of online harassment. Such harassment can have a serious impact on a person such as causing low self-esteem and depression. The past research on detecting harassment on social media is primarily based on the content of messages exchanged on social media. The lack of context when relying on a single social media post can result in a high degree of false alarms. In this study, I focus on the reliable detection of harassment on Twitter by better understanding …


Semantic Web Foundations For Representing, Reasoning, And Traversing Contextualized Knowledge Graphs, Vinh Thi Kim Nguyen Jan 2017

Semantic Web Foundations For Representing, Reasoning, And Traversing Contextualized Knowledge Graphs, Vinh Thi Kim Nguyen

Browse all Theses and Dissertations

Semantic Web technologies such as RDF and OWL have become World Wide Web Consortium (W3C) standards for knowledge representation and reasoning. RDF triples about triples, or meta triples, form the basis for a contextualized knowledge graph. They represent the contextual information about individual triples such as the source, the occurring time or place, or the certainty. However, an efficient RDF representation for such meta-knowledge of triples remains a major limitation of the RDF data model. The existing reification approach allows such meta-knowledge of RDF triples to be expressed in RDF by using four triples per reified triple. While reification is …


Automated Rendering Of Schema Diagram For Ontologies, Nazifa Karima Jan 2017

Automated Rendering Of Schema Diagram For Ontologies, Nazifa Karima

Browse all Theses and Dissertations

Semantic Web extends the current web, using ontologies, metadata and other technologies to establish links between terms and concepts. This enables machines to automatically integrate information across different platforms utilizing the standard definitions. Furthermore, reasoning agents can infer new knowledge by gathering existing information and these additional connections between them. As a result of being designed and maintained independently, data sources exhibit highly heterogeneous nature. This increases the complexity of data integration and hinders interoperability. However, if we can align the overlapping concepts among different domains of knowledge, the prospect of achieving interoperability and integration without having any intermediate reasoning …


Adapting The Search Space While Limiting Damage During Learning In A Simulated Flapping Wing Micro Air Vehicle, Monica Sam Jan 2017

Adapting The Search Space While Limiting Damage During Learning In A Simulated Flapping Wing Micro Air Vehicle, Monica Sam

Browse all Theses and Dissertations

Cyber-Physical Systems (CPS) are characterized by closely coupled physical and software components that operate simultaneously on different spatial and temporal scales; exhibit multiple and distinct behavioral modalities; and interact with one another in ways not entirely predictable at the time of design. A commonly appearing type of CPS are systems that contain one or more smart components that adapt locally in response to global measurements of whole system performance. An example of a smart component robotic CPS system is a Flapping Wing Micro Air Vehicle (FW-MAV) that contains wing motion oscillators that control their wing flapping patterns to enable the …


Development Of An Ultra-Portable Non-Contact Wound Measurement System, Anka Babu Billa Jan 2017

Development Of An Ultra-Portable Non-Contact Wound Measurement System, Anka Babu Billa

Browse all Theses and Dissertations

Continuous monitoring of changes in wound size is key to correctly predict whether wounds will heal readily with conventional treatment or require more aggressive treatment strategies. Unfortunately, existing wound measurement solutions don't meet the clinical demand due to their limitations in accuracy, operating complexity and time, acquisition and operation cost, or reproducibility, resulting in unnecessarily lengthy recovery or extra treatment procedures, incurring an excessively high financial cost, and in many cases extended usage of addictive painkillers. In this thesis, we proposed and developed a low cost, a portable non-contact solution that combines multi-spectral imaging and a portfolio of imaging processing …


The Subject Librarian Newsletter, Engineering And Computer Science, Spring 2017, Buenaventura "Ven" Basco Jan 2017

The Subject Librarian Newsletter, Engineering And Computer Science, Spring 2017, Buenaventura "Ven" Basco

Libraries' Newsletters

No abstract provided.


Real-Time Capture And Rendering Of Physical Scene With An Efficiently Calibrated Rgb-D Camera Network, Po-Chang Su Jan 2017

Real-Time Capture And Rendering Of Physical Scene With An Efficiently Calibrated Rgb-D Camera Network, Po-Chang Su

Theses and Dissertations--Electrical and Computer Engineering

From object tracking to 3D reconstruction, RGB-Depth (RGB-D) camera networks play an increasingly important role in many vision and graphics applications. With the recent explosive growth of Augmented Reality (AR) and Virtual Reality (VR) platforms, utilizing camera RGB-D camera networks to capture and render dynamic physical space can enhance immersive experiences for users. To maximize coverage and minimize costs, practical applications often use a small number of RGB-D cameras and sparsely place them around the environment for data capturing. While sparse color camera networks have been studied for decades, the problems of extrinsic calibration of and rendering with sparse RGB-D …


Hybrid Parallelization Of The Nasa Gemini Electromagnetic Modeling Tool, Buxton L. Johnson Sr. Jan 2017

Hybrid Parallelization Of The Nasa Gemini Electromagnetic Modeling Tool, Buxton L. Johnson Sr.

Theses and Dissertations--Electrical and Computer Engineering

Understanding, predicting, and controlling electromagnetic field interactions on and between complex RF platforms requires high fidelity computational electromagnetic (CEM) simulation. The primary CEM tool within NASA is GEMINI, an integral equation based method-of-moments (MoM) code for frequency domain electromagnetic modeling. However, GEMINI is currently limited in the size and complexity of problems that can be effectively handled. To extend GEMINI’S CEM capabilities beyond those currently available, primary research is devoted to integrating the MFDlib library developed at the University of Kentucky with GEMINI for efficient filling, factorization, and solution of large electromagnetic problems formulated using integral equation methods. A secondary …


Blind Change Point Detection And Regime Segmentation Using Gaussian Process Regression, Sourav Das Jan 2017

Blind Change Point Detection And Regime Segmentation Using Gaussian Process Regression, Sourav Das

Theses and Dissertations

Time-series analysis is used heavily in modeling and forecasting weather, economics, medical data as well as in various other fields. Change point detection (CPD) means finding abrupt changes in the time-series when the statistical property of a certain part of it starts to differ. CPD has attracted a lot of attention in the artificial intelligence, machine learning and data mining communities. In this thesis, a novel CPD algorithm is introduced for segmenting multivariate time-series data. The proposed algorithm is a general pipeline to process any high dimensional multivariate time-series data using nonlinear non-parametric dynamic system. It consists of manifold learning …


Anomaly Detection In Rfid Networks, Alaa Alkadi Jan 2017

Anomaly Detection In Rfid Networks, Alaa Alkadi

UNF Graduate Theses and Dissertations

Available security standards for RFID networks (e.g. ISO/IEC 29167) are designed to secure individual tag-reader sessions and do not protect against active attacks that could also compromise the system as a whole (e.g. tag cloning or replay attacks). Proper traffic characterization models of the communication within an RFID network can lead to better understanding of operation under “normal” system state conditions and can consequently help identify security breaches not addressed by current standards. This study of RFID traffic characterization considers two piecewise-constant data smoothing techniques, namely Bayesian blocks and Knuth’s algorithms, over time-tagged events and compares them in the context …


Improving Peptide Identification By Considering Ordered Amino Acid Usage, Ahmed Al-Qurri Jan 2017

Improving Peptide Identification By Considering Ordered Amino Acid Usage, Ahmed Al-Qurri

Theses and Dissertations

Proteomics has made major progress in recent years after the sequencing of the genomes of a substantial number of organisms. A typical method for identifying peptides uses a database of peptides identified using tandem mass spectrometry (MS/MS). The profile of accurate mass and elution time (AMT) for peptides that need to be identified will be compared with this database. Restricting the search to those peptides detectable by MS will reduce processing time and more importantly increase accuracy. In addition, there are significant impacts for clinical studies. Proteotypic peptides are those peptides in a protein sequence that are most likely to …


Improving Facial Action Unit Recognition Using Convolutional Neural Networks, Shizhong Han Jan 2017

Improving Facial Action Unit Recognition Using Convolutional Neural Networks, Shizhong Han

Theses and Dissertations

Recognizing facial action units (AUs) from spontaneous facial expression is a challenging problem, because of subtle facial appearance changes, free head movements, occlusions, and limited AU-coded training data. Most recently, convolutional neural networks (CNNs) have shown promise on facial AU recognition. However, CNNs are often overfitted and do not generalize well to unseen subject due to limited AU-coded training images. In order to improve the performance of facial AU recognition, we developed two novel CNN frameworks, by substituting the traditional decision layer and convolutional layer with the incremental boosting layer and adaptive convolutional layer respectively, to recognize the AUs from …


A Machine Learning Approach For Enhancing Security And Quality Of Service Of Optical Burst Switching Networks, Adel Dabash A. Rajab Jan 2017

A Machine Learning Approach For Enhancing Security And Quality Of Service Of Optical Burst Switching Networks, Adel Dabash A. Rajab

Theses and Dissertations

The Optical Bust Switching (OBS) network has become one of the most promising switching technologies for building the next-generation of internet backbone infrastructure. However, OBS networks still face a number of security and Quality of Service (QoS) challenges, particularly from Burst Header Packet (BHP) flooding attacks. In OBS, a core switch handles requests, reserving one of the unoccupied channels for incoming data bursts (DB) through BHP. An attacker can exploit this fact and send malicious BHP without the corresponding DB. If unresolved, threats such as BHP flooding attacks can result in low bandwidth utilization, limited network performance, high burst loss …


A New Reinforcement Learning Algorithm With Fixed Exploration For Semi-Markov Decision Processes, Angelo Michael Encapera Jan 2017

A New Reinforcement Learning Algorithm With Fixed Exploration For Semi-Markov Decision Processes, Angelo Michael Encapera

Masters Theses

"Artificial intelligence or machine learning techniques are currently being widely applied for solving problems within the field of data analytics. This work presents and demonstrates the use of a new machine learning algorithm for solving semi-Markov decision processes (SMDPs). SMDPs are encountered in the domain of Reinforcement Learning to solve control problems in discrete-event systems. The new algorithm developed here is called iSMART, an acronym for imaging Semi-Markov Average Reward Technique. The algorithm uses a constant exploration rate, unlike its precursor R-SMART, which required exploration decay. The major difference between R-SMART and iSMART is that the latter uses, in addition …


A Bounded Actor-Critic Algorithm For Reinforcement Learning, Ryan Jacob Lawhead Jan 2017

A Bounded Actor-Critic Algorithm For Reinforcement Learning, Ryan Jacob Lawhead

Masters Theses

"This thesis presents a new actor-critic algorithm from the domain of reinforcement learning to solve Markov and semi-Markov decision processes (or problems) in the field of airline revenue management (ARM). The ARM problem is one of control optimization in which a decision-maker must accept or reject a customer based on a requested fare. This thesis focuses on the so-called single-leg version of the ARM problem, which can be cast as a semi-Markov decision process (SMDP). Large-scale Markov decision processes (MDPs) and SMDPs suffer from the curses of dimensionality and modeling, making it difficult to create the transition probability matrices (TPMs) …


Investigate Genomic 3d Structure Using Deep Neural Network, Yan Zhang Jan 2017

Investigate Genomic 3d Structure Using Deep Neural Network, Yan Zhang

Theses and Dissertations

The 3D structures of the chromosomes play fundamental roles in essential cellular functions, e.g., gene regulation, gene expression, evolution and Hi-C technique provides the interaction density between loci on chromosomes. In this dissertation, we developed multiple algorithms, focusing the deep learning approach, to study the Hi-C datasets and the genomic 3D structures.

Building 3D structure of the genome one of the most critical purpose of the Hi-C technique. Recently, several approaches have been developed to reconstruct the 3D model of the chromosomes from HiC data. However, all of the methods are based on a particular mathematical model and lack of …


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

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 …


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

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

Chulalongkorn University Theses and Dissertations (Chula ETD)

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


แบบจำลองการสูญหายของการแพร่กระจายในมุมอับสายตาสำหรับมาตรฐานไอทริปเปิ้ลอี 802.11 พี, สัญชัย จักรธีรังกูร Jan 2017

แบบจำลองการสูญหายของการแพร่กระจายในมุมอับสายตาสำหรับมาตรฐานไอทริปเปิ้ลอี 802.11 พี, สัญชัย จักรธีรังกูร

Chulalongkorn University Theses and Dissertations (Chula ETD)

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


การวิเคราะห์ผลกระทบอินสแตนซ์ฐานข้อมูลจากการเปลี่ยนแปลงข้อมูลนำเข้าของความต้องการเชิงฟังก์ชัน, กฤษฎา แก่นเฉลียว Jan 2017

การวิเคราะห์ผลกระทบอินสแตนซ์ฐานข้อมูลจากการเปลี่ยนแปลงข้อมูลนำเข้าของความต้องการเชิงฟังก์ชัน, กฤษฎา แก่นเฉลียว

Chulalongkorn University Theses and Dissertations (Chula ETD)

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


การแปลงไทมด์เพทริเน็ตให้เป็นอีเวนท์บีโดยอัตโนมัติสำหรับการทวนสอบเชิงรูปนัย, ชลิกา ศักดิ์สุภาวัฒนกุล Jan 2017

การแปลงไทมด์เพทริเน็ตให้เป็นอีเวนท์บีโดยอัตโนมัติสำหรับการทวนสอบเชิงรูปนัย, ชลิกา ศักดิ์สุภาวัฒนกุล

Chulalongkorn University Theses and Dissertations (Chula ETD)

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


การปรับปรุงแบบจำลองเสียงเพื่อเพิ่มความเป็นธรรมชาติของเสียงสังเคราะห์ภาษาไทย, ศุภเดช ฉันจรัสวิชัย Jan 2017

การปรับปรุงแบบจำลองเสียงเพื่อเพิ่มความเป็นธรรมชาติของเสียงสังเคราะห์ภาษาไทย, ศุภเดช ฉันจรัสวิชัย

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


Error Aggregation In The Reengineering Process From 3d Scanning To Printing, Jennifer G. Michaeli, Matthew C. Degroff, Roman C. Roxas Jan 2017

Error Aggregation In The Reengineering Process From 3d Scanning To Printing, Jennifer G. Michaeli, Matthew C. Degroff, Roman C. Roxas

Engineering Technology Faculty Publications

This work aims to study the aggregation of dimensional errors in the reengineering processes using 3D scanning and printing without initial design drawings. A 57-tooth spur gear is used as an example to facilitate the discussion. Two approaches are investigated. The first one builds the gear model based upon measurement taken from a caliper, and the second approach uses a 3D scanner to collect geometry data. Dimensional errors in each stage of these two approaches are investigated. Particular attention is paid to the geometry data flow in the reengineering process from data acquisition and editing to model construction. Recommendations are …


2d Vector Map And Database Design For Indoor Assisted Navigation, Luciano Caraciolo Albuquerque Jan 2017

2d Vector Map And Database Design For Indoor Assisted Navigation, Luciano Caraciolo Albuquerque

Dissertations and Theses

In this paper we implemented a 2D Vector Map, map editor and Database design intended to provide an efficient way to convert cad files from indoor environments to a set of vectors representing hallways, doors, exits, elevators, and other entities embedded in a floor plan, and save them in a database for use by other applications, such as assisted navigation for blind people.

A graphical application as developed in C++ to allow the user to input a CAD DXF file, process the file to automatically obtain nodes and edges, and save the nodes and edges to a database for posterior …


A High Performance Hysteresis Current Control Of A Permanent Magnet Synchronous Motor Drive, Cosmas Ogbuka, Cajethan Nwosu, Marcel Agu Jan 2017

A High Performance Hysteresis Current Control Of A Permanent Magnet Synchronous Motor Drive, Cosmas Ogbuka, Cajethan Nwosu, Marcel Agu

Turkish Journal of Electrical Engineering and Computer Sciences

A high performance hysteresis current control of a permanent magnet synchronous motor (PMSM) drive is developed in this paper. The core advantage of field orientation control (FOC) is utilized to separate the flux and torque control components of the stator current of the PMSM. Specifically, the objectives of this work are to develop and utilize the HCC algorithm for FOC of a complete closed-loop speed-controlled PMSM drive system, optimize the control algorithm to obtain fast speed response while maintaining effective current and torque tracking, and examine the hysteresis current control action clearly showing the inverter switching and the effects of …


Comparison Of Group Key Establishment Protocols, Serap Şahi̇n, Rabi̇a Aslanoğlu Jan 2017

Comparison Of Group Key Establishment Protocols, Serap Şahi̇n, Rabi̇a Aslanoğlu

Turkish Journal of Electrical Engineering and Computer Sciences

Recently group-oriented applications over unsecure open networks such as Internet or wireless networks have become very popular. Thus, group communication security over unsecure open networks has become a vital concern. Group key establishment (GKE) protocols are used to satisfy the confidentiality requirement of a newly started communication session by the generation or sharing of an ephemeral common key between the group members. In this study, we analyze the computation and communication efficiency of GKE protocols. Besides confidentiality, the security characteristics of identification and integrity control are also required for all steps of the protocol implementations. Thus, the main contribution of …


Robust Adaptive Fuzzy Control Of A Three-Phase Active Power Filter Based On Feedback Linearization, Shixi Hou, Juntao Fei Jan 2017

Robust Adaptive Fuzzy Control Of A Three-Phase Active Power Filter Based On Feedback Linearization, Shixi Hou, Juntao Fei

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, a robust adaptive fuzzy control system using feedback linearization is proposed for a three-phase active power filter (APF). The APF system is divided into two separate loops: the current dynamic inner loop and the DC voltage dynamic outer loop. Adaptive fuzzy tracking control using feedback linearization is employed for the current dynamic inner loop to overcome the drawbacks of the conventional method. The proposed controller can ensure proper tracking of the reference current and impose desired dynamic behavior, giving robustness and insensitivity to parameter variations. Adaptive fuzzy proportional-integral control is applied to the DC voltage dynamics outer …


Novel Scheduling Algorithm For Optimizing Real-Time Multimedia Performance In Long Term Evolution-Advanced, Huda Adibah Mohd Ramli, Zairi Ismael Rizman Jan 2017

Novel Scheduling Algorithm For Optimizing Real-Time Multimedia Performance In Long Term Evolution-Advanced, Huda Adibah Mohd Ramli, Zairi Ismael Rizman

Turkish Journal of Electrical Engineering and Computer Sciences

Real-time multimedia applications are becoming increasingly popular among mobile cellular users. Given that Long Term Evolution-Advanced (LTE-A), which is an emerging mobile cellular standard, needs to support these multimedia applications, packet scheduling is of paramount importance in LTE-A. This paper proposes a packet scheduling algorithm known as novel scheduling for usage in the downlink of LTE-A. It takes channel quality, average throughput, and packet delay into account when determining the priority of each user. Simulation results demonstrate the efficacy of the proposed algorithm in optimizing real-time multimedia performance for more mobile cellular users.


Sotarm: Size Of Transaction-Based Association Rule Mining Algorithm, Asha Pandian, Jebarajan Thaveethu Jan 2017

Sotarm: Size Of Transaction-Based Association Rule Mining Algorithm, Asha Pandian, Jebarajan Thaveethu

Turkish Journal of Electrical Engineering and Computer Sciences

Mining of association rules tries to identify the existence of promising and fruitful relations among the items present in a database. The basic a priori algorithm suffers from multiple database scans, and if the database is large, then the time taken for scanning and generation of candidates is also large. The proposed algorithm attempts to reduce the repeated scanning of the whole database. Using this algorithm, scanning time and also the generation of subitems that are not frequent can be reduced. The former can be done by sorting the transaction records in descending order based on the size of transaction …