搜索
11清华大学——《计算机代数系统maTHμ》..................................................32清华大学——《“识别-扰动”淀粉样蛋白聚集的杂合小肽合成与作用初探》.......................................................................................................................103北京航空航天大学——《基于倾转动力系统的可自由起降验证机》............144北京航空航天大学——《人民币指数期货期权定价研究》...........................195华东师范大学——《告别徊徨:待业大学生群体生存状态研究--基于上海的实证调查》............................................................................................................236浙江工商大学——《大学生“村官”机制建设：基于1260个乡村实证调查研究》................................................................................................................277南京航空航天大学——《小型倾转旋翼飞行器》.........................................328苏州大学——《丝织物原位纳米生态染色与功能整理》..............................389中国科学技术大学——《正负电子对撞机上ttZ产生过程的单圈QCD和电弱修正》............................................................................................................4610中国科学技术大学——《一种新型的钯催化乙二酸酯酸钾脱羧偶联反应》5011南开大学——《稀土光磁功能配合物研究》..............................................5412华南理工大学——《金融海啸背景下农民工就业问题及对策研究--基于28个省区市的调查分析》.......................................................................................6413复旦大学——《基于荧光蛋白标签的“夹心法”重组蛋白生产分离纯化系统》.......................................................................................................................7314国防科学技术大学——《纳米多孔二氧化硅气凝胶高效隔热复合材料》...7815中国人民大学——《小额贷款公司制度研究--以苍南联信小额贷款股份有限公司为例》........................................................................................................8716河南工业大学——《中小型农田水利设施长效保障机制研究--基于粮食核心生产区（河南）的调查》...................................................................................9417华南农业大学——《广东省荔枝专业合作社发展状况调查报告--基于16家荔枝专业合作社的实证分析》..........................................................................10018扬州大学——《水稻抗纹枯病主效QTL-qSB-9的位置、效应及作用方式》.....................................................................................................................10619长春工业大学——《连续本体法PMMA树脂聚合工艺》........................111220解放军第三军医大学——《智能扣合式骨外固定监测系统》...................11521南京师范大学——《走进“傻根”们的心世界--关于江苏省苏南、苏北新生代农村进城务工青年价值观研究》...................................................................12222东北师范大学——《丘陵地区农村土地流转：现状、问题及对策研究--基于对四川省射洪县的调查》.................................................................................12923中山大学——《c-Jun调控神经元凋亡的分子机制》...............................13624长沙理工大学——《广域电网故障行波定位系统》.................................13925山东师范大学——《同源重组是甲型流感病毒进化的重要动力》............14926湖南商学院——《城市化进程中的失地农民安置模式探索--基于长沙市失地农民安置经验的思考》.....................................................................................15327浙江万里学院——《现代农业背景下农民生产技能培训需求意愿及制约因素分析--基于宁波511个种养农户的调查》.....................................................15928香港大学——《太阳能多媒体卫星实时互动电子教育系统》...................16529香港中文大学——《“高密度都市环境气候图”评估与应用系统》........17031清华大学——《计算机代数系统maTHμ》（1）项目基本信息项目名称：计算机代数系统maTHμ项目作者：李超项目大类：科技发明制作A类项目小类：信息技术（2）项目简介传统的代数运算冗长繁杂,利用现代计算机代数系统可以将人们从手算过程中解放出来,并极大提高演算正确性.经过数十年的发展,国外巨型商业计算机代数系统已垄断着全球市场,利润可观,而国内此领域则远远落后,对进口软件的依赖威胁着国家信息安全.maTHμ项目通过系统研究,整理撰写了约30万字、包含约200篇参考文献的计算机代数理论文档.maTHμ项目理清了复杂代数系统的完整架构,开发了丰富的底层函数库,词法分析器,语法分析器与解释器,实现了基于规则的符号计算框架,并提供数学排版的图形用户前端及开放的二次开发平台.maTHμ系统功能包括超大型整数快速运算,任意精度的浮点数运算,整数的素数判定、因子分解、数论函数等,多项式的基本运算、最大公因子、因式分解等,方程求解,基本函数支持,数学常数,表达式的化简与归约,符号微分,符号积分,符号求和,微分方程符号求解等.最终完成了完全自主研发、不依赖任何第三方系统的计算机代数系统maTHμ填补了国内计算机代数系统领域的空白.maTHμ系统的出现有助于打破国外巨头垄断,在科研、教学与工程等各领域应用前景广阔.（3）详细介绍传统的代数运算冗长繁杂,利用现代计算机代数系统可以将人们从手算过程中解放出来,并极大提高演算正确性.经过数十年的发展,国外巨型商业计4算机代数系统已垄断着全球市场,利润可观,而国内此领域则远远落后,对进口软件的依赖威胁着国家信息安全.maTHμ项目通过系统研究,整理撰写了约30万字、包含约200篇参考文献的计算机代数理论文档.maTHμ项目理清了复杂代数系统的完整架构,开发了丰富的底层函数库,词法分析器,语法分析器与解释器,实现了基于规则的符号计算框架,并提供数学排版的图形用户前端及开放的二次开发平台.maTHμ系统功能包括超大型整数快速运算,任意精度的浮点数运算,整数的素数判定、因子分解、数论函数等,多项式的基本运算、最大公因子、因式分解等,方程求解,基本函数支持,数学常数,表达式的化简与归约,符号微分,符号积分,符号求和,微分方程符号求解等.最终完成了完全自主研发、不依赖任何第三方系统的计算机代数系统maTHμ填补了国内计算机代数系统领域的空白.maTHμ系统的出现有助于打破国外巨头垄断,在科研、教学与工程等各领域应用前景广阔.（4）作品设计、发明的目的和基本思路、创新点、技术关键和主要技术指标传统的代数运算冗长繁杂，利用现代计算机代数系统可以将人们从手算过程中解放出来，并极大提高演算正确性。经过数十年的发展，国外巨型商业计算机代数系统已垄断着全球市场，利润可观，而国内此领域则远远落后，对进口软件的依赖威胁着国家信息安全.maTHμ项目通过系统研究，整理撰写了约30万字、包含约200篇参考文献的计算机代数理论文档。maTHμ项目理清了复杂代数系统的完整架构，开发了丰富的底层函数库，词法分析器，语法分析器与解释器，实现了基于规则的符号计算框架，并提供数学排版的图形用户前端及开放的二次开发平台。maTHμ的创新点及技术关键主要包括：独有的符号处理功能，国内领先。maTHμ自主开发的符号处理功能能够处理一般符号积分、符号微分、符号求和等复杂运算，填补了国内此领域的空白。语法简练，算法效率高。maTHμ使用了类Mathematica语法，和其它高级语言以及现有计算机代数系统相比，其语法规则和表示方式更接近数学运算思维。众多基本算法运行效率已超过现有的国产计算软件，与国外商业巨头算法效率也基本持平。模块化程度高，可移植性强。maTHμ的各个部分由完全独立的模块构成。例如很容易将语法分析器进行替5换，同时支持类Lisp语法。将来还能够统一支持现有流行的其他数学编程语言，如Maple，Matlab等等。这是任何一家商业巨头所无法做到的。此外maTHμ具有开放平台，二次开发灵活；操作简单,使用方便。（5）作品的科学性、先进性选取中科院数学化实验室自动推理平台MMP及国外巨型商业系统Mathematica，与maTHμ系统进行对比。选取计算机代数系统32项基本功能特性来进行比较，可以看出maTHμ在功能上支持上较MMP有较多优势，在符号微积分、规则编程、函数式编程等方面填补了国内空白，并与Mathematica基本持平。算法效能选取最具代表性的阶乘测试的运行时间，计算10000!，MMP，Mathematica，maTHμ分别用时800，16，15毫秒，计算10000000!后两者分别用时34891，36359毫秒，而前者无法得出结果。maTHμ表现较MMP更优，与Mathematica接近。在基本函数的执行效率上maTHμ与Mathematica已经不相上下，maTHμ还开发了一些优化算法，从而较Mathematica有更优的表现。例如对于求解15次位移分圆多项式方程的根，Mathematica无法求解，maTHμ则可精确求得所有解。（6）作品在何时、何地、何种机构举行的评审、鉴定、评比、展示等活动中获奖及鉴定结果教育部科技查新工作站于2009年4月10日完成本作品科技查新报告（编号：2009-164），查新结论为：“本查新项目研究的“计算机代数系统maTHμ”，国内未见相同的公开文献报道。”作品于2009