Search results for "computer.programming_language"

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…

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…

Toby Alice Volkman (ed.), Cultures of Transnational Adoption (Durham, NC and London: Duke University Press, 2005, £14.95). Pp. 22+232. ISBN 0 8223 35…

2006

A computer-based diagnostic tutor for average velocity

1991

Abstract The concept of average velocity is often misunderstood, even by students at university level. To analyse student reasoning about average velocity, students who were being instructed in kinematics in an introductory physics course were shown a series of computer animations of two cars moving independently. Their answers to subsequent questions tended to use partial knowledge elements present in the problem. On this basis, a list of eight procedures used by students was drawn up and used as the basis of a computer-based diagnostic tutor, Velo. The performance of Velo is being compared with human tutors.

An Approach to the Automatic Comparison of Reference Point-Based Interactive Methods for Multiobjective Optimization

2021

Solving multiobjective optimization problems means finding the best balance among multiple conflicting objectives. This needs preference information from a decision maker who is a domain expert. In interactive methods, the decision maker takes part in an iterative process to learn about the interdependencies and can adjust the preferences. We address the need to compare different interactive multiobjective optimization methods, which is essential when selecting the most suited method for solving a particular problem. We concentrate on a class of interactive methods where a decision maker expresses preference information as reference points, i.e., desirable objective function values. Compari…

Robust motion control of nonlinear quadrotor model with wind disturbance observer

2021

This paper focuses on robust wind disturbance rejection for nonlinear quadrotor models. By leveraging on nonlinear unknown observer theory, it proposes a nonlinear dynamic filter that, using sensors already on-board the aircraft, can estimate in real-time wind gust signals in the three dimensions. The wind disturbance is then treated as input to the PD controller for a quick and robust flight pathway in presence of disturbances. With this scheme, the wind disturbance can be precisely estimated online and compensated in real-time. Hence, the quadrotor can successfully reach its desired attitude and position. To show the effective and desired performance of the method, simulation results are …

Evaluation of Roundabout Safety Performance through Surrogate Safety Measures from Microsimulation

2018

The paper presents a microsimulation-based approach for roundabout safety performance evaluation. Based on a sample of Slovenian roundabouts, the vehicle trajectories exported from AIMSUN and VISSIM were used to estimate traffic conflicts using the Surrogate Safety Assessment Model (SSAM). AIMSUN and VISSIM were calibrated for single-lane, double-lane and turbo roundabouts using the corresponding empirical capacity function which included critical and follow-up headways estimated through meta-analysis. Based on calibration of the microsimulation models, a crash prediction model from simulated peak hour conflicts for a sample of Slovenian roundabouts was developed. A generalized linear model…

Using the dglars Package to Estimate a Sparse Generalized Linear Model

2015

dglars is a publicly available R package that implements the method proposed in Augugliaro et al. (J. R. Statist. Soc. B 75(3), 471-498, 2013) developed to study the sparse structure of a generalized linear model (GLM). This method, called dgLARS, is based on a differential geometrical extension of the least angle regression method. The core of the dglars package consists of two algorithms implemented in Fortran 90 to efficiently compute the solution curve. dglars is a publicly available R package that implements the method proposed in Augugliaro et al. (J. R. Statist. Soc. B 75(3), 471-498, 2013) developed to study the sparse structure of a generalized linear model (GLM). This method, call…

Diversity Arrays Technology (DArT) for Pan-genomic Evolutionary Studies of Non-model Organisms

2007

BackgroundHigh-throughput tools for pan-genomic study, especially the DNA microarray platform, have sparked a remarkable increase in data production and enabled a shift in the scale at which biological investigation is possible. The use of microarrays to examine evolutionary relationships and processes, however, is predominantly restricted to model or near-model organisms.Methodology/principal findingsThis study explores the utility of Diversity Arrays Technology (DArT) in evolutionary studies of non-model organisms. DArT is a hybridization-based genotyping method that uses microarray technology to identify and type DNA polymorphism. Theoretically applicable to any organism (even one for wh…