From flowers to palms: 40 years of policy for online learning

This year sees the 40th anniversary of the first policy paper regarding the use of computers in higher education in the United Kingdom. The publication of this paper represented the beginning of the field of learning technology research and practice in higher education. In the past 40 years, policy has at various points drawn from different communities and provided the roots for a diverse field of learning technology researchers and practitioners. This paper presents a review of learning technology-related policy over the past 40 years. The purpose of the review is to make sense of the current position in which the field finds itself, and to highlight lessons that can be learned from the implementation of previous policies. Conclusions drawn from the review of 40 years of learning technology policy suggest that there are few challenges that have not been faced before as well as a potential return to individual innovation

Innovative teaching of IC design and manufacture using the Superchip platform

In this paper we describe how an intelligent chip architecture has allowed a large cohort of undergraduate students to be given effective practical insight into IC design by designing and manufacturing their own ICs. To achieve this, an efficient chip architecture, the “Superchip”, has been developed, which allows multiple student designs to be fabricated on a single IC, and encapsulated in a standard package without excessive cost in terms of time or resources. We demonstrate how the practical process has been tightly coupled with theoretical aspects of the degree course and how transferable skills are incorporated into the design exercise. Furthermore, the students are introduced at an early stage to the key concepts of team working, exposure to real deadlines and collaborative report writing. This paper provides details of the teaching rationale, design exercise overview, design process, chip architecture and test regime

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis. Certifying the loop pipelining algorithm is challenging because there is a huge semantic gap between the input sequential design and the output pipelined implementation making it infeasible to verify their equivalence with automated sequential equivalence checking techniques. We discuss our ongoing effort using ACL2 to certify loop pipelining transformation. The completion of the proof is work in progress. However, some of the insights developed so far may already be of value to the ACL2 community. In particular, we discuss the key invariant we formalized, which is very different from that used in most pipeline proofs. We discuss the needs for this invariant, its formalization in ACL2, and our envisioned proof using the invariant. We also discuss some trade-offs, challenges, and insights developed in course of the project.Comment: In Proceedings ACL2 2014, arXiv:1406.123

The Aspects Of Critical Thinking Toward Students' Psychomotor Skill In Learning Of Microprocessor And Microcontroller Programming Techniques

This study aims to determine the effect of critical thinking aspects on students' psychomotor skills. Aspects of critical thinking include interpreting, planning, predicting, analyzing, evaluating, and decision-making. This research was applied to a microprocessor and microcontroller programming technique subject at a vocational higher school in Surabaya-Indonesia. The multiple linear regression method was chosen to analyze the effect of simultaneous and partial aspects of critical thinking on students' psychomotor skills. The results showed that there was a significant influence between aspects of critical thinking simultaneously on students' psychomotor skills. While partially, only the predicting aspect has a significant influence on students' psychomotor skills. For other aspects, there is no significant effect on students' psychomotor skills

A Survey of Digital Systems Curriculum and Pedagogy in Electrical and Computer Engineering Programs

Digital Systems is one of the basic foundational courses in Electrical and Computer Engineering. One of the challenges in designing and modifying the curriculum for the course is the fast pace of technology change in the area. TTL chips that were in vogue with students building physical circuits, have given way to new paradigms like FPGA based synthesis with hardware description languages such as VHDL. However, updating a course is not as simple as just changing the book, and changing the syllabus. A large amount of work needs to be done in terms of selecting the book that will accommodate the course, the device that should be used, the laboratory content, and even how much time needs to be dedicated for every topic. All these issues, and many more makes it hard to take the decision of updating the course. For that reason, this paper surveys the pedagogy and methodology that is used to teach the digital systems curriculum at different universities. The goal is that it will serve as a resource for faculty looking to update or revamp their digital systems curricula. Within the document they will find a comparative study by electrical and computer engineering program, a list of textbooks, and the devices most commonly used.Cockrell School of Engineerin

Electronics and control technology

Until recently, there was no requirement to learn electronics and control technology in the New Zealand school curriculum. Apart from isolated pockets of teaching based on the enthusiasm of individual teachers, there is very little direct learning of electronics in New Zealand primary or secondary schools. The learning of electronics is located in tertiary vocational training programmes. Thus, few school students learn about electronics and few school teachers have experience in teaching it. Lack of experience with electronics (other than using its products) has contributed to a commonly held view of electronics as out of the control and intellectual grasp of the average person; the domain of the engineer, programmer and enthusiast with his or her special aptitude. This need not be true, but teachers' and parents' lack of experience with electronics is in danger of denying young learners access to the mainstream of modern technology

The Phoenix Drone: An Open-Source Dual-Rotor Tail-Sitter Platform for Research and Education

In this paper, we introduce the Phoenix drone: the first completely open-source tail-sitter micro aerial vehicle (MAV) platform. The vehicle has a highly versatile, dual-rotor design and is engineered to be low-cost and easily extensible/modifiable. Our open-source release includes all of the design documents, software resources, and simulation tools needed to build and fly a high-performance tail-sitter for research and educational purposes. The drone has been developed for precision flight with a high degree of control authority. Our design methodology included extensive testing and characterization of the aerodynamic properties of the vehicle. The platform incorporates many off-the-shelf components and 3D-printed parts, in order to keep the cost down. Nonetheless, the paper includes results from flight trials which demonstrate that the vehicle is capable of very stable hovering and accurate trajectory tracking. Our hope is that the open-source Phoenix reference design will be useful to both researchers and educators. In particular, the details in this paper and the available open-source materials should enable learners to gain an understanding of aerodynamics, flight control, state estimation, software design, and simulation, while experimenting with a unique aerial robot.Comment: In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'19), Montreal, Canada, May 20-24, 201

A project to transfer technology from NASA centers in support of industrial innovation in the midwest

A technology transfer program utilizing graduate students in mechanical engineering at the University of Kansas was initiated in early 1981. The objective of the program was to encourage industrial innovation in the Midwest through improved industry/university cooperation and the utilization of NASA technology. A related and important aspect of the program was the improvement of graduate engineering education through the involvement of students in the identification and accomplishment of technological objectives in cooperation with scientists at NASA centers and engineers in industry. The pilot NASA/University Industrial Innovation Program was an outstanding success based on its ability to: attract top graduate students; secure industry support; and stimulate industry/university cooperation leading to enhanced university capability and utilization of advanced technology by industry