更改

跳到导航 跳到搜索
添加6,094字节 、 2020年12月6日 (日) 05:30
扩写了一点个人材料
第1行: 第1行: −
== 基本信息 ==
+
== 个人简介 ==
 +
=== 基本信息 ===
 
'''集智id''':Lux Cicero
 
'''集智id''':Lux Cicero
   第6行: 第7行:  
'''研究领域''':集合计算、全局优化、最优控制
 
'''研究领域''':集合计算、全局优化、最优控制
   −
== 专业背景 ==
+
=== 专业背景 ===
 
'''本科''':电子信息工程
 
'''本科''':电子信息工程
   第12行: 第13行:     
'''博士'''(在读):过程系统工程
 
'''博士'''(在读):过程系统工程
 +
 +
== 为什么参与集智 ==
 +
=== 缘起 ===
 +
出生在工程师家庭,自幼对科学和工程学感兴趣,从小一直“妄想”自己能更多更深入的理解“这个世界”。曾以为电子和计算机系统是这个时代的发展趋势,抱着学习这方面知识的期望,高考后选择进入一所以工科见长的高校学习。
 +
 +
在本科的四年里,我拼命折腾,参与过不少实践项目,也做过一些学生工作。在不断的碰壁中,我对信息科学和信息行业有了虽然初步但是切身的理解,也掌握了一定的技能,终于想明白了自己想要什么样的人生。虽然4年的本科生活击碎了之前幼稚的幻想,又给我带来了新的向往。除了挣扎着活下去之外,也想作为“知识群体”的一份子,为我所处在的社会、为哺育我成长的国家和人民,做点什么,来对得起我所占用的社会资源,特别是教育资源。
 +
 +
本科毕业之后,机缘巧合之下,得以去某高校继续深造。导师是一位受过严格数学教育的工程师,也是一位创造力极为丰富的学者。在他那里,我得以接触非常前沿的信息和学者群体,也几乎重学了全部数学基础和专业知识。研究生的日子里,我像一块海绵一样疯狂的吸收着所有与我的工作可能有关的事情,集智俱乐部就是在这时候,进入了我的生活。从那时开始,我就一直默默关注着集智推送的材料,从中受益良多。
 +
 +
研究生毕业之后,又是机缘巧合,得以继续深造。我之前所研究的问题还没有被完全解决,或者说我对于已经取得的结果非常不满意。这使得我在博士的工作中同时朝着更深和更广的知识海洋迈进,也使得我的阅读量相比于研究生阶段增加的更快。学校的学术写作课程、工作中的学术写作需要、以及大量英文材料的阅读,基本颠覆和重塑了我之前的知识体系,受制于中文世界的信息而搭建的知识体系。我不得不承认,我之前基于中文所理解的概念,基本都是不准确的;我之前的思维体系,基本都是不“清楚”的。为了应对我自己工作的挑战,我开始学习搭建我自己的维基,也试着参与公共编辑,也试图寻找一个社区,能向前辈学习,能和志同道合的同志们一起进步,能一起为后辈做点事情。在尝试了一些知识平台和社区之后,我认识到,那个我所想要的社区,并不容易找。最近几个月,集智连续推了好几期百科词条的文章。这些词条质量挺不错,内容也基本兼顾了广泛、深入、准确、通俗易懂。我猜想集智的百科社区,一定是个有追求也有活力的社区,于是就提交了申请,希望能作为一份子,工作之余,贡献自己的力量。
 +
 +
=== 当下 ===
 +
我本身的科研工作和复杂性息息相关,只是我所处的领域(人不太多),还没有完全被归结进复杂性科学。具体来说,我目前在研究基于叠加形式(superposition form)的高维函数表示(representation)、逼近(approximation)、自证实计算(self-validated computation)。这项工作与柯尔莫哥洛夫叠加定理有关(Kolmogorov's Superposition Theorem ,KST),也和稀疏网格有关(sparse grid),也和山脊函数有关(ridge function),也和传统的多项式逼近方法有关,当然也因此和当前最热门的神经网络有很深的关系。这项工作也能支撑其他的相关领域也包括方差分析(ANOVA)、参数估计(parameter estimation)、实验设计(experiment design)、优化(optimization)、鲁棒最优控制(robust optimal control)等等。其实因为它的基础性的功能,涉及到整个现代科学方法论:实验 - 统计 - 建模 - 参数估计 - 优化 - 制定策略(控制)。
 +
 +
除此之外我也在啃一些可能有用的数学工具,例如代数几何(一开始是Groebner basis,暂时还没涉及scheme,不过也是迟早的事)、计算几何(主要是Clifford Algera)。我的工作当然也包括实现(implementation),于是我涉猎了一点点计算机代数(computer algebra system)和底层实现,比如LLVM框架(长期来看,当然要以某种方法做进编译器里),毕竟这年头IPOPT调用都用CasADi,PSE建模求解经常都是用GAMS调库。
 +
 +
这项工作的研究背景,粗略的说,是"新的算术"。是的,我花了相当长的时间搞明白了算术的历史、哲学基础、和我们目前所处的位置。在工作的影响下,我目前也对哲学史、科学哲学、数学哲学、逻辑哲学、分析哲学、语言学、数学史、心理学、中文写作学、翻译学很感兴趣,有一定的阅读量。
 +
 +
我最近正在提高自己的写作能力,发现翻译就是很好的练习。
 +
 +
考虑过翻译SEP词条,但是工作量令我感到望而生畏,要是单枪匹马地做,我动力不足。我也考虑过写一些我所了解到的“前沿”信息(有些信息其实已经几十年了,但是鲜有中文材料),但是为了保证准确性,我同样需要付出相当的精力和时间。如果写作出来的成果,我没有地方可以发布,也没有前辈可以指点、没有同伴可以讨论,那么这样的写作对我来说是没有意义的。
 +
 +
实际上,随着我阅读量的暴增,我发现英文世界中有相当丰富又短小精悍的专业百科材料,例如斯普林格(Springer)出版的一些行业百科里面就有非常丰富的词条。回想自己懵懵懂懂刚入行的时候,笨拙试图理解百度和维基、笨拙的在知乎在stack exchange提问,如果那时候我知道有这样的资料可以查阅,我就能省很多无用功。
 +
 +
这样我最近就在试着从一些容易上手又容易完成并作出贡献的领域,翻译或者审校一些,与我专业相关的信息。
 +
 +
=== 之后 ===
 +
欢迎、也希望能和大家交流
32

个编辑

导航菜单