Auteur Sujet: SAT@home  (Lu 12724 fois)

0 Membres et 1 Invité sur ce sujet

sbmtl

  • Messages: 1950
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #25 le: 12 octobre 2011 à 04:00 »
ouaip....  :??: :??: avec mes 2 neurones je comprends presque rien...

C'est bon signe, si tu as une mâle et une femelle et si tu les laisses s'accoupler, ça va faire boule de neige; en espérant qu'elles ne fondent pas comme neige au soleil.

Infomat

  • Animateur fanatique
  • Messages: 5319
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Site de Claude
Re : SAT@home
« Réponse #26 le: 12 octobre 2011 à 04:39 »
 :ptdr: :ptdr:


[6c/ 12t] Intel i7-980X @3.7  2xNVidia GTX 760  AMD 6970    Windows 7 Pro x64 ou Windows 10 Pro x64 ou Linux 
ELAF= Electrons Libres de l'AF http://forum.electronslibres.boinc-af.org/

fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #27 le: 12 octobre 2011 à 16:49 »
L'objectif scientifique du projet : un début de réponse de l'admin du projet.

Citer
Current goal in cryptographic area is to solve about 10 SAT problems for the generator A5/1 in few months. This generator is used in GSM standart for data encryption. Open scientific research of A5/1 it is useful for creating new standarts. Our current results in this area you can find here here and here
About other areas I will write later.

PS. About supporting of the russian language. Thanks for your message, we are working on it.
http://sat.isa.ru/pdsat/forum_thread.php?id=2#3

Si un anglophone de passage voulait bien traduire ces quelques lignes,qu'il en soit d'avance remercier.  :hello:


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

cedricdd

  • Messages: 1389
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #28 le: 12 octobre 2011 à 16:56 »
Le but actuel dans le domaine de la cryptographie, est de résoudre 10 problèmes SAT, pour le générateur A5/1 et ceci en quelques mois. Ce générateur est utilisé pour les téléphones portables dans le cas du codage des données. La recherche scientifique publique du A5/1 est utile pour crée de nouveaux standards. Nos résultats actuels dans ce domaine peuvent être trouvés ici et ici.

Je parlerai d'un autre domaine plus tard.

PS: Pour le support en Russe. Merci pour votre message, nous y travaillons actuellement.
« Modifié: 12 octobre 2011 à 17:47 par cedricdd »
Kill all my demons, and my angels might die too.

fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #29 le: 12 octobre 2011 à 17:13 »
Merci   cedricdd

 :oki:

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

ousermaatre

  • Gentil admin
  • Messages: 11473
  • Boinc'eur devant l'éternel
  • *******
  •   
Re : SAT@home
« Réponse #30 le: 12 octobre 2011 à 18:58 »
info ajoutée au premier post, merci   :jap:

al@ON

  • Messages: 11703
  • Boinc'eur devant l'éternel
  • *****
  •   
    • MySpace al@ON
Re : SAT@home
« Réponse #31 le: 12 octobre 2011 à 20:23 »
Si ils demandent dans les options si on veut utiliser une CG, c'est qu'il devrait y avoir des UT pour elles, non ???

 :non:... dans les pages Préférences de pas mal de projets il y a une case à cocher Use Graphics Processing Unit (GPU) if available (exemple pris avec RNA World (beta) qui n'a pas d'appli GPU).

Je pense que ce sont des structures de pages types données par Berkeley au créateur de projet (index, Votre compte, Applications, ... ) pour monter leur site.

Infomat

  • Animateur fanatique
  • Messages: 5319
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Site de Claude
Re : SAT@home
« Réponse #32 le: 13 octobre 2011 à 02:28 »
Mouais, ca aide pas pour les CG... :pt1cable:
Merci  :jap:


[6c/ 12t] Intel i7-980X @3.7  2xNVidia GTX 760  AMD 6970    Windows 7 Pro x64 ou Windows 10 Pro x64 ou Linux 
ELAF= Electrons Libres de l'AF http://forum.electronslibres.boinc-af.org/

fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #33 le: 13 octobre 2011 à 07:40 »
Mise a jour du nom du projet.

Maintenant ce projet s'appelle : SAT@home 

Est-ce possible de modifier le nom du topic ?  :kookoo:

Merci.

 :jap: 

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

samuel debergh

  • Messages: 3574
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #34 le: 13 octobre 2011 à 10:26 »
et les wu font 10 minutes au lieu de 3-4 h...

ousermaatre

  • Gentil admin
  • Messages: 11473
  • Boinc'eur devant l'éternel
  • *******
  •   
Re : SAT@home
« Réponse #35 le: 13 octobre 2011 à 13:25 »
Mise a jour du nom du projet.

Maintenant ce projet s'appelle : SAT@home 

Est-ce possible de modifier le nom du topic ?  :kookoo:

Merci.

 :jap:
fait  :jap:

fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #36 le: 13 octobre 2011 à 13:33 »

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

fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #37 le: 18 octobre 2011 à 10:33 »
J'ai l'impression que la communication avec Oleg ( l'admin du projet ) va etre un peu "compliquer"   :pt1cable:
http://sat.isa.ru/pdsat/forum_thread.php?id=2
 

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

samuel debergh

  • Messages: 3574
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #38 le: 18 octobre 2011 à 10:47 »
mdr un fou de plus  :D

fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #39 le: 29 octobre 2011 à 22:55 »
 :banana: :banana:  Et hop 100K sur le projet !!   :banana: :banana:

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

Spica

  • Méchant modo
  • Messages: 5070
  • Boinc'eur devant l'éternel
  • ******
  •   
Re : SAT@home
« Réponse #40 le: 29 octobre 2011 à 22:59 »
 :hello:  :jap:
22717 SETI@home classic workunits; Redécouverte pulsar J1916+12 (le 07Nov2009) Einstein@Home.

f11ksx

  • Messages: 474
  • Boinc'eur Confirmé
  • ***
  •   
Re : SAT@home
« Réponse #41 le: 30 octobre 2011 à 00:55 »
Ici:
http://sat.isa.ru/pdsat/

il y en a....  :ange:
Ad augusta, per angusta.

al@ON

  • Messages: 11703
  • Boinc'eur devant l'éternel
  • *****
  •   
    • MySpace al@ON
Re : SAT@home
« Réponse #42 le: 30 octobre 2011 à 01:32 »
:banana: :banana:  Et hop 100K sur le projet !!   :banana: :banana:

Je viens de m'y inscrire... je suis donc à 0. :siflotte:

al@ON

  • Messages: 11703
  • Boinc'eur devant l'éternel
  • *****
  •   
    • MySpace al@ON
Re : SAT@home
« Réponse #43 le: 09 novembre 2011 à 23:32 »
Citer
New experiment - 2nd test for A5/1
November 9, 2011, 16:03 GMT
New experiment was launched. The goal is to solve 2nd SAT problem for the generator A5/1. Using of redundancy was added. Deadline was increased from 5 days to 10. max_wus_in_progress was incresed from 2 to 6

2ème vague d'UTs de test, la date de péremption passe de 5 à 10 jours et le max d'UTs de 2 à 6/core. :p


ÉDIT: Le quorum est passé à 2.
« Modifié: 10 novembre 2011 à 23:49 par al@ON »

al@ON

  • Messages: 11703
  • Boinc'eur devant l'éternel
  • *****
  •   
    • MySpace al@ON
Re : SAT@home
« Réponse #44 le: 13 novembre 2011 à 01:21 »
Suite à une demande de seb sur le forum du projet

Citer
SAT@home at Formula BOINC
November 12, 2011, 13:09 GMT
SAT@home was added to Formula BOINC

RLDF

  • Messages: 4484
  • Boinc'eur devant l'éternel
  • *****
  •   
    • avatar ?
Re : SAT@home
« Réponse #45 le: 14 novembre 2011 à 11:37 »
voici le graph :

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : SAT@home
« Réponse #46 le: 06 décembre 2011 à 01:52 »
Je trouve des stats curieuses sur SAT

340022    1925    1 Dec 2011 15:48:55 UTC    2 Dec 2011 5:26:04 UTC    Completed and validated    21,884.63    137.28    137.28
340023    1335    1 Dec 2011 16:01:58 UTC    2 Dec 2011 9:21:59 UTC    Completed and validated    19,546.88    135.30    137.28
340024    1925    1 Dec 2011 15:50:03 UTC    4 Dec 2011 5:21:05 UTC    Completed and validated    29,820.68    187.07    137.28


ma machine (1925) se trouve valider 2 fois la même wu  :??:

déjà vu ça ?

Edit: je viens de m'apercevoir qu'il y a des wu en double :cavapabiendantateute:
340024    224419    1 Dec 2011 15:50:03 UTC    4 Dec 2011 5:21:05 UTC    Completed and validated    29,820.68    187.07    137.28
340022    224419    1 Dec 2011 15:48:55 UTC    2 Dec 2011 5:26:04 UTC    Completed and validated    21,884.63    137.28    137.28
339970    224401    1 Dec 2011 15:49:09 UTC    2 Dec 2011 9:11:57 UTC    Completed and validated    9,803.01    61.50    61.50
339969    224401    1 Dec 2011 15:48:27 UTC    1 Dec 2011 20:23:13 UTC   Completed and validated    9,916.24    62.21    61.50


une particularité du projet ?
« Modifié: 06 décembre 2011 à 02:03 par maugou »

Jaehaerys Targaryen

  • CàA
  • Messages: 10388
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #47 le: 06 décembre 2011 à 11:43 »
En faites tu as calculés 2 fois la même car comme c'est un quorum 3 ce projet, normalement tu n'aurais pas dû comme moi sur certaines wus aussi...


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

Maurice Goulois

  • Messages: 3584
  • Boinc'eur devant l'éternel
  • *****
  •   
    • Le forum des Electrons Libres de l'AF
Re : SAT@home
« Réponse #48 le: 06 décembre 2011 à 13:16 »
Y a pas assez de machines qui crunchent pour répartir le quorum, ça ressemble à ça.

J'ai créé mon compte y a deux jours et j'ai l'id 2120.


fzs600

  • Animateur fanatique
  • Messages: 5778
  • Boinc'eur devant l'éternel
  • *****
  •   
Re : SAT@home
« Réponse #49 le: 13 décembre 2011 à 09:24 »
On vient de se prendre une raclée par le lillois,vais prendre un tube d'aspirine moi.  :nexath:    :pt1cable:

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