全文获取类型
收费全文 | 7798篇 |
免费 | 627篇 |
国内免费 | 408篇 |
专业分类
化学 | 1891篇 |
晶体学 | 60篇 |
力学 | 696篇 |
综合类 | 58篇 |
数学 | 377篇 |
物理学 | 975篇 |
综合类 | 4776篇 |
出版年
2024年 | 45篇 |
2023年 | 98篇 |
2022年 | 206篇 |
2021年 | 243篇 |
2020年 | 238篇 |
2019年 | 207篇 |
2018年 | 170篇 |
2017年 | 210篇 |
2016年 | 263篇 |
2015年 | 249篇 |
2014年 | 373篇 |
2013年 | 499篇 |
2012年 | 388篇 |
2011年 | 421篇 |
2010年 | 342篇 |
2009年 | 404篇 |
2008年 | 388篇 |
2007年 | 437篇 |
2006年 | 386篇 |
2005年 | 378篇 |
2004年 | 315篇 |
2003年 | 335篇 |
2002年 | 291篇 |
2001年 | 246篇 |
2000年 | 227篇 |
1999年 | 173篇 |
1998年 | 154篇 |
1997年 | 155篇 |
1996年 | 151篇 |
1995年 | 142篇 |
1994年 | 143篇 |
1993年 | 110篇 |
1992年 | 91篇 |
1991年 | 81篇 |
1990年 | 59篇 |
1989年 | 53篇 |
1988年 | 41篇 |
1987年 | 36篇 |
1986年 | 14篇 |
1985年 | 13篇 |
1984年 | 6篇 |
1982年 | 10篇 |
1980年 | 5篇 |
1979年 | 9篇 |
1978年 | 3篇 |
1977年 | 9篇 |
1976年 | 4篇 |
1975年 | 2篇 |
1957年 | 2篇 |
1955年 | 3篇 |
排序方式: 共有8833条查询结果,搜索用时 15 毫秒
1.
The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a -approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers. 相似文献
2.
结构面间距是岩体稳定性和力学特性分析中的一个重要参数,在岩石力学、采矿工程、边坡监测等领域的数值计算中广泛应用.本文以岩体边坡露头为研究对象,基于非接触测量获得的三维点云数据,提出一种基于密度聚类的结构面细化分类方法;在结构面粗略分组提取的基础上,通过投影变换、散乱点拟合等算法,求得结构面间距和岩体体积节理数.设计开发了结构面细化分类及间距等参数计算与分析原型系统,实际案例分析表明,本文方法可有效实现结构面的自动细化分类,并能够计算出间距等相关参数,可为岩体质量分级和岩体稳定性分析等提供方法支撑. 相似文献
3.
4.
在中国现代文学史上,黎锦明创作颇丰,曾是一位较为活跃的有影响的著名作家,有些作品在当时曾引起文坛的瞩目和社会的反响。长期以来,他和他的作品被人漠视和遗忘。实际上,他的小说在题材内容选取上很是广阔,在体式技法运用的多样性上更是有其独特之处。 相似文献
5.
李云晋 《大理学院学报:综合版》2004,3(4):1-3,8
根据现有考古资料,从考古学的角度,概述了洱海区域新石器时代文化遗址的分布与类型、文化特征及文化渊源,证实了该区域新石器文化是在古人类文化的基础上而产生,并不断地汲取其它文化因素,形成了自成一体的区域地方性新石器文化. 相似文献
6.
在氢化丁苯共聚物13C-NMR谱脂肪碳部分谱带归属的基础上,根据各谱带的主要来源,推导出六个二单元浓度的计算公式。计算出二单元、一单元的相对含量,各结构单元的数均序列长度、嵌段含量和其它结构参数。加氢前后的1H-和13C-NMR谱的组成计算结果基本一致。初步探讨了作为粘度指数改进剂的氢化丁苯共聚物微观结构与性能的关系,为合成提供了依据。 相似文献
7.
固体力学有限元体系的结构拓扑变化理论 总被引:2,自引:1,他引:1
本文是文[1]的继续.文[1]提出了杆件系统的结构拓扑变化理论和拓扑变化法本文将这一理论和方法推进到连续体有限元体系;且在此基础上揭示出有限元体系的一个新性质,称为基本位移之梯度的正交性定理,从而给出一套设计敏度的显式表达式,可直接用于计算. 相似文献
8.
加肋圆柱壳在轴压作用下的屈曲和后屈曲 总被引:2,自引:2,他引:0
本文讨论完善和非完善的,纵向加肋和正交加肋圆柱壳在轴压作用下的屈曲和后屈曲性态.依据文[1]提供的圆柱薄壳屈曲的边界层理论及其分析方法,给出了加肋圆柱壳在轴压作用下的屈曲和后屈曲理论分析.本文同时讨论肋骨与壳板材料不同时对加肋圆柱壳屈曲和后屈曲性态的影响. 相似文献
9.
10.
樊世兰 《贵州工业大学学报(自然科学版)》2007,36(5):80-84
在民族地区开发、建设新小区,除了要考虑小区的现代生活环境、建筑功能、保温节能外,还应综合考虑小区的民族特色、绿色环保因素。以贵州凯里绿都小区建设为例,对民族地区小区规划、设计进行了探讨。 相似文献