2014年01月_smallgyy

08月 07月 06月 03月 01月

转载院士大牛们一年N篇7点以上SCI的诀窍[转]

院士大牛们一年N篇7点以上SCI的诀窍院士大牛们一年N篇7点以上SCI的诀窍这是一个一年三篇IF大于7的牛人当我问道他怎么这么强的时候，他给我看的院士导师传授的发文章秘笈。看了实在是心中有一种感觉，特奉献出来一、研究生必备四本俗话说好记性不如烂笔头，所以一定要首先养成做笔记的好习惯！作

2014-01-26 21:42:38 939

转载 UML 的形式化描述语义【转】

UML 的形式化描述语义【转】1 引言动软件开发方法的发展, 建模语言如UML 的语义问题引起关注。人们广泛认为具有清晰严格的语义的建模语言才能用来进行严格的建模。因此,虽然在UML 的形式化语义方面已经开展了很多研究工作,但依然存在许多尚未解决的问题。本文提出一种新的方法来定义建模语言的形式化语义。我们将此方法应用于定义UML 的类图、交互图和状态图的语义,并以此为理

2014-01-08 19:58:22 2815

转载让时态逻辑“搬家” ——伯努利　　吴鹤龄【转】

1996年度的图灵奖授予了一位以色列学者，著名的以色列魏茨曼学院(Weizmann Institute of Science，位于圣城耶路撒冷西北约50公里的雷霍沃特)应用数学系教授艾米尔·伯努利(Amir Pnueli)，以彰显他把时态逻辑引入计算机科学所做的贡献。伯努利于1967年在魏茨曼学院获应用数学博士学位，后留校任教。他的主要研究方向是时态逻辑或叫时序逻辑(tempor

2014-01-02 11:11:15 1592

转载使用latex撰写大论文【转】

声明：转自http://www.cad.zju.edu.cn/home/vagblog/?p=675。个人感觉，还是要用latex来写。因为之前发过几篇word排版的中文论文，在参考文献的引用、文字格式调整上，实在是难受。如果坚持用word，请一定用endnote结合word来管理参考文献，否则100多个参考文献的调整一定会浪费你很多时间的。latex不难，就几个简单功能，稍微适应一下就好

2014-01-02 10:54:59 4637

转载常用符号及读法【转】

常用数学输入符号： ≈ ≡ ≠ ＝ ≤≥ ＜＞ ≮ ≯ ∷ ± ＋－ × ÷ ／ ∫ ∮ ∝ ∞ ∧ ∨ ∑ ∏ ∪ ∩ ∈ ∵ ∴ ⊥ ‖ ∠ ⌒ ≌ ∽ √ （）【】｛｝ Ⅰ Ⅱ ⊕ ⊙∥α β γ δ ε ζ η θ大写小写英文注音国际音标注音中文注音 Α α alpha alfa 阿耳法 Β β beta beta 贝塔 Γ γ gamma

2014-01-02 10:50:03 9439

转载模型&技术&方法&机制【http://blog.sina.com.cn/s/blog_5420e0000101hy7o.html】

1.模型1）定义模型是所研究的系统、过程、事物或概念的一种表达形式，也可指根据实验、图样放大或缩小而制作的样品，一般用于展览或实验或铸造机器零件等用的模子。人们依据研究的特定目的，在一定的假设条件下，再现原型（antetype）客体的结构、功能、属性、关系、过程等本质特征的物质形式或思维形式； 2）系统建模对研究的实体进行必要的简化，并用适当的变现形式或规则把它的主要

2014-01-02 10:46:00 3615

转载计算机科学最权威的期刊和会议[转]

计算机科学的出版物特点在于：极度重视会议，而期刊则通常大部分期刊文章都是会议论文的扩展版，首发就在期刊上的相对较少。也正因为如此，计算机期刊的影响因子都低到惊人的程度，顶级刊物往往也只有1到2左右----被引的通常都是会议版论文，而不是很久以后才出版的期刊版。因此，要讨论计算机科学的出版物，首先必须强调的一点是totally forget about IF (IF指影响因子)。另外一点要强调的

2014-01-02 10:13:28 1175