全文获取类型
收费全文 | 1406篇 |
免费 | 141篇 |
国内免费 | 128篇 |
专业分类
电工技术 | 3篇 |
综合类 | 107篇 |
化学工业 | 1篇 |
金属工艺 | 4篇 |
机械仪表 | 50篇 |
建筑科学 | 10篇 |
能源动力 | 1篇 |
轻工业 | 9篇 |
水利工程 | 1篇 |
石油天然气 | 1篇 |
无线电 | 47篇 |
一般工业技术 | 84篇 |
冶金工业 | 60篇 |
自动化技术 | 1297篇 |
出版年
2024年 | 8篇 |
2023年 | 16篇 |
2022年 | 19篇 |
2021年 | 22篇 |
2020年 | 17篇 |
2019年 | 26篇 |
2018年 | 11篇 |
2017年 | 20篇 |
2016年 | 25篇 |
2015年 | 30篇 |
2014年 | 55篇 |
2013年 | 56篇 |
2012年 | 64篇 |
2011年 | 78篇 |
2010年 | 74篇 |
2009年 | 100篇 |
2008年 | 118篇 |
2007年 | 103篇 |
2006年 | 106篇 |
2005年 | 90篇 |
2004年 | 58篇 |
2003年 | 58篇 |
2002年 | 58篇 |
2001年 | 46篇 |
2000年 | 44篇 |
1999年 | 45篇 |
1998年 | 41篇 |
1997年 | 28篇 |
1996年 | 31篇 |
1995年 | 43篇 |
1994年 | 33篇 |
1993年 | 27篇 |
1992年 | 26篇 |
1991年 | 13篇 |
1990年 | 9篇 |
1989年 | 11篇 |
1988年 | 6篇 |
1987年 | 4篇 |
1986年 | 6篇 |
1985年 | 6篇 |
1984年 | 5篇 |
1982年 | 5篇 |
1981年 | 3篇 |
1980年 | 4篇 |
1979年 | 5篇 |
1978年 | 4篇 |
1977年 | 2篇 |
1976年 | 6篇 |
1975年 | 2篇 |
1959年 | 2篇 |
排序方式: 共有1675条查询结果,搜索用时 109 毫秒
61.
基于语义的单文档自动摘要算法 总被引:1,自引:0,他引:1
单文档自动摘要的目的是在原始的文本中通过摘取、提炼主要信息,提供一篇简洁全面的摘要。自动摘要的主流方法是通过统计和机器学习的技术从文本中直接提取出句子,而单文档由于篇章有限,统计的方法无效。针对此问题,提出了基于语义的单文本自动摘要方法。该方法首先将文档划分为句子,然后计算每一对句子的语义相似度,通过运用改进型K-Medoids聚类算法将相似的句子归类,在每一类中选出最具代表性的句子,最后将句子组成文档摘要。实验结果表明,通过融合语义信息,该方法提高了摘要的质量。 相似文献
62.
Defining the meaning of tabular mathematical expressions 总被引:2,自引:0,他引:2
Ying Jin 《Science of Computer Programming》2010,75(11):980-1000
Mathematical expressions in tabular form (also called “tabular expressions” or “tables”) have been shown to be useful for documenting and analysing software systems. They are usually easier to read than conventional mathematical expressions but are no less precise. They can be used wherever mathematical expressions are used. To avoid misunderstandings, and to support users with trustworthy tools, the meaning of these expressions must be fully defined.This paper presents a new method for defining the meaning of tabular expressions. Each definition of an expression type names the expression’s constituents, and provides a restriction schema and one or more evaluation schemas. The restriction schema defines the class of well-formed expressions of the type. An evaluation schema maps a well-formed tabular expression of the type to a mathematical expression of a previously defined type. Since the meaning of conventional mathematical expressions is well known, describing an equivalent expression fully defines the meaning of a tabular expression.In this approach, indexation is used to decouple the appearance of a tabular expression from its semantics. A tabular expression is an indexed set of grids; a grid is an indexed set of expressions. The expressions in a grid can be either conventional expressions or tabular expressions of a previously defined type.Defining the meaning of a tabular expression in this way facilitates the building of tools that faithfully implement the semantics. The decoupling of syntax and semantics by means of indices overcomes some limitations of older approaches.The method presented in the paper is illustrated by defining several previously known types of tabular expressions and some new ones. The use of the new model to build a suite of tools for the input, presentation, validation, evaluation, simplification, conversion and composition of tabular expressions is discussed. 相似文献
63.
64.
曹莉蕊 《数码设计:surface》2010,(5):190-192
产品语义学是研究产品语言的表达意义。产品造型除表达其功能性目的以外,还要透过其语义特征来传达产品的整体视觉感受,传递出企业产品特性,同时还包括使用方式、文化内涵,并体现特定社会的时代感和价值取向。正如法国著名符号学家皮埃尔·杰罗所说的,在很多情况下,人们并不是购买具体的物品,而是在寻求潮流、青春和成功的象征。本文从企业产品设计角度研究产品设计的差异化竞争,主要探讨产品语义学是如何帮助企业进行完成独特产品语言的塑造;如何向消费者传达整体的产品视觉感受,以达到独特的企业产品视觉识别的目的。 相似文献
65.
文章将符号学中的编码解码理论应用于灯具形态设计中,从形状、色彩、材质三方面分析了灯具形态的语义特点,重点研究了灯具形态语义编码与解码的方式与特点。 相似文献
66.
67.
Bialgebras for structural operational semantics: An introduction 总被引:1,自引:0,他引:1
Bartek Klin 《Theoretical computer science》2011,412(38):5043-5069
Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of structural operational semantics. This paper aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area. 相似文献
68.
69.
We study a probabilistic version of coherence spaces and show that these objects provide a model of linear logic. We build a model of the pure lambda-calculus in this setting and show how to interpret a probabilistic version of the functional language PCF. We give a probabilistic interpretation of the semantics of probabilistic PCF closed terms of ground type. Last we suggest a generalization of this approach, using Banach spaces. 相似文献
70.
Certain behavioral properties of distributed systems are difficult to express in interleaving semantics, whereas they are naturally expressed in terms of partial orders of events or, equivalently, Mazurkiewicz traces. Two examples of such properties are serializability of a database and global snapshots of concurrent systems. Recently, a modest extension for LTL by an operator that expresses snapshots, has been proposed. It combines the ease of linear (interleaving) specification with this useful partial order concept. The new construct allows one to assert that a global snapshot appeared in the past, perhaps not in the observed execution sequence, but possibly in an equivalent one. 相似文献