學術出版;;Publications

Permanent URI for this communityhdl:11536/1

收集所有交通大學研究人員與學生個人或團體所發表之各項學術著作，涵蓋期刊論文、教師專書、學位論文等項。;;Collections of Publications of NCTU Researchers and Students Like Journal Papers and Thesis.

Browse

🏛️國立陽明交通大學機構典藏

Search Results

Now showing 1 - 10 of 77

Design and Implementation of TCP-Friendly Meters in P4 Switches
(2020-08-01)
Wang, Shie-Yuan
;
Hu, Hsien-Wen
;
Lin, Yi-Bing
;
資訊工程學系
;
Department of Computer Science
Metering the traffic of a flow and dropping the portion of traffic that exceeds the target rate set by the meter is very important to provide quality of service (QoS) in a network. Most existing switches on the market provide the meter function. Although these meters regulate the traffic of a UDP flow very well, according to our tests, they are not TCP-friendly. For example, we found that a TCP flow passing the meter of a commercial switch can only achieve about 10% of the target rate. Based on our studies, we found that this poor performance is due to the bad interactions between the TCP congestion control and the meter function. In this paper, we design and implement a TCP-friendly meter in the packet processing pipelines of a P4 switch. Experimental results show that our meter regulates a TCP flow very well and can maintain its achieved rate within 5% of the target rate. Compared with the meters in several hardware switches, our meter improves the achieved rate of a TCP flow by almost 85% of the target rate.
Dual-Stack Network Management Through One-Time Authentication Mechanism
(2020-01-01)
Kao, Yi-Chih
;
Liu, Jui-Chun
;
Ke, Yi-Quan
;
Tsai, Shi-Chun
;
Lin, Yi-Bing
The exhaustion of IPv4 addresses has led to the rapid implementation of IPv6. However, the design of IPv6 is incompatible with that of its predecessor IPv4 and slows down the development of the IPv4-to-IPv6 migration. Several transitioning mechanisms have been proposed to attain the compatibility of IPv4 and IPv6 to bridge the gap between these two heterogeneous protocols. The two protocols would need to coexist continually before IPv6 completely takes over IPv4. However, the existing captive portal authentication systems generally do not support IPv4/IPv6 dual-stack authentication and lack one-time dual-stack authentication solutions. Upgrading the authentication system has become an urgent problem to be addressed. This study presents dual-stack network management strategies using a novel one-time authentication mechanism for large and complex dual-stack network environments. The proposed authentication system resolves the inconvenience of separate IPv4 and IPv6 authentication and effectively improves the compatibility of the two protocols. Furthermore, authenticating both IPv4 and IPv6 increases the traceability of traffic logs when security attacks occur. The proposed solution is deployed in a campus dormitory environment, and the feasibility and stability are successfully verified.
A Bandwidth-Efficient INT System for Tracking the Rules Matched by the Packets of a Flow
(2019-01-01)
Wang, Shie-Yuan
;
Chen, Yo-Ru
;
Li, Jun-Yi
;
Hu, Hsien-Wen
;
Tsai, Jia-An
Tracking the rules matched by the packets of a flow when they traverse multiple switches in a network is very important and useful. In this paper, we design and implement a bandwidth-efficient In-Band Network Telemetry (INT) system that can track the rules matched by the packets of a flow in real time or in the past. We have evaluated the real performance of our system on a testbed composed of several hardware P4 switches. Our experimental results show that the system works correctly and its traffic reduction scheme can reduce the rate of generated INT reports by a factor of 39, 394, 2,055, or even up to 12,500, depending on the type of network states monitored and the threshold used to filter out less important INT reports.
Aggregating and disaggregating packets with various sizes of payload in P4 switches at 100 Gbps line rate
(2020-09-01)
Wang, Shie-Yuan
;
Li, Jun-Yi
;
Lin, Yi-Bing
;
資訊工程學系
;
Department of Computer Science
Aggregating multiple small packets into a large packet provides many advantages. For example, multiple small packets can share a single copy of common Ethernet/IP/UDP headers to reduce the percentage of network bandwidth spent on transmitting headers. In the past, packet aggregation and disaggregation were done by a server CPU or a switch CPU, resulting in low throughputs. In this paper, we design and implement packet aggregation and disaggregation functions in the packet processing pipelines of P4 switches. Our novel designs allow packets with various sizes of payload to be aggregated and disaggregated purely in the data plane of a P4 switch. Experimental results show that the achieved throughputs of our aggregation and disaggregation methods can reach 100 Gbps, which is the line rate of the used P4 switch.
Machine learning with parallel neural networks for analyzing and forecasting electricity demand
(2020-08-01)
Chen, Yi-Ting
;
Sun, Edward W.
;
Lin, Yi-Bing
;
資訊工程學系
;
Department of Computer Science
Traditional methods applied in electricity demand forecasting have been challenged by the course of dimensionality arisen with a growing number of distributed or decentralized energy systems are employing. Without manually operated data preprocessing, classic models are not well-calibrated for their robustness when dealing with the disruptive elements (e.g., demand changes in holidays and extreme weather). Based on the application of big data driven analytics, we propose a novel machine learning method originating from the parallel neural networks for robust monitoring and forecasting power demand to enhance supervisory control and data acquisition for new industrial tendency such as Industry 4.0 and Energy IoT. Through our approach, we generalize the implementation of machine learning by using classic feed-forward neural networks, for parallelization in order to let the proposed method achieve superior performance when dealing with high dimensionality and disruptiveness. With the high-frequency data of consumption in Australia from January 2009 to December 2015, the overall empirical results confirm that our proposed method performs significantly better for dynamic monitoring and forecasting of power demand comparing with the classic methods.
An Intelligent Elevator Development and Management System
(2020-06-01)
Van, Lan-Da
;
Lin, Yi-Bing
;
Wu, Tsung-Han
;
Lin, Yu-Chi
;
資訊工程學系
This paper proposes ElevatorTalk, an elevator development and management system based on the Internet of Things (IoT) approach called IoTtalk. This system modularizes the software into elevator components so that we can develop flexible and scalable car scheduling algorithms. ElevatorTalk consists of three subsystems: cars, scheduler, and the elevator car operating (ECO) panel. The first two subsystems are used to develop the elevator systems, and the third subsystem is used to receive requests issued by the passengers. These three subsystems work in parallel, and communicate with each other through sending and receiving messages. ElevatorTalk can connect to a real elevator system to serve as the elevator management center. It can also emulate the existing elevator systems with different car scheduling algorithms. We propose an intelligent aggressive car scheduling with initial car distribution (ACSICD) algorithm in ElevatorTalk. Our paper indicates that ACSICD has better waiting/travel/journey time performance and/or accuracy than the previous proposed algorithms. We also show that in our approach, the car scheduling decision can be quickly made with 0.2010 ms, and therefore good performance in the time complexity is achieved.
BigraphTalk: Verified Design of IoT Applications
(2020-04-01)
Archibald, Blair
;
Shieh, Min-Zheng
;
Hu, Yu-Hsuan
;
Sevegnani, Michele
;
Lin, Yi-Bing
Graphical Internet of Things (IoT) device management platforms, such as IoTtalk, make it easy to describe interactions between IoT devices. Applications are defined by dragging-and-dropping devices and specifying how they are connected, e.g., a door sensor controlling a light. While this allows simple and rapid development, it remains possible to specify unwanted device configurations, such as using the same device to drive a motor up and down simultaneously, risking damaging the motor. We propose BigraphTalk, a verification framework for IoTtalk that utilizes formal techniques, based on bigraphs, to statically guarantee that unwanted configurations do not arise. In particular, we check for invalid connections between devices, as well as type errors, e.g., passing a float to a Boolean switch. To the best of our knowledge, BigraphTalk is the first platform to support the graphical specification of correct-by-design IoT applications. BigraphTalk provides fully automated verification and feedback without end-users ever needing to specify a bigraph. This means that any application, specifiable in IoTtalk, is guaranteed, so long as verification succeeds, not to violate the given configuration constraints when deployed; with no extra cost to the user.
SimTalk: Simulation of IoT Applications
(2020-05-01)
Lin, Yun-Wei
;
Lin, Yi-Bing
;
Yen, Tai-Hsiang
;
資訊工程學系
;
智慧科學暨綠能學院
The correct implementation and behavior of Internet of Things (IoT) applications are seldom investigated in the literature. This paper shows how the simulation mechanism can be integrated well into an IoT application development platform for correct implementation and behavior investigation. We use an IoT application development platform called IoTtalk as an example to describe how the simulation mechanism called SimTalk can be built into this IoT platform. We first elaborate on how to implement the simulator for an input IoT device (a sensor). Then we describe how an output IoT device (an actuator) can be simulated by an animated simulator. We use a smart farm application to show how the simulated sensors are used for correct implementation. We use applications including interactive art (skeleton art and water dance) and the pendulum physics experiment as examples to illustrate how IoT application behavior investigation can be achieved in SimTalk. As the main outcome of this paper, the SimTalk simulation codes can be directly reused for real IoT applications. Furthermore, SimTalk is integrated well with an IoT application verification tool in order to formally verify the IoT application configuration. Such features have not been found in any IoT simulators in the world.
Ubiquitous and Low Power Vehicles Speed Monitoring for Intelligent Transport Systems
(2020-06-01)
Choy, Jose Luis Calderon
;
Wu, Jing
;
Long, Chengnian
;
Lin, Yi-Bing
;
資訊工程學系
This paper presents a high scalability real-time intelligent traffic monitoring system, based on Radio Frequency Identification (RFID). The main features of this system are low cost, low power consumption, traffic monitoring, and connectivity. The system's architecture includes an RFID reader, a passive tag, and a Raspberry Pi. Our solution collects vehicle information from the labels and stores the data into a database by employing only one antenna. The main challenge is that the RFID module is not robust enough to recognize the information in the vehicle's RFID tag on each information query, while the label is in the reading zone. This instability does not allow us to know precisely when and where a vehicle enters or leaves the sensing zone. What is more, the high random error in the power signal and the complexity of its characteristic curve pattern add difficulty to the speed calculation, when we reduce the number of antennas to one. For this reason, an innovative approach has been designed, using customized modular neural network (MNN). This method fits the collected data (power signal vs time) affected by acute random noise, to the characteristic correspondence function among the signal power and the position of the terminal, which domains are dimensionally different. As a result, we can estimate the vehicle speeds and obtain the whole vehicle information. Under this novel method, we are able to reduce the hardware, in comparison with previous approaches, making it cheaper and decreasing power consumption.
Green Elevator Scheduling Based on IoT Communications
(2020-01-01)
Van, Lan-Da
;
Lin, Yi-Bing
;
Wu, Tsung-Han
;
Chao, Tzu-Hsiang
;
資訊工程學系
In this paper, we propose an energy-saving elevator scheduling algorithm to reduce the car moving steps to achieve motor energy saving and green wireless communications. The proposed algorithm consisting of six procedures can attain fewer Internet of Things (IoT) message exchanges (i.e. communication transmissions) between the Scheduler subsystem and the Car subsystem via the core function AssignCar(r). The function AssignCar(r) is capable of assigning a request to the nearest car through car search globally. From the emulation results for four cars, this work shows that the proposed algorithm outperforms the previous work named as aggressive car scheduling with initial car distribution (ACSICD) algorithm with energy consumption reductions by 49.43%, 47.68%, 37.89%, and 47.65% for up-peak, inter-floor, downpeak, and all-day request patterns, respectively.

學術出版;;Publications

Browse

Filters

Settings

Sort By

Results per page

🏛️國立陽明交通大學機構典藏

Search Results