数学机械化思想的产生和发展

数学问题的机械化方法一般表现为机械化程序，而具有确定性、预见性、普适性和具体性的特点。数学机械化又是创造性思维和非创造性思维活动的统一。数学机械化思想来源于中国古算，并从笛卡尔著作中找到根据，其产生和发展主要经历了从笛卡尔，莱布尼兹等数学家和哲学家的思想奠基，到希尔伯特定理证明机械化思想从理论上的明确提出，再到定理的机器证明等几个重要的发展阶段，吴文俊机械化定理的创立。为数学的机械化奠定了坚实的基础，并使数学研究的面貌改观。但数学机械化的道路漫长而艰难，建立具有中国特色的机械化数学体系依然任重而道远。     

油菜免耕机械化精量播种技术优化研究可行性分析

由于我国产业结构的调整,越来越多的农民外出务工经商,农业劳动力不足,加上传统的种植方式制约了油菜产业的发展,油茱机械化生产是解决这一问题的最好方法.但是,机械化播种方法多种多样,哪种方法最优,目前尚未定论.该课题将通过优化研究,得出科学结论,以期对油茱机械化生产起指导与推动作用.     

阿拉伯与中国代数方程数值解法的比较研究：阿尔·徒思与宋元？…

该以阿尔·徒思和宋元数学家为例,对阿拉伯与中国代数方程数值解法进行了比较研究,认为二在方法的一般性和所讨论的根的范围上是相同的,而不同点则在于方程的布式和分类。他们分别受到各自传统开方法的启示,且又沿着不同的途径发展,即阿尔·徒思的整个计算程序力求和早期传统的开发方法相吻合,而宋元数学家则对早期传统的开方术作了进一步推广和发展,沿着一条机械化、程序化的道路进展。该还分析了为什么中国学实现了     

中国术语学研究的八大特点

现代术语学可以分为四个学派:德国-奥地利学派、俄罗斯学派、捷克斯洛伐克学派、加拿大-魁北克学派。中国的术语学研究应成为世界术语学研究的一个重要组成部分。文章分析了中国术语学研究的八大特点,提出了建立中国术语学派的建议。     

术语学内部的不同研究方向

术语学是一门综合性的应用学科,主要致力于理论术语学研究和应用术语学研究。理论术语学研究对应用术语学研究具有重要的指导意义,应用术语学研究也不断影响着理论术语学的发展。理论术语学研究包括类型术语学、术语语义学、称名术语学、功能术语学和认知术语学等一系列研究方向;应用术语学研究包括术语词典学、术语标准化和术语数据库等内容。     

俄国术语学的发展历史及现状

20世纪30年代,由于受到德国、奥地利等西方国家术语学流派的影响,术语学在俄国应运而生。从俄国术语学流派的形成到术语学成为一门独立的综合性学科,学者们提出了许多术语学理论及研究方法。进入21世纪后,俄国术语学加强了理论研究与实践活动相结合,使术语研究向纵深发展,其研究领域不断拓宽。     

国家农业机械工程技术研究中心

国家农业机械工程技术研究中心(以下简称"中心"),于2002年11月以5A的优秀成绩通过验收.中心依托单位为中国农业机械化科学研究院,后以广东省农业机械研究所为依托组建了南方分中心.主要从事我国农业机械化发展战略的研究及收获、耕作种植与植保、节水灌溉、农副产品加工、畜牧饲养、粮食仓储工程等技术装备的研究开发及其工程转化和产业化工作,面向全行业,开放服务.     

从传统行动学到现代行动学

波兰哲学家科塔宾斯基于1910年创立了行动学,这门学科旨在从效率(efficiency)角度出发研究普遍适用于人类所有行动的一般方法论。在近百年的发展历程中,行动学从"传统行动学"发展为"现代行动学",实现了学科研究和发展的制度化,在学科研究的广度和深度上呈现出了崭新的面貌:与"传统行动学"相比,"现代行动学"不仅将评价行动的基本原则由双E原则(效果和效率原则)扩展为多E原则,而且在研究范围和对象上由主要研究个体行动转变为注重研究集体行动,并且更加重视对设计行动的研究。本文将对行动学的百年发展历程进行系统梳理,分析行动学对人类行动研究的主要贡献及其在发展过程中所面临的问题,并对行动学的未来发展趋势进行展望。     

意大利术语学研究掠影

近50年来,意大利术语研究得到了很大的发展,术语学研究机构纷纷成立,国际合作也空前扩大,有关术语和术语学研究方面的活动十分频繁。语料库的建立和术语学字典的出版大大推动了术语标准化的进程,使得意大利术语学研究进入了一个全新的、突破式发展的阶段。但是,发展的同时也存在一些问题,值得借鉴。     

意大利术语学研究掠影

近50年来,意大利术语研究得到了很大的发展,术语学研究机构纷纷成立,国际合作也空前扩大,有关术语和术语学研究方面的活动十分频繁。语料库的建立和术语学字典的出版大大推动了术语标准化的进程,使得意大利术语学研究进入了一个全新的、突破式发展的阶段。但是,发展的同时也存在一些问题,值得借鉴。     

中国特色术语学研究历程回顾

文章追溯了中国术语学研究的兴起及其发展历程，认为中国的术语学研究经历了三个历史时期，从科技翻译理论探索、术语学本体研究，到系统全面健康发展，并聚焦其各具代表性的特点。文章从理论研究和应用研究两个方面，分别描述了术语学发展历程及发展状况。术语学理论研究发端于科技名词术语规范化标准化的工作需求，通过术语学理论指导与丰富了实践活动。在应用研究领域，将术语学理论与中国国情相结合，广泛地应用到名词术语规范化标准化实践活动当中，并逐步深入到新闻出版、外文翻译、辞书编纂等领域，取得很大成就。     

对中国开展术语学教育的思考

随着中国科技实力的不断提升, 中国的术语学理论研究也取得了比较明显的成果,进一步普及和推广术语学理论知识这一任务日益迫切, 开展术语学教育已经是大势所趋。文章主要对中国开展术语学教育的内容和基本途径进行了思考, 并试图通过该文引起广大术语工作者和理论研究人员对术语学教育的相关问题的重视。     

对中国开展术语学教育的思考

随着中国科技实力的不断提升,中国的术语学理论研究也取得了比较明显的成果,进一步普及和推广术语学理论知识这一任务日益迫切,开展术语学教育已经是大势所趋。文章主要对中国开展术语学教育的内容和基本途径进行了思考,并试图通过该文引起广大术语工作者和理论研究人员对术语学教育的相关问题的重视。     

俄国术语学研究综观

俄国术语学在世界范围内占有举足轻重的地位。通过介绍俄国术语学发展的主要历程,勾勒出其三个主要发展阶段:兴起阶段、成形阶段以及进一步发展阶段,简要描述了俄国术语学研究的主要方向及其对中国术语学研究的启示。     

俄国术语学的发展历史及现状

20世纪30年代，由于受到德国、奥地利等西方国家术语学流派的影响，术语学在俄国应运而生。从俄国术语学流派的形成到术语学成为一门独立的综合性学科，学者们提出了许多术语学理论及研究方法。进入21世纪后，俄国术语学加强了理论研究与实践活动相结合，使术语研究向纵深发展，其研究领域不断拓宽。     

数学机械化与自动推理平台

数学机械化就是将数学研究的主要活动--"推理与计算"实现机械化或自动化的过程.本项目研究数学机械化基础理论、信息技术若干关键问题的应用、自动推理平台开发.在微分方程求解、不等式自动证明、全局优化、组合恒定式自动证明、Clifford代数计算、几何自动作图与智能CAD、信息压缩、图像伪装、基于Stewart平台的数控技术、CAGD等方面取得一批重要成果.在软件方面,开发出有自主版权的智能软件.在图像压缩方面,提出的"多成分变换"技术为JPEG2000图像压缩国际标准所采纳.     

潘云唐教授应邀为平顶山学院师生作术语学讲座

全国科技名词委专家、中科院研究生院潘云唐教授应平顶山学院邀请，于近日为该校师生作了《术语学发展回顾》讲座，阐述了国外术语学的发展历程，和我国术语学研究的进展，阐发了当前我国开展术语学研究的紧迫性，讲座受到师生欢迎。     

特长

小张的祖上是做加工鞭梢生意的。她家用牛皮制成的各种鞭梢,粗细均匀,做工精细,在方圆百里有名,被称作“张记鞭梢”。小张别看没上过几天学,却是个心灵手巧的女孩儿,由此学了一手割牛皮的绝活。长大结婚后,她与丈夫也开了一间鞭梢作坊。近些年,农村基本实现了机械化,养牲口的越来越少了,鞭梢生意随之也几乎没了市场。于是,小张来到城里,想找一份保姆之类的活儿。说来也巧,进城的第二天,她在报上见有一家个体皮革厂招收工人,便应聘前往。厂长看了下小张的割皮条子的绝活儿,很是满意,当时就录用了。原来这是一家皮革工艺品厂,根据客户的不同要…     

潘云唐教授应邀为平顶山学院师生作术语学讲座

全国科技名词委专家、中科院研究生院潘云唐教授应平顶山学院邀请，于近日为该校师生作了《术语学发展回顾》讲座，阐述了国外术语学的发展历程，和我国术语学研究的进展，阐发了当前我国开展术语学研究的紧迫性，讲座受到师生欢迎。 (李振明)     

钱学森的“中国科协学”与系统学

20世纪80年代钱学森倡导和推动了中国科协学与系统学的研究。中国科协学作为科学学在中国兴起与发展的一项重要实践内容,深受当时钱学森系统学思想的影响。反过来,中国科协学的研究也在一定程度上丰富和发展了钱学森系统学的思想。