scholarly journals On being a PhD student of Robert Harper

2022 ◽  
Vol 32 (32) ◽  
Author(s):  
DEREK DREYER ◽  
BENJAMIN C. PIERCE

Abstract The Robert Harper Festschrift includes articles by three of Bob’s students and colleagues—Karl Crary, Andrzej Filinski, and Jonathan Sterling. Each of these articles touches on themes that are central to Bob’s research: module system design, proof-directed program development, and (to use Bob’s term) “computational trinitarianism”. In this foreword to the Festschrift, we have additionally compiled reminiscences of Bob Harper from his PhD students. We invited them to reflect on their experiences working with and learning from Bob. We believe these reminiscences, presented in chronological order of dissertation date, deliver a most fitting tribute to Bob in honor of his 64th birthday.

2011 ◽  
Vol 204-210 ◽  
pp. 866-871
Author(s):  
Xia Dong ◽  
Ke Dian Wang ◽  
Jun Wei Cao ◽  
Xue Song Mei

The perception module system of the virtual human in dangerous circumstances is studied mainly. The decision-making model based on emotion is created with mathematical method. The visual perception method is designed with geometrical algorithm, which can realize the determination of objects’ visibility. Perception module is designed with object-oriented method, including environment-information notification and virtual human’s responser. Communication between virtual human and nearby objects is communicated based on the perception module. The platform, which can simulate virtual human behaviors, is created with OpenGL technology by Visual C++6.0. The simulation results of virtual human behaviors prove that the perception system design of the virtual human is feasible.


2019 ◽  
Vol 23 (6) ◽  
pp. 50-58 ◽  
Author(s):  
M. V. Makhmutova ◽  
E. I. Senicheva ◽  
O. A. Akimova

Purpose of the study.  The aim of the work is to consider the possibility of improving the quality and accessibility of teaching and educational resources through the development and use of electronic educational resources (hereinafter referred to as EER) using the example of the module “System Design”. The article presents a solution to the problem that is of significant importance in the field of information technology implementation in education. The relevance of the research problem is determined by the fact that through the use of interactive tools in the learning process, users, as a rule, a student and an educator, can actively interact with these information tools. Interactivity implies the existence of conditions for educational dialogue, one of the participants of which is a means of informatization of education.Materials and methods.  To solve these tasks, the general scientific system approach was used as the main one, the basis of which is to consider educational facilities as systems functioning in a certain environment, as well as methods of analysis and comparison. The study was conducted in accordance with the pedagogical conditions of student learning and the methodological requirements for the educational product. We reviewed methodological recommendations on the use of e-learning in the educational process of the university, the main regulatory documents of distance education technologies in the implementation of additional professional programs, the Moodle distance learning system, guidelines for practical exercises, as well as reference materials on the Moodle system.Results.  The study revealed the problem of the use of electronic educational resources, their positive and somewhat negative impact on the goals and results of the educational process, as well as existing technologies for their creation. Based on the analysis of a variety of development technologies for various characteristics, a decision was made to use the LMS Moodle environment. The structure of the module “System Design” was developed, and this module was implemented in the LMS Moodle environment and tested in the educational process, it was revealed that the level of knowledge and skills mastering, as well as their possession is higher among students who studied on the electronic educational resource.Conclusion.  Thus, the results of the study allow us to recommend the introduction of electronic educational resources in the learning process. Since the use of the presented development will not interrupt the learning process in cases where the student can not attend classes, and also contributes to improving the formation of students’ competence level.


2013 ◽  
Vol 655-657 ◽  
pp. 1317-1320
Author(s):  
Yi Gang Du ◽  
Wen Zhi Zhang ◽  
Ying Han Liu ◽  
Zhao Hui Jin

According to the characteristics and requirements of NCT processing system, deeper research was done on the system. The three-module design has been completed based on motion controller. The first module is completed on the design of panel, key position, machine functions and coding circuit; the second module is mainly accomplished on the tool-path generation, tool adapter and program development; the last module is used to verify the NC codes. Thus the NCT processing system is improved effectively.


1993 ◽  
Vol 38 (1) ◽  
pp. 101-102
Author(s):  
Charles G. Halcomb
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document