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

24小时热门版块排行榜    

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

zchwyl2011

新虫 (初入文坛)

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

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

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

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2011-11-19 21:07:14
已阅   回复此楼   关注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的回帖
查看全部 30 个回答

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的回帖
查看全部 30 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 上海工程技术大学 激光智能制造课题组 2027级博士研究生招生 +5 oxidpl 2026-09-20 7/350 2026-09-27 10:43 by Equinoxhua
[博后之家] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 ViqFlLSxHDGt 2026-09-26 3/150 2026-09-27 10:42 by 4IW0sJvtEqX8
[找工作] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +3 ViqFlLSxHDGt 2026-09-26 3/150 2026-09-27 10:26 by 4IW0sJvtEqX8
[博后之家] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +3 ViqFlLSxHDGt 2026-09-26 3/150 2026-09-27 10:21 by 4IW0sJvtEqX8
[公派出国] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 ViqFlLSxHDGt 2026-09-26 3/150 2026-09-27 10:15 by 4IW0sJvtEqX8
[考博] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 ViqFlLSxHDGt 2026-09-26 3/150 2026-09-27 10:03 by 4IW0sJvtEqX8
[公派出国] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +3 GxESXJmptOtQ 2026-09-25 4/200 2026-09-27 06:44 by XgCC8uTcwILl
[考博] 售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急 +3 GxESXJmptOtQ 2026-09-25 4/200 2026-09-27 06:42 by XgCC8uTcwILl
[论文投稿] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +3 GxESXJmptOtQ 2026-09-25 4/200 2026-09-27 06:39 by XgCC8uTcwILl
[找工作] 售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急 +3 GxESXJmptOtQ 2026-09-25 3/150 2026-09-27 06:32 by XgCC8uTcwILl
[找工作] 售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急 +3 vQZoDrrm7mUF 2026-09-25 3/150 2026-09-27 06:08 by XgCC8uTcwILl
[考研] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 vQZoDrrm7mUF 2026-09-25 3/150 2026-09-27 05:56 by XgCC8uTcwILl
[找工作] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +5 vQZoDrrm7mUF 2026-09-25 5/250 2026-09-27 05:53 by XgCC8uTcwILl
[博后之家] 售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急 +4 vQZoDrrm7mUF 2026-09-25 4/200 2026-09-27 05:50 by XgCC8uTcwILl
[考研] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +3 vQZoDrrm7mUF 2026-09-25 5/250 2026-09-27 05:44 by XgCC8uTcwILl
[公派出国] 售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急 +4 vQZoDrrm7mUF 2026-09-25 4/200 2026-09-27 05:44 by XgCC8uTcwILl
[考博] 售一区SCI文章T0P，我:8O.551.O54,科目全,可十急 +3 vQZoDrrm7mUF 2026-09-25 3/150 2026-09-27 05:44 by XgCC8uTcwILl
[论文投稿] 售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急 +3 vQZoDrrm7mUF 2026-09-25 6/300 2026-09-27 05:42 by XgCC8uTcwILl
[找工作] 售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急 +4 PGTSwSC3F6nQ 2026-09-24 5/250 2026-09-25 11:19 by yhq9807
[基金申请] 师弟论文见刊大半年才想起来申请专利，还能抢救一下吗？ +4 13108017953 2026-09-21 4/200 2026-09-24 10:06 by kudofaye
信息提示
关闭
请填处理意见
关闭