聚集科技成果引领信息服务

国家科技成果信息服务平台是根据《2004-2010年国家科技基础条件平台建设纲要》．于2005年正式启动的国家科技基础条件平台项目之一。旨在以全国科技成果信息服务网络为基础．集成科技成果信息、技术交易、工程化中试、创业孵化相关的信息资源．完善成果信息资源库．技术交易数据库及创业孵化服务数据库，构建覆盖肇零嘲业和区域的科技成果转化信息共享服务网络。     

马庄煤矿探找山西组9煤的实践研究

马庄煤矿煤炭资源日益枯竭,濒临停产关闭,通过探找煤以扩大资源储量迫在眉睫。依据勘探、补勘和几十年的生产实践地质资料,对山西组煤系的沉积环境与煤层的形成条件进行了深入的研究,掌握了煤层的沉积特征和聚煤模式,采用钻探和巷探,确定了井田北翼山西组9煤的可采范围,新增加资源储量101.0万吨,具有良好的经济效益和社会效益。     

信息技术条件下现代学习资源利用的条件

本文通过分析信息技术条件下现代学习资源的基本概念和类型.从而总结出现代学习资源利用的条件并且使学习资源的应用潜能得到最大化的发挥.     

试析仲裁简易程序的适用条件

虽然我国各仲裁委员会在实践中大量适用仲裁简易程序,但我国法学理论界却很少对其时代内涵进行界定,对其适用条件也缺乏探讨,因而制约了仲裁简易程序的研究和发展。本文在分析仲裁简易程序时代内涵的基础上,从主观条件和客观条件两方面对仲裁简易程序的适用条件进行了探讨,建议规范我国仲裁简易程序的适用条件,实现仲裁简易程序的和谐价值取向。     

Banach空间中具Carathěodory条件常微分方程的Galerkin逼近

本文得到Banach空间中右端具Carathěodory条件常微分方程的Galerkin逼近,解的存在性,以及相应两方程解之间的关系。     

Lipschitz条件题设的完善

本文给出了函数单侧极值点的定义,并证明了连续函数的单侧极值点所成之集与实数集等势,且利用此完善了函数满足Lipschitz 条件的题设。     

建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

用函数迭代法解一类函数方程

本文在文[1]的启示下,借助文[2]的迭代思想,研究函数方程P(X)f(X)+Q(Z)f(Z)=R(X),给出了它的可解条件及其求解公式,推广了有关文献的结论.     

岩芯筒压入地层的塑性力学问题

摘要首先从库仑定律出发导出了地层介质塑性流动条件。其结果类似于一般塑性力学中的Tresca,Mises条件。其次列出了轴对称地层塑性流动的微分方程组,并推出了其简化近似方程。最后提出了简化方程的特征线解法,并举例说明。