Am I getting my point across? Microstructure of English classroom discourses by Acehnese teachers

For English teaching practice, productive talks that spur students’ comprehension, creativity, and problem-solving ability are vital. This research aimed at finding out the spoken discourse based on six phases of microstructure in English classrooms. The data were obtained recordings and observations of two English teachers, chosen through purposive sampling, from Islamic senior high schools in Aceh. The data were concerned with the lexical density or the ratio of content to grammatical or function words within a clause. They were analyzed through thematic analysis which consists of five steps: data familiarization, code generation, theme search, themes revision, and theme definition. It was found that the total lexical density obtained by the first teacher in Class A was 63.66% and in class, B was 66.52%, while the second teacher in Class A was 71. 74% and in Class B was 68.12%. The second teacher 2 in Class A had a higher lexical density than the first teacher even though both of them are considered to produce a high lexical density of around 60-70%. The formality of spoken discourse of the two teachers shows that the first teacher produced 172.5 while the second teacher produced 184. It means that the second teacher's spoken discourse was more formal than the first teacher’s discourse. To analyze the utterances of teachers and to find the density of language used in the classrooms during the teaching and learning process is important because they implicitly inform whether the language used is understandable for the students or not.

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself

We describe the foundation of the metaprogramming language, Mœbius, which supports the generation of polymorphic code and, more importantly, the analysis of polymorphic code via pattern matching. Mœbius has two main ingredients: 1) we exploit contextual modal types to describe open code together with the context in which it is meaningful. In Mœbius, open code can depend on type and term variables (level 0) whose values are supplied at a later stage, as well as code variables (level 1) that stand for code templates supplied at a later stage. This leads to a multi-level modal lambda-calculus that supports System-F style polymorphism and forms the basis for polymorphic code generation. 2) we extend the multi-level modal lambda-calculus to support pattern matching on code. As pattern matching on polymorphic code may refine polymorphic type variables, we extend our type-theoretic foundation to generate and track typing constraints that arise. We also give an operational semantics and prove type preservation. Our multi-level modal foundation for Mœbius provides the appropriate abstractions for both generating and pattern matching on open code without committing to a concrete representation of variable binding and contexts. Hence, our work is a step towards building a general type-theoretic foundation for multi-staged metaprogramming that, on the one hand, enforces strong type guarantees and, on the other hand, makes it easy to generate and manipulate code. This will allow us to exploit the full potential of metaprogramming without sacrificing the reliability of and trust in the code we are producing and running.

Automating Finite Element Methods for Geodynamics via Firedrake

Firedrake is an automated system for solving partial differential equations using the finite element method. By applying sophisticated performance optimisations through automatic code-generation techniques, it provides a means to create accurate, efficient, flexible, easily extensible, scalable, transparent and reproducible research software, that is ideally suited to simulating a wide-range of problems in geophysical fluid dynamics. Here, we demonstrate the applicability of Firedrake for geodynamical simulation, with a focus on mantle dynamics. The accuracy and efficiency of the approach is confirmed via comparisons against a suite of analytical and benchmark cases of systematically increasing complexity, whilst parallel scalability is demonstrated up to 12288 compute cores, where the problem size and the number of processing cores are simultaneously increased. In addition, Firedrake's flexibility is highlighted via straightforward application to different physical (e.g. complex nonlinear rheologies, compressibility) and geometrical (2-D and 3-D Cartesian and spherical domains) scenarios. Finally, a representative simulation of global mantle convection is examined, which incorporates 230 Myr of plate motion history as a kinematic surface boundary condition, confirming its suitability for addressing research problems at the frontiers of global mantle dynamics research.

DSP Processer-in-the-Loop Tests Based on Automatic Code Generation

The digital signal processing (DSP) processor-in-the-loop tests based on automatic code generation technology are studied. Firstly, the idea of model-based design is introduced, and the principle and method of embedded code automatic generation technology are analyzed by taking the automatic code generation of the DSP control algorithm for pulse width modulation (PWM) output as an example. Then, the control system model is established on MATLAB/Simulink. After verifying the model through simulation, the target board platform is established with DSP as the core processor, and the automatically generated code is tested by the processor-in-the-loop (PIL). The results show that the technology greatly shortens the development cycle of the project, improves the robustness and consistency of the control code, and can be widely used in the complex algorithm development process of the controller, from intelligent design and modeling to implementation.

CAD-BASED AUTOMATED G-CODE GENERATION FOR DRILLING OPERATIONS

The automated generation of G-code for machining processes is a valuable tool at the hands of every engineer and machinist. Nowadays, many software systems exist that provide automated functions related to G-code generation. Most free software require the import of a Drawing Exchange Format (DXF) file and cannot work directly on a 3D part. On the contrast, the equivalent commercially-available software systems are feature-rich and can provide a variety of automated processes, but are usually highly priced. The presented application aims to supplement the existing free Computer Aided Manufacturing (CAM) systems by providing a way of generating G-code for drilling operations, using already owned commercial 3D Computer Aided Design (CAD) systems such as SolidWorksTM. Thus, in the case of 3D part drilling, a standard 3D CAD system is sufficient since the code can be adopted by most modern CAD software with minor changes. Moreover, no specialized CAM software is required. In order to achieve this automation, the Application Programming Interface (API) of SolidWorks™ 2018 was utilized, which allows for the design of visualized User Interfaces (UI) and the development of code under the Visual Basic for Applications (VBA™) programming language. The available API methods are employed to recognize the features that were used to design the part, as well as extract the geometric parameters of each of these features. In addition, an embedded calculator automatically defines the cutting conditions (cutting speed, feed and tool) based on the user selections. Finally, the application generates the Computer Numerical Control (CNC) code for the summary of the discovered holes according to the standardized G-code commands; the output can be a typical TXT or NC file that can be easily converted to the preference of the user if necessary.