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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 学术交流区 » 论文投稿 » 交流 » 计算机方向研究形式化方法是不是比较难出sci文章啊？
301/1返回列表
查看: 5683  |  回复: 29
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

zchwyl2011

新虫 (初入文坛)

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

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

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

» 猜你喜欢

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

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

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

xinghe010

木虫 (正式写手)
★ ★
小木虫(金币+0.5):给个红包，谢谢回帖
秋天白云(金币+1): 鼓励交流！ 2011-11-19 23:35:45
zchwyl2011(金币+2): 2011-11-21 21:48:01
这个方向很难发文章的，适合的杂志比较少，都是偏理论基础的，譬如说逻辑，推理等。
赞一下(2人) 回复此楼
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
很难，但是一旦找到门路，文章哗哗啦啦的出。
好像清华大学的应明生。
赞一下(2人) 回复此楼
3楼2011-11-19 23:00:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

imdiablo1

至尊木虫 (知名作家)
★
小木虫(金币+0.5):给个红包，谢谢回帖
确实不好发，看导师的研究方向了~~
赞一下(1人) 回复此楼
5楼2011-11-20 22:30:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

leimiao_hit

木虫之王 (文学泰斗)
★ ★
小木虫(金币+0.5):给个红包，谢谢回帖
avast2009(金币+1): 鼓励交流 2011-11-21 18:17:53
zchwyl2011(金币+2): 2011-11-21 21:48:26
这个方向很难发文章的，适合的杂志少。
除非你导师发了很多很牛的期刊了，
否则莫入此门啦
赞一下(2人) 回复此楼
6楼2011-11-20 22:57:08
已阅   回复此楼   关注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 / ...

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

canyoufeelit

金虫 (小有名气)
★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+1): 2011-11-21 21:48:48
这方面作为论文的一部分应该还是有助于提升档次的，单独写的话不知道了。
赞一下(1人) 回复此楼
8楼2011-11-20 23:44:49
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

visitor958

至尊木虫 (文坛精英)
★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+1): 2011-11-21 21:49:04
计算机领域杂志不少，不过很多人对会议更认同。要SCI的话，IEEE/ACM可以试一试，Elsevier也有不少。
赞一下(1人) 回复此楼
10楼2011-11-21 01:09:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wl1167

金虫 (小有名气)
★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+1): 2011-11-21 21:47:35
本人现在正在选题，本打算搞程序验证，后来导师说博士4年时间太短，很难有成果。。。。。。。。
赞一下(1人) 回复此楼
11楼2011-11-21 01:53:40
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

China_USA

铁杆木虫 (正式写手)
★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+1): 2011-11-21 21:47:24
这个领域比较难发SCI文章。可以发一些在中国开的国际会议文章。
赞一下(1人) 回复此楼
12楼2011-11-21 07:35:09
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

harbor2010

至尊木虫 (文坛精英)
★
小木虫(金币+0.5):给个红包，谢谢回帖
确实不好发，看导师的研究方向了
赞一下(1人) 回复此楼
13楼2011-11-21 08:18:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

chuzhufei

铁杆木虫 (著名写手)
★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+1): 2011-11-21 21:47:11
formal methods 清华的有一批在研究的

我所了解到的信息是这个方向“水很深”，发文章较难
赞一下(1人) 回复此楼
14楼2011-11-21 08:20:58
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

mlanqiang

木虫之王 (文学泰斗)
★
小木虫(金币+0.5):给个红包，谢谢回帖
这个方向确实比较难发文章。
赞一下(1人) 回复此楼
15楼2011-11-21 09:05:59
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ming142007

铁杆木虫 (职业作家)
相当的难
回复此楼
16楼2011-11-21 17:08:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

shenxw602

木虫 (正式写手)
★
小木虫(金币+0.5):给个红包，谢谢回帖
zchwyl2011(金币+1): 2011-11-21 21:46:49
我师姐就是搞这个的 发了电子学报 软件学报
赞一下(1人) 回复此楼
17楼2011-11-21 19:40:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

myxiaomuchou

新虫 (初入文坛)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
同为该方向的表示很痛苦，但是我们导师说这个方向很容易发，比其他的要容易的多。但是如果想研究深入是需要花费很多时间的，像我这样对这个不感冒的觉得研究这些是在浪费时间，对以后找工作没有多大用处，但是有什么办法呢？
赞一下 回复此楼
18楼2012-11-09 12:36:20
已阅   回复此楼   关注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的回帖

abc22cba

铁杆木虫 (著名写手)
引用回帖:
20楼: Originally posted by samadhimei at 2013-05-06 09:42:10
形式化和计算理论应该是两回事。...

我没说计算理论
回复此楼
21楼2013-05-06 10:32:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lvyupku

木虫 (著名写手)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
非常难，我就是搞formal methods的phd，羡慕身边搞information retrieval和computer graphics的，一年发个3、4篇，我们组的两年能搞1篇SCI就已经很牛了。我们这公认好点的期刊有formal aspects of computing，theoretical computer science，和science of computer programming
赞一下 回复此楼
22楼2013-11-13 02:10:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

骨子里的我

新虫 (初入文坛)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
引用回帖:
22楼: Originally posted by lvyupku at 2013-11-13 02:10:32
非常难，我就是搞formal methods的phd，羡慕身边搞information retrieval和computer graphics的，一年发个3、4篇，我们组的两年能搞1篇SCI就已经很牛了。我们这公认好点的期刊有formal aspects of computing，theor ...

初入形式化方法的直博生一枚 有机会希望能跟您讨论
赞一下 回复此楼
23楼2014-04-03 16:15:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

匿名

用户注销 (初入文坛)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
本帖仅楼主可见
赞一下
24楼2014-08-16 16:33:32
已阅   申请SEPI   回复此楼   编辑   查看我的主页

匿名

用户注销 (初入文坛)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
本帖仅楼主可见
赞一下
25楼2014-08-16 16:37:47
已阅   申请SEPI   回复此楼   编辑   查看我的主页

clueange

禁虫 (小有名气)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
本帖内容被屏蔽
26楼2014-09-14 18:37:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

骨子里的我

新虫 (初入文坛)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
形式化方法方向直博生一枚。。。 希望跟大家多多探讨~
赞一下 回复此楼
27楼2014-10-22 10:23:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

骨子里的我

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

我也是觉得形式化方法涉及的数学知识好多。。。
赞一下 回复此楼
28楼2014-10-22 10:24:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

骨子里的我

新虫 (初入文坛)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
引用回帖:
22楼: Originally posted by lvyupku at 2013-11-13 02:10:32
非常难，我就是搞formal methods的phd，羡慕身边搞information retrieval和computer graphics的，一年发个3、4篇，我们组的两年能搞1篇SCI就已经很牛了。我们这公认好点的期刊有formal aspects of computing，theor ...

越来越有同感了。。。您现在的研究进展怎么样呢？
赞一下 回复此楼
29楼2014-10-22 10:25:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

东皇想大我

禁虫
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
本帖内容被屏蔽
30楼2019-09-15 14:54:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
zchwyl20114楼
2011-11-20 22:13   回复  
顶一下
zhouenlai5559楼
2011-11-20 23:50   回复  
相关版块跳转 我要订阅楼主 zchwyl2011 的主题更新
301/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 科研孤儿太难了 +9 我4大白菜 2026-08-20 9/450 2026-08-20 18:23 by 2549091707
[基金申请] 时间戳又变了 +11 wuchongjun 2026-08-20 15/750 2026-08-20 17:28 by wuchongjun
[基金申请] 时间戳变了，能看出什么问题？ +18 基诺咪客 2026-08-17 23/1150 2026-08-20 17:19 by Godzela
[基金申请] 今天系统多次维护，明天很可能放榜！ +9 zju2000 2026-08-16 10/500 2026-08-20 15:56 by Leogzhya
[基金申请] 放榜前的不淡定 40+3 snowwithsea 2026-08-19 12/600 2026-08-20 15:56 by lfy8008
[基金申请] 言之凿凿，明天官网会通知放榜？ +14 医学老男孩 2026-08-20 16/800 2026-08-20 15:47 by LNP@mRNA
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜？ +16 Ldrop2023 2026-08-13 20/1000 2026-08-20 11:07 by xskun
[基金申请] 今天基金会出结果吗？20260819 +14 kkkl_v 2026-08-19 15/750 2026-08-20 08:21 by sunzitan
[基金申请] filecode，4个jtjc了 +11 ziyangfang 2026-08-19 13/650 2026-08-19 21:28 by aasahr
[教师之家] 为什么余额宝的年化利率越来越低？主要原因有哪些？ +5 瞬息宇宙 2026-08-15 5/250 2026-08-19 20:23 by super2002521
[基金申请] 今天放榜没戏了吧 +4 yuleib84 2026-08-19 5/250 2026-08-19 19:52 by hhs666
[基金申请] 今天放榜吗？ +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] 2027广东省杰青 +4 奶牛小黑 2026-08-15 10/500 2026-08-19 11:02 by wanfengnew
[基金申请] 朋友圈看到的 +6 wangzilk 2026-08-18 8/400 2026-08-19 10:55 by Haru815
[基金申请] 什么时候开奖？ +6 CrisMessi 2026-08-18 6/300 2026-08-19 08:06 by Equinoxhua
[基金申请] 明天放榜？ +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[基金申请] 93BebMhtakh前后11位开头都是大写 +4 且听虎啸 2026-08-17 5/250 2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[精细化工] 招聘 金属平磨液，抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] 各位道友，我要去昆明玩几天，回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
信息提示
关闭
请填处理意见
关闭