全文获取类型
收费全文 | 335篇 |
免费 | 66篇 |
国内免费 | 36篇 |
学科分类
工业技术 | 437篇 |
出版年
2023年 | 1篇 |
2022年 | 6篇 |
2021年 | 9篇 |
2020年 | 4篇 |
2019年 | 7篇 |
2018年 | 3篇 |
2017年 | 9篇 |
2016年 | 10篇 |
2015年 | 18篇 |
2014年 | 19篇 |
2013年 | 16篇 |
2012年 | 24篇 |
2011年 | 34篇 |
2010年 | 29篇 |
2009年 | 37篇 |
2008年 | 55篇 |
2007年 | 37篇 |
2006年 | 22篇 |
2005年 | 18篇 |
2004年 | 13篇 |
2003年 | 11篇 |
2002年 | 9篇 |
2001年 | 5篇 |
2000年 | 8篇 |
1999年 | 3篇 |
1998年 | 5篇 |
1997年 | 3篇 |
1996年 | 6篇 |
1995年 | 3篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1987年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有437条查询结果,搜索用时 343 毫秒
1.
巨型滑坡全球不常见,但是破坏性极强,其识别对于加深区域构造背景的认识,防灾减灾和工程建设均有指导意义。基于遥感解译、无人机地形测绘和现场调查,报道了新发现的八宿巨型滑坡及其残留堆积体特征,初步分析了成因机制与演变过程,估算了滑坡方量。主要结论如下:(1)八宿滑坡发育于怒江缝合带的夏里-八宿裂谷带内,岩性以古生界加玉桥岩群大理岩组和侏罗系马里组变质砂泥岩为主,上部岩层产状为陡倾顺坡向,下部岩层产状为陡倾逆坡向,岸坡结构总体上为上硬下软;(2)滑坡区横跨冷曲的左右两岸,长约7200m,宽约4800m,面积约22.5km2,估算方量约35×108m3,目前残余方量约14×108m3,是国内已经确认的方量最大的滑坡;(3)滑坡极可能属于历史地震诱发的高速堵江滑坡,堰塞坝高度约185m,堆积体碎裂化严重,且在冷曲右岸爬升超过600m。滑坡形成后,堆积区历经了堰塞坝溃决、多拉寺次级滑坡、泥石流堆积与冲刷、表面流水冲刷等改造过程,但是滑坡地貌特征整体保存良好。由于滑坡和泥石流堵江,冷曲在滑坡区先后两次改道;(4)从滑坡与冷曲的演变过程来看,推测滑坡的发生时间应在晚更新世。即八宿滑坡为古滑坡;(5)八宿巨型滑坡的发现说明迄今为止我们对青藏高原地质环境的认知仍然十分有限。川藏铁路等工程建设应加强基础地质与工程地质研究,以及地质灾害风险论证,确保施工与运行期安全。 相似文献
2.
This study performed a quantitative evaluation of the impact of water-saving irrigation on the groundwater regime in the Hebei Province plains area. In this work, the change in groundwater regime and the contributions of precipitation and water-saving irrigation development were investigated. The results indicate that the groundwater overdraft has been mitigated to some extent, mainly due to changes in precipitation and the implementation of water-saving irrigation, with contributions of 64.3% and 35.7%, respectively, when considering only these two factors. Water-saving irrigation is accepted as an important means for reducing groundwater depletion, but should be used in conjunction with other measures. 相似文献
3.
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。 相似文献
4.
行为时序逻辑中公平性的研究与完善 总被引:4,自引:4,他引:0
基于行为时序逻辑(TLA)的并发系统描述,就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性,无法准确地描述某些系统的行为,从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程,分析公平性的概念与定义方法,并以实际例子说明它的局限性。在此基础上,提出以加入两级新的公平性方式对其进行完善。最后,证明了新公平性等级之间的蕴涵关系。完善后的公平性具有更强的描述能力,能够对系统进行更完整的描述与规约。 相似文献
5.
借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。 相似文献
6.
Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs 下载免费PDF全文
The constrained minimum vertex cover problem on bipartite graphs (the Min-CVCB problem) is an important NP-complete problem. This paper presents a polynomial time approximation algorithm for the problem based on the technique of chain implication. For any given constant ε > 0, if an instance of the Min-CVCB problem has a minimum vertex cover of size (ku, kl), our algorithm constructs a vertex cover of size (ku*, kl* ), satisfying max{ku*/ku, kl* /kl} 1 ε. 相似文献
7.
提出了基于蕴涵算子族G-λ-∏的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族G-λ-∏给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法。 相似文献
8.
对形式概念分析中如何从概念格提取出形式背景的完备的无冗余的蕴涵规则集进行了研究,从数学理论上证明了通过求出的概念格中的每个概念的真内涵缩减集可以得到形式背景的完备的蕴涵规则集,提出了如何再去除其中的冗余蕴涵得到形式背景的完备的无冗余的蕴涵集合的方法并从数学理论上证明了该方法的正确性,给出了一个从概念格得到形式背景的完备的无冗余的蕴涵规则集的算法。 相似文献
9.
10.