搜索筛选:
搜索耗时0.0305秒,为你在为你在61,042,058篇论文里面共找到 9 篇相符的论文内容
发布年度:
[学位论文] 作者：门艳红,
来源：青岛科技大学 年份：2010
数学问题机械化是指用计算机推理、证明、计算数学问题和定理。目前，世界各国都在积极地进行数学问题机械化的研究，比较著名的数学定理证明系统有Mizar、PVS、Coq等，而Mizar语言......
[学位论文] 作者：门艳红,
来源：华南理工大学 年份：2006
现代科技的不断发展，特别是现代的医疗诊断、治疗与信息技术、智能化技术等学科的相互渗透、相互促进，使医疗技术发生了重大的变化，由传统模式即单一的生理治疗转向心理、社会等......
[期刊论文] 作者：张鸿, 门艳红,,
来源：哈尔滨师范大学自然科学学报 年份：2007
通过具体实例对二元函数连续性、偏导存在性及可微性间的关系进行讨论....
[期刊论文] 作者：仝晖, 门艳红,,
来源：华中建筑 年份：2004
山东建筑大学建筑学、城市规划专业创办于1959年。1960年由于国家政策的调整,城市规划专业撤并入建筑学专业,至1963年首届本科生毕业后,本科教育一度中止。1979年,学校恢...
[期刊论文] 作者：刘玉霜, 门艳红,,
来源：聊城大学学报(自然科学版) 年份：2006
通过对Weibull分布作变换，将对Weibull分布形状参数β的研究转化为对极值分布尺度参数σ的研究，利用极值分布的样本均值和样本方差，构造极值分布尺度参数σ的渐近正态估计量，进而......
[期刊论文] 作者：魏琰琰,门艳红,,
来源：山东建筑大学学报 年份：2011
太阳能热水器与建筑一体化设计的具体实施和操作有利于提高建筑设计水平，促成建成环境的经济灵活性。适应建筑一体化的太阳能热水器技术在行业中发展迅速，技术的支持为太阳能热......
[期刊论文] 作者：门艳红, 杨倩苗,,
来源：中国医院建筑与装备 年份：2014
文章通过对太阳能建筑技术的介绍,从被动式太阳能建筑技术和主动式太阳能建筑技术两大方面分析了其在绿色医院节能设计中的应用。...
[期刊论文] 作者：任震,周琮,门艳红,
来源：新建筑 年份：2020
建筑学专业教学活动的多样性决定了其教学空间在实质上是一个多重叙事、多个层次的空间结构,具有"不确定性"的空间特征。基于"限定"的"释放"是建筑空间生成的一种普遍存在的...
[期刊论文] 作者：王江, 董芙志, 师国靖, 门艳红, 赵继龙,,
来源：工业建筑 年份：2013
以某医院改、扩建工程设计为切入点,研究在复杂环境条件制约下,现代医院在分期实施过程中新建筑逐渐介入原有建筑场域后所产生的空间投射关系,及其对医院的空间重构和功能整...
相关搜索：
