应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 学术交流区 » 论文投稿 » 交流 » 计算机方向研究形式化方法是不是比较难出sci文章啊？
31/1返回列表
查看: 4466  |  回复: 29
查看全部回帖 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

zchwyl2011

新虫 (初入文坛)

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

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

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

» 猜你喜欢

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

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

查看全部散金贴
1楼 2011-11-19 21:07:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

samadhimei

铜虫 (正式写手)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
引用回帖:
3楼: Originally posted by wu_tao0706 at 2011-11-19 23:00:04
很难，但是一旦找到门路，文章哗哗啦啦的出。
好像清华大学的应明生。

应明生做量子计算，和软件形式化两回事。软件形式化或者自动定理证明已经碰到了瓶颈，主要做逻辑推演，属于人工智能传统研究领域。方法单一，应用前景堪忧，形式化的数学语言难以描述复杂的现实世界，对于软件工程的价值不太大，因而是一个很偏门的研究领域。
赞一下 回复此楼
19楼2013-05-06 09:40:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

samadhimei

铜虫 (正式写手)
引用回帖:
7楼: Originally posted by abc22cba at 2011-11-20 23:09:29
形式化是计算机理论领域中比较好发高层次论文的，你去看看《中国科学》、《计算机学报》、《计算机研究与发展》便知。...

形式化和计算理论应该是两回事。
赞一下 回复此楼
20楼2013-05-06 09:42:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 zchwyl2011 的主题更新
31/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
信息提示
关闭
请填处理意见
关闭