Search results for "Mathematica"
showing 10 items of 7971 documents
Using Global Radiation Model to Simulate Surface Temperature Impact on Snow Melt - Loven Glacier – Spitsberg
2009
International audience
A new invariant-based method for building biomechanical behavior laws - Application to an anisotropic hyperelastic material with two fiber families
2013
Abstract In this article, we present a general constructive and original approach that allows us to calculate the invariants associated with an anisotropic hyperelastic material made of two families of collagen fibers. This approach is based on mathematical techniques from the theory of invariants: • Definition of the material symmetry group. • Analytical calculation of a set of generators using the Noether’s theorem. • Analytical calculation of an integrity basis. • Comparison between the proposed invariants and the classical ones.
Some Computational Aspects of DISTANCE-SAT
2007
In many AI fields, one must face the problem of finding a solution that is as close as possible to a given configuration. This paper addresses this problem in a propositional framework. We introduce the decision problem distance-sat, which consists in determining whether a propositional formula admits a model that disagrees with a given partial interpretation on at most d variables. The complexity of distance-sat and of several restrictions of it are identified. Two algorithms based on the well-known Davis/Logemann/Loveland search procedure for the satisfiability problem sat are presented so as to solve distance-sat for CNF formulas. Their computational behaviors are compared with the ones …
How to Enrich Description Logics with Fuzziness
2017
International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.
Attempts to produce minimal Resolution refutations
2018
We address the challenge of searching minimal refutations proofs of inconsistent CNF formulae using the Resolution rule. We propose two algorithms which can only afford formulae of at most 5 variables with a desktop computer. A faster but incomplete algorithm is used to produce "hard" 5 variables 3CNF formulae though a stochastic greedy search. It allowed us to find formulae that can be refuted by producing clauses of at most 3 literals, but whose all minimal refutations contain at least one clause of 4 literals.
in Informatique graphique, modélisation géométrique et animation
2007
International audience; no abstract
Automated uncertainty quantification analysis using a system model and data
2015
International audience; Understanding the sources of, and quantifying the magnitude of, uncertainty can improve decision-making and, thereby, make manufacturing systems more efficient. Achieving this goal requires knowledge in two separate domains: data science and manufacturing. In this paper, we focus on quantifying uncertainty, usually called uncertainty quantification (UQ). More specifically, we propose a methodology to perform UQ automatically using Bayesian networks (BN) constructed from three types of sources: a descriptive system model, physics-based mathematical models, and data. The system model is a high-level model describing the system and its parameters; we develop this model …
PROCEDE DE PRE-DISTORSION NUMERIQUE D’UN SIGNAL ET REPETEUR DE TELECOMMUNICATION INTEGRANT UN FILTRE A REPONSE IMPULSIONNELLE FINIE POUR METTRE EN OE…
2013
L'invention concerne un procédé de pré-distorsion numérique d'un signal de télécommunication traité dans un circuit électronique 100 intégrant un filtre à réponse impulsionnelle finie 321. Ce procédé consiste successivement: - à identifier, à la sortie du circuit 100, les paramètres de distorsions de phase et/ou d'amplitude du signal en fonction de la fréquence, - à partir des susdits paramètres de distorsions relevés, à générer, par un algorithme basé sur une interpolation, des coefficients permettant d'effectuer dans ledit filtre 321, des prédistorsions du signal numérique destinées à engendrer une précorrection des susdites distorsions, - à transférer lesdits coefficients de pré-distorsi…
Scheduling independent stochastic tasks under deadline and budget constraints
2018
This article discusses scheduling strategies for the problem of maximizing the expected number of tasks that can be executed on a cloud platform within a given budget and under a deadline constraint. The execution times of tasks follow independent and identically distributed probability laws. The main questions are how many processors to enroll and whether and when to interrupt tasks that have been executing for some time. We provide complexity results and an asymptotically optimal strategy for the problem instance with discrete probability distributions and without deadline. We extend the latter strategy for the general case with continuous distributions and a deadline and we design an ef…