全文获取类型
收费全文 | 5215篇 |
免费 | 102篇 |
国内免费 | 210篇 |
专业分类
系统科学 | 220篇 |
丛书文集 | 274篇 |
教育与普及 | 131篇 |
理论与方法论 | 65篇 |
现状及发展 | 46篇 |
综合类 | 4791篇 |
出版年
2024年 | 13篇 |
2023年 | 52篇 |
2022年 | 60篇 |
2021年 | 75篇 |
2020年 | 70篇 |
2019年 | 60篇 |
2018年 | 31篇 |
2017年 | 75篇 |
2016年 | 72篇 |
2015年 | 112篇 |
2014年 | 183篇 |
2013年 | 177篇 |
2012年 | 212篇 |
2011年 | 264篇 |
2010年 | 248篇 |
2009年 | 276篇 |
2008年 | 291篇 |
2007年 | 304篇 |
2006年 | 219篇 |
2005年 | 227篇 |
2004年 | 218篇 |
2003年 | 254篇 |
2002年 | 228篇 |
2001年 | 225篇 |
2000年 | 210篇 |
1999年 | 159篇 |
1998年 | 156篇 |
1997年 | 149篇 |
1996年 | 177篇 |
1995年 | 134篇 |
1994年 | 123篇 |
1993年 | 89篇 |
1992年 | 86篇 |
1991年 | 72篇 |
1990年 | 64篇 |
1989年 | 71篇 |
1988年 | 40篇 |
1987年 | 28篇 |
1986年 | 9篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1981年 | 1篇 |
1978年 | 2篇 |
1957年 | 3篇 |
1944年 | 1篇 |
1943年 | 1篇 |
排序方式: 共有5527条查询结果,搜索用时 15 毫秒
841.
针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性. 相似文献
842.
碳酸盐岩油藏作为全球的主力油气储集层,在微观尺度上分布有大量发育的大孔隙和微孔隙,研究不同孔隙对其微观渗流特征的影响具有重要意义.本文基于碳酸盐岩中分别描述大孔隙和微孔隙特征的单一尺度孔隙网络模型,利用整合法构建出能够同时描述大孔隙和微孔隙特征的双孔隙网络模型,最后模拟各网络模型的渗流过程,计算相应的渗流特征参数并同岩心实验室渗透率进行了对比.结果表明,基于整合法构建的双孔隙网络模型可根据区间域随机产生任意大小的网络尺寸,不仅同时包含大孔隙和微孔隙的几何拓扑结构信息,而且可同时描述大孔隙和微孔隙的渗流特征,能够较好描述真实碳酸盐岩油藏中多尺度孔隙特征.双孔隙网络模型的绝对渗透率和实验室岩心结果基本一致,水湿油藏条件下对比各网络模型的相对渗透率曲线发现,双孔隙网络模型的等渗点含水饱和度均大于大孔隙和微孔隙网络,其残余油饱和度明显减少,这是由于大孔隙和微孔隙的整合极大地提高了双孔隙网络的连通性,进而大幅度提高网络的渗流能力,本研究为碳酸盐岩微观渗流研究提供了重要的理论基础. 相似文献
843.
844.
周雪刚 《重庆师范学院学报》2013,(6):31-35
多目标几何规划是解决一些最优化问题的强有力工具,当问题中的参数为模糊数时,目标值也应该是模糊数。本文提出求解系数是模糊数的多目标模糊正项几何规划的算法,首先利用线性加权的方法将问题转化为单目标模糊正项规划问题,再利用Zadeh的扩张原理与对偶原理将单目标模糊正项规划问题转化为两个普通的正项几何规划。 相似文献
845.
通过对有关微分方程局部解存在定理经典证明的研究,给出了一个强化条件下的局部解存在定理,同时给出了一个一阶常微分方程解存在的简化证明和解的一般表达式,并提出教学建议。 相似文献
846.
基于非下采样Contourlet变换和PCNN的表面缺陷自动识别方法 总被引:2,自引:0,他引:2
基于多尺度几何分析的表面缺陷特征提取方法中,常用的可分离二维Wavelet基是各向同性的,无法有效表示图像的纹理和边缘,且通常对多尺度分解系数所提取的特征不全面.提出基于非下采样Contourlet变换(NSCT)和脉冲耦合神经网络(PCNN)的特征提取方法,并应用于冷轧带钢表面缺陷自动识别.首先用NSCT对缺陷图像进行多尺度多方向分解;然后将子带图像输入PCNN迭代点火,计算点火图的熵序列作为子图的特征,合并各子图特征得到原图的特征向量;最后用支持向量机进行分类识别.该方法能够全面准确提取缺陷图像信息,尤其是纹理边缘等方向信息,且方法可并行实现,PCNN不需要训练.利用从生产线现场采集的缺陷图像对文中方法进行了试验,识别率达95.44%. 相似文献
847.
基于零控拦截打击的思想设计了一种新型微分几何制导律.论文首先介绍了微分几何相关知识,基于伏雷内(Frenet)坐标系分析了拦截器和目标的相对运动学关系,基于零控拦截的思想设计了一种新型微分几何制导律,并给出拦截器速度方向矢量变化的迭代计算方法.其次,结合圆形相关理论,利用李亚普诺夫稳定性定理对设计微分几何制导律的稳定性进行了详细证明推导.最后通过仿真表明,该制导律可有效拦截机动目标,相对于传统的比例导引律,设计的新型微分几何制导律制导精度高,拦截时间短,避免了末端过载快速增大的现象,降低了执行机构的要求. 相似文献
848.
以几何代数多维统一运算为基础, 探讨了多维向量场的多重向量表达与基本运算, 给出了向量场微分的模板卷积计算方法. 利用几何积对内外积的统一表达, 建立散度和旋度的统一计算方法并进行算法实现. 该方法不仅再现了向量场散度和旋度参数的几何关联性及其微分特性, 更实现了多维统一与坐标无关的计算. 基于北美风场的模拟实验显示, 该算法比基于梯度的间接求解算法具有更好的对比度与平滑性特征, 且具有较强的抗噪音能力, 从而可为向量场数据分析提供新的思路与方法基础. 相似文献
849.
胡华 《河南师范大学学报(自然科学版)》2013,41(2):1-5
考虑到现实金融环境中存在着大量的模糊性,在标的股票遵循几何分数Liu过程的假设下,研究了幂型期权定价问题.给出了幂期权在模糊金融市场条件下的定价模型,并在不同参数值α的情况下给出数值算例. 相似文献
850.
讨论了高维球面上曲线的一则整体性质,该性质是二维球面上Crofton公式的推广.立足于积分几何,利用活动标架法,对Crofton公式在高维球面上的版本给出了一则简洁证明. 相似文献