全文获取类型
收费全文 | 43928篇 |
免费 | 998篇 |
国内免费 | 194篇 |
专业分类
电工技术 | 553篇 |
综合类 | 637篇 |
化学工业 | 4868篇 |
金属工艺 | 619篇 |
机械仪表 | 913篇 |
建筑科学 | 870篇 |
矿业工程 | 404篇 |
能源动力 | 489篇 |
轻工业 | 2126篇 |
水利工程 | 618篇 |
石油天然气 | 89篇 |
武器工业 | 4篇 |
无线电 | 1940篇 |
一般工业技术 | 3588篇 |
冶金工业 | 21443篇 |
原子能技术 | 187篇 |
自动化技术 | 5772篇 |
出版年
2024年 | 58篇 |
2023年 | 217篇 |
2022年 | 178篇 |
2021年 | 187篇 |
2020年 | 76篇 |
2019年 | 131篇 |
2018年 | 569篇 |
2017年 | 755篇 |
2016年 | 1121篇 |
2015年 | 822篇 |
2014年 | 487篇 |
2013年 | 559篇 |
2012年 | 2209篇 |
2011年 | 2511篇 |
2010年 | 718篇 |
2009年 | 815篇 |
2008年 | 624篇 |
2007年 | 640篇 |
2006年 | 576篇 |
2005年 | 3349篇 |
2004年 | 2564篇 |
2003年 | 2054篇 |
2002年 | 848篇 |
2001年 | 738篇 |
2000年 | 274篇 |
1999年 | 618篇 |
1998年 | 6152篇 |
1997年 | 3803篇 |
1996年 | 2498篇 |
1995年 | 1457篇 |
1994年 | 1067篇 |
1993年 | 1100篇 |
1992年 | 250篇 |
1991年 | 310篇 |
1990年 | 305篇 |
1989年 | 275篇 |
1988年 | 294篇 |
1987年 | 222篇 |
1986年 | 199篇 |
1985年 | 172篇 |
1984年 | 70篇 |
1983年 | 82篇 |
1982年 | 128篇 |
1981年 | 179篇 |
1980年 | 191篇 |
1979年 | 61篇 |
1978年 | 98篇 |
1977年 | 608篇 |
1976年 | 1324篇 |
1975年 | 102篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
In this article I argue for rule-based, non-monotonic theories of common law judicial reasoning and improve upon one such theory offered by Horty and Bench-Capon. The improvements reveal some of the interconnections between formal theories of judicial reasoning and traditional issues within jurisprudence regarding the notions of the ratio decidendi and obiter dicta. Though I do not purport to resolve the long-standing jurisprudential issues here, it is beneficial for theorists both of legal philosophy and formalizing legal reasoning to see where the two projects interact. 相似文献
992.
Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged. 相似文献
993.
Recently, by defining suitable fuzzy temporal logics, temporal properties of dynamic systems are specified during model checking process, yet a few numbers of fuzzy temporal logics along with capable corresponding models are developed and used in system design phase, moreover in case of having a suitable model, it suffers from the lack of a capable model checking approach. Having to deal with uncertainty in model checking paradigm, this paper introduces a fuzzy Kripke model (FzKripke) and then provides a verification approach using a novel logic called Fuzzy Computation Tree Logic* (FzCTL*). Not only state space explosion is handled using well-known concepts like abstraction and bisimulation, but an approximation method is also devised as a novel technique to deal with this problem. Fuzzy program graph, a generalization of program graph and FzKripke, is also introduced in this paper in consideration of higher level abstraction in model construction. Eventually modeling, and verification of a multi-valued flip-flop is studied in order to demonstrate capabilities of the proposed models. 相似文献
994.
A dynamic pushdown network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded programs with (possibly recursive) procedure calls and thread creation. Thus, it is important to have model checking algorithms for DPNs. We consider in this work model checking DPNs against single-indexed LTL and CTL properties of the form \({\bigwedge f_i}\) such that f i is a LTL/CTL formula over the PDS i. We consider the model checking problems w.r.t. simple valuations (i.e., whether a configuration satisfies an atomic proposition depends only on its control location) and w.r.t. regular valuations (i.e., the set of the configurations satisfying an atomic proposition is a regular set of configurations). We show that these model checking problems are decidable. We propose automata-based approaches for computing the set of configurations of a DPN that satisfy the corresponding single-indexed LTL/CTL formula. 相似文献
995.
Omar?N.?Al-BoeridiEmail author S.?M.?Syed Ahmad S.?P.?Koh 《Neural computing & applications》2015,26(6):1505-1513
An off-line handwriting recognition (OFHR) system is a computerized system that is capable of intelligently converting human handwritten data extracted from scanned paper documents into an equivalent text format. This paper studies a proposed OFHR for Malaysian bank cheques written in the Malay language. The proposed system comprised of three components, namely a character recognition system (CRS), a hybrid decision system and lexical word classification system. Two types of feature extraction techniques have been used in the system, namely statistical and geometrical. Experiments show that the statistical feature is reliable, accessible and offers results that are more accurate. The CRS in this system was implemented using two individual classifiers, namely an adaptive multilayer feed-forward back-propagation neural network and support vector machine. The results of this study are very promising and could generalize to the entire Malay lexical dictionary in future work toward scaled-up applications. 相似文献
996.
In this paper, novel, very simple and low-cost thin film position sensitive detectors (TFPSDs) which employ indium tin oxide (ITO)-cadmium sulfide (CdS)-Au structures are presented. Different from the existed PSDs those based on lateral photovoltage effect, the proposed sensor is operated in principle of photoconductive effect. CdS film is chosen as the photosensitive layer since its excellent photoconductive property, low cost and suitable for depositing on different type substrates with large areas. In the present study, CdS films are deposited on silicon substrates by using rf magnetron sputtering at room temperature. After that, the prepared CdS films were annealed at different temperatures for 50 min in N2 ambient and a rigorous analysis was presented on the surface topography, and photoconductive properties by scanning electron microscopy and semiconductor characteristics analyzer. The test results shows that the film annealed at 400 °C has the best photoconductive property. Moreover, the finite-element method was used to study the relationship between the Aluminium (Al) electrode shape and the linearity of PSD. Three different type PSDs (quadrilateral, rectangular-shaped and pillow-shaped) were designed and simulated. The simulation results indicate that the quadrilateral electrode is suitable for large-area PSDs, whereas the rectangular-shaped and pillow-shaped electrodes can be used to realize small-area PSDs. The measurement results shows that the non-linearities of three type PSDs with dimensions of 10 × 10 mm are respectively 2.106, 3.594, and 3.55 %, which verify the conclusion deduced from the simulation results. 相似文献
997.
This paper presents the design, fabrication and reliability testing of a double spiral platinum-based MEMS hotplate for gas sensing applications. The structure of MEMS hotplate consists of a 0.7 µm-thick thermally grown SiO2 membrane of size 120 µm × 120 µm over which a double spiral platinum resistor is laid out. The hotplate membrane is supported by its four arms connected to the Si-substrate. The design and simulation of the hotplate structure was carried out using MEMS-CAD Tool COVENTORWARE. Based on the design, a double spiral platinum resistor of 103 Ω is fabricated on SiO2 membrane using lift-off technique. The platinum deposition is carried out using DC sputtering technique. Bulk micromachining of Si is done from front side of the structure to create the suspended SiO2 membrane. The temperature coefficient of resistance (TCR) of platinum is measured and found to be 2.19 × 10?3/ °C. The TCR value is used for temperature estimation of the hotplate. The test results show that the microhotplate consumes only 20 mW power when heated up to 500 °C. For reliability testing of fabricated structure, the hotplate is continuously operated at 300 °C for 1.8 h. Also, it can sustain at least 61 cycles pulse-mode operation at 530 °C with ultra-low resistance and temperature drifts. The structure can sustain a maximum temperature and current of 611 °C and 11.55 mA respectively without any damage. 相似文献
998.
A new concept for the geometry of a curved beam bistable micromechanical mechanism is proposed aiming at producing a secondary equilibrium state that is more stable (in terms of transformation force) than the primary, stress-free, configuration. The proposed geometry is simple and compatible with common MEMS mass-production processes. A parametric study is performed by means of a non-linear finite-elements analysis in order to study the post-buckling behavior and performance of the mechanism. Based on this analysis, we show that it is theoretically possible to have a mechanism that exhibits a secondary equilibrium state that is more stable than the stress-free configuration. We also find that the post-buckling response of the proposed design is very sensitive to a particular geometrical feature. Besides this particular weakness, the mechanism is rather robust with respect to geometrical inaccuracies. We report our findings with the hope of inspiring others to propose new ideas for overcoming this geometrical sensitivity. 相似文献
999.
1000.
针对沿海批发商品到全国各省会进行小量批发和零售的商户而言,统计货物每月每年销售情况、利润利率以指导进货的种类、数量和进货月份非常重要。设计一款基于SQL Server 2008R2数据库和VS2010平台下的托管C++编码的枕套经营管理软件。在满足以上需求的情况下,替代现有的记账方式,通过简单的操作选取参数结合软件内部提供的SQL查询语句或者向数据库请求执行的存储过程以提供丰富的查询功能,并把结果导出到Excel表格进行更直观的观察,该软件经过一年半的调试和使用之后显示出了对进货商和批发商双方良好的进货、销售指导作用。 相似文献