24小时热门版块排行榜

返回列表

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

zchwyl2011

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 57
帖子: 7
在线: 3.1小时
虫号: 1361638

[交流] 计算机方向研究形式化方法是不是比较难出sci文章啊？

最近对形式化方法有点兴趣，比如模型检测，定理证明器等。但是查了国内几个牛人在这方面的文章，发现同样都是牛人，与研究机器学习和无线传感网络的牛人比起来，他们的文章不值一提，都没几篇sci，更不用谈ieee /acm transaction了。
听朋友还讲了一个故事，有一位教授研究了大概十年左右的形式化方法，因为实在没什么拿得出手的成果，所以就转到无线传感器网络了，结果三年搞下来，发了好几篇ieee /acm transaction。

所以我想请教研究形式化方法是不是发sci比较难？在现在这体制下不得不考虑这个因素啊，否则考核就麻烦了。

回复此楼

» 猜你喜欢

写了一篇“相变储能技术在冷库中应用”的论文，论文内容以实验为主，投什么期刊合适？已经有5人回复
带资进组求博导收留已经有10人回复
最近几年招的学生写论文不引自己组发的文章已经有11人回复
需要合成515-64-0，50g，能接单的留言已经有3人回复
中科院杭州医学所招收博士生一名（生物分析化学、药物递送）已经有3人回复
临港实验室与上科大联培博士招生1名已经有8人回复
想换工作。大多数高校都是评职称时认可5年内在原单位取得的成果吗？已经有4人回复

» 本主题相关价值贴推荐，对您同样有帮助:

» 抢金币啦！回帖就可以得到:

查看全部散金贴

1楼 2011-11-19 21:07:14

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

骨子里的我

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 0.5
帖子: 7
在线: 7.6小时
虫号: 2578486

引用回帖:

26楼: Originally posted by clueange at 2014-09-14 18:37:28
在这里见到不少同行，同意楼上的“水真的太深”。研究了四五年的形式化，个人觉得前三年基本都是在补各种理论知识，三四年的样子才能稍微入门，到目前还没有文章，毕业都成问题了，愁啊。

我也是觉得形式化方法涉及的数学知识好多。。。