全文获取类型
收费全文 | 244篇 |
免费 | 10篇 |
国内免费 | 5篇 |
专业分类
综合类 | 14篇 |
化学工业 | 8篇 |
金属工艺 | 2篇 |
机械仪表 | 8篇 |
建筑科学 | 11篇 |
矿业工程 | 2篇 |
能源动力 | 2篇 |
轻工业 | 1篇 |
水利工程 | 1篇 |
石油天然气 | 1篇 |
无线电 | 80篇 |
一般工业技术 | 18篇 |
冶金工业 | 5篇 |
自动化技术 | 106篇 |
出版年
2023年 | 2篇 |
2022年 | 4篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 8篇 |
2016年 | 8篇 |
2015年 | 7篇 |
2014年 | 13篇 |
2013年 | 10篇 |
2012年 | 5篇 |
2011年 | 18篇 |
2010年 | 15篇 |
2009年 | 22篇 |
2008年 | 21篇 |
2007年 | 9篇 |
2006年 | 11篇 |
2005年 | 14篇 |
2004年 | 6篇 |
2003年 | 11篇 |
2002年 | 12篇 |
2001年 | 6篇 |
2000年 | 5篇 |
1999年 | 6篇 |
1998年 | 3篇 |
1997年 | 6篇 |
1996年 | 8篇 |
1995年 | 4篇 |
1994年 | 3篇 |
1993年 | 4篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 3篇 |
1989年 | 2篇 |
1982年 | 1篇 |
排序方式: 共有259条查询结果,搜索用时 15 毫秒
1.
主要讨论了多项式正交滤波器和共轭正交滤波器组的构造方法,首先利用Riesz引理和特殊的余弦三角形多项式,给出了一种多项式正交滤波器的构造算法,该算法可以构造出一系列特性各异的紧支撑正交小波基;还给出了由一个矩阵CQFs派生多个新的矩阵CQFs的共轭正交滤波器组算法,包括由低阶矩阵CQFs构造高阶矩阵CQFs。 相似文献
2.
Shufeng Li Mingyu Cai Robert Edwards Yao Sun Libiao Jin 《Digital Communications & Networks》2022,8(3):359-372
Binary Polar Codes (BPCs) have advantages of high-efficiency and capacity-achieving but suffer from large latency due to the Successive-Cancellation List (SCL) decoding. Non-Binary Polar Codes (NBPCs) have been investigated to obtain the performance gains and reduce latency under the implementation of parallel architectures for multi-bit decoding. However, most of the existing works only focus on the Reed-Solomon matrix-based NBPCs and the probability domain-based non-binary polar decoding, which lack flexible structure and have a large computation amount in the decoding process, while little attention has been paid to general non-binary kernel-based NBPCs and Log-Likelihood Ratio (LLR) based decoding methods. In this paper, we consider a scheme of NBPCs with a general structure over GF(2m). Specifically, we pursue a detailed Monte-Carlo simulation implementation to determine the construction for proposed NBPCs. For non-binary polar decoding, an SCL decoding based on LLRs is proposed for NBPCs, which can be implemented with non-binary kernels of arbitrary size. Moreover, we propose a Perfect Polarization-Based SCL (PPB-SCL) algorithm based on LLRs to reduce decoding complexity by deriving a new update function of path metric for NBPCs and eliminating the path splitting process at perfect polarized (i.e., highly reliable) positions. Simulation results show that the bit error rate of the proposed NBPCs significantly outperforms that of BPCs. In addition, the proposed PPB-SCL decoding obtains about a 40% complexity reduction of SCL decoding for NBPCs. 相似文献
3.
A new approximation algorithm for the permanent of ann ×n 0,1-matrix is presented. The algorithm is shown to have worst-case time complexity exp(O(n
1/2 log2
n)). Asymptotically, this represents a considerable improvement over the best existing algorithm, which has worst-case time complexity exp((n)).Supported by SERC Grant GR/F 90363; work done in part while visiting DIMACS (Center for Discrete Mathematics and Computer Science).Supported by an NSF PYI grant, with matching equipment grant from the AT&T Foundation; work done in part while visiting DIMACS. 相似文献
4.
We consider solutions to the equation f=hr for polynomials f and h and integer r≥2. Given a polynomial f in the lacunary (also called sparse or super-sparse) representation, we first show how to determine if f can be written as hr and, if so, to find such an r. This is a Monte Carlo randomized algorithm whose cost is polynomial in the number of non-zero terms of f and in logdegf, i.e., polynomial in the size of the lacunary representation, and it works over Fq[x] (for large characteristic) as well as Q[x]. We also give two deterministic algorithms to compute the perfect root h given f and r. The first is output-sensitive (based on the sparsity of h) and works only over Q[x]. A sparsity-sensitive Newton iteration forms the basis for the second approach to computing h, which is extremely efficient and works over both Fq[x] (for large characteristic) and Q[x], but depends on a number-theoretic conjecture. Work of Erdös, Schinzel, Zannier, and others suggests that both of these algorithms are unconditionally polynomial-time in the lacunary size of the input polynomial f. Finally, we demonstrate the efficiency of the randomized detection algorithm and the latter perfect root computation algorithm with an implementation in the C++ library NTL. 相似文献
5.
C. A. Johnson 《Journal of Automated Reasoning》2009,42(1):35-76
A method is presented for computing minimal answers of the form in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly
extending partial answers. Our method is complete (in that every minimal answer can be computed) and does not admit redundancy
(in the sense that every partial answer generated can be extended to a minimal answer), thus no non-minimal answer is generated.
The method does not (necessarily) require the computation of models of the database in their entirety. A partitioning of the
database into extensional and intensional components is employed in order to overcome the problems caused by the possible
non-existence of disjunctive stable models, and a form of compilation is presented as a means of simplifying and improving
the efficiency of the run-time computation, which then reduces to relatively trivial processing within the extensional database.
In addition, the output from this compilation process has the significant advantage of being immune to updates to the extensional
database. Other forms of database pre-processing are also considered, and three transformations are presented mapping a database
onto an equivalent positive database, non-disjunctive database, and set of conditional facts. 相似文献
6.
Existing Global Data Computation (GDC) protocols for asynchronous systems are round-based algorithms designed for fully connected networks. In this paper, we discuss GDC in asynchronous chordal rings, a non-fully connected network. The virtual links approach to solve the consensus problem may be applied to GDC for non-fully connected networks, but it incurs high message overhead. To reduce the overhead, we propose a new non-round-based GDC protocol for asynchronous chordal rings with perfect failure detectors. The main advantage of the protocol is that there is no notion of rounds. Every process creates two messages initially, with one message traversing in a clockwise direction and visiting each and every process in the chordal ring. The second message traverses in a counterclockwise direction. When there is direct connection between two processes, a message is sent directly. Otherwise, the message is sent via virtual links. When the two messages return, the process decides according to the information maintained by the two messages. The perfect failure detector of a process need only detect the crash of neighboring processes, and the crash information is disseminated to all other processes. Analysis and comparison with two virtual links approaches show that our protocol reduces message complexity significantly. 相似文献
7.
Region merging methods consist of improving an initial segmentation by merging some pairs of neighboring regions. In a graph,
merging two regions, separated by a set of vertices, is not straightforward. The perfect fusion graphs defined in J. Cousty
et al. (J. Math. Imaging Vis. 30:(1):87–104, 2008) verify all the basic properties required by region merging algorithms as used in image segmentation. Unfortunately, the
graphs which are the most frequently used in image analysis (namely, those induced by the direct and the indirect adjacency
relations) are not perfect fusion graphs. The perfect fusion grid, introduced in the above mentioned reference, is an adjacency
relation on ℤ
d
which can be used in image analysis, which indeed induces perfect fusion graphs and which is “between” the graphs induced
by the direct and the indirect adjacencies. One of the main results of this paper is that the perfect fusion grid is the only
such graph whatever the dimension d.
相似文献
Gilles BertrandEmail: |
8.
We compare four tools regarding their suitability for teaching formal software verification, namely the Frege Program Prover,
the Key system, Perfect Developer, and the Prototype Verification System (PVS). We evaluate them on a suite of small programs, which are typical of courses dealing with Hoare-style verification, weakest
preconditions, or dynamic logic. Finally we report our experiences with using Perfect Developer in class. 相似文献
9.
10.
In this paper, we design time–frequency localized three-band biorthogonal linear phase wavelet filter bank for epileptic seizure electroencephalograph (EEG) signal classification. Time–frequency localized analysis and synthesis low-pass filters (LPF) are designed using convex semidefinite programming (SDP) by transforming a nonconvex problem into a convex SDP using semidefinite relaxation technique. Three-band parameterized lattice biorthogonal linear phase perfect reconstruction filter bank (BOLPPRFB) is chosen and nonlinear least squares algorithm is used to determine its parameters values that generate the designed analysis and synthesis LPF such that the band-pass and high-pass filters are also well localized in time and frequency domain. The designed analysis and synthesis three-band wavelet filter banks are compared with the standard two-band filter banks like Daubechies maximally regular filter banks, Cohen–Daubechies–Feauveau (CDF) biorthogonal filter banks and orthogonal time–frequency localized filter banks. Kruskal–Wallis statistical test is employed to measure the statistical significance of the subband features obtained from the various two and three-band filter banks for epileptic seizure EEG signal classification. The results show that the designed three-band analysis and synthesis filter banks both outperform two-band filter banks in the classification of seizure and seizure-free EEG signals. The designed three-band filter banks and multi-layer perceptron neural network (MLPNN) are further used together to implement a signal classifier that provides classification accuracy better than the recently reported results for epileptic seizure EEG signal classification. 相似文献