24小时热门版块排行榜    

北京石油化工学院2026年研究生招生接收调剂公告
查看: 4778  |  回复: 29
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

zchwyl2011

新虫 (初入文坛)


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

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

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

» 猜你喜欢

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

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

查看全部散金贴

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

abc22cba

铁杆木虫 (著名写手)



小木虫(金币+0.5):给个红包,谢谢回帖
zchwyl2011(金币+2): 2011-11-21 21:48:40
引用回帖:
1楼: Originally posted by zchwyl2011 at 2011-11-19 21:07:14:
最近对形式化方法有点兴趣,比如模型检测,定理证明器等。但是查了国内几个牛人在这方面的文章,发现同样都是牛人,与研究机器学习和无线传感网络的牛人比起来,他们的文章不值一提,都没几篇sci,更不用谈ieee / ...

形式化是计算机理论领域中比较好发高层次论文的,你去看看《中国科学》、《计算机学报》、《计算机研究与发展》便知。
7楼2011-11-20 23:09:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 30 个回答

xinghe010

木虫 (正式写手)


★ ★
小木虫(金币+0.5):给个红包,谢谢回帖
秋天白云(金币+1): 鼓励交流! 2011-11-19 23:35:45
zchwyl2011(金币+2): 2011-11-21 21:48:01
这个方向很难发文章的,适合的杂志比较少,都是偏理论基础的,譬如说逻辑,推理等。
2楼2011-11-19 22:55:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wu_tao0706

至尊木虫 (著名写手)


★ ★
小木虫(金币+0.5):给个红包,谢谢回帖
秋天白云(金币+1): 鼓励交流! 2011-11-19 23:35:51
zchwyl2011(金币+2): 2011-11-21 21:48:11
很难,但是一旦找到门路,文章哗哗啦啦的出。
好像清华大学的应明生。
3楼2011-11-19 23:00:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

小木虫(金币+0.5):给个红包,谢谢回帖
确实不好发,看导师的研究方向了~~
5楼2011-11-20 22:30:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 262求调剂 +3 天下第一文 2026-04-04 4/200 2026-04-05 17:07 by yulian1987
[考研] 285求调剂 +10 哦呦呼o 2026-04-04 10/500 2026-04-05 11:12 by guoweigw
[考研] 一志愿西北农林畜牧专硕336分求调剂 +3 5ourr 2026-04-03 3/150 2026-04-05 10:40 by JOKER0401
[考研] 290求调剂 +7 luoziheng 2026-04-04 7/350 2026-04-04 23:17 by lqwchd
[考研] 266分,一志愿电气工程,本科材料,求材料专业调剂 +11 哇呼哼呼哼 2026-04-01 12/600 2026-04-04 23:17 by 永字号
[考研] 325求调剂 +4 春风不借意 2026-04-04 4/200 2026-04-04 22:08 by 啵啵啵0119
[考研] 材料与化工306分找调剂 +23 沧海轻舟e 2026-04-02 27/1350 2026-04-04 21:52 by laoshidan
[考研] 283分求调剂 +7 小聂爱学习 2026-04-03 7/350 2026-04-04 21:51 by hemengdong
[考研] 349求调剂 +11 zwjjjjjj 2026-03-31 11/550 2026-04-04 19:52 by 蓝云思雨
[考研] 化学308分调剂 +23 你好明天你好 2026-03-30 24/1200 2026-04-04 18:29 by macy2011
[考研] 调剂 +5 asdasdassda 2026-04-03 6/300 2026-04-03 20:27 by 岸上的一条鱼
[考研] 材料科学与工程339求调剂 +12 hyz0119 2026-03-31 13/650 2026-04-03 18:33 by ls刘帅
[考研] 301求调剂 +14 A_JiXing 2026-04-01 14/700 2026-04-03 18:31 by ls刘帅
[考研] 求调剂不挑专业 +3 xrh030412 2026-04-01 3/150 2026-04-03 14:40 by 氮气气气
[考研] 312求调剂 +4 赊月色 2026-04-02 5/250 2026-04-03 08:21 by fangshan711
[考研] 302求调剂 +9 zyx上岸! 2026-04-02 9/450 2026-04-02 23:07 by 马儿快快地跑
[考研] 286分调剂 +20 Faune 2026-03-30 22/1100 2026-04-02 13:24 by clyblh
[考研] 08工科求调剂290分 +5 1314捧花 2026-04-02 8/400 2026-04-02 13:16 by 乔哒哒哒
[考研] 调剂申请 +8 张张张张zy 2026-03-31 9/450 2026-04-01 08:29 by zjbkx
[考研] 求调剂:一志愿:南京大学 专业:0705 总分320 ,本科985,四六级已过 +3 lfy760306 2026-03-31 3/150 2026-04-01 01:57 by Creta
信息提示
请填处理意见