Le Forum de l'Alliance Francophone

Nouvelles:

Auteur Sujet: ABC Lattices @Home  (Lu 7970 fois)

0 Membres et 1 Invité sur ce sujet

Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
le: 29 April 2013 à 18:04
                       

Infos Utiles :




Résumé :

     ABC Lattices@HOME est un projet qui utilise le calcul distribué afin de chercher des triplets abc. Contrairement à ABC@Home, ce projet n’a pas pour but de rechercher consciencieusement dans une plage de données. A la place, nous essayons de trouver de "bons" triplets avec l'aide d'algorithmes spécialisés et de suppositions éclairées dans des zones au delà de 2^100. Vous pouvez participer en téléchargeant et installant un programme gratuit sur votre ordinateur. Plus de détails sur la conjecture ABC ici.

  • Qu'est ce que je calcul au juste?

     L'application "ABC Eval" utilise un algorithme qui a pour but de trouver de "bons" triples-abc.

  • Qu'est ce qu'un triplet abc?

     Un triplet-abc est un ensemble de trois entiers (a, b et c) qui remplissent les conditions suivantes:

  •     a + b = c  (cela semble facile, n'est ce pas?)
  •     Le plus grand diviseur commun de a et b est 1 (c'est la partie compliqué)

     Mais ça devient encore plus compliqué: Demandé moi ce que sont les "bons" triplets!

  • Qu'est ce qu'un "bon" triplet abc?

     Premièrement vous devez savoir que le radical d'un nombre ( rad(x) ), est le produit des nombres premiers distincts qui décomposent x.

     Ensuite, la qualité d'un triplet-abc est défini par q(abc) = log(c) / rad(a*b*c).

     Un "bon" triplet-abc à une qualité supérieur à 1.4

  • Ok, à quoi cela sert-il?

     Cela fait partie de ma thèse d'évaluer un algorithme pour trouver de "bons" triplets-abc. Les "bons" triplets-abc sont très rares, cependant on ne sait pas s'ils en existent infiniment. Étudier la nature des triplets-abc et leur distribution aide à la résolution de la conjecture ABC.

  • Je veux en apprendre sur ce sujet!

     Les sites de la faculté de mathématique de l'Université de Leiden sont un bon point de départ (Attention en Anglais).

  • Pas si vite! Il existe un autre projet ABC@Home depuis pas mal de temps, quelle est la différence avec ce projet?

    Le but de ABC@Home est le recensement minutieux de tous les triplets-abc compris dans un domaine de recherche précis. Actuellement, leur liste contient environ tous les triplets pour lesquels c est inférieur à 2^63. D'autres recherches ont déjà trouvé de nombreux triplets avec  c < 10^30. ABC lattices@Home à pour but de trouver un maximum de "bons" triplets-abc aussi efficacement que possible, en dehors des domaines de recherche d'autres personnes (selon nos informations). Nous ne sommes pas affiliés avec ABC@Home, mais nous partageons la même passion pour se sujet.


Applications CPU :

     Disponible pour Windows (32 et 64bits), Linux (32 et 64bits) et Mac (32 et 64bits).

     *Des WUs 32bits seront envoyées aux machines 64bits.



Applications GPU :

Citer
     Bonjour, à ce jour, il n'existe aucun plan dans ce sens. Je pense que ce programme ne bénéficierait que peu de l'accélération GPU puisque je manipule de très grands nombres (pas beaucoup de petits).
Cordialement, Jan



Dernière Info :

Le 01/05/2013

Citer
Version 10.06 is released for every OS. Changelog:


    Computation error handled (Tested under Win 7, OS X, Ubuntu). Factorization-fallback reactivated and additional errortext added, so I can learn more about this error. Again, please tell me if there's anything wrong.
    Checkpointing improved.

Please banish Version 10.05 from your clients ASAP, if you had computation errors with it.

Also, 2400 new tasks are ready to crunch.

Citer
La version 10.06 est disponible pour tous les OS. Changelog:

    Gestion de l'erreur de calcul (Tester avec Win 7, OS X, Ubuntu). Réactivation du repli de factorisation et ajout de nouvelles informations en cas d'erreur afin de mieux comprendre cette erreur. Encore une fois, veuillez me faire savoir si quelque chose se passe mal.
    Amélioration des points de sauvegarde.

Veuillez annuler les 10.05 de vos clients immédiatement si vous avez rencontré des erreurs de calcul avec cette version.

2400 nouvelles tâches sont également disponibles.

mise à jour 01 mai 2013 par cedricdd.

 
« Modifié: 26 November 2015 à 18:06 par fzs600 »


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


Hors ligne cedricdd

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 1389
  •   
Réponse #1 le: 29 April 2013 à 18:46
Un projet math ça fait longtemps qu'il y en a pas eu de nouveau dans ma section  :siflotte:

Kill all my demons, and my angels might die too.


Hors ligne Jaehaerys Targaryen

  • CàA
  • Boinc'eur devant l'éternel
  • *****
  • Messages: 10388
  •   
Réponse #2 le: 29 April 2013 à 19:18
projet rejoint... une appli de plus pour mon compte wuprop  :D

Pas D'AF créer encore... :siflotte:
« Modifié: 29 April 2013 à 19:23 par Polynésia »



Twitter : devweborne // Chaine Youtube : https://www.youtube.com/channel/UCXcoCd-1UlHpYIYzNER0n1Q


Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
Réponse #3 le: 29 April 2013 à 19:39
Un projet math ça fait longtemps qu'il y en a pas eu de nouveau dans ma section  :siflotte:
Oui j'ai hésiter a créer le topic direct dans ta section  :D mais je pense que ouser va remedier a cela.  :kookoo:


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


Hors ligne Spica

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 5146
  •   
Réponse #4 le: 29 April 2013 à 22:22
pas attendu Ouser, déplacé car visiblement, il y a pas photo pour le domaine

22717 SETI@home classic workunits; Redécouverte pulsar J1916+12 (le 07Nov2009) Einstein@Home.


Hors ligne toTOW

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 4518
  •   
    • FAH-Addict.net
    • E-mail
Réponse #5 le: 29 April 2013 à 23:26
Ca manque de GPU tout ça :D

FAH-Addict, première source d'information francophone sur le projet Folding@Home.


Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
Réponse #6 le: 30 April 2013 à 18:56
Ca manque de GPU tout ça :D
La réponse de l'admin du projet :
Citer
Salut, à ce jour, il n'existe aucun plan en ce sens. Je pense que ce programme ne serait pas beaucoup bénéficier d'accélération GPU puisque je suis la manipulation de très grands nombres (pas beaucoup de petits). Cordialement, Jan
http://boinc2.cs.hs-rm.de/abclll/forum_thread.php?id=6#20


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


Hors ligne cedricdd

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 1389
  •   
Réponse #7 le: 01 May 2013 à 15:55
Citer
Version 10.06 is released for every OS. Changelog:


    Computation error handled (Tested under Win 7, OS X, Ubuntu). Factorization-fallback reactivated and additional errortext added, so I can learn more about this error. Again, please tell me if there's anything wrong.
    Checkpointing improved.

Please banish Version 10.05 from your clients ASAP, if you had computation errors with it.

Also, 2400 new tasks are ready to crunch.

Citer
La version 10.06 est disponible pour tous les OS. Changelog:

    Gestion de l'erreur de calcul (Tester avec Win 7, OS X, Ubuntu). Réactivation du repli de factorisation et ajout de nouvelles informations en cas d'erreur afin de mieux comprendre cette erreur. Encore une fois, veuillez me faire savoir si quelque chose se passe mal.
    Amélioration des points de sauvegarde.

Veuillez annuler les 10.05 de vos clients immédiatement si vous avez rencontré des erreurs de calcul avec cette version.

2400 nouvelles tâches sont également disponibles.

Kill all my demons, and my angels might die too.


Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
Réponse #8 le: 01 May 2013 à 16:34
Les 10.06 partent aussi en erreurs de calculs.
Citer
1 May 2013, 6:12:47 UTC    1 May 2013, 8:25:24 UTC    Erreur en cours de calculs    7,628.47    7,585.94    ---    ABC Eval Tool v10.06 (abceval_plan)
    1 May 2013, 6:12:47 UTC    1 May 2013, 9:36:36 UTC    Erreur en cours de calculs    12,086.72    12,007.37    ---    ABC Eval Tool v10.06 (abceval_plan)
    1 May 2013, 6:12:47 UTC    1 May 2013, 10:17:19 UTC    Erreur en cours de calculs    14,269.09    14,172.63    ---    ABC Eval Tool v10.06 (abceval_plan)

Il faut passer a la version 10.07.
Citer
Merci pour votre soutien dans cette version précédente. J'essaie vraiment difficile dénigrement à msieve (la factorisation-lib j'utilise) pour arranger les choses. Version 10.07 devrait faire mieux, s'il vous plaît mettre à jour!
http://boinc2.cs.hs-rm.de/abclll/forum_thread.php?id=10#32
« Modifié: 01 May 2013 à 16:38 par fzs600 »


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
Réponse #9 le: 10 May 2013 à 13:00
 :hello:

On dirait bien que ce projet cherche a prouvé quelque chose qui a été déjà prouvé.

ABC Conjecture prouvé.
Citer
"Le 31 Août 2012, mathématicien japonais Shinichi Mochizuki publié quatre articles sur l'Internet. Les titres étaient impénétrables Le volume était de taille:.. 512 pages Au total, la demande était audacieux: il a dit qu'il avait prouvé la conjecture ABC, un célèbre, simplicité séduisante problème de la théorie des nombres qui avait déconcerté les mathématiciens pendant des décennies "... http://projectwordsworth.com/the-paradox-of-the-proof/ Cheers, Al.
http://boinc2.cs.hs-rm.de/abclll/forum_thread.php?id=24

 :jap:


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


Hors ligne toTOW

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 4518
  •   
    • FAH-Addict.net
    • E-mail
Réponse #10 le: 10 May 2013 à 16:45
Ca fait pas doublon avec ca aussi : http://forum.boinc-af.org/index.php/topic,2181.0.html ?

FAH-Addict, première source d'information francophone sur le projet Folding@Home.


Hors ligne fzs600

  • Méchant modo
  • Boinc'eur devant l'éternel
  • ******
  • Messages: 7779
  •   
Réponse #11 le: 10 May 2013 à 16:56
Ca fait pas doublon avec ca aussi : http://forum.boinc-af.org/index.php/topic,2181.0.html ?
La réponse est dans le topic d'annonce du projet ....................juste un peu plus haut.  :kookoo:


Utilisateur GNU-LINUX. fzs600@hub.g3l.org


Hors ligne toTOW

  • Boinc'eur devant l'éternel
  • *****
  • Messages: 4518
  •   
    • FAH-Addict.net
    • E-mail
Réponse #12 le: 10 May 2013 à 20:19
Mouais ... :/

FAH-Addict, première source d'information francophone sur le projet Folding@Home.


Hors ligne Matt11

  • Boinc'eur Respectable
  • ****
  • Messages: 686
  •   
Réponse #13 le: 10 May 2013 à 20:40
Oui la conjecture ABC est "peut-être" montré mais il faudra encore pas mal de temps pour qu'elle soit "validé" par les relecteurs. En effet, la démonstration proposé semble très complexe et fait intervenir des concepts totalement nouveaux. Et même si le mathématicien qui a soumis la preuve semble très sérieux, il peut toujours avoir une petite erreur dans la preuve qui pourrait invalidé totalement celle-ci.  :coffeetime:

En plus le projets ne semble pas avoir pour but de démontrer la conjecture mais étudier la répartitions des triplets ABC ce qui peut amener d'autre conjecture, qui sait  :hyperbon:


Ubuntu Mate 18.04  Intel core i7 6700K 4x4.0GHz 16Gb Nvidia Geforce GTX 1070