Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (13620)
- Computer Sciences (13090)
- Electrical and Computer Engineering (7228)
- Artificial Intelligence and Robotics (4427)
- Operations Research, Systems Engineering and Industrial Engineering (4259)
-
- Numerical Analysis and Scientific Computing (4004)
- Systems Science (3989)
- Digital Communications and Networking (2156)
- Other Computer Engineering (1687)
- Computer and Systems Architecture (1628)
- Data Storage Systems (1560)
- Social and Behavioral Sciences (1444)
- Civil and Environmental Engineering (1329)
- Robotics (1260)
- Civil Engineering (1105)
- Mechanical Engineering (960)
- Electrical and Electronics (908)
- Information Security (744)
- Environmental Engineering (658)
- Other Civil and Environmental Engineering (646)
- Systems and Communications (639)
- Chemical Engineering (609)
- Materials Science and Engineering (607)
- Hydraulic Engineering (574)
- Law (535)
- Hardware Systems (511)
- Business (482)
- Legal Studies (468)
- Institution
-
- China Simulation Federation (3924)
- TÜBİTAK (3106)
- Wright State University (1814)
- University of Nebraska - Lincoln (1069)
- University of Texas at El Paso (859)
-
- Washington University in St. Louis (733)
- Technological University Dublin (732)
- California Polytechnic State University, San Luis Obispo (722)
- Brigham Young University (641)
- Old Dominion University (586)
- Embry-Riddle Aeronautical University (565)
- Singapore Management University (548)
- Universitas Indonesia (445)
- San Jose State University (438)
- Santa Clara University (422)
- Marquette University (415)
- Air Force Institute of Technology (414)
- University of South Carolina (327)
- California State University, San Bernardino (288)
- University of Central Florida (277)
- Portland State University (273)
- Chulalongkorn University (243)
- Al Iraqia University (235)
- University of South Florida (223)
- Purdue University (218)
- University of Arkansas, Fayetteville (210)
- University of Nevada, Las Vegas (192)
- New Jersey Institute of Technology (187)
- Nova Southeastern University (183)
- University of Dayton (166)
- Keyword
-
- Machine learning (445)
- Computer Science (385)
- Deep learning (353)
- Department of Computer Science and Engineering (319)
- Machine Learning (290)
-
- Engineering (274)
- Simulation (237)
- Robotics (233)
- Security (184)
- Artificial intelligence (177)
- Deep Learning (173)
- Optimization (171)
- Computer Engineering (168)
- Classification (164)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Cybersecurity (155)
- Artificial Intelligence (150)
- Computer vision (142)
- Computer Science and Engineering (137)
- Genetic algorithm (119)
- Blockchain (100)
- Internet (98)
- Virtual reality (98)
- Path planning (94)
- Data mining (93)
- Privacy (92)
- Clustering (91)
- Publication Year
- Publication
-
- Journal of System Simulation (3924)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- Departmental Technical Reports (CS) (760)
- Theses and Dissertations (734)
-
- All Computer Science and Engineering Research (683)
- International Congress on Environmental Modelling and Software (629)
- Research Collection School Of Computing and Information Systems (512)
- Department of Electrical and Computer Engineering: Faculty Publications (496)
- Makara Journal of Technology (437)
- Electrical and Computer Engineering Faculty Research and Publications (392)
- Browse all Theses and Dissertations (342)
- Dissertations (342)
- Electronic Theses and Dissertations (328)
- Journal of Digital Forensics, Security and Law (299)
- Computer Science and Engineering Senior Theses (298)
- Faculty Publications (290)
- Master's Theses (289)
- Computer Engineering (282)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (242)
- Iraqi Journal for Computer Science and Mathematics (235)
- Master's Projects (219)
- School of Computing: Dissertations, Theses, and Student Research (206)
- Electrical and Computer Engineering Faculty Publications (204)
- Electrical & Computer Engineering Theses & Dissertations (197)
- Conference papers (179)
- Publications (173)
- USF Tampa Graduate Theses and Dissertations (162)
- BITs and PCs Newsletter (157)
- Journal of International Technology and Information Management (153)
- Publication Type
- File Type
Articles 9931 - 9960 of 25752
Full-Text Articles in Computer Engineering
Exploring The Parameter Space Of Human Activity Recognition With Mobile Devices, Berrenur Saylam, Muhammad Shoaib, Özlem Durmaz İncel
Exploring The Parameter Space Of Human Activity Recognition With Mobile Devices, Berrenur Saylam, Muhammad Shoaib, Özlem Durmaz İncel
Turkish Journal of Electrical Engineering and Computer Sciences
Motion sensors available on smart phones make it possible to recognize human activities. Accelerometer, gyroscope, magnetometer, and their various combinations are used to classify, particularly, locomotion activities, ranging from walking to biking. In most of the studies, the focus is on the collection of data and on the analysis of the impact of different parameters on the recognition performance. The parameter space includes the types of sensors used, features, classification algorithms, and position/orientation of the mobile device. In most of the studies, the impact of some of these parameters is partially analyzed; however, in this work, we investigate the parameter …
Optimization Of Real-Time Wireless Sensor Based Big Data With Deep Autoencoder Network: A Tourism Sector Application With Distributed Computing, Beki̇r Aksoy, Utku Kose
Optimization Of Real-Time Wireless Sensor Based Big Data With Deep Autoencoder Network: A Tourism Sector Application With Distributed Computing, Beki̇r Aksoy, Utku Kose
Turkish Journal of Electrical Engineering and Computer Sciences
Internet usage has increased rapidly with the development of information communication technologies. The increase in internet usage led to the growth of data volumes on the internet and the emergence of the big data concept. Therefore, it has become even more important to analyze the data and make it meaningful. In this study, 690 million queries and approximately 5.9 quadrillion data collected daily from different servers were recorded on the Redis servers by using real-time big data analysis method and load balance structure for a company operating in the tourism sector. Here, wireless networks were used as a triggering factor …
Efficient Turkish Tweet Classification System For Crisis Response, Saed Alqaraleh, Merve Işik
Efficient Turkish Tweet Classification System For Crisis Response, Saed Alqaraleh, Merve Işik
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents a convolutional neural networks Turkish tweet classification system for crisis response. This system has the ability to classify the present information before or during any crisis. In addition, a preprocessing model was also implemented and integrated as a part of the developed system. This paper presents the first ever Turkish tweet dataset for crisis response, which can be widely used and improve similar studies. This dataset has been carefully preprocessed, annotated, and well organized. It is suitable to be used by all the well-known natural language processing tools. Extensive experimental work, using our produced Turkish tweet dataset …
Influence Of Varying Magnet Pole-Arcs And Step-Skew On Permanent Magnet Ac Synchronous Motor Performance, Meti̇n Aydin, Oğuzhan Ocak, Yücel Demi̇r
Influence Of Varying Magnet Pole-Arcs And Step-Skew On Permanent Magnet Ac Synchronous Motor Performance, Meti̇n Aydin, Oğuzhan Ocak, Yücel Demi̇r
Turkish Journal of Electrical Engineering and Computer Sciences
Minimization or elimination of cogging torque is a significant issue in permanent magnet (PM) motor design process. There are some design techniques to reduce or eliminate this unwanted torque components in PM motors. This paper focuses on two different design techniques, varying magnet pole-arc and step-skew, to reduce cogging torque component in radial flux PM synchronous motors. Different design points which consider pulsating torque components and back-EMF harmonics are obtained via finite element analysis (FEA) for a low power industrial PM motor. A prototype motor is manufactured for one of the desired designs and is tested experimentally. Good agreement is …
A New Smart Networking Architecture For Container Network Functions, Gülsüm Atici, Pinar Bölük
A New Smart Networking Architecture For Container Network Functions, Gülsüm Atici, Pinar Bölük
Turkish Journal of Electrical Engineering and Computer Sciences
5G slices have challenging application demands from a wide variety of fields including high bandwidth, low latency and reliability. The requirements of the container network functions which are used in telecommunications are different from any other cloud native IT applications as they are used for data plane packet processing functions, together with control, signalling and media processing which have critical processing requirements. This study aims to discover high performing container networking solution by considering traffic loads and application types. The behaviour of several container cluster networking solutions -- Flannel, Weave, Libnetwork, Open Virtual Networking for Open vSwitch and Calico -- …
Techno-Economic Analysis Of Diethyl Ether Production Via Catalytic Dehydration Of Ethanol, Boonraksa Chaiapha
Techno-Economic Analysis Of Diethyl Ether Production Via Catalytic Dehydration Of Ethanol, Boonraksa Chaiapha
Chulalongkorn University Theses and Dissertations (Chula ETD)
The major source of energy comes from non-renewable fuels, which have a non-sustainability and negative impact on the environment. Thus, there is change to renewable fuels as bioethanol. Diethyl ether (DEE) is a part of bioethanol. However, the increase of electric vehicles (EV) may decrease ethanol demand for biofuel in the future. Thus, it will be interesting in adding value to ethanol via the catalytic dehydration to produce DEE by conduct techno-economic analysis. Further, there is comparison on different concentrations of ethanol (93% and 95% ethanol) that affect DEE production. For simulation part, the DEE capacity of 3,600 tons/year is …
Characteristics Improvement Of Quantum Dot Semiconductor Optical Amplifier For Access Network, Budsara Boriboon
Characteristics Improvement Of Quantum Dot Semiconductor Optical Amplifier For Access Network, Budsara Boriboon
Chulalongkorn University Theses and Dissertations (Chula ETD)
This thesis presents the characteristics improvement and performance evaluation of Quantum Dot Semiconductor Optical Amplifier (QD SOA) in an access network. There are 3 parts: 1) improvement of internal quantum efficiency, 2) increase of chip gain and 3) implementation of QD SOA in 40 Gb/s access network. The first part, Rapid Thermal Annealing (RTA) is applied to improve internal quantum efficiency to be 1.4 times higher than without RTA and low optical loss. The second part, strain compensation technique is applied to increase the chip gain of QD SOA. Considering the design of Quantum Dot Laser Diode with optimized stacked …
A Robust System For Core Thai Natural Language Processing Technologies, Can Udomcharoenchaikit
A Robust System For Core Thai Natural Language Processing Technologies, Can Udomcharoenchaikit
Chulalongkorn University Theses and Dissertations (Chula ETD)
As the amount of unstructured textual data grows, it becomes increasingly important to build an intelligent system that can process it. Natural Language Processing (NLP) is a technology that allows a computer to exploit human languages to perform tasks. Deep learning models have shown excellent results across fundamental tasks in NLP, such as word segmentation, part-of-speech tagging, and named-entity recognition. However, in many situations, these proposed methods fail to perform well. For an NLP system to be robust, it must address issues such as out-of-vocabulary and spelling-mistakes. This thesis's research goal is to develop NLP models that can handle malformed …
Semi-Supervised Thai Sentence Segmentation Using Local And Distant Word Representations, Chanatip Saetia
Semi-Supervised Thai Sentence Segmentation Using Local And Distant Word Representations, Chanatip Saetia
Chulalongkorn University Theses and Dissertations (Chula ETD)
A sentence is typically treated as the minimal syntactic unit used for extracting valuable information from a longer piece of text. However, in written Thai, there are no explicit sentence markers. We proposed a deep learning model for the task of sentence segmentation that includes three main contributions. First, we integrate n-gram embedding as a local representation to capture word groups near sentence boundaries. Second, to focus on the keywords of dependent clauses, we combine the model with a distant representation obtained from self-attention modules. Finally, due to the scarcity of labeled data, for which annotation is difficult and time-consuming, …
Implementation Of Traffic Engineering With Segment Routing And Opendaylight Controller On Emulated Virtual Environment Next Generation (Eve-Ng), Htain Lynn Aung
Implementation Of Traffic Engineering With Segment Routing And Opendaylight Controller On Emulated Virtual Environment Next Generation (Eve-Ng), Htain Lynn Aung
Chulalongkorn University Theses and Dissertations (Chula ETD)
Internet service providers and enterprise networks face rapid changes and rapid growth of the internet, and the networks become complex in operations to support the strict Service-level Agreements (SLAs) needed applications. Segment Routing (SR) is a source routing technology that overcomes the conventional Multiprotocol Label Switching (MPLS) networks' drawbacks in scalability, flexibility, and applicability in Software-defined Networking (SDN). SR enables the source device to instruct the path using a segment or list of segments to go through the network. SR can be implemented in IPv6 and MPLS. A segment can be defined as information that instructs SR capable nodes to …
A Morphable Fpga Soft Processor Using Llvm Infrastructure Targeting Low-Power Application-Specific Embedded Systems, Ehsan Ali
Chulalongkorn University Theses and Dissertations (Chula ETD)
The reconfigurable computing (RC) aims to combine the flexibility of General-Purpose Processor (GPP) with performance of Application Specific Integrated Circuits (ASIC). There are several architectures proposed since RC's inception in 1960s, but all have failed to become mainstream. The main factor preventing RC to become common practice is its requirement for implementers of algorithms (programmers) to be familiar with hardware design. In RC, a hardened processor cooperates with a dynamic reconfigurable Hardware Accelerator (HA) which is implemented on Field-Programmable Gate Array (FPGA). The HA implements crucial software kernel on hardware to increase performance and its design demands digital circuit expertise. …
Deep Sequential Real Estate Recommendation Approach For Solving Item Cold Start Problem, Jirut Polohakul
Deep Sequential Real Estate Recommendation Approach For Solving Item Cold Start Problem, Jirut Polohakul
Chulalongkorn University Theses and Dissertations (Chula ETD)
The item cold-start problem occurs when a recommendation system cannot recommend new items owing to record deficiencies and new listing omissions. When searching for real estate, users can register a concurrent interest in recent and prior projects. Thus, an approach to recommend cold-start and warm-start items simultaneously must be determined. Furthermore, unrequired membership and stop-by behavior cause real estate recommendations to have many cold-start and new users. This characteristic encourages the use of a content-based approach and a session-based recommendation system. Herein, we propose a real estate recommendation approach for solving the item cold-start problem with acceptable warm-start item recommendations …
A Real Estate Valuation Model Using Boosted Feature Selection, Kankawee Chanasit
A Real Estate Valuation Model Using Boosted Feature Selection, Kankawee Chanasit
Chulalongkorn University Theses and Dissertations (Chula ETD)
To estimate real estate values, a complex valuation model based on artificial neural network (ANN) has been established as a successful means in modern machine learning research, specifically when high-dimensional data are available. Unfortunately, the real estate data in many locations, such as Thailand, are quite limited in terms of features. Hence, it becomes mandatory to reduce the complexity using feature selection techniques. These techniques aim to improve performance by identifying significant factors and help decrease the computational overload and model construction. However, due to the lack of explicability and interpretability in ANNs, the analysis of input factors cannot be …
Explainable Stock Price Prediction Using Technical Indicators With Short Thai Textual Information, Kittisak Prachyachuwong
Explainable Stock Price Prediction Using Technical Indicators With Short Thai Textual Information, Kittisak Prachyachuwong
Chulalongkorn University Theses and Dissertations (Chula ETD)
A stock trend prediction has been in the spotlight from the past to the present. Fortunately, there is an enormous amount of information available nowadays. There were prior attempts that have tried to forecast the trend using textual information; however, it can be further improved since they relied on fixed word embedding, and it depends on the sentiment of the whole market. In this paper, we propose a deep learning model to predict the Thailand Futures Exchange (TFEX) with the ability to analyze both numerical and textual information. We have used Thai economic news headlines from various online sources. To …
Redesigning Weakly Supervised Localization Architectures For Medical Images, Konpat Preechakul
Redesigning Weakly Supervised Localization Architectures For Medical Images, Konpat Preechakul
Chulalongkorn University Theses and Dissertations (Chula ETD)
Point localization is a task that aims to identify the location but not the extent of an object of interest in an input image. A success localization is when a model predicts a point which is within the boundary of an object of interest. This task has been successfully learnt using only image-level annotation i.e. image classification. This setting is known as weakly-supervised point localization. Weakly-supervised point localization is particularly useful in medical imaging task where not only the decision of a model is required by also the explanation. The better the explanation the more useful the model is. Usually …
Detection Of Wagyu Beef Sources With Image Classification Using Convolutional Neural Network, Nattakorn Kointarangkul
Detection Of Wagyu Beef Sources With Image Classification Using Convolutional Neural Network, Nattakorn Kointarangkul
Chulalongkorn University Theses and Dissertations (Chula ETD)
Wagyu beef originated in Japan. However, there are many types of Wagyu beef in the market around the globe. Primary sources include Australia, USA, Canada and the United Kingdom. The authentic Japanese Wagyu is well known for its intense marbling, juicy rich flavor and tenderness. Observing that there are differences in flavor, texture, and quality between distinct sources of Wagyu. This research presents an AI-based approach to identify Wagyu beef sources with image classification. The input images were collected from reliable sources on the internet and augmented with DCGAN. Deep neural networks, CNN, was constructed to detect the marbled fat …
Learning Personally Identifiable Information Transmission In Android Applications By Using Data From Fast Static Code Analysis, Nattanon Wongwiwatchai
Learning Personally Identifiable Information Transmission In Android Applications By Using Data From Fast Static Code Analysis, Nattanon Wongwiwatchai
Chulalongkorn University Theses and Dissertations (Chula ETD)
The ease of use of mobile devices has resulted in a significant increase in the everyday use of mobile applications as well as the amount of personal information stored on devices. Users are becoming more aware of applications' access to their personal information, as well as the risk that these applications may unwittingly transmit Personally Identifiable Information (PII) to third-party servers. There is no simple way to determine whether or not an application transmits PII. If this information could be made available to users before installing new applications, they could weigh the pros and cons of having the risk of …
Using Automatic Speech Recognition To Assess Thai Speech Language Fluency In Montreal Cognitive Assessment (Moca), Pimarn Kantithammakorn
Using Automatic Speech Recognition To Assess Thai Speech Language Fluency In Montreal Cognitive Assessment (Moca), Pimarn Kantithammakorn
Chulalongkorn University Theses and Dissertations (Chula ETD)
The Montreal Cognitive Assessment (MoCA), a widely accepted screening tool for identifying patients with mild cognitive impairment (MCI), includes a language fluency test of verbal functioning where scores are based on the number of unique correct words produced by the test-taker. However, with different languages, it is possible that unique words may be counted differently. This study focuses on Thai as a language that differs from English in its type of word combination. We applied various automatic speech recognition (ASR) techniques to develop an assisted scoring system for the language fluency test of the MoCA with Thai language support. The …
Accurate Surface Ultraviolet Radiation Forecasting For Clinical Applications With Deep Neural Network, Raksit Raksasat
Accurate Surface Ultraviolet Radiation Forecasting For Clinical Applications With Deep Neural Network, Raksit Raksasat
Chulalongkorn University Theses and Dissertations (Chula ETD)
Exposure to appropriate doses of UV radiation provides enormously health and medical treatment benefits including psoriasis. Typical hospital-based phototherapy cabinets contain a bunch of artificial lamps, either broad-band (main emission spectrum 280-360 nm, maximum 320 nm), or narrow-band UV B irradiation (main emission spectrum 310-315nm, maximum 311nm). For patients who cannot access phototherapy centers, sun-bathing, or heliotherapy, can be a safe and effective treatment alternative. However, as sunlight contains the full range of UV radiation (290-400 nm), careful sun-bathing supervised by photodermatologist based on accurate UV radiation forecast is vital to minimize potential adverse effects. Here, using 10-year UV radiation …
Med-Asa Smart Task-Volunteer Matching System, Taweesin Wongpinkaew
Med-Asa Smart Task-Volunteer Matching System, Taweesin Wongpinkaew
Chulalongkorn University Theses and Dissertations (Chula ETD)
In the context of healthcare, volunteers play an important role in improving the patient's experience and lowering the operational cost. However, the process which facilitate their management is reported to be problematic. In this thesis, the problems of the current system is explored, and a potential solution of a new IT system is outlined. The system was tested for a duration of 2 month during the COVID-19 outbreak in Thailand. SUS and an in-depth interview was conducted in order to gauge the usability and the effectiveness the system. The time it takes for the volunteers to go through with the …
ระบบระบุตำแหน่งภายในอาคารสำหรับสมาร์ตโฟนด้วยการใช้เทคนิคลายนิ้วมือของสัญญาณวายฟายเชิงกำหนด, ธีรภัทร์ วงศ์สุธีรา
ระบบระบุตำแหน่งภายในอาคารสำหรับสมาร์ตโฟนด้วยการใช้เทคนิคลายนิ้วมือของสัญญาณวายฟายเชิงกำหนด, ธีรภัทร์ วงศ์สุธีรา
Chulalongkorn University Theses and Dissertations (Chula ETD)
การระบุตำแหน่งภายในอาคารด้วยการใช้เทคนิคลายนิ้วมือของสัญญาณวายฟายมักจะทำงานอย่างไม่มีประสิทธิภาพเมื่อนำไปใช้งานในพื้นที่ขนาดใหญ่ นอกจากนี้ การระบุตำแหน่งดังกล่าวมักพบกับปัญหาตำแหน่งที่ไม่ตรงกัน ซึ่งทำให้เกิดความไม่แม่นยำในการระบุตำแหน่ง ยิ่งกว่านั้นการเปลี่ยนแปลงของสภาพแวดล้อมก็สามารถลดประสิทธิภาพโดยรวมของระบบได้เช่นกัน เพื่อที่จะแก้ปัญหาเหล่านี้ งานวิจัยชิ้นนี้ได้นำเสนอ ระบบระบุตำแหน่งภายในอาคารสำหรับสมาร์ตโฟนด้วยการใช้เทคนิคลายนิ้วมือของสัญญาณวายฟายเชิงกำหนด ระบบนี้ประกอบด้วยกันทั้งหมด 3 ส่วน ส่วนที่หนึ่งคืออัลกอริทึมสำหรับจัดหมวดหมู่พื้นที่ โดยส่วนนี้จะจำแนกคำร้องขอจากผู้ใช้งาน ว่าถูกส่งมาจากภายนอกอาคารหรือภายในอาคารใด เพื่อกรองคำร้องขอที่ถูกส่งมาจากพื้นที่ภายนอกอาคารหรือพื้นที่ที่ระบบไม่ได้ครอบคลุมออกไป ส่วนที่สองคืออัลกอริทึมระบุตำแหน่งภายในอาคาร ส่วนนี้จะใช้ข้อมูลจากส่วนแรก ในการลดขอบเขตการค้นหาลายนิ้วมือของสัญญาณลง ทำให้สามารถลดระยะเวลาในการประมวลผลเพื่อหาตำแหน่งที่แน่นอนได้อย่างมหาศาล นอกจากนี้อัลกอริทึมในส่วนนี้จะคำนึงถึงปัญหาตำแหน่งที่ไม่ตรงกัน เพื่อลดผลกระทบจากปัญหาดังกล่าว ส่วนที่สามคืออัลกอริทึมตรวจจับบีเอสเอสไอดีที่หายไปจากคำร้องขอจากผู้ใช้งานและปรับปรุงฐานข้อมูล เพื่อให้ระบบสามารถปรับตัวกับสภาวะแวดล้อมที่เปลี่ยนไปได้ จากผลการทดลอง ระบบที่นำเสนอสามารถจัดหมวดหมู่พื้นที่ ระบุตำแหน่งภายในอาคารและตรวจจับบีเอสเอสไอดีที่หายไปได้อย่างแม่นยำ โดยอัลกอริทึมสำหรับจัดหมวดหมู่พื้นที่สามารถลดระยะเวลาในการประมวลผลอย่างเห็นได้ชัดเมื่อเปรียบเทียบกับงานวิจัยที่ผ่านมา นอกจากนี้อัลกอริทึมตรวจจับบีเอสเอสไอดีที่หายไปสามารถเพิ่มประสิทธิภาพให้กับทั้งระบบที่นำเสนอและงานวิจัยที่ผ่านมาได้อย่างมาก
ระบบควบคุมเกมแอคชั่นแนวยิงมุมมองบุคคลที่หนึ่งที่ผสานระบบต่อประสานระหว่างสมองกับคอมพิวเตอร์เข้าไปด้วย, ศุภชัย เต็งตระกูล
ระบบควบคุมเกมแอคชั่นแนวยิงมุมมองบุคคลที่หนึ่งที่ผสานระบบต่อประสานระหว่างสมองกับคอมพิวเตอร์เข้าไปด้วย, ศุภชัย เต็งตระกูล
Chulalongkorn University Theses and Dissertations (Chula ETD)
เทคโนโลยีการต่อประสานระหว่างสมองกับคอมพิวเตอร์ (Brain Computer Interface: BCI) ที่ใช้สัญญาณ Electroencephalogram (EEG) เป็นเทคโนโลยี BCI ที่เหมาะกับการนำมาใช้ควบคุมเกมที่สุดเพราะความสะดวกและปลอดภัยต่อผู้ใช้ แต่แม้ว่าจะมีการศึกษาประเด็นนี้กันมานานหลายปี การออกแบบเกม BCI ก็ยังไม่สามารถก้าวข้ามจุดอ่อนพื้นฐานของสัญญาณ EEG ได้ ส่งผลให้ตัวเกมที่ออกมาขาดระบบการเล่นที่น่าสนใจเมื่อเทียบกับเกมอื่นในท้องตลาด งานวิจัยชิ้นนี้จึงเสนอระบบควบคุมแบบใหม่ที่นำระบบ BCI ที่ใช้วิธีการจำแนก Steady-State Visually Evoked Potential (SSVEP) ที่ดีที่สุดในปัจจุบันอย่าง Riemannian มารวมกับอุปกรณ์ควบคุมอีก 3 อย่าง ได้แก่ คีย์บอร์ด (Keyboard) เมาส์ (Mouse) และเครื่องตรวจจับตำแหน่งการมอง (Eye Tracker) นอกจากนั้นงานวิจัยชิ้นนี้ยังเสนอเกมแอคชั่นแนวยิงมุมมองบุคคลที่หนึ่ง (Action First-person Shooter: Action FPS) ที่ถูกพัฒนามาให้ทำงานร่วมกับระบบควบคุมดังกล่าวเพื่อสร้างประสบการณ์การเล่นเกมด้วยระบบ BCI ที่ดียิ่งขึ้น โดยตัวเกมจะมี 3 ฟีเจอร์ (Features) สำคัญ ได้แก่ การชะลอเวลา การไฮไลต์ตัวกระตุ้น SSVEP ที่ถูกมองอยู่ และการออกคำสั่ง SSVEP ให้โดยอัตโนมัติเมื่อผู้เล่นไม่สามารถใช้ได้แลกกับการไม่ได้รับของรางวัลบางอย่าง จากผลการทดสอบของผู้ร่วมทดสอบ 10 คนพบว่า ผู้ร่วมทดสอบทุกคนสามารถใช้คำสั่งผ่านเครื่องตรวจจับตำแหน่งการมองได้ดีในช่วงแรก แต่เมื่อเวลาผ่านไปกลับใช้คำสั่งได้ไม่ดีเท่าเดิม ส่วนการใช้คำสั่งผ่าน SSVEP ผลที่ออกมาแตกต่างกันอย่างมากในแต่ละคำสั่ง คำสั่งที่ผู้ร่วมทดสอบใช้สำเร็จด้วยตัวเองมากที่สุดมีโอกาสใช้สำเร็จอยู่ที่ 71% ส่วนคำสั่งที่ผู้ร่วมทดสอบใช้สำเร็จด้วยตัวเองน้อยที่สุดมีโอกาสเพียง 49% เท่านั้น โดยรวมแล้วระบบควบคุมนี้ถือว่ามีความสามารถเพียงพอที่จะนำไปใช้ควบคุมเกมแนว FPS ได้ แต่ยังต้องปรับปรุงเรื่องความคงที่ของประสิทธิภาพของระบบ BCI และทางเลือกเกี่ยวกับการควบคุมด้วยเครื่องตรวจจับตำแหน่งการมอง และถึงแม้ว่าปัญหาเหล่านี้จะส่งผลให้ผู้ร่วมทดสอบไม่ได้รับความสะดวกสบายในการเล่นอยู่บ้าง แต่ผู้ร่วมทดสอบ 90% ก็ยังคงสนุกกับตัวเกมอยู่ เนื่องจากฟีเจอร์ของตัวเกมมีส่วนช่วยให้ผู้ร่วมทดสอบรู้สึกว่ายังสามารถควบคุมเกมได้
การประยุกต์ใช้ไมโครฟรอนต์เอนส์กับการปรับโครงสร้างใหม่ซิงเกิลเพจแอปพลิเคชัน, ณัฐพร นพปฎล
การประยุกต์ใช้ไมโครฟรอนต์เอนส์กับการปรับโครงสร้างใหม่ซิงเกิลเพจแอปพลิเคชัน, ณัฐพร นพปฎล
Chulalongkorn University Theses and Dissertations (Chula ETD)
สถาปัตยกรรมระบบซอฟต์แวร์ปกติมักแบ่งแยกเป็นส่วนหน้าและส่วนหลัง โดยที่แบ็กเอนด์มีหน้าที่ในการประมวลผลข้อมูลทางฝั่งเซิร์ฟเวอร์ ในขณะที่ฟรอนต์เอนด์รับผิดชอบการโต้ตอบระหว่างไคลเอนต์และระบบ บรรดาแนวทางสถาปัตยกรรมแบ็กเอนด์ในปัจจุบัน ไมโครเซอร์วิสเป็นทางเลือกหนึ่งที่เหมาะสมที่สุดสำหรับระบบที่สามารถขยายได้ ในขณะเดียวกัน แอปพลิเคชันฝั่งไคลเอนต์ก็เติบโตขึ้นตามขนาดและความซับซ้อนเช่นกัน แนวคิดไมโครฟรอนต์เอนส์ได้ปรากฏขึ้นเป็นวิวัฒนาการทางตรรกของสถาปัตยกรรมฝั่งฟรอนต์เอนด์ของเว็บแอปพลิเคชัน คล้ายคลึงกับไมโครเซอร์วิส แนวคิดทั้งสองมีประโยชน์ต่อการพัฒนาระบบพร้อมกัน นอกเหนือจากสมรรถนะที่เพิ่มขึ้นอันเป็นผลมาจากการแบ่งแยกแอปพลิเคชันขนาดใหญ่ออกเป็นส่วนเล็กๆ วิทยานิพนธ์นี้นำเสนอการประยุกต์ใช้ไมโครฟรอนต์เอนส์สำหรับการพัฒนาเว็บไซต์โปรแกรมสืบค้นทางกฎหมายเป็นกรณีศึกษา เนื่องจากโปรแกรมสืบค้นโดยปกติทั่วไปจัดเป็นโครงการซอฟต์แวร์ขนาดใหญ่ การพัฒนาเป็นซิงเกิลเพจแอปพลิเคชันจึงมีแนวโน้มที่จะไม่สามารถรองรับงานที่มีปริมาณมากขึ้น ระบบขยายตัวไม่ได้ดี และค่าใช้จ่ายบำรุงรักษาสูง การออกแบบฝั่งไคลแอนต์บนพื้นฐานไมโครฟรอนต์เอนด์ผนวกกับเทคโนโลยีแบ็กเอนด์แบบไมโครเซอร์วิสได้ถูกนำเสนอในงานวิจัยนี้ สำหรับการประเมินผล ความต้องการใหม่ของหน้าเว็บ รายละเอียดเอกสาร ได้ถูกพัฒนาขึ้นด้วยแองกูลาร์และเพิ่มเข้าไปในระบบปัจจุบันที่เป็นซิงเกิลเพจแอปพลิเคชัน เพื่อเปรียบเทียบกับการพัฒนาฟีเจอร์ดังกล่าวด้วยไมโครฟรอนต์เอนด์ ตัววัดทั้งสามที่ถูกเลือกสำหรับการประเมินสมรรถนะประกอบด้วย ความขึ้นต่อกันของคอมโพเนนต์ เวลาการพัฒนา และเวลาการทดสอบ ผลลัพธ์ค่าการวัดรายงานค่าตัววัดทั้งสามตัวที่ลดลงเมื่อพัฒนาด้วยไมโครฟรอนต์เอนด์ อย่างไรก็ตาม ทีมงานมีความรู้สึกว่าต้องใช้ความพยายามมากขึ้นกับการพัฒนาแบบใหม่ด้วยไมโครฟรอนต์เอนด์
การรีมอดุลาไรเซชันด้วยการค้นหาต้องห้าม, พจนารถ จันทน์วัฒนวงษ์
การรีมอดุลาไรเซชันด้วยการค้นหาต้องห้าม, พจนารถ จันทน์วัฒนวงษ์
Chulalongkorn University Theses and Dissertations (Chula ETD)
วิทยานิพนธ์นี้นำเสนอการรีมอดุลาไรเซชันซอฟต์แวร์ด้วยการค้นหาต้องห้าม เพื่อค้นหารูปแบบการจัดสรรคลาสไปยังแพ็กเกจที่เหมาะสมที่สุด ซึ่งเป็นการปรับปรุงสภาพมอดุลาร์ของซอฟต์แวร์ โดยทำการค้นหาคลาสที่ไม่เหมาะสมกับแพ็กเกจ เพื่อย้ายไปยังแพ็กเกจที่เหมาะสมมากขึ้น การรีมอดุลาไรเซชันซอฟต์แวร์ด้วยการค้นหาต้องห้ามนี้ ประกอบไปด้วยขั้นตอนการตรวจสอบว่า ซอฟต์แวร์นั้นมีความจำเป็นต้องทำการรีมอดุลาไรเซชันหรือไม่ ด้วยเกณฑ์ค่าสัมประสิทธิ์ซิลูเอทของระบบซอฟต์แวร์ และหากซอฟต์แวร์จำเป็นต้องรีมอดุลาไรเซชัน ขั้นตอนถัดไปคือทำการค้นหาด้วยการค้นหาต้องห้ามจะค้นหารูปแบบการจัดสรรคลาสที่เหมาะสม เพื่อปรับปรุงระบบซอฟต์แวร์ให้มีคุณภาพที่ดีขึ้น ซึ่งวิธีการนี้สามารถเป็นเครื่องมือช่วยวิศวกรซอฟต์แวร์ตัดสินใจในการทำรีมอดุลาไรเซชันได้ เพื่อสนับสนุนวิธีการรีมอดุลาไรเซชันด้วยการค้นหาต้องห้าม จึงได้พัฒนาเครื่องมือเพื่อทดสอบกับซอฟต์แวร์และกรณีตัวอย่างที่พัฒนาด้วยภาษาจาวารวมเจ็ดตัวอย่าง จากการทดสอบพบว่า เครื่องมือสามารถตรวจสอบได้ว่าซอฟต์แวร์ควรมีการรีมอดุลาไรเซชันหรือไม่ และเครื่องมือสามารถค้นหาและแนะนำวิธีมูฟคลาสรีแฟคทอริงเพื่อทำให้ระบบซอฟต์แวร์มีคุณภาพที่ดีขึ้น โดยประเมินจากการใช้ตัววัดสัมประสิทธิ์ซิลูเอทและเทอร์โบเอ็มคิว เมื่อเปรียบเทียบก่อนและหลังการรีมอดุลาไรเซชันแล้วพบว่ามีค่าเพิ่มขึ้น
การสร้างกรณีทดสอบจากบีพีเอ็มเอ็นที่มีการเรียกใช้ดีเอ็มเอ็น, บุศรินทร์ บุญมีพิพิธ
การสร้างกรณีทดสอบจากบีพีเอ็มเอ็นที่มีการเรียกใช้ดีเอ็มเอ็น, บุศรินทร์ บุญมีพิพิธ
Chulalongkorn University Theses and Dissertations (Chula ETD)
บีพีเอ็มเอ็นถูกนำมาใช้ในการจัดการกระบวนการทางธุรกิจ โดยใช้ในการสื่อสารการทำงานผ่านสัญลักษณ์ที่เป็นมาตรฐานของแบบจำลอง ซึ่งการจัดการกระบวนการทางธุรกิจดังกล่าวอาจเกิดระหว่างขั้นตอนการรวบรวมความต้องการของกระบวนการพัฒนาซอฟต์แวร์ เนื่องจากกระบวนการทางธุรกิจที่มีความซับซ้อนมักจะมีกฎการตัดสินใจ ดังนั้น ดีเอ็มเอ็นจึงถูกนำมาใช้ร่วมกับบีพีเอ็มเอ็นเพื่ออธิบายกฎเหล่านี้ในรูปแบบของตารางการตัดสินใจดีเอ็มเอ็น ดีเอ็มเอ็นยังช่วยให้ผู้มีส่วนเกี่ยวข้องสามารถระบุกฎทางธุรกิจได้อย่างมีประสิทธิภาพซึ่งทำให้รูปแบบกระบวนการทางธุรกิจเข้าใจได้ง่ายขึ้น อย่างไรก็ตาม แบบจำลองเหล่านี้จำเป็นต้องถูกทวนสอบด้วยกรณีทดสอบ แม้ว่าก่อนหน้านี้จะมีงานวิจัยเกี่ยวกับการสร้างกรณีทดสอบจากบีพีเอ็มเอ็น แต่ยังไม่มีงานวิจัยใดที่มุ่งเน้นเกี่ยวกับบีพีเอ็มเอ็นที่มีการเรียกใช้ดีเอ็มเอ็น วิทยานิพนธ์นี้จึงนำเสนอการสร้างกรณีทดสอบจากบีพีเอ็มเอ็นที่มีการเรียกใช้ดีเอ็มเอ็น โดยเริ่มจากนำเข้าและวิเคราะห์ไฟล์บีพีเอ็มเอ็น ไฟล์ดีเอ็มเอ็น ไฟล์เส้นทางการทดสอบ และไฟล์กรณีทดสอบเดิม เพื่อค้นหาว่ามีกฎใดของตารางการตัดสินใจดีเอ็มเอ็นที่ยังไม่ถูกใช้งานในกรณีทดสอบ จากนั้นจึงสร้างกรณีทดสอบให้ครอบคลุมครบทุกกฎ ด้วยวิธีการนี้ทำให้กรณีทดสอบมีกฎครอบคลุมครบทุกกฎ ซึ่งมั่นใจได้ว่ากระบวนการทางธุรกิจถูกทวนสอบอย่างอย่างถี่ถ้วน
การสร้างกรณีทดสอบสำหรับเว็บเซอร์วิสแบบดับเบิลยูเอส-บีเพลจากกราฟการเรียกเชิงสถิต, วารีรัตน์ บัวเสนาะ
การสร้างกรณีทดสอบสำหรับเว็บเซอร์วิสแบบดับเบิลยูเอส-บีเพลจากกราฟการเรียกเชิงสถิต, วารีรัตน์ บัวเสนาะ
Chulalongkorn University Theses and Dissertations (Chula ETD)
เว็บเซอร์วิสถูกใช้งานกันอย่างแพร่หลายและได้รับความนิยมเป็นอย่างมาก การพัฒนาเว็บเซอร์วิสนั้นไม่ยึดติดกับภาษาที่ใช้ในการพัฒนาจึงทำให้เว็บเซอร์วิสมีรูปแบบที่หลากหลายและแตกต่างกันออกไป จึงต้องมีมาตรฐานในการควบคุมและประสานกระบวนการธุรกิจผ่านทางเว็บเซอร์วิส มาตรฐานนี้ถูกเรียกว่าดับเบิลยูเอส-บีเพล การทดสอบเว็บเซอร์วิสนั้นก็เป็นกระบวนการที่สำคัญในการพัฒนาซอฟต์แวร์เพื่อให้ตรงตามความต้องการของกระบวนการธุรกิจ งานวิจัยในปัจจุบันมีการนำเสนอแนวคิดและเครื่องมือที่ใช้ในการสร้างกรณีทดสอบสำหรับดับเบิลยูเอส-บีเพล โดยมุ่งเน้นเพียงกระบวนการธุรกิจในไฟล์ดับเบิลยูเอส-บีเพลเพียงหนึ่งไฟล์เท่านั้น วิทยานิพนธ์ฉบับนี้จัดทำขึ้นเพื่อนำเสนอแนวทางและเครื่องมือการสร้างกรณีทดสอบสำหรับดับเบิลยูเอส-บีเพลจากกราฟการเรียกเชิงสถิต เพื่อรองรับกรณีที่มีการเรียกใช้กระบวนการย่อยระหว่างไฟล์ดับเบิลยูเอส-บีเพล โดยเครื่องมือจะวิเคราะห์หาความสัมพันธ์ของแต่ละไฟล์ แทรกชุดคำสั่งในรหัสต้นทาง วิเคราะห์ความสัมพันธ์การเรียกใช้งานระหว่างไฟล์ดับเบิลยูเอส-บีเพลเพื่อสร้างกราฟการเรียกเชิงสถิต จากนั้นสร้างทางเดินทดสอบจากกราฟการเรียกเชิงสถิตเพื่อให้ได้ความครอบคลุมในระดับกิ่ง
การสร้างเทสต์สคริปต์สําหรับโปรแกรมประยุกต์บนเว็บ, พันทกานต์ ศรีวิชัยนันท์
การสร้างเทสต์สคริปต์สําหรับโปรแกรมประยุกต์บนเว็บ, พันทกานต์ ศรีวิชัยนันท์
Chulalongkorn University Theses and Dissertations (Chula ETD)
การทดสอบซอฟต์แวร์เป็นกระบวนการหนึ่งที่สำคัญต่อการพัฒนาซอฟต์แวร์ เพื่อค้นหาข้อผิดพลาดของซอฟต์แวร์ที่มีอยู่ในระบบ สามารถเพิ่มความน่าเชื่อถือให้กับซอฟต์แวร์ได้ การทดสอบซอฟต์แวร์ด้วยมือเป็นการทดสอบรูปแบบหนึ่งที่สามารถค้นหาข้อผิดพลาดของซอฟต์แวร์ได้ ทุก ๆ ครั้งที่ซอฟต์แวร์มีการเปลี่ยนแปลงต้องมีการทดสอบเพื่อเป็นการประกันคุณภาพของซอฟต์แวร์ อย่างไรก็ตามการทดสอบนั้นจะใช้จำนวนนักทดสอบ เวลาที่ใช้ทดสอบ เป็นจำนวนมากโดยเฉพาะการทดสอบแบบถดถอย แม้ว่าปัจจุบันนี้จะมีการใช้การทดสอบแบบอัตโนมัติมาช่วยลดเวลาที่ใช้ในการทดสอบลงแล้ว ยังต้องอาศัยนักทดสอบที่มีความรู้ ความเชี่ยวชาญในการสร้างเทสต์สคริปต์ ทำให้การสร้างเทสต์สคริปต์ในช่วงเวลาเริ่มต้นนั้นอาจใช้เวลานาน งานวิจัยนี้จึงได้เล็งเห็นความสำคัญที่จะช่วยนักทดสอบสร้างเทสต์สคริปต์ได้ง่ายขึ้น จึงนำเสนอวิธีการสร้างเทสต์สคริปต์สำหรับโปรแกรมประยุกต์บนเว็บจากการนำเข้าชื่อยูอาร์แอลเพื่อวิเคราะห์อินพุตฟิลด์และไฟล์เอกซ์เอสดีเพื่อสร้างข้อมูลทดสอบ โดยใช้วิธีการสร้างข้อมูลทดสอบแบบการวิเคราะห์ค่าขอบเขตแล้วสร้างเป็นเทสต์สคริปต์ ซึ่งเทสต์สคริปต์ที่ได้มานั้นจะถูกใช้งานภายใต้โรบอทเฟรมเวิร์ค หลังจากผู้วิจัยได้ทดสอบเครื่องมือเพื่อสร้างเทสต์สคริปต์ พบว่าเครื่องมือสามารถสร้างเทสต์สคริปต์และนำไปใช้งานภายใต้โรบอทเฟรมเวิร์คได้จริง
การเฝ้าสังเกตการเรียกใช้คอลล์แอ็คทีวิตีและเซอร์วิสทาสก์สำหรับบีพีเอ็มเอ็น, วรณัฎฐ์ ดวงแก้ว
การเฝ้าสังเกตการเรียกใช้คอลล์แอ็คทีวิตีและเซอร์วิสทาสก์สำหรับบีพีเอ็มเอ็น, วรณัฎฐ์ ดวงแก้ว
Chulalongkorn University Theses and Dissertations (Chula ETD)
การออกแบบและพัฒนาซอฟต์แวร์เชิงบริการนั้นถูกนำมาใช้งานในการผนวกรวมเซอร์วิสที่มีอยู่เข้าไว้ด้วยกัน เพื่อลดเวลาและความซ้ำซ้อนในการพัฒนาเซอร์วิสตามกระบวนการทางธุรกิจขององค์กร ซึ่งในกระบวนการทางธุรกิจที่ออกแบบอาจมีการติดต่อเรียกใช้งานกับเซอร์วิส จำนวนมาก ดังนั้นเพื่อให้ผู้ออกแบบกระบวนการเห็นถึงองค์ประกอบและภาพรวมการทำงานภายในกระบวนการนั้น องค์กรหลายแห่งจึงออกแบบและจำลองการทำงานของกระบวนการโดยใช้ ภาษาบีพีเอ็มเอ็นที่สามารถรองรับกับการออกแบบกระบวนการทางธุรกิจ บีพีเอ็มเอ็นยังประกอบด้วยคอลล์แอ็คทีวิตีและเซอร์วิสทาสก์ โดยที่คอลล์แอ็คทีวิตีจะเรียกใช้บีพีเอ็มเอ็นอื่นที่อยู่ภายในเครื่องประมวลผลแบบจำลองบีพีเอ็มเอ็นเดียวกัน ในขณะที่เซอร์วิสทาสก์จะเรียกใช้งานเว็บเซอร์วิสที่อยู่ภายนอก วิทยานิพนธ์นี้นำเสนอแนวทางและเครื่องมือสำหรับการเฝ้าสังเกตการเรียกใช้ คอลล์แอ็คทีวิตีและเซอร์วิสทาสก์สำหรับบีพีเอ็มเอ็น โดยผู้ทดสอบนำเข้าไฟล์บีพีเอ็มเอ็น กรณีทดสอบเดิมและเส้นทางการทดสอบ จากนั้นดำเนินการตรวจสอบกรณีทดสอบเดิมกับเส้นทางการทดสอบ และเมื่อพบว่ามีเส้นทางที่ยังไม่ถูกทดสอบ กรณีทดสอบใหม่จะถูกสร้างขึ้นแบบสุ่มของเส้นทางการทดสอบแบบกิ่ง โดยสุ่มข้อมูลนำเข้าตามข้อจำกัดของตัวแปร สุดท้ายแล้วกรณีทดสอบที่สร้างขึ้นจะถูกเก็บไว้ในฐานข้อมูล ส่งผลให้กรณีทดสอบที่ได้มีความครอบคลุมทุก ๆ คอลล์แอ็คทีวิตีและเซอร์วิสทาสก์
การแปลงตรรกเชิงเวลาแบบเมตริกไปเป็นตรรกเชิงเวลาเชิงเส้นสำหรับโพรเมลา, จุฑามาศ กะวิเศษ
การแปลงตรรกเชิงเวลาแบบเมตริกไปเป็นตรรกเชิงเวลาเชิงเส้นสำหรับโพรเมลา, จุฑามาศ กะวิเศษ
Chulalongkorn University Theses and Dissertations (Chula ETD)
การทวนสอบสำหรับระบบเรียลไทม์เป็นสิ่งสำคัญและหลีกเลี่ยงไม่ได้ โดยปกติแล้วระบบเรียลไทม์จะอยู่ในรูปแบบที่เป็นรูปแบบทางการและถูกตรวจสอบเพื่อให้สามารถรองรับคุณลักษณะที่สำคัญ ๆ ได้ แบบจำลองที่อยู่ในรูปแบบที่เป็นทางการนี้สามารถตรวจสอบคุณลักษณะที่สนใจด้วยใช้การตรวจสอบแบบจำลอง อย่างไรก็ตาม การตรวจสอบคุณลักษณะของแบบจำลองดังกล่าว ที่ได้ประสิทธิภาพสามารถเขียนแทนให้อยู่ในรูปแบบของตรรกเชิงเวลาแบบเมตริก หรือเอ็มทีแอล ซึ่งสามารถระบุช่วงเวลาที่สนใจได้ วิทยานิพนธ์ฉบับนี้ได้นำเสนอทางเลือกหนึ่งสำหรับการแปลงสมการในรูปบบแอลทีแอลไปเป็นสมการในรูปแบบของตรรกศาสตร์เชิงเส้น หรือแอลทีแอล ที่ทำงานร่วมกันกับภาษาโพรเมลา จากคุณลักษณะของเอ็มทีแอลที่ประกอบไปด้วย ตัวดำเนินการแบบตลอดไป ตัวดำเนินการแบบในที่สุด ตัวดำเนินการแบบถัดไป ตัวดำเนินการจนกระทั่งแบบเข้ม และตัวดำเนินการจนกระทั่งแบบอ่อน จากคุณะลักษณะทั้งหมดที่กล่าวมานั้นเป็นคุณลักษณะที่ได้นำมาศึกษาในวิทยานิพนธ์ฉบับนี้ กรณีศึกษาแบบจำลองระบบการบรรจุในแจ้งยอดหนี้บัตรเครดิตที่อยู่ในรูปแบบของไทม์แพททริเนทและถูกเขียนด้วยภาษาโพรเมลาซึ่งทำงานด้วยระบบสัญญาณนาฬิกาหลักและนาฬิกาย่อยเพื่อรองรับการทำงานกับเงื่อนไขด้านเวลาของกระบวนการในกรณีศึกษา การแปลงสมการในรูปแบบของเอ็มทีแอลพร้อมด้วยเงื่อนไขของเวลาไปเป็นสมการในรูปแบบของแอลทีแอลแสดงให้เห็นว่าการทวนสอบแบบจำลองกรณีศึกษาทำงานได้อย่างถูกต้องโดยทวนสอบแบบจำลองดังกล่าวด้วยเครื่องมือสปิน
วงจรควอนตัมสำหรับขั้นตอนวิธีการของชอร์, วิภู เมธาชวลิต
วงจรควอนตัมสำหรับขั้นตอนวิธีการของชอร์, วิภู เมธาชวลิต
Chulalongkorn University Theses and Dissertations (Chula ETD)
วิธีขั้นตอนการหาตัวประกอบจำนวนเฉพาะของชอร์เป็นหนึ่งในปัญหาที่น่าสนใจสำหรับคอมพิวเตอร์ควอนตัม โดยงานวิจัยนี้ต้องศึกษาถึงพฤติกรรมของวงจรขั้นตอนวิธีการของชอร์เมื่อนำมาใช้กับคอมพิวเตอร์ควอนตัมในปัจจุบัน โดยเลือกนำการออกแบบวงจรที่นำเสนอไว้โดย สตีเฟ่น เบอรีการ์ด มาทำการทดลองบนคอมพิวเตอร์ควอนตัมของทางบริษัทไอบีเอ็มขนาด 15 คิวบิต