|
发表于 2013-1-25 13:27:36
|
显示全部楼层
回复 26# fwjmath
谢谢你的消息!我最近也是搞论文中。
我现在是两个实验室两个不同的课题同时搞,一个决定什么时候毕业,另一个负责赚钱糊口,都要paper
我挺想弄个非纯数学类的项目,就是更有短期效益的,这样推广阻力会小。
现在在一个实验室,他们做model checking(模型检测,CSP语言),描述一个模型,探测他可能的状态,看看是不是达到了一些要求。
具体的应用比如说检查交通信号灯是不是不会同时绿灯,飞机导航系统,软件设计之类的,各个领域只要能用CSP描述就可以来做。
我在想设计一个(半)公开的接口,让有需要的人来提交CSP描述的模型,通过分布式来做检测。这样计算的结果可以直接产生效益。
这个检测本质就是DFS,搜索空间可能是超级大的。
组里是有人在做并行,但是是基于shared memory,所以节点判重的成本不高。如果是分布式计算,判重是个大问题,WU之间重复计算可能很大。所以有些研究问题要先解决。
这个东西工程量不小,一个人是干不过来的。我问过老板,但是他期望我做别的topic。不过我一直实验室有个计算项目应该挺拉风的,适当时候我再提。
纯数学的项目,像pi segment这种的现在挺容易做起来,毕竟计算简单,现在也有boinc框架。这是太多人会觉得那只是个数,不能证明/证伪什么 |
|