威奇托州立大学篮球队-威奇塔大学

1.高小山简介及详细资料

2.堪萨斯州的文化

3.堪萨斯大学好不好？

4.威奇托的威奇托

高小山简介及详细资料

人物简介

1988于中科院系统所获博士学位

1988-1990，美国Texas德克萨斯大学，博士后

1993-1996，美国Wichita堪萨斯州威奇托市州立大学, 访问学者

1988- 1999 中科院系统所

1999-中科院数学与系统科学研究院

数学机械化，符号计算, 自动推理，信息安全，智慧型软体开发

中国科学院自然科学一等奖，1995.

国家自然科学二等奖, 1997.

中科院青年科学家一等奖，1997.

中国科学院有突出贡献的中青年专家，1998.

(香港求是基金会)求是杰出青年学者奖,1999.

第四届中国科学院杰出青年，1999年

第四届亚洲数学技术大会 (ATCM'99)"最佳论文奖",1999.

中国科学院盈科优秀青年学者奖,2000.

第一届中国科协期刊优秀学术论文奖，2003

数学与系统科学研究院"突出成果奖"，2003.

中国科学院先进工作者，2006.

(中创软体基金会)"中创软体人才奖"，2006.

第九届吴文俊人工智慧科学技术奖杰出贡献奖，2019

国家重点基础研究发展计画(973)项目:"数学机械化方法及其在信息技术中的套用"，2004年-2009年，首席科学家。

国家重点基础研究发展规划(973)项目:"数学机械化与自动推理平台"，1999年-2003年，首席科学家。

国家杰出青年基金，1998年-2000年。

国家攀登计画"数学机械化及其套用"子项目负责人，1997年。

国家攀登计画"机器证明及其套用"子项目负责人，1992年-1996年。

863计画"智慧型计算机" 主题子课题"吴方法软体研究"负责人，1991年-1993年。

美国自然科学基金 CCR-9117870, 1992年-1994年,"Mechanical Theorem Proving in Geometry and Mechanics"，主要参加人员。

美国自然科学基金 CCR-9420857, 1995年-1998年，"Automated Generation of Readable Proofs in Geometry"，主要参加人员。

美国自然科学基金 CCR-0201253, 2002年-2004年, "Automated Geometry Reasoning and Methods fir Diagram Generation",共同主持人(CO-PI)。

中国系统工程学会，副理事长

中国数学会，常务理事

国际符号与代数年会(ISSAC)指导委员会委员

《系统科学与数学》，副主编

Journal of Systems Science and Complexity，副主编

Journal of Symbolic Computation ，编委

International Journal of Computers, Communications & Control，编委

Electronic Journal of Mathematics and Technology，编委

《计算机辅助设计与图形学学报》，编委

《中国图像图形学报》，编委

中科院数学与系统科学研究院吴文俊院士因开创数学机械化证明获得了国家科技大奖，是妇孺皆知的大科学家。如今，吴文俊院士已80多岁了，他开创的事业需要有人来继承发扬。而他的学生高小山及高小山的学生，即中科院数学与系统研究院的一部分"新生代科学家"就是他的接班人。他们正在把老前辈的理论推向套用，推入人们的工作和生活之中。

高小山说，吴老的理论和他早期实现的用机器证明的一些几何定理，往往不容易看懂，即使是专业人士也常不易弄明白。为了让人们在短时间内看懂这些研究内容，上世纪90年代，高小山与美国学者合作，结合吴老的方法，尝试用不同方法证明数学中的几何定理，使不同水平的人在不同层次上能够轻松地看懂数学机械化并把它们套用到教学领域中。

随着计算机技术的飞速发展，人类脑力劳动的机械化有了实现的可能性，部分实现脑力劳动的机械化，可为科学研究与高新技术研究提供有力工具，使科研工作者摆脱繁琐的甚至是人力难以胜任的工作，进行更高层次的创新性研究，从而提高知识创新的效率。数学机械化研究，不仅为数学的发展提出了一种战略构想，也将为信息技术的创新发挥重要作用。

所谓"数学机械化"，就是把数学中的方程求解与定理证明转变为计算机可以接受的形式，并利用计算机强大的计算功能解决数学与高新技术中的理论问题，换句话说是用计算机做数学研究或让计算机更智慧型化。

吴文俊正是在上世纪70年代从理论上解决了用机器证明几何定理的难题，从而获得国内外的高度赞扬。而高小山则在80年代把他的理论在计算机上用几秒钟的时间变成了现实，拉近了数学机械化理论与人类工作和生活的距离。在此基础上，高小山又发明了一种称之为"结构性资料库"的推理方法，解决机器证明时的几何对称性问题，用以提高机器证明的质量。不久，他的这一方法再次被普遍套用于物理、机器人和教学中。

当时间推移到世纪之交的时候，高小山作为首席科学家承担了国家重点基础规划项目"数学机化与自动推理平台"的研究，带领学生开始在微分几何等新领域发展数学机械化，试图解决信息处理、计算机图形与视觉、数控技术中的关键性理论和技术问题，建立自动推理平台。

他解释，数学科学是自然科学的理论基础，与化学、理论物理、信息科学、计算机科学等学科相互交叉。数学也是高新技术的理论基础，这一点对信息科学与信息技术尤其重要。

计算机科学被认为是算法的科学，而算法研究的本质是数学问题。计算机在很多领域的套用，如图像传输与压缩、复杂的曲面造型、生物信息等都在呼唤新的数学方法。这些挑战为数学快速发展提供了前所未有的机遇，而数学的研究将为解决许多高科技问题提供有力工具。他们承担的"数学机械化与自动推理平台"项目就是利用计算机强大的计算功能去为人们解决数学问题。

通过研究，他带领的小组已经在不等式机器证明方面开发出了在国际上领先的软体;在图像压缩上，建成了性能优良的压缩与复现系统，压缩比高达240倍;独立建立了中国拼图算法，可用于图像的隐藏和伪装等。这些成果不仅可用于计算机辅助设计，还能套用于蛋白质的结构作图等方面。

高小山于1999年获得香港求是基金会杰出青年学者奖、第四届亚洲计算机数学技术大会最佳论文奖等许多荣誉。

高小山说，"做数学，关键要有自己的看法。不一定追求热点，而要做自己认为重要的问题，它可能会变成未来的热点。数学研究前沿变化不是很快，而是相对稳定。他人啃了几十年没有解决的问题就更需要下苦工夫、笨工夫。成功不是偶然所得，特别需要毅力，当然与能力也有关。"

高小山获得了成功。那么，他为何会这么幸运?从高小山对他的中学校友所谈的学习方法中，人们可了解他是怎样学习和做事的。

他说，"每个人的学习风格和认知风格不同，方法也不完全一样，但基本的有三点:培养兴趣、及时复习、勤于思考"。

关于兴趣，郭沫若先生有一句名言:"兴趣出勤者"。学习兴趣是学习活动的内驱力。一个学生对学习有兴趣，就会把知识看作花园里绚丽的花朵，就会全神贯注地欣赏它，就会心情愉快地采摘它，为了探求知识的奥秘就会冥思苦想，废寝忘食。

及时复习是一个重要的学习过程。心理学有一条曲线叫艾宾浩斯遗忘曲线，经过多次试验、调查得到的一个关于遗忘规律的曲线。这条曲线表明，人的遗忘过程有先快后慢的特点。一般地，人的遗忘从识记后就已经开始了。识记后20分钟就能忘掉41.8%，所以应该在知识还没有遗忘或遗忘很少的时候进行复习，如果间隔时间长了，就几乎等于重新学习。

"学而不思则罔"，学习的关键是思考。霍金的《时间简史》的序言里有一句话:"科学的本质是疑问。"所以学会提问题并学会思考问题，是学习成功的关键。

可见，高小山是个十分勤于思考的人。或许，这是他成功的真正秘密。

堪萨斯州的文化

托皮卡和威奇托两个城市都有交响乐团。位于坎科底亚（Concordia）的布朗大歌剧院、位于劳伦斯的劳伦斯艺术中心及位于威奇托的第二世纪剧院旨有音乐会、戏居及其他的表演。堪萨斯州每年都会举行许多艺术节，像在林兹伯格举行的弥赛亚节、在温尔德举行的核桃谷蓝草节、在曼哈顿举行的堪萨斯州民节。

堪萨斯州的艺术博物馆有：威奇托艺术博物馆、位于堪萨斯州立大学的海伦史本瑟艺术博物馆、劳伦斯艺术中心、位于威奇托州立大学的艾德温尤瑞奇艺术博物馆、位于沃西本恩大学的穆文艺博物馆。堪萨斯州其他的博物馆还有：位于哈奇森（Hutchison）的堪萨斯守宇宙及太空中心、位于威奇托的科学中心、位于霍斯德（Halstead）的堪萨斯健康博物馆、位于堪萨斯大学的人类学博物馆。以及位于海斯（Hays）市福特海斯州立大学（Fort Hays State University）的自然历史博物馆。

堪萨斯大学好不好？

堪萨斯大学现已成为美国主要的公立研究型大学之一，那么这所大学究竟好不好，怎么样呢？接下来，带大家一起来了解这所大学，感兴趣的小伙伴一起来看看吧！

　 堪萨斯大学荣誉

　堪萨斯大学的研究所有极佳的口碑，台湾有不少的知名学者就毕业于该校。根据U.S. News在2005年美国最佳研究所（America’s Best Graduate Schools）评鉴，该校名列公立大学最佳研究所第10位。

　在国际学生方面，堪萨斯大学在1920年开始招收国际学生；国际学生总人数约有3000人，分别来自全世界100多个不同的国家。国际学生中以东亚学生为最多；中国学生又居其中之冠（2011年中国学生总人数估计已达到1000人，占国际学生总人数的一半）。堪萨斯大学设有结构健全的中国学生会（KUCSSFA），在百度贴吧里建有“堪萨斯大学百度贴吧”，在人人网也有KU中国学生会的主页和留学在堪萨斯大学的公共主页，同学不妨上网观看最新讯息。

　KU中国学生会提供新生答疑以及新生接机服务，如需要学生会接机请新生提前与学生会取得联系。（学生会接机只是从机场到达学校的众多途径之一。如果新生选择其他方式，则不必联系学生会）

堪萨斯大学大学评价

　评价一：

　堪萨斯州位于美国中部，左临科罗拉多州（ Colorado State ，简称CO ）、右边是密苏里州（ MissouriSate ，简称MO） ； 该州首都为托皮卡（ Topeka ） ， 州面积82，282平方英里（为全美第14大洲） ， 总人口数265万人。由于地理位置为于全美的中心，堪萨斯州的公路网非常发达。连接美国东西两岸的70号州际高速公路和贯通南北的35号高速公路在堪州境。

　评价二：

　地处美国中部的堪萨斯大学是一一所成立于1865年的研究性公立大学 ，至今已有150余年的校史。KU的城市规划、公共管理、临床心理学、艺术学、特殊教育学等多个专业均名列全美榜单前10 ，这里也曾是谷歌地图的诞生地。KU的校园环境优美，四季分明，且因位于民风淳朴的中部地区，校园犯罪率极低。留学生们基本上无需担心校园安全问题。

　评价三：

　堪萨斯大学坐落于堪萨斯州的劳伦斯-个古香古色的小镇。全镇人口只有9万左右，但将近3万人是来自堪萨大学的大学生，是- -所名副其实的大学城。2014年 ，劳伦斯还上榜为全美+佳最美大学城。堪萨斯大学也一直被认为全面最美校园之一。堪萨斯大学是美国大学协会成员之一，也是美国大十二联盟里的顶梁柱大学。

堪萨斯大学大学周边环境

　位置

　作为全美最美丽的校园之一，堪萨斯大学中心校区坐落于历史悠久的Mount Oread山脉，校园占地1000英亩，归属于一个9万人口的堪萨斯东部社区。堪萨斯大学13个学院中，有10所学院建立在这里，它们是世界著名的研究中心与实验中心。

　文化生活

　堪萨斯大学属于美国大学协会。西南牲畜博览会，六楼博物馆，博览公园，医学展馆，天文馆，堪萨斯立体**院，非裔美国人博物馆，迪普埃伦现场音乐中心，达拉斯艺术区，达拉斯艺术博物馆，达拉斯别墅，阴谋博物馆，南弗克牧场，太阳舞广场，牲畜围栏国家历史保护区，牲畜博物馆，奇泽姆牛车道壁画，福特渥斯国际机场，六旗主题公园，棒球传奇博物馆，自然科学公园，阿灵顿棒球场，摩天轮等。

　自然景观

　托皮卡和威奇托两个城市都有交响乐团。位于坎科底亚（Concordia）的布朗大歌剧院、位于劳伦斯的劳伦斯艺术中心及位于威奇托的第二世纪剧院旨有音乐会、戏居及其他的表演。堪萨斯州每年都会举行许多艺术节，像在林兹伯格举行的弥赛亚节、在温尔德举行的核桃谷蓝草节、在曼哈顿举行的堪萨斯州民节。 该州的艺术博手馆有：威奇托艺术博物馆、位于堪萨斯州立大学的海伦史本瑟艺术博物馆、劳伦斯艺术中心、位于威奇托州立大学的艾德温尤瑞奇艺术博物馆、位于沃西本恩大学的穆文艺博物馆。该州其他的博物馆还有：位于哈奇森（Hutchison）的堪萨斯守宇宙及太空中心、位于威奇托的科学中心、位于霍斯德（Halstead）的堪萨斯健康博物馆、位于堪萨斯大学的人类学博物馆。

　气候

　堪萨斯州属温带大陆性气候，有严冬酷暑，温差变化大，但时间不长。1月平均气温－3～1℃，7月平均气温24～27℃。年平均气温为13℃。生长期从4月中旬到9月中旬，年平均降水量东南部为1000毫米，西部为500毫米。堪萨斯全州的平均降水量约690毫米。西部降水集中在夏季，常有旱灾和沙暴天气。 堪萨斯州以天气晴朗而闻名，该州每年有超过275天以上的晴天。

威奇托的威奇托

美国堪萨斯州的最大城市。位于堪萨斯州中南部,临阿肯色河。1880年前因从南方得克萨斯向北方新开地运送牛群经过此地而有“牛街”之称。人口28.3万（1984），大市区人口41.1万（1980）。1864年为同印第安人贸易的场所，1868年设镇，1871年设市。现为小麦、肉牛、石油的大集散地。飞机工业的重要中心，还有精密工具、化学、制药、面粉、炼油等工业。周围多油田和天然气田。附近有空军基地。

威奇托市市议会由7名议员组成，每4年改选一次。市议会通过制定条例、法规、政策，编定预算，征收税金以及建立市民服务体系等方法实现城市的发展，向市民提供各项服务。　威奇托市注重教育发展。2000年该市25岁以上拥有中学学历的市民占城市总人口的84% ，高于全美国80%的平均水平。威奇托市有各类综合性大学和高等专科学院14所，其中威奇托州立大学、堪萨斯医学院、纽曼大学和威奇托地方科技学院等在全国享有一定声誉。威奇托市有15所急救中心和专业医院，近50家疗养院和援助设施。威奇托市分别在1962年、1993年和1999年获得“全美最佳城市”的称号。　威奇托市现任市长卡尔·布鲁尔。