【科研学术】01-概念基础

一、概念

1. 定义、命题、引理、定理、公理的概念

P、NP、NP-Complete、NP-Hard这些概念都是用来描述一个问题的难度的，
P问题：P即Polynomial time，多项式时间。f(n)=a0+a1n1+a2n2+a3*n3+…. 。
意思是说给定一个问题，能在多项式时间内 找到 符合该问题的解。此时，问题的时间复杂度是O(nj)。
参考博文：
P、NP、NP-Complete、NP-Hard问题详解—心蓝
NP-Hard和NP-Complete的区别—emy_yu

二、常识

1. IEEE会议排名(转载)
   对于实时系统领域，IEEE、ACM等组织的国际会议有

• RTSS(Real Time Systems Symposium)
• RTAS(Real-Time and Embedded Technology and Applications Symposium)
• ECRTS(Euromicro Conference on Real-Time Systems)
• RTCSA(Real-Time Computing Systems and Applications)
• RTNS(Real-Time Networks and Systems)
• 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

五、感悟

一个领域的期刊、论文、报告，哪怕只选稍有引用的，也几乎是成百上千，对于一些从摘要一眼看出价值的论文，尤其是期刊，可以快速把每一节的开头两段话看一下，几乎决定了整段的内容，所以我们写paper时有一个习惯就是每一段，每一节都开门见山，让人一目了然。

Word中MathType菜单灰色不能使用怎么办——匿名用户
插入MathType公式行距变大的解决方法——MathType
Word插入公式设置字体为新罗马Times New Roman