|
标题：为《国家中长期教育改革和发展规划纲要》贡献意见 |
|
浏览：190 评论：1 |
七、高等教育
姓名：熊英飞
正文：对于工科、工程科学等应用型学科，应该鼓励科研向实际产品的转化，鼓励与社会实际需求相关的研 究，建立合适的机制让企业参与资助和评价科研，淡化国家导向。
一方面，现有体制导致了社会力量在高校科研中所起的作用还很有限。我所在的 加拿大滑铁卢大学计算机学科，如果教师从企业取得横向资金，政府给与1：1配套资金。而国内如果教师取得横向资金，学校通常先提成50%左右。这就导致教 师申请横向项目的积极性大大降低，不关注社会的实际需要。
另一方面，过度强调政府导向和国家投入导致科研与社会实际需要脱节。美国、加拿 大等计算机学科发达的地区，往往没有或者很少有政府导向的科研。政府投入的科研资金只占全部科研经费来源很小的一部分，是否取得政府项目也不对教师的晋升 产生作用。而在国内科研中起巨大作用的往往是973、863等国家级项目。这些项目由于缺乏必要的社会监督和参与机制，往往导致了基金的批准和审查都由少 数学术权威操作。项目的科研方向投学术权威所好设立，与社会实际需求脱节，产生的成果也很难应用。
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=298584 |
|
|
|
标题：也来说说现在青椒待遇的发展潜力（挖个坑，欢迎大家讨论） |
|
浏览：449 评论：3 |
最近和一些同学交流，发现大家对高校教师这个职业的普遍看法是，刚入行时比较辛苦，以后有了一定级别就好了。读博的目的，也是熬上几年十几年之后，能有"睡觉睡到自然醒，数钱数到手抽筋"的一天。这个说法，我不太同意。
首先，大家看到都是现在的教授们生活轻松待遇高，觉得等到自己评上教授后也能过上这样的生活。可是现在做教授的那一代人和我们现在这一代人是不一样的。现在做教授的这一代人赶上了在文革后面一个人才亏空的时代，他们所面临的竞争非常小。即使不管他们现在的收入，拿他们刚刚进入高校的收入和现在的青椒们比较，他们的相对收入也是高很多的。而现在国家的分配政策是尽量偏向大牛大教授们，所以他们的收入就更显得高。
其次，我们可以预计一下等到我们这一代人当上教授时会怎么样。从宏观来看，科研人员收入的好坏取决于三个因素：一、国家投入多少钱给科研，二、有多少人竞争这笔钱，三、国家采取什么样的分配制度来分配这笔钱。我们可以分别从这三个方面来分析这个问题。
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=285203 |
|
|
|
|
|
|
|
标题：计算机论文写作模式 -- running example模式 |
|
浏览：1621 评论：0 |
真是不好意思，刚刚说了要用中文写，就发现running example不知道怎么翻译了。大家就凑合着看中英文混合版的吧，反正现在流行……
简介通过一个例子来来解释多个问题，降低用户理解的难度。 动机在论文写作中我们常常需要利用例子来对多个问题和概念进行解释。如果我们每次要解释的时候都举一个例子，那么读者在读论文的时候既要理解我们要解释的东西，又要理解我们举的例子，阅读的难度就增加了。另外，每次解释例子也可能导致论文占用更多的篇幅。
为了解决这一问题，我们采用一个贯穿全文的例子来解释论文中的大多数甚至全部的问题和概念
适用性论文中有多个概念和问题需要用例子解释能够找到一个贯穿全文的例子对他们进行解释有时为了套上running example，我们的描述会比直接举新例子更复杂。那么需要注意这里增加的描述的复杂性不会比读者理解新例子的复杂性更高。实现方法写出论文的提纲，在提纲中列出所有准备写的内容。从提纲中找出论文中比较难理解、需要用例子解释的所有概念和问题，做成一个列表。在列表中选出3~5个概念和问题，看能否找到一个例子可以同时解释他们。从列表中选择一个新的问题，根据需要修改现有例子直到可以解释这个问题。重复以上步骤，直到大多数问题都能被例子解释。重新检查例子，看是否包含与所要解释的问题无关的多余元素，如果有，将多余元素去掉。在论文的introduction开始位置解释例子，或者在introducation之后增加running example小节。示例和已知应用Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Supporting Parallel Updates with Bidirectional Model Transformations. In Proceedings of the Second International Conference on Model Transformation (ICMT'09), ETH Zurich, Switzerland, to appear, June 2009.
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=223949 |
|
|
|
标题：计算机论文写作模式 -- 介绍 |
|
浏览：1102 评论：0 |
开发软件的时候，分析时有分析模式，设计的时候有设计模式，测试时有测试模式，甚至还有反模式。论文写作面临问题的复杂度，要考虑的方面的数量，需要的创新程度都不比开发一个大型软件系统容易，但是似乎还没有人总结出来很好的模式。
所以我决定写这个系列文章，把平时写论文时候的一些好的方法都作为模式记录下来。一方面对于自己是一个总结，另一方面也希望对于刚刚开始科研的同学能做一个参考。特别的，希望这些文章能起到一个抛砖引玉的作用。要是你看了我的文章后觉得：”这破东西你也好意思写出来？让爷爷我（姐姐我）教教你怎么写“，那我可真是高兴还来不及了。希望有更多比我聪明比我有经验思维比我清晰的研究人员把他们的论文写作模式写下来，促进大家科研水平共同进步。
这些模式主要是针对英文论文（呃……不好意思我还没有写过中文论文），但我还是用中文来写。训练一下自己中文写作的同时，也有一点私心：俺的经验都是总结给华人看的。啥？老外也想学？先去考中文四级去。
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=223946 |
|
|
|
标题：为什么Haskell不能写大型程序 |
|
浏览：1740 评论：4 |
可能有无数的原因导致Haskell写不了大型程序，这里只提其中一点。
程序维护中一个非常常见的操作是给一个类添加一个属性，在Java里面我们只需要直接加上去了就好了。比如，把Person { int Age; String Name} 变成 Person {int Age; String Name; boolean Sex}.
但是如果在Haskell里面就不那么简单了。首先我们需要把Person Int String改成Person Int String Bool，然后我们需要在所有对Person做了Pattern Matching的地方都进行修改。任何一个Person a b都要改成Person a b _。这个修改数量往往大的不可想像。
如果我们对Person进行了很好的封装，所有的数据访问都通过函数来进行，比如getAge, getName。那我们至少也要修改这些函数定义里面的Pattern。在一个大型类里面工作量仍然不小。
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=222643 |
|
|
|
标题：（软件工程领域）研究的优劣与方法复杂度的关系 |
|
浏览：843 评论：0 |
我在读博士之前主要是做工程，做工程常常是做出来东西能工作就行了，怎么实现不用关心。当我论文数次被拒之后，我才慢慢体会到在科研中，方法的复杂程度也是一个很重要的因素。因为论文阐述的是我的解决方案，别人是使用我的解决方案去解决他们的问题，我写过的程序很可能别人会再写。那么，如果方法过于复杂的话，别人无法理解也就没法应用我的研究结果，研究的质量就大打折扣了。
如果我们定义一个方法解决的问题的重要程度是M，一个方法的实现复杂度是I，最终用户使用方法的复杂度是E，证明方法正确的复杂度是C，并且这几个变量都在【1-10】之间取值，那么这个研究的价值V可以简单用下面的公式表示：
V=M/E - I
也就是说，研究的价值与解决的问题的重要程度成正比，同用户使用复杂度成反比（如果太复杂了用户不能用，解决的问题再牛也没用），用方法实现的复杂度成反向关系（太复杂了很难实现，但实现的影响不如最终用户的影响大），同时与证明的复杂度无关（如果证明了P=NP，不管多复杂都没关系）。
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=212992 |
|
|
|
标题： 从Alexander Egyed的论文看程序语言和软件工程的论文写作风格差异 |
|
浏览：965 评论：0 |
|
我在一个程序语言的研究室做软件工程的研究，平时读到的都是程序语言的文章。这次读了一下Alexander的文章，发现软件工程社区和程序语言社区在论文的写作风格上还是有很大差异的。 Alexander是软件工程领域如日中天的人物，他在博士毕业后几年就做到了ASE的Chair，毕业后不到十年就成为了奥地利的教授。我以前考 虑traceability的时候就一直关注他的文章，这次发现他也做了和我相关的inconsistency-resolving，就把这个系列的几篇 论文都找来读了一下。 ICSE06:Instant Consistency Checking for the UML ICSE07:Fixing Inconsistencies in UML Design Models ASE08:Generating and Evvaluating Choices for Fixing Inconsistencies in UML Design Models
|
|
本文引用地址：http://www.sciencenet.cn/m/user_content.aspx?id=212883 |
|
|