Search results for " programmi"

Analysis of microsphere oblique impact with planar surfaces based on the independent friction-restitution approach

2020

The independent friction restitution closure (IFR) previously applied to describe planar oblique impact of a homogeneous sphere on an infinitely massive rough plane is applied here to microsphere collisions and is extended to describe horizontal launch experiments. The model provides analytical solutions of the motion equations based on a unique set of values of the coefficients of normal and tangential restitution and friction. Comparison with experimental data in literature for the impact of microspheres of diameter <100 mu m yields a satisfactory agreement between experimentation and theory.

Independent friction-restitution modeling of two-disk collisions

2021

[EN] The oblique collisions between two axisymmetric disks moving on a flat horizontal surface are described in terms of impact modeling based on the assumption that normal and tangential restitution mechanisms operate independently of friction. Describing these mechanisms in terms of the usual Coulomb formulation, the model allows for an interpretation of some ¿anomalous¿ experimental data reported in the literature. These experimental data, corresponding to the variation of the coefficients of friction and tangential restitution with the impact angle, remained unexplained in classic formulations, are understood within the framework of the independent friction-restitution closure. Experime…

An operator view on alliances in politics

2015

We introduce the concept of an {\em operator decision making technique} and apply it to a concrete political problem: should a given political party form a coalition or not? We focus on the situation of three political parties, and divide the electorate into four groups: partisan supporters of each party and a group of undecided voters. We consider party-party interactions of two forms: shared or differing alliance attitudes. Our main results consist of time-dependent decision functions for each of the three parties, and their asymptotic values, i.e., their final decisions on whether or not to form a coalition.

On Applying Adaptive Data Structures to Multi-Player Game Playing

2013

In the field of game playing, the focus has been on two-player games, such as Chess and Go, rather than on multi-player games, with dominant multi-player techniques largely being an extension of two-player techniques to an \(N\)-player environment. To address the problem of multiple opponents, we propose the merging of two previously unrelated fields, namely those of multi-player game playing and Adaptive Data Structures (ADS). We present here a novel move-ordering heuristic for a dominant multi-player game playing algorithm, namely the Best-Reply Search (BRS). Our enhancement uses an ADS to rank the opponents in terms of their respective threat levels to the player modeled by the AI algori…

Prediction of defects using machine learning techniques in order to improve quality management system – A case study

2021

According to ISO 9000, a quality management system is part of a set of related or interacting elements of an organization that sets policies and objectives, as well as the processes necessary to achieve the quality objectives. Quality is the extent to which a set of intrinsic characteristics of an object meets the requirements. Based on these definitions, the factory, considered in this paper, S.C. APULUM S.A.,decided to implement a quality management system since 1998. Subsequently, the organization’s attention is focus on the continuous improvement of the implemented quality management system. The purpose of this paper is to study the percent of specified defects specific to ceramic produ…

LA NARRAZIONE DEI PROCESSI DI RIGENERAZIONE URBANA IN FRANCIA. IL CASO DEL PNRU

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…