全文获取类型
收费全文 | 654篇 |
免费 | 19篇 |
国内免费 | 7篇 |
专业分类
电工技术 | 5篇 |
综合类 | 1篇 |
化学工业 | 84篇 |
金属工艺 | 22篇 |
机械仪表 | 13篇 |
建筑科学 | 4篇 |
矿业工程 | 1篇 |
能源动力 | 20篇 |
轻工业 | 35篇 |
石油天然气 | 1篇 |
无线电 | 92篇 |
一般工业技术 | 184篇 |
冶金工业 | 99篇 |
原子能技术 | 3篇 |
自动化技术 | 116篇 |
出版年
2023年 | 7篇 |
2022年 | 11篇 |
2021年 | 12篇 |
2020年 | 9篇 |
2019年 | 6篇 |
2018年 | 10篇 |
2017年 | 12篇 |
2016年 | 16篇 |
2015年 | 10篇 |
2014年 | 24篇 |
2013年 | 37篇 |
2012年 | 31篇 |
2011年 | 35篇 |
2010年 | 27篇 |
2009年 | 21篇 |
2008年 | 34篇 |
2007年 | 30篇 |
2006年 | 16篇 |
2005年 | 19篇 |
2004年 | 9篇 |
2003年 | 29篇 |
2002年 | 21篇 |
2001年 | 19篇 |
2000年 | 13篇 |
1999年 | 16篇 |
1998年 | 30篇 |
1997年 | 20篇 |
1996年 | 19篇 |
1995年 | 16篇 |
1994年 | 15篇 |
1993年 | 12篇 |
1992年 | 11篇 |
1991年 | 6篇 |
1990年 | 12篇 |
1989年 | 7篇 |
1988年 | 7篇 |
1987年 | 3篇 |
1986年 | 6篇 |
1985年 | 10篇 |
1984年 | 4篇 |
1983年 | 3篇 |
1982年 | 5篇 |
1981年 | 5篇 |
1980年 | 2篇 |
1978年 | 2篇 |
1976年 | 4篇 |
1975年 | 2篇 |
1974年 | 1篇 |
1973年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有680条查询结果,搜索用时 15 毫秒
31.
Priti Shankar Amitava Dasgupta Kaustubh Deshmukh B. Sundar Rajan 《Theoretical computer science》2003,290(3):1775-1797
Block codes are viewed from a formal language theoretic perspective. It is shown that properties of trellises for subclasses of block codes called rectangular codes follow naturally from the Myhill Nerode theorem. A technique termed subtrellis overlaying is introduced with the object of reducing decoder complexity. Necessary and sufficient conditions for trellis overlaying are derived from the representation of the block code as a group, partitioned into a subgroup and its cosets. The conditions turn out to be simple constraints on coset leaders. It is seen that overlayed trellises are tail-biting trellises for which decoding is generally more efficient than that for conventional trellises. Finally, a decoding algorithm for tail-biting trellises is described, and the results of some simulations are presented. 相似文献
32.
Krishnendu Chatterjee Pallab Dasgupta P. P. Chakrabarti 《Journal of Automated Reasoning》2003,30(2):205-232
Temporal logics such as Computation Tree Logic (CTL) and Linear Temporal Logic (LTL) have become popular for specifying temporal properties over a wide variety of planning and verification problems. In this paper we work towards building a generalized framework for automated reasoning based on temporal logics. We present a powerful extension of CTL with first-order quantification over the set of reachable states for reasoning about extremal properties of weighted labeled transition systems in general. The proposed logic, which we call Weighted Quantified Computation Tree Logic (WQCTL), captures the essential elements common to the domain of planning and verification problems and can thereby be used as an effective specification language in both domains. We show that in spite of the rich, expressive power of the logic, we are able to evaluate WQCTL formulas in time polynomial in the size of the state space times the length of the formula. Wepresent experimental results on the WQCTL verifier. 相似文献
33.
S. Dasgupta D. Potop-Butucaru B. Caillaud A. Yakovlev 《Electronic Notes in Theoretical Computer Science》2006,146(2):81
We consider the problem of synthesizing the asynchronous wrappers and glue logic needed for the correct GALS implementation of a modular synchronous system. Our approach is based on the weakly endochronous synchronous model, which defines high-level, implementation-independent conditions guaranteeing correct desynchronization at the level of the abstract synchronous model. We can therefore factor the synthesis problem into (1) a high-level, implementation-independent phase insuring the weak endochrony of each synchronous module and (2) the actual wrapper synthesis phase, highly simplified by the high-level assumptions, yet flexible enough to produce various, efficient implementations.We focus here on the synthesis of delay-insensitive asynchronous wrappers from weakly endochronous synchronous modules, and show how this can be done for a simple DLX processor model. 相似文献
34.
We consider the problem of determining which of a set of experts has tastes most similar to a given user by asking the user questions about his likes and dislikes. We describe a simple algorithm for generating queries for a theoretical model of this problem. We show that the algorithm requires at most opt(F)(ln(|F|/opt(F)) + 1) + 1 queries to find the correct expert, where opt(F) is the optimal worst-case bound on the number of queries for learning arbitrary elements of the set of experts F. The algorithm runs in time polynomial in |F| and |X| (where X is the domain) and we prove that no polynomial-time algorithm can have a significantly better bound on the number of queries unless all problems in NP have n
O(log log n) time algorithms. We also study a more general case where the user ratings come from a finite set Y and there is an integer-valued loss function on Y that is used to measure the distance between the ratings. Assuming that the loss function is a metric and that there is an expert within a distance from the user, we give a polynomial-time algorithm that is guaranteed to find such an expert after at most 2opt(F, ) ln
+ 2( + 1)(1 + deg(F, )) queries, where deg(F, ) is the largest number of experts in F that are within a distance 2 of any f F. 相似文献
35.
Synthy: A system for end to end composition of web services 总被引:2,自引:0,他引:2
Vikas Agarwal Girish Chafle Koustuv Dasgupta Neeran Karnik Arun Kumar Sumit Mittal Biplav Srivastava 《Journal of Web Semantics》2005,3(4):311-339
The demand for quickly delivering new applications is increasingly becoming a business imperative today. However, application development is often done in an ad hoc manner resulting in poor reuse of software assets and longer time-to-delivery. Web services have received much interest due to their potential in facilitating seamless business-to-business or enterprise application integration. A web service composition system can help automate the process, from specifying business process functionalities, to developing executable workflows that capture non-functional (e.g. Quality of Service (QoS)) requirements, to deploying them on a runtime infrastructure. Intuitively, web services can be viewed as software components and the process of web service composition similar to software synthesis. In addition, service composition needs to address the build-time and runtime issues of the integrated application, thereby making it a more challenging and practical problem than software synthesis. However, current solutions based on business web services (using WSDL, BPEL, SOAP, etc.) or semantic web services (using ontologies, goal-directed reasoning, etc.) are both piecemeal and insufficient. We formulate the web service composition problem and describe the first integrated system for composing web services end to end, i.e., from specification to deployment. The proposed solution is based on a novel two-staged composition approach that addresses the information modeling aspects of web services, provides support for contextual information while composing services, employs efficient decoupling of functional and non-functional requirements, and leads to improved scalability and failure handling. We also present Synthy, a prototype of the service composition system, and demonstrate its effectiveness with the help of an application scenario from the telecom domain. 相似文献
36.
Kunal Sain Abhishek Dasgupta Utpal Garain 《International Journal on Document Analysis and Recognition》2011,14(1):75-85
Performance evaluation of mathematical expression recognition systems is attempted. The proposed method assumes expressions
(input as well as recognition output) are coded following MathML or TEX/LaTEX (which also gets converted into MathML) format. Since any MathML representation follows a tree structure, evaluation of
performance has been modeled as a tree-matching problem. The tree corresponding to the expression generated by the recognizer
is compared with the groundtruthed one by comparing the corresponding Euler strings. The changes required to convert the tree
corresponding to the expression generated by the recognizer into the groundtruthed one are noted. The number of changes required
to make such a conversion is basically the distance between the trees. This distance gives the performance measure for the
system under testing. The proposed algorithm also pinpoints the positions of the changes in the output MathML file. Testing
of the proposed evaluation method considers a set of example groundtruthed expressions and their corresponding recognized
results produced by an expression recognition system. 相似文献
37.
Anomaly Detection Using Real-Valued Negative Selection 总被引:23,自引:0,他引:23
This paper describes a real-valued representation for the negative selection algorithm and its applications to anomaly detection.
In many anomaly detection applications, only positive (normal) samples are available for training purpose. However, conventional
classification algorithms need samples for all classes (e.g. normal and abnormal) during the training phase. This approach
uses only normal samples to generate abnormal samples, which are used as input to a classification algorithm. This hybrid
approach is compared against an anomaly detection technique that uses self-organizing maps to cluster the normal data sets
(samples). Experiments are performed with different data sets and some results are reported. 相似文献
38.
39.
VIMTEX: A Visualization Interface for Multivariate,Time‐Varying,Geological Data Exploration 下载免费PDF全文
Observing interactions among chemical species and microorganisms in the earth's sub‐surface is a common task in the field of geology. Bioremediation experiments constitute one such class of interactions which focus on getting rid of pollutants through processes such as carbon sequestration. The main goal of scientists’ observations is to analyze the dynamics of the chemical reactions and understand how they collectively affect the carbon content of the soil. In our work, we extract the high‐level goals of geologists and propose a visual analytics solution which helps scientists in deriving insights about multivariate, temporal behavior of these chemical species. Specifically, our key contributions are the following: i) characterization of the domain‐specific goals and their translation to exploratory data analysis tasks, ii) developing an analytical abstraction in the form of perceptually motivated screen‐space metrics for bridging the gap between the tasks and the visualization, and iii) realization of the tasks and metrics in the form of VIMTEX, which is a set of coordinated multiple views for letting scientists observe multivariate, temporal relationships in the data. We provide several examples and case studies along with expert feedback for demonstrating the efficacy of our solution. 相似文献
40.
The sign-sign (SS) algorithm is a computationally efficient adaptive identifier, often used in signal processing tasks. It is obtained by introducing signum functions on both the regressor and the prediction error multiplicands in the update kernel of the well-known LMS algorithm. This paper gives a deterministic persistent excitation condition on the regressor sequence which guarantees SS convergence. It also gives conditions under which SS may diverge, and discusses how these persistent excitation conditions may be verified through a finite amount of computations. 相似文献