| 1. |
- Nan, Pan, et al.
(författare)
-
Design of the laser gun bullets based on microcontroller
- 2018
-
Ingår i: ICEMI 2017 - Proceedings of IEEE 13th International Conference on Electronic Measurement and Instruments. - : Institute of Electrical and Electronics Engineers Inc.. - 9781509050345 ; , s. 68-72
-
Konferensbidrag (refereegranskat)abstract
- Police lab for testing requirements bullet speed, we designed a microcontroller based on the laser gun. The microcontroller as the core for speedometer, with laser detection plate module, thermal Printer module, display and buttons module, USB data interface module, wireless modules and stable voltage module, it can measure the speed of a series of work by Ligation of these modules. First, fired projectiles for testing by the laser detection plate module. Then, Transfer the detected data into the microcontroller. In the microcontroller detection data is processed and then printed out by thermal printer. Via USB data interface for data uploaded to a computer to save. While on the steps required to be operated by the controller. © 2017 IEEE.
|
|
| 2. |
- Sun, Jinghao, et al.
(författare)
-
On Computing Exact WCRT for DAG Tasks
- 2020
-
Ingår i: 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020. - : IEEE. - 9781728110851 ; , s. 1-6
-
Konferensbidrag (refereegranskat)abstract
- Most current real-time parallel applications can be modeled as a directed acyclic graph (DAG) task. Existing worst-case response time (WCRT) bounds (e.g., Graham's bound) derived for DAGs may be very pessimistic. No one precisely knows the gap between the WCRT bound and the actual WCRT. In this paper, we aim to derive the exact WCRT of a DAG task under the list scheduling upon multi-core platforms. We encode the WCRT analysis problem into a satisfaction modular theoretical (SNIT) formulation based on insights into the list scheduling algorithm, and prove that our SMT program can solve the WCRT precisely, providing an accurate baseline to measure the tightness of the existing WCRT bounds. Experiments show that our method significantly improves the tightness of the WCRT bound, and is practically quite efficient, e.g., it can analyze DAGs with more than 40 vertices in a few seconds.
|
|
| 3. |
- Sun, Jinghao, et al.
(författare)
-
On the Volume Calculation for Conditional DAG Tasks : Hardness and Algorithms
- 2020
-
Ingår i: PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020). - NEW YORK, USA. - 9783981926347 ; , s. 204-209
-
Konferensbidrag (refereegranskat)abstract
- The hardness of analyzing conditional directed acyclic graph (DAG) tasks remains unknown so far. For example, previous researches asserted that the conditional DAG's volume can be solved in polynomial time. However, these researches all assume well-nested structures that are recursively composed by single-source-single-sink parallel and conditional components. For conditional DAGs in general that do not comply with this assumption, the hardness and algorithms of volume computation are still open. In this paper, we construct counterexamples to show that previous work cannot provide a safe upper bound of the conditional DAG's volume in general. Moreover, we prove that the volume computation problem for conditional DAGs is strongly NP-hard. Finally, we propose an exact algorithm for computing the conditional DAG's volume. Experiments show that our method can significantly improve the accuracy of the conditional DAG's volume estimation.
|
|
| 4. |
- Sun, Jinghao, et al.
(författare)
-
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks
- 2017
-
Ingår i: 2017 IEEE Real-Time Systems Symposium (RTSS). - : IEEE. - 9781538614143 ; , s. 92-103
-
Konferensbidrag (refereegranskat)abstract
- OpenMP is a promising framework for developing parallel real-time software on multi-cores. Although similar to the DAG task model, OpenMP task systems are significantly more difficult to analyze due to constraints posed by the OpenMP specification. An important feature in OpenMP is tied tasks, which must execute on the same thread during the whole life cycle. Although tied tasks enjoy benefits in simplicity and efficiency, it was considered to be not suitable to real-time systems due to its complex behavior. In this paper, we study the real-time scheduling and analysis of OpenMP task systems with tied tasks. First, we show that under the existing scheduling algorithms in OpenMP, tied tasks indeed may lead to extremely bad timing behaviors where the parallel workload is sequentially executed completely. To solve this problem, we proposed a new scheduling algorithm and developed two response time bounds for it, with different trade-off between simplicity and analysis precision. Experiments with both randomly generated OpenMP task systems and realistic OpenMP programs show that the response time bounds obtained by our approach for tied task systems are very close to that of untied tasks.
|
|
| 5. |
- Sun, Shuangxi, 1986, et al.
(författare)
-
Heat dissipation of a hybrid CNT/Graphene based heat spreader
- 2016
-
Ingår i: IMAPS Nordic Annual Conference 2016, Tonsberg, Norway, 5-7 June 2016. - 9781510827226
-
Konferensbidrag (refereegranskat)abstract
- Graphene and Carbon Nanotube have been received much attention in the microelectronics application, due to their intrinsic unique performance in the thermal and electronic conduction. In this paper, a free standing three dimensional (3D) carbon nanotube (CNT)/graphene (G) hybrid material was synthesized through chemical vapor deposition (CVD) process for heat dissipation application. Scanning electron microscope (SEM) was employed to characterize the morphology of this hybrid material. Thermal test chip was designed and fabricated to test the cooling effect of this CNT/G hybrid material. The temperature of the hot spot on the chip can decreased around 10 oC with the help of this hybrid material.
|
|
| 6. |
|
|
| 7. |
- Wang, Yang, et al.
(författare)
-
Benchmarking OpenMP Programs for Real-Time Scheduling
- 2017
-
Ingår i: 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA). - : IEEE Computer Society. - 9781538618981
-
Konferensbidrag (refereegranskat)abstract
- Real-time systems are shifting from single-core to multi-core processors. Software must be parallelized to fully utilize the computation power of multi-core architecture. OpenMP is a popular parallel programming framework in general and high-performance computing, and recently has drawn a lot of interests in embedded and real-time computing. Much recent work has been done on real-time scheduling of OpenMP-based parallel workload. However, these studies conduct evaluations with randomly generated task systems, which cannot well represent the structure features of OpenMP workload. This paper presents a benchmark suite, ompTGB, to support research on real-time scheduling of OpenMP-based parallel tasks. ompTGB does not only collect realistic OpenMP programs, but also models them into task graphs so that the real-time scheduling researchers can easily understand and use them. We also present a new response time bound for a subset of OpenMP programs and use it to demonstrate the usage of ompTGB.
|
|
| 8. |
- Zhang, Yong, 1982, et al.
(författare)
-
2D HEAT DISSIPATION MATERIALS FOR MICROELECTRONICS COOLING APPLICATIONS
- 2016
-
Ingår i: China Semiconductor Technology International Conference 2016, CSTIC 2016. - 9781467388047
-
Konferensbidrag (refereegranskat)abstract
- The need for faster and smaller, as well as more reliable and efficient consumer electronic products has resulted in microelectronic components that produce progressively more heat. The resultant reliability issues from the increased heat flux are serious and hinder technological development. One solution for microelectronics cooling applications is 2D materials applied as heat spreaders and these include monolayer graphene, graphene based films, and monolayer hexagonal boron nitride and BN based films. In addition, thermal performances of the graphene heat spreader were also studied under different packaging structures, including wire bonding, cooling fins and flip chips. Finally, 2D hexagonal Boron nitride (h-BN) heat spreaders, fabricated by different methods, had their heat dissipation performances characterized by different thermal characterization methods, such as resistance temperature detector (RTD) and Infrared (IR) methods. In conclusion, these new novel 2D materials developed show great potential for microelectronics cooling applications.
|
|
