搜索筛选:
搜索耗时0.8509秒,为你在为你在102,285,761篇论文里面共找到 79 篇相符的论文内容
发布年度:
[期刊论文] 作者：高小山,,
来源：数学进展 年份：2001
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用．我们还提出了一些待解决的问题．......
[期刊论文] 作者：高小山,,
来源：新材料产业 年份：2011
聚乳酸(Polylactic Acid,PLA)纤维俗称玉米纤维,是一种可完全生物降解的合成纤维。聚乳酸纤维以植物为原料制取,其制品废弃后在土壤或海水中经微生物作用可分解成二氧化...
[期刊论文] 作者：高小山,,
来源：中国科学院院刊 年份：2012
计算机数学是研究算法的数学,是数学与计算机科学交叉融合产生的新兴学科。计算机数学主要研究内容包括:为算法研究提供数学工具的离散数学,研究算法共性的计算理论,从算法角...
[期刊论文] 作者：高小山,
来源：建材发展导向 年份：2019
在建筑行业迅猛快速发展的今天,装配式建筑得到了广泛的应用。装配式建筑是建筑技术快速发展的产物,也是未来建筑行业的发展趋势。相比传统的建筑模式,装配式建筑将建筑结构...
[期刊论文] 作者：高小山,,
来源：合成纤维 年份：2009
对7.7dtex聚苯硫醚(PPS)短纤维纺丝工艺进行了研究。实验表明:选择工艺速度1100m/min,结晶温度120℃,干燥温度165℃,箱体温度330℃,侧吹风速度0.6m/s,单体抽吸1000r/min,油轮...
[期刊论文] 作者：高小山,,
来源：Acta Mathematica Scientia 年份：2009
Wu Wen-tsun was born in Shanghai, China on May 12, 1919. He received his B.S. degree in mathematics from Shanghai Jiao Tong University in 1940. After the en...
[期刊论文] 作者：高小山,,
来源：聚酯工业 年份：2009
以聚乳酸为原料,生产短纤用25 dtex中空聚乳酸(PLA)初生纤维,探讨了其生产工艺。结果表明:选择纺丝速度1 400m/min,结晶温度110℃,干燥温度150℃,箱体温度280℃,侧吹风速度0....
[期刊论文] 作者：高小山,
来源：数学季刊：英文版 年份：1991
本文推广了高次方程判别式的定义使其可完全决定方程根的重数,基于吴氏算法与Groebner基算法,给出了五次方程的判别式系统并进行了比较。还研究了判别式系统的其它性质,得到...
[期刊论文] 作者：高小山,
来源：中外医学研究 年份：2013
目的：研究探讨直肠癌合并糖尿病患者术前放化疗针对性护理的有效性。方法：选取经笔者所在科室诊治的21例直肠癌合并糖尿病患者作为观察组,进行术前放化疗,给予针对性护理;将同......
[期刊论文] 作者：高小山,
来源：数学进展 年份：2001
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用。我们还提出了一些待解决的问题......
[期刊论文] 作者：高小山,,
来源：发明与创新（学生版） 年份：2005
...
[学位论文] 作者：高小山,
来源：重庆大学 年份：2017
盈利是企业经营的根本目的，盈利模式是企业盈利的核心工具，在互联网经济时代，传统的盈利模式已经不能满足现代企业发展的需求，互联网推动了供给端的创新，释放了需求市场的潜力，传统......
[期刊论文] 作者：高小山,
来源：中国基础科学 年份：1999
数学机械化理论和方法的建立,是深层次的知识创新,将极大地推动科学的发展,为我国高新技术的创新发挥重大作用,产生难以估计的社会效益与经济效益。The establishment of m...
[期刊论文] 作者：高小山,
来源：科幻世界 年份：2017
曾經在《不存在日报》的某一期里，我谈到过自己完全放弃吃饭，仅仅食用代餐粉的经历。同样，我也是一个背包客和穷游爱好者，体验了很多地方的舱体式胶囊旅馆。这两个非常具有未来感的概念，似乎能合成一种有趣的极简生活方式。或许在未来，有些人并非被迫，而是自愿地走进冬......
[期刊论文] 作者：高小山,,
来源：系统科学与数学 年份：2008
数学与计算机科学的相互交叉对数学与计算机科学的发展都产生了巨大的影响,由此产生的计算机数学也正在成为一个具有重要理论意义与应用价值的新兴研究方向. 计算在数学发现...
[学位论文] 作者：高小山,
来源：南京航空航天大学 年份：2010
涡轮冷却叶片设计是未来发动机设计的重要环节,涉及大量复杂的数据模型。由于缺乏有效的管理与运用手段,依赖传统的设计建模方法,数据可重用性和一致性差,系统建模效率低且严...
[期刊论文] 作者：高小山,
来源：风尚周报 年份：2008
347枚零件，3120道工序，即使是最微小的差错， 也别怀有侥幸心理，有350道质量控制工序在等着呢。 所有的腕表都是从一张草图开始的，当它出现在草图上之时，它就开始了和数字的较量：零件的数目、工序的道数、火候的时辰……它的每一个步骤都和数字相互关联，直到它......
[期刊论文] 作者：高小山,
来源：风尚周报 年份：2008
也许我们很久没有把臂同游，也许我们很久没有听到虫鸣鸟叫，甚至我们很久没有大汗淋漓……很多人都在繁忙的工作压力之外奔向没有车水马龙的户外，和大自然来个亲密接触。现在，有种时尚的户外运动方式正逐渐流行起来，它改变的不仅仅是我们的生活方式，还改变了时尚圈的潮......
[期刊论文] 作者：王东明,高小山,
来源：中国科学院院刊 年份：1987
1899年希尔伯特(Hilbert)出版了他的经典名著《几何基础》,从此奠定了几何公理化体系的基础。1984年科学出版社出版的吴文俊的专著《几何定理机器证明的基本原理》(以下简称...
[期刊论文] 作者：高小山, 石赫,,
来源：中国基础科学 年份：2004
数学机械化就是将数学研究的主要活动——“推理与计算”实现机械化或自动化的过程。本项目研究数学机械化基础理论、信息技术若干关键问题的应用、自动推理平台开发。在微分...
相关搜索：
