Search results for "programming."
showing 10 items of 3035 documents
Pair potential calculation of molecular associations: a vectorized version
1991
Abstract The program AMYRVF is a vectorized and largely modified version of a previous program called AMYR for calculating molecular associations by means of Fraga's pair-wise atom-atom potential. Three new minimization procedures have been implemented as well as other improvements such as the inclusion of new pair-wise dispersion energy terms with damping functions, and the calculation of topological indices. Benchmark tests have been carried out on an IBM 3090 150E VF; the timings for the new vector algorithms and for the standard scalar computations, as well as the dependence of the overall performance gain on the size of interacting systems are reported for the VS Fortran 2.4 compiler e…
A Novel Linear-Non-Linear Digital Control for DC/DC Converter with Fast Transient Response
2006
In this paper, a digitally controlled multimodule DC-DC converter with fast transient response, based on a linear-nonlinear control is presented. The proposed digital control improves the stability of the system, cuts off the effects of limit-cycle and reduces the recovery time, by making the "effective" bandwidth of the system independent of the bandwidth of the linear control loop and limits, at the same time, output voltage variations. The digital control is AVP-compatible and halves the recovery time. Preliminary hardware tests on a single phase step-down converter are reported. The experimental results match simulation ones, obtained by modelling system with Matlab/Aldec mixed environm…
K-12 game programming course concept using textual programming
2011
Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…
A framework for evaluating student interaction with automatically assessed exercises
2016
Automatic assessment has become a widely used technique in programming courses. Even though modern techniques can practically ensure functional correctness of student solutions, it is less clear how to promote quality interaction between students and the automatic assessment systems. In this article we propose a simple analytical framework for studying student interaction with the automatic assessment systems and use it to study our functional programming course.
Towards CNC Programming Using Haskell
2004
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
MLOG: a strongly typed confluent functional language with logical variables
1994
Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…
Making teaching of programming learning-oriented and learner-directed
2011
Programming education has been traditionally realized in the form of lecturing, but other approaches are under discussion. These emphasize active participation on the part of students, and, as a research activity, consider pedagogic questions holistically. We join this discussion by stating a course design in which we promote a learning-oriented study culture where learning should not be characterized principally as the task of meeting some predefined completion requirements. Moreover, we want our course to be learner-directed meaning that students should take control over their own learning process. Grounded on these goals, this discussion paper gives us a starting point for a subsequent a…
The iconic interface for the PIctorial C language
2003
Iconic environments intend to provide expressive tools to implement, to debug and to execute programs. Moreover its pictorial constructs guide the user to design algorithms in an interactive fashion. Visual interfaces are especially required whenever programs run on an heterogeneous and reconfigurable multiprocessor system oriented to image analysis. Pictorial tools help the user to control the scope of variables, and the distribution of the tasks into the processors. In this paper, the general design, the visual-syntax, and the implementation of the first prototype of an iconic user interface for the PIctorial C Language (PICL) are described. >
An object-oriented development platform for transport layer protocols
2002
Transport layer protocols have become a necessary communication element for new and classical real-time applications. The implementation of these protocols has never been structured and the designers of transport layer protocols have always developed without following any pattern. The library we have designed tries to avoid this. We propose a C++ library which could be used to develop transport layer protocols, considering every generic element inside a protocol as an object. At the end we apply the library to a well known transport layer protocol known as SNR.
Innovative Methodology to Improve the Quality of Electronic Engineering Formation Through Teaching Industrial Computer Engineering
2004
An innovative educational methodology adapted to the requirements of a new era with new societal and industrial challenges for electronic engineers is proposed in this paper. This active methodology, known as the Educational Innovation Project (EIP), is being studied in the Electronic Engineering (EE) degree of the Higher Technical School of Design Engineering at the Polytechnic University of Valencia, Valencia, Spain. The main objective of the EIP methodology is to improve the process of teaching and learning in order to increase student success. To accomplish this objective, the EIP method addresses various issues. From an organizational viewpoint, different structural aspects of the EE d…