全文获取类型
收费全文 | 6459篇 |
免费 | 476篇 |
国内免费 | 701篇 |
专业分类
电工技术 | 206篇 |
综合类 | 587篇 |
化学工业 | 27篇 |
金属工艺 | 71篇 |
机械仪表 | 368篇 |
建筑科学 | 56篇 |
矿业工程 | 57篇 |
能源动力 | 5篇 |
轻工业 | 43篇 |
水利工程 | 17篇 |
石油天然气 | 10篇 |
武器工业 | 39篇 |
无线电 | 513篇 |
一般工业技术 | 100篇 |
冶金工业 | 60篇 |
原子能技术 | 7篇 |
自动化技术 | 5470篇 |
出版年
2024年 | 1篇 |
2022年 | 8篇 |
2021年 | 8篇 |
2020年 | 21篇 |
2019年 | 22篇 |
2018年 | 14篇 |
2017年 | 37篇 |
2016年 | 43篇 |
2015年 | 69篇 |
2014年 | 144篇 |
2013年 | 163篇 |
2012年 | 264篇 |
2011年 | 376篇 |
2010年 | 494篇 |
2009年 | 627篇 |
2008年 | 702篇 |
2007年 | 815篇 |
2006年 | 960篇 |
2005年 | 778篇 |
2004年 | 748篇 |
2003年 | 600篇 |
2002年 | 382篇 |
2001年 | 173篇 |
2000年 | 52篇 |
1999年 | 17篇 |
1998年 | 16篇 |
1997年 | 11篇 |
1996年 | 13篇 |
1995年 | 11篇 |
1994年 | 15篇 |
1993年 | 8篇 |
1992年 | 16篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1986年 | 3篇 |
1985年 | 2篇 |
1984年 | 3篇 |
1983年 | 1篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 4篇 |
1963年 | 1篇 |
1962年 | 1篇 |
1961年 | 1篇 |
排序方式: 共有7636条查询结果,搜索用时 0 毫秒
1.
2.
3.
U. Reimer
H. -J. Schek
《Data & Knowledge Engineering》1989,4(4):321-352The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF2) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF2 structures is specified. The structural similarities between frames and NF2 relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF2 model when frames are directly mapped to NF2 structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF2 algebra operations. 相似文献
4.
针对电子对抗技术的特点 ,考虑到异类仿真的广泛运用及其对电子对抗仿真的影响 ,运用XML技术对战情数据和计算机兵力生成的行为描述进行了编程实践。论述了用 XML技术实现电子对抗仿真的数据共享的内容、途径和可行性 ,对 XML在电子对抗领域可能的重大应用做了展望 相似文献
5.
Kanda Runapongsa Jignesh M. Patel H.V. Jagadish Yun Chen Shurug Al-Khalifa 《Information Systems》2006
We propose a micro-benchmark for XML data management to aid engineers in designing improved XML processing engines. This benchmark is inherently different from application-level benchmarks, which are designed to help users choose between alternative products. We primarily attempt to capture the rich variety of data structures and distributions possible in XML, and to isolate their effects, without imitating any particular application. The benchmark specifies a single data set against which carefully specified queries can be used to evaluate system performance for XML data with various characteristics. 相似文献
6.
7.
鉴于用户对目前数据库接入技术要求的提高,一种基于XML技术对数据库接入进行优化的技术出现了。这种技术利用了基于XML传输时的可扩展、高度结构化等特性,在JavaBean,JDBC,Apache,Tomcat等设计组件及Linux体系结构的配合使用下.为用户提供了一个安全、高效、可扩展且访问灵活的数据库接入方式。 相似文献
8.
Silvano Dal Zilio Denis Lugiez 《Applicable Algebra in Engineering, Communication and Computing》2006,17(5):337-377
XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis. 相似文献
9.
基于XML的试题库模型与实现 总被引:3,自引:1,他引:2
由于试题的多样性的类型及半结构性的内容,实现试题规范的数据结构较为困难,造成现有的试题库系统的试题类型较少和内容格式单一。使用XML元数据表示试题的内容,可有效解决上述问题,论文提出一种基于XML的试题库模型,建立具有较高查询效率的试题库组织结构,在系统原型实现上,利用关系数据库的查询性能和XML技术的表现能力,较好地解决了试题库系统对试题类型多样性和查询效率的支持。 相似文献
10.
基于XML的构件化企业模型描述及应用 总被引:2,自引:0,他引:2
当今世界Internet/Intranet技术的迅速发展,对企业建模也提出了网络化的要求。而当前众多的建模工具都还没能适应这一要求,或是才开始起步。鉴于这种状况,提出了基于XML技术的描述构件化模型的思想,以对当前已经比较成熟的建模技术进行XML的改造,讲述如何实现基于XML的构件化企业模型描述及应用。 相似文献