Curriculum Guidelines for Undergraduate Programs in Data Science

The Park City Math Institute (PCMI) 2016 Summer Undergraduate Faculty Program met for the purpose of composing guidelines for undergraduate programs in Data Science. The group consisted of 25 undergraduate faculty from a variety of institutions in the U.S., primarily from the disciplines of mathematics, statistics and computer science. These guidelines are meant to provide some structure for institutions planning for or revising a major in Data Science

Product Focused Freeform Fabrication Education

Presented in this paper is our experience of teaching freeform fabrication to students at the Missouri University of Science and Technology, and to high school students and teachers. The emphasis of the curriculum is exposing students to rapid product development technologies with the goal of creating awareness to emerging career opportunities in CAD/CAM. Starting from solid modeling, principles of freeform fabrication, to applications of rapid prototyping and manufacturing in industry sponsored product development projects, students can learn in-depth freeform fabrication technologies. Interactive course content with hands-on experience for product development is the key towards the success of the program.Mechanical Engineerin

Proposal for a contents design of a graphic engineering lecture

In this project the subject of Industrial Design from the bachelor’s degree in Industrial Technologies and Economic Analysis of the ETSEIB is reviewed considering the contents and the teaching and evaluating methods. To acquire a great level and teach the subject with great quality, this project has been developed in order to grant that some of the best methods are used to teach and evaluate the students. The contents have also been reviewed to certify that a similar structure of contents is being followed the same way as some of the more relevant engineering schools. As this subject is part of the bachelor’s degree in Industrial Technologies and Economic Analysis, some of the subjects of the bachelor’s degree in Industrial Technologies, which is another degree from the ETSEIB, are used to compare and conclude the methods that could be used to benefit the subject. This has been done since these subjects have been used as a background to develop the contents and the organization of the Industrial Design subject. Research on some of the most relevant engineering schools in the world and in similar subjects such as Graphical Expression or Computer Aided Design has been done. This has determined the differences between the relevant and prestigious schools and the subjects of Graphical Expression or CAD. Once these different methods have been identified, they are considered to be applied to the organization of the subject, as a proposal, in order to enhance its quality and its reputation. To define which universities are better and more adequate for this project, some crucial facts have been used to reduce the research to a more specific group of engineering schools. The idea behind this project is to be able to clarify and help achieving a greater quality in the subject by reviewing some of the most relevant industrial design schools worldwide to apply some of the ways that they use to achieve such quality and reputation

Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e.g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) graphical (UML) and textual modeling of hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks

Marriages of Mathematics and Physics: A Challenge for Biology

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences

ROBOSIM: An intelligent simulator for robotic systems

The purpose of this paper is to present an update of an intelligent robotics simulator package, ROBOSIM, first introduced at Technology 2000 in 1990. ROBOSIM is used for three-dimensional geometrical modeling of robot manipulators and various objects in their workspace, and for the simulation of action sequences performed by the manipulators. Geometric modeling of robot manipulators has an expanding area of interest because it can aid the design and usage of robots in a number of ways, including: design and testing of manipulators, robot action planning, on-line control of robot manipulators, telerobotic user interface, and training and education. NASA developed ROBOSIM between 1985-88 to facilitate the development of robotics, and used the package to develop robotics for welding, coating, and space operations. ROBOSIM has been further developed for academic use by its co-developer Vanderbilt University, and has been in both classroom and laboratory environments for teaching complex robotic concepts. Plans are being formulated to make ROBOSIM available to all U.S. engineering/engineering technology schools (over three hundred total with an estimated 10,000+ users per year)

Development of a novel virtual coordinate measuring machine

Existing VCMMs (virtual coordinate measuring machine) have been mainly developed to either simulate the measurement process hence enabling the off-line programming, or to perform error analysis and uncertainty evaluation. Their capability and performance could be greatly improved if there is a complete solution to cover the whole process and provide an integrated environment. The aim of this study is to develop such a VCMM that not only supports measurement process simulation, but also performs uncertainty evaluation. It makes use of virtual reality techniques to provide an accurate model of a physical CMM, together with uncertainty evaluation. An interface is also provided to communicate with CMM controller, allowing the measuring programs generated and simulated in the VCMM to be executed or tested on the physical CMM afterwards. This paper discusses the proposal of a novel VCMM design and the preliminary results

2D Unsteady Routing and Flood Inundation Mapping for Lower Region of Brazos River Watershed

Present study uses two dimensional flow routing capabilities of hydrologic engineering center\u27s river analysis system (HEC-RAS) for flood inundation mapping in lower region of Brazo River watershed subjected to frequent flooding. For analysis, river reach length of 20 km located at Richmond, Texas, was considered. Detailed underlying terrain information available from digital elevation model of 1/9-arc second resolution was used to generate the two-dimensional (2D) flow area and flow geometrics. Streamflow data available from gauging station USGS08114000 was used for the full unsteady flow hydraulic modeling along the reach. Developed hydraulic model was then calibrated based on the manning\u27s roughness coefficient for the river reach by comparison with the downstream rating curve. Corresponding water surface elevation and velocity distribution obtained after 2D hydraulic simulation were used to determine the extent of flooding. For this, RAS mapper\u27s capabilities of inundation mapping in HEC-RAS itself were used. Mapping of the flooded areas based on inflow hydrograph on each time step were done in RAS mapper, which provided the spatial distribution of flow. The results from this study can be used for flood management as well as for making land use and infrastructure development decisions