找回密码
 新注册用户
搜索
查看: 7004|回复: 12

[新项目] [BOINC] [数学类] Ramsey@Home

[复制链接]
发表于 2008-7-21 09:33:03 | 显示全部楼层 |阅读模式
http://www.ramseyathome.com/ramsey/index.php

Ramsey@Home is a distributed computing project designed to find new lower bounds for various Ramsey Numbers using a host of different techniques. It was inspired by the research of Dr. David Furcy, Dr. Thomas Naps, Dr. Linda Eroh, and Nick Peterson during the 2008 spring and summer semester at the University of Wisconsin-Oshkosh.

Ramsey@Home is currently under development, with a projected start date sometime in late August 2008.

If your interested in the mathematics this project deals with, you can read about Ramsey Numbers here. Also, the proposal for our research can be viewed here.

研究内容俺不懂。。。数学达人乱入:)

项目预计在八月下旬开始运行。

评分

参与人数 1基本分 +30 维基拼图 +1 收起 理由
霊烏路 空 + 30 + 1

查看全部评分

回复

使用道具 举报

发表于 2008-7-21 10:27:42 | 显示全部楼层
以前我写过的一个介绍:
拉姆赛(Frank Plumpton Ramsey),英国数学家、逻辑学家、经济学家。他开创了组合数学中的Ramsey理论。Ramsey理论,浅显地说,是指:在一个k阶完全图中,将每条边染为m种颜色中的一种,若k足够大,那么必有所有边为颜色1的子完全图Kr1或所有边为颜色2的子完全图Kr2……或所有边为颜色m的子完全图Km。k的最小值记为R(r1,r2,…,rm),称为拉姆赛数。如今数学家只能求出九个拉姆赛数,还有其他的一些上界和(或)下界。

Erdos曾经开玩笑说,如果外星人来到地球然后威胁我们算出R(5,5),人类最好的策略是聚集所有数学家和计算机来进行计算;如果要算的是R(6,6)的话,最好的策略是立即决一死战......

评分

参与人数 1基本分 +30 维基拼图 +15 收起 理由
霊烏路 空 + 30 + 15

查看全部评分

回复

使用道具 举报

发表于 2008-7-21 12:45:10 | 显示全部楼层
似乎是个巨计算量的项目  想找外星人看来 及其漫长
回复

使用道具 举报

发表于 2008-7-21 13:10:44 | 显示全部楼层
麻烦贴出项目地址!
回复

使用道具 举报

 楼主| 发表于 2008-7-21 13:17:00 | 显示全部楼层
一楼不是有吗?
回复

使用道具 举报

发表于 2008-7-21 14:04:34 | 显示全部楼层
http://www.ramseyathome.com/ramsey/index.php???
是这个吗?



[ 本帖最后由 chenbang 于 2008-7-21 14:06 编辑 ]
回复

使用道具 举报

 楼主| 发表于 2008-7-21 14:24:36 | 显示全部楼层
嗯,一楼也有说明,八月底才开始运行。。。
回复

使用道具 举报

 楼主| 发表于 2008-8-2 09:36:39 | 显示全部楼层

August 1, 2008

I've been trying to get the email functionality of BOINC (the server software) working, but so far, to no avail. Hopefully I can do so before our release date late this month. On the brighter side, I've got a slightly buggy client-side app running on my development server, and a slightly buggy work generator generating work for it. So If all goes well I'll be alpha testing it on my school's computer's before the end of next week. Finally, I will moving sometime within the next few weeks so the website will be down for at least a day. Hopefully this inconveniences no one. Thanks!

计算程序和任务生成程序也都还有些小问题,顺利的话,下周结束前会开始Alpha测试。另外,下几周可能会有至少一天的停机。
回复

使用道具 举报

 楼主| 发表于 2008-8-20 12:30:29 | 显示全部楼层
August 19, 2008
I believe I fixed the issues with the work generator, so the server should be good to go for awhile. I also realized that building a 64-bit windows version of the application was trivial, so we got one of those now! Hope you dig it.

服务端任务单元生成程序的问题应该已经解决了,同时发布了64位windows版本的计算程序。

August 18, 2008
I noticed that my work generator was failing for some reason, so the server may be a litle sketchy until I figure it out. Sorry!

服务端的任务单元生成程序有点问题。

August 16, 2008
I've been notified by some users that in order to get WUs, you must detach and then reattach. This is because I am using a new code signing key (keeps people from hijacking the server and distributing malicious code). So if you are having problems getting WUs, this is why. Other than that this day has been going very smoothly! I'm working on the description of the application, and a page that will show how close we are to a new lower bound. Thanks everyone!

如果你无法下载到任务单元,可以试着退出项目再重新加入项目。

August 16, 2008
After updating the server software last night, I forgot to check the web site, so that's why it looked funny for a few hours :).
I'm ready to start the server so hopefully everything will go at least somewhat smoothly. I'm also planning on typing up a semi-detailed description of what my software does, so if anyone is interested please watch for that within the coming days. Thanks for crunching!

P.S. After that I'll be working on the mail server again.

准备在网站上放一些比较详细的介绍,关于项目的计算软件。

August 14, 2008
Sorry about the long downtime, I got caught in between a move and a vacation with no time to get the server back up, but I'm back now, and I'm ready to release the alpha this weekend. I'm going to retest it tonight and tomorrow just to make sure, then release it Saturday. Should be exciting! Thanks for sticking with the project!

准备这周末发布alpha版本。

评分

参与人数 1基本分 +30 维基拼图 +15 收起 理由
霊烏路 空 + 30 + 15

查看全部评分

回复

使用道具 举报

 楼主| 发表于 2008-8-20 12:32:46 | 显示全部楼层
刚发现fwjmath是今天的utod:)

ramsey.PNG
回复

使用道具 举报

 楼主| 发表于 2008-9-9 21:32:48 | 显示全部楼层
最近这个项目的给分有点多。。。

2636872373519 Sep 2008 7:57:50 UTC9 Sep 2008 13:26:58 UTCOverSuccessDone3,059.279.5925.00
2617302354249 Sep 2008 5:26:11 UTC9 Sep 2008 12:21:05 UTCOverSuccessDone3,037.169.5225.00
2597922334909 Sep 2008 3:56:15 UTC9 Sep 2008 8:40:04 UTCOverSuccessDone3,050.789.5625.00
2579012316889 Sep 2008 1:58:33 UTC9 Sep 2008 7:57:50 UTCOverSuccessDone3,010.319.4425.00
2577512315389 Sep 2008 1:58:19 UTC9 Sep 2008 5:26:11 UTCOverSuccessDone2,992.289.3825.00


而之前的任务得分都是和申请分相同的:

14014112600530 Aug 2008 16:17:09 UTC30 Aug 2008 19:44:55 UTCOverSuccessDone3,085.4710.0310.03
14002512588930 Aug 2008 16:17:24 UTC31 Aug 2008 0:45:57 UTCOverSuccessDone3,124.3610.1510.15
13980612567030 Aug 2008 16:16:51 UTC30 Aug 2008 19:44:55 UTCOverSuccessDone3,102.5310.0810.08
13478912079430 Aug 2008 5:41:34 UTC30 Aug 2008 16:16:51 UTCOverSuccessDone3,189.3110.3610.36
13396511998030 Aug 2008 4:27:07 UTC30 Aug 2008 16:16:51 UTCOverSuccessDone3,111.1610.1110.11


估计是在使用服务端预设任务积分的方法,但给分比例还没控制好。
回复

使用道具 举报

头像被屏蔽
发表于 2008-10-3 11:13:41 | 显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
回复

使用道具 举报

发表于 2008-11-1 19:44:47 | 显示全部楼层
也就是说甚至SETI找到外星人了,这个项目也还没算出R(6,6)
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 新注册用户

本版积分规则

论坛官方淘宝店开业啦~

Archiver|手机版|小黑屋|中国分布式计算总站 ( 沪ICP备05042587号 )

GMT+8, 2024-4-20 07:56

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表