全文获取类型
收费全文 | 983篇 |
免费 | 52篇 |
国内免费 | 48篇 |
专业分类
系统科学 | 34篇 |
丛书文集 | 23篇 |
教育与普及 | 60篇 |
理论与方法论 | 2篇 |
现状及发展 | 6篇 |
综合类 | 958篇 |
出版年
2024年 | 3篇 |
2023年 | 14篇 |
2022年 | 19篇 |
2021年 | 12篇 |
2020年 | 21篇 |
2019年 | 11篇 |
2018年 | 15篇 |
2017年 | 14篇 |
2016年 | 24篇 |
2015年 | 30篇 |
2014年 | 50篇 |
2013年 | 36篇 |
2012年 | 68篇 |
2011年 | 70篇 |
2010年 | 45篇 |
2009年 | 53篇 |
2008年 | 63篇 |
2007年 | 91篇 |
2006年 | 59篇 |
2005年 | 44篇 |
2004年 | 50篇 |
2003年 | 46篇 |
2002年 | 44篇 |
2001年 | 28篇 |
2000年 | 38篇 |
1999年 | 28篇 |
1998年 | 27篇 |
1997年 | 12篇 |
1996年 | 10篇 |
1995年 | 10篇 |
1994年 | 9篇 |
1993年 | 6篇 |
1992年 | 5篇 |
1991年 | 8篇 |
1990年 | 4篇 |
1989年 | 7篇 |
1988年 | 2篇 |
1987年 | 6篇 |
1955年 | 1篇 |
排序方式: 共有1083条查询结果,搜索用时 15 毫秒
81.
LIXiao-weit 《武汉大学学报:自然科学英文版》2005,10(1):43-46
We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method. 相似文献
82.
盒维数的不确定性与迭代分形维数的算法 总被引:1,自引:0,他引:1
杨飞 《重庆文理学院学报(自然科学版)》2006,5(5):68-71
盒维数是分形几何中的一个重要概念,“数盒子法”广泛用于应用学科.盒维数具有不确定性,对于迭代分形对象,其迭代方法与分维数、盒维数存在直接联系。从迭代方法中构造数列,通过数列求得的盒维数.正好与分维数相等。 相似文献
83.
谌永荣 《中南民族大学学报(自然科学版)》2006,25(3):103-105
研究了框式约束凸二次规划的一种光滑算法,算法中应用了牛顿法及其变形形式,证明了算法的全局收敛性. 相似文献
84.
百宝箱在《杜十娘怒沉百宝箱》故事叙述中的作用是不容忽视的。它的存在提供给其拥有者自由选择的可能,从而使女主人公有别于中国类似故事中女性人物的特征,真正拥有了悲剧的品格。在作品中,它始终处于叙事的焦点,耸动受众视听,调节叙事节奏。 相似文献
85.
张俊 《贵州工业大学学报(自然科学版)》2007,36(4):119-123
考虑舞阳河特大桥由于桥梁高、跨径大、河水深及环境保护等因素,原设计主拱圈支架现浇施工方案难以实施,经多方共同研究决定采用分段预制主拱圈箱拱吊装,统筹考虑全桥的施工场地及施工进度计划,主要介绍缆索吊装设备及缆索吊装系统、缆索吊装的施工工艺等内容. 相似文献
86.
唐三元 《广西大学学报(自然科学版)》2007,32(B09):292-295
为了保证桥梁的安全,对现役桥梁进行检测就显得尤为重要.结合邕江大桥的检测情况,对大桥出现的病害加以分析,可以为以后邕江大桥评估与加固提供依据.最后结合病害分析对桥梁的设计和施工提出一些改进建议. 相似文献
87.
对双排双波浪带散热水箱的结构形式、换热和阻力试验结果进行了分析。采用非线性拟合法得到气侧的换热系数αa,并与桑塔纳管翅式散热水箱的气侧换热系数进行了对比,结果表明,此散热水箱具有较高的换热系数。 相似文献
88.
箱体类零件特征造型系统的设计 总被引:1,自引:0,他引:1
基于产品特征建模理论,以AutoCAD 2000为开发平台,应用其开发工具ObjectARX 3.0,发现了箱体类零件的特征造型,并能生存特征数据文件,以便实现与CAPP系统的连接。 相似文献
89.
势箱中电子运动图像的绘制 总被引:3,自引:0,他引:3
研究了势箱中电子运动波函数及电子云图像的绘制方法,给出了用ABSIC语言编写的作图程序及绘制的二维和三维势箱波函数、电子云分布图。 相似文献
90.
横隔板间距对悬挑箱梁畸变的影响 总被引:2,自引:0,他引:2
研究横隔板间距对悬挑箱梁畸变的影响。通过设置不同数量横隔板的悬挑箱梁在均布扭矩作用下,比较畸变效应和刚性扭转效应,得到最大畸变效应随横隔板密度的变化曲线。当横隔板间距d与截面最大尺寸b的比值大于0.5357时,闭口截面杆件的约束扭转分析应考虑畸变的影响,尤其对于高层核心筒结构。 相似文献