Search results for " programmi"

showing 10 items of 1629 documents

An Astronomical Observatory in the Classroom

2005

We describe a project developed at the University of Granada in collaboration with the Instituto de Astrofisica de Andalucia aimed at using a remote telescope for live astronomical observations from the classroom. Available instrumentation, software and activities are presented.

Physicsbusiness.industryGeneral EngineeringAstronomy and AstrophysicsAstrophysicslaw.inventionTelescopeSoftwareSpace and Planetary ScienceObservatorylawSystems engineeringInstrumentation (computer programming)businessEAS Publications Series
researchProduct

Legri Science Operation Center. Architecture and Operations

2001

The LEGRI Science Operation Center (SOC) is the single contact point between the MINISAT-01 Centro de Operaciones Cientificas (COC) located at Villafranca del Castillo (Madrid) and the LEGRI Consortium. Its architecture, operational procedures and associated software has been developed at the Universities of Valencia and Birmingham on the scope to define a integrated Data Analysis System, able to perform the daily follow-up of the instrument health, raw data files decompression and archiving activities (on-line and historical). Pointing and telecommand files generation are also SOC responsibilities. The aim of this paper is to report the SOC activities during the two years of LEGRI operatio…

Physicsbusiness.industrycomputer.software_genreData processing systemTelecommandAlpha (programming language)SoftwareOperating systemInstrumentation (computer programming)ArchitectureRaw databusinesscomputerScope (computer science)
researchProduct

Population dynamics based on ladder bosonic operators

2021

Abstract We adopt an operatorial method, based on truncated bosons, to describe the dynamics of populations in a closed region with a non trivial topology. The main operator that includes the various mechanisms and interactions between the populations is the Hamiltonian, constructed with the density and transport operators. The whole evolution is derived from the Schrodinger equation, and the densities of the populations are retrieved from the normalized expected values of the density operators. We show that this approach is suitable for applications in very large domain, solving the computational issues that typically occur when using an Hamiltonian based on fermionic ladder operators.

Physicseducation.field_of_studyPopulation dynamicsApplied MathematicsPopulation02 engineering and technologyExpected value01 natural sciencesSchrödinger equationsymbols.namesake020303 mechanical engineering & transportsOperator (computer programming)Ladder operator0203 mechanical engineeringTrivial topologySchrödinger dynamicsModeling and Simulation0103 physical sciencessymbolsStatistical physicsOperatorial modelseducationHamiltonian (quantum mechanics)010301 acousticsBosonApplied Mathematical Modelling
researchProduct

Shape design optimization in 2D aerodynamics using Genetic Algorithms on parallel computers

1996

Publisher Summary This chapter presents two Shape Optimization problems for two dimensional airfoil designs. The first one is a reconstruction problem for an airfoil when the velocity of the flow is known on the surface of airfoil. The second problem is to minimize the shock drag of an airfoil at transonic regime. The flow is modeled by the full potential equations. The discretization of the state equation is done using the finite element method and the resulting non-linear system of equations is solved by using a multi-grid method. The non-linear minimization process corresponding to the shape optimization problems are solved by a parallel implementation of a genetic algorithm (GA). Some n…

Physics::Fluid DynamicsAirfoilOptimal designMathematical optimizationDiscretizationApplied mathematicsShape optimizationAerodynamicsTransonicFinite element methodMathematicsSequential quadratic programming
researchProduct

A Study on the Measurement Instrumentation for a Custom-Made Bipendulum Impact Testing Machine

2008

Experimental investigations of structures under impact loads are normally carried out by means of drop-weight testing rigs, which are often tailor made, and require sensors for fast transient measurement of mechanical quantities (namely, force, displacement, velocity, and absorbed energy). Since these tests are quite expensive, time consuming, and, often, not repeatable, the sensors must provide reliable and interpretable results in the first trial. In this paper, a thorough study on the measurement instrumentation suitable to carry out reliable low-velocity impact tests by means of a custom-made bipendulum impact testing machine is presented. Attention has been focused on the choice of the…

Piezoelectric transducersComputer scienceImpact measurements; Instrumented impact testing; Optical velocity sensors; PVDF force sensors; Piezoelectric transducers; Transient measurementsImpact measurementsMechanical engineeringAccelerometerLoad cellFriction lossDynamic load testingTransducerOptical velocity sensorsElectronic engineeringCalibrationPVDF force sensorsTransient measurementsInstrumentation (computer programming)Electrical and Electronic EngineeringImpactInstrumentationInstrumented impact testing
researchProduct

Developing MLS Location-Based Service Pilot System

2002

Development of mobile networks and terminals provides basis for advanced mobile services and applications. One of the new features is support for locating the mobile user by her/his terminal. The Location-Based Services (LBS), utilising this feature, are expected to form an important class of the new services. At the Information Technology Research Institute, University of Jyvaskyla, LBSs have been studied in MultiMeetMobile research project. The project developed an LBS pilot system, called MLS. This paper presents the experiences collected during the development of the LBS pilot and describes the MLS system.

Pilot systemClass (computer programming)JavaMultimediaTerminal (telecommunication)business.industrycomputer.internet_protocolComputer scienceMobile computingInformation technologycomputer.software_genreLocation-based servicebusinesscomputerXMLcomputer.programming_language
researchProduct

Estimating intrinsic image from successive images by solving underdetermined and overdetermined systems of the dichromatic model

2020

International audience; Estimating an intrinsic image from a sequence of successive images taken from an object at different angles of illumination can be used in various applications such as objects recognition, color classification, and the like; because, in so doing, it can provide more visual information. Meanwhile, according to the well-known dichromatic model, each image can be considered a linear combination of three components, including intrinsic image, shading factor, and specularity. In this study, at first, two simple independent constrained and parallelized quadratic programming steps were used for computing values of the shading factor and the specularity of each successive of…

PixelUnderdetermined systemComputer sciencebusiness.industry[INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR]ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONSingular value decompositionIntrinsic image[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]Dichromatic ModelOverdetermined systemGamutSpecularity[INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV][INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Singular value decompositionComputer visionQuadratic programmingArtificial intelligenceLinear combinationbusinessComputingMethodologies_COMPUTERGRAPHICS
researchProduct

Usability of Programming Languages

2016

Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and users cannot easily chose a language based on usability criteria. This SIG will bring together researchers and practitioners interested in increasing the depth and breadth of studies on the usability of programming languages, and ultimately in improving the usability of future languages. nonPeerReviewed

Pluralistic walkthroughCognitive walkthroughComputer scienceComputer programmingprogramming language usabilityUsability inspection02 engineering and technologycomputer.software_genreUsability labWorld Wide WebHuman–computer interaction020204 information systemsHeuristic evaluationUsability engineeringenduser software engineering (EUSE)0202 electrical engineering electronic engineering information engineeringpsychology of programmingFifth-generation programming languageComponent-based usability testingWeb usabilityAgile usability engineeringbusiness.industryProgramming languagePsychology of programming020207 software engineeringUsabilitySecond-generation programming languageempirical studies of programmersAPI usabilityProgramming paradigmFourth-generation programming languagebusinesscomputerProgramming language theoryProceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems
researchProduct

γ‐Agregation operators and some aspects of generalized aggregation problem

2010

We explore questions related to the aggregation operators and aggregation of fuzzy sets. No preliminary knowledge of the aggregation operators theory and of the fuzzy sets theory are required, because all necessary information is given in Section 2. Later we introduce a new class of γ‐aggregation operators, which “ignore” arguments less than γ. Due to this property γ‐aggregation operators simplify the aggregation process and extend the area of possible applications. The second part of the paper is devoted to the generalized aggregation problem. We use the definition of generalized aggregation operator, introduced by A. Takaci in [7], and study the pointwise extension of a γ‐agop. First publ…

PointwiseDiscrete mathematicsgeneralized aggregationProperty (philosophy)Fuzzy setAggregation problemExtension (predicate logic)Operator theoryγ‐aggregation operatorAlgebrapointwise extensionOperator (computer programming)Modeling and Simulationaggregation operatorQA1-939Ordered weighted averaging aggregation operatororder relationAnalysisMathematicsMathematicsMathematical Modelling and Analysis
researchProduct

Pointwise k-Pseudo Metric Space

2021

In this paper, the concept of a k-(quasi) pseudo metric is generalized to the L-fuzzy case, called a pointwise k-(quasi) pseudo metric, which is considered to be a map d:J(LX)×J(LX)⟶[0,∞) satisfying some conditions. What is more, it is proved that the category of pointwise k-pseudo metric spaces is isomorphic to the category of symmetric pointwise k-remote neighborhood ball spaces. Besides, some L-topological structures induced by a pointwise k-quasi-pseudo metric are obtained, including an L-quasi neighborhood system, an L-topology, an L-closure operator, an L-interior operator, and a pointwise quasi-uniformity.

PointwisePure mathematicsGeneral Mathematicspointwise <i>k</i>-(quasi) pseudo metricComputer Science::Digital Libraries<i>L</i>-quasi neighborhood systemMetric spaceOperator (computer programming)Metric (mathematics)Computer Science (miscellaneous)QA1-939<i>L</i>-topologyBall (mathematics)pointwise <i>k</i>-remote neighborhood ball systempointwise <i>k</i>-(quasi) pseudo metric; pointwise <i>k</i>-remote neighborhood ball system; <i>L</i>-quasi neighborhood system; <i>L</i>-topologyEngineering (miscellaneous)MathematicsMathematicsMathematics
researchProduct