全文获取类型
收费全文 | 157篇 |
免费 | 5篇 |
专业分类
电工技术 | 4篇 |
化学工业 | 54篇 |
金属工艺 | 3篇 |
能源动力 | 3篇 |
无线电 | 24篇 |
一般工业技术 | 17篇 |
冶金工业 | 19篇 |
自动化技术 | 38篇 |
出版年
2023年 | 1篇 |
2022年 | 5篇 |
2021年 | 4篇 |
2020年 | 1篇 |
2019年 | 2篇 |
2018年 | 1篇 |
2017年 | 5篇 |
2016年 | 2篇 |
2014年 | 1篇 |
2013年 | 7篇 |
2012年 | 3篇 |
2011年 | 8篇 |
2010年 | 4篇 |
2009年 | 5篇 |
2008年 | 6篇 |
2007年 | 6篇 |
2006年 | 3篇 |
2005年 | 2篇 |
2004年 | 8篇 |
2003年 | 1篇 |
2002年 | 7篇 |
2001年 | 7篇 |
2000年 | 9篇 |
1999年 | 2篇 |
1998年 | 5篇 |
1997年 | 5篇 |
1996年 | 4篇 |
1995年 | 7篇 |
1994年 | 2篇 |
1993年 | 8篇 |
1992年 | 3篇 |
1991年 | 4篇 |
1990年 | 3篇 |
1989年 | 3篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1984年 | 2篇 |
1983年 | 4篇 |
1982年 | 3篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1976年 | 1篇 |
1975年 | 2篇 |
排序方式: 共有162条查询结果,搜索用时 31 毫秒
1.
Khan J. Vemuri R. 《Very Large Scale Integration (VLSI) Systems, IEEE Transactions on》2006,14(2):135-147
We define portable reconfigurable computing platforms as those which have some form of configurable logic coupled with other on-chip or off-chip processing units such as soft processors, embedded processors, and voltage-scalable processors. In the first part of this paper, we present and test a unique methodology where we dynamically change the active area of a field programmable gate array (FPGA) to vary the battery usage and lifetime of the system, by running it on several different taskgraph structures and report an average of 14% and as high as 21%, less battery capacity used, as compared to nonoptimal execution. In the second part of this paper, we integrate the above methodology with more traditional voltage and frequency scaling techniques for portable systems and present a heuristic iterative algorithm for single and multiple processing units. The iterative heuristic algorithm finds a sequence of tasks along with an appropriate design point (implementation option) for each task, such that a deadline is met and the amount of battery energy used is as small as possible. We have used several real-world benchmarks to test the effectiveness of this methodology and we will present the results. 相似文献
2.
Fei Wang Baba C Vemuri Anand Rangarajan Stephan J Eisenschenk 《IEEE transactions on pattern analysis and machine intelligence》2008,30(11):2011-2022
Group-wise registration of a set of shapes represented by unlabeled point-sets is a challenging problem since, usually this involves solving for point correspondence in a nonrigid motion setting. In this paper, we propose a novel and robust algorithm that is capable of simultaneously computing the mean shape represented by a probability density function from multiple unlabeled point-sets and registering them non-rigidly to this emerging mean shape. This algorithm avoids the correspondence problem by minimizing the Jensen-Shannon (JS) divergence between the point sets. We motivate the use of the JS divergence by pointing out its close relationship to hypothesis testing. We derive the analytic gradient of the cost function in order to efficiently achieve the optimal solution. JS-divergence is symmetric with no bias toward any of the given shapes to be registered and whose mean is being sought. A by product of the registration process is a probabilistic atlas defined as the convex combination of the probability densities of the input point sets being aligned. Our algorithm can be especially useful for creating atlases of various shapes present in images as well as for simultaneously (rigidly or non-rigidly) registering 3D range data sets without having to establish any correspondence. We present experimental results on real and synthetic data. 相似文献
3.
4.
Naren Narasimhan Elena Teica Rajesh Radhakrishnan Sriram Govindarajan Ranga Vemuri 《Formal Methods in System Design》2001,19(3):237-273
This paper presents a formal specification and a proof of correctness for the widely-used Force-Directed List Scheduling (FDLS) algorithm for resource-constrained scheduling of data flow graphs in high-level synthesis systems. The proof effort is conducted using a higher-order logic theorem prover. During the proof effort many interesting properties of the FDLS algorithm are discovered. These properties are formally stated and proved in a higher-order logic theorem proving environment. These properties constitute a detailed set of formal assertions and invariants that should hold at various steps in the FDLS algorithm. They are then inserted as programming assertions in the implementation of the FDLS algorithm in a production-strength high-level synthesis system. When turned on, the programming assertions (1) certify whether a specific run of the FDLS algorithm produced correct schedules and, (2) in the event of failure, help discover and isolate programming errors in the FDLS implementation.We present a detailed example and several experiments to demonstrate the effectiveness of these assertions in discovering and isolating errors. Based on this experience, we discuss the role of the formal theorem proving exercise in developing a useful set of assertions for embedding in the scheduler code and argue that in the absence of such a formal proof checking effort, discovering such a useful set of assertions would have been an arduous if not impossible task. 相似文献
5.
In this paper, we present efficient algorithms for collision detection of arbitrarily shaped rigid moving objects in a variety of interactive as well as non-interactive environments. The algorithms primarily consist of two stages. The first stage involves finding candidate objects for possible collisions. The second stage involves detecting exact (within a prespecified tolerance) collision between these candidates. The primary data structure used in the algorithms is an octree. In the first stage, we build an octree for the enclosure containing the objects, which is used to detect possible collisions. Assuming spatial/temporal coherence i.e., that the particles move slowly or that the time sampling is fast enough, the average time complexity of this stage can be shown to be O(n) (excluding the time complexity for a one time octree construction), where n is the number of particles. In the second stage, we build a surface-octree for each object. If the objects are convex and assuming coherence, the expected time complexity to detect precise (within a prespecified tolerance) collision for each pair is a constant (excluding the time complexity for a one time surface-octree construction). Therefore, the overall expected time complexity for convex object collision detection is linear with respect to n. For the concave objects, complexity analysis is nontrivial to perform and instead we provide a very practical (almost linear time) algorithm. We apply our algorithms to particle flow simulations by simulating flow density conditions often arising in granular flows. 相似文献
6.
Fischer A.P.A. Yousefi M. Lenstra D. Carter M.W. Vemuri G. 《IEEE journal of selected topics in quantum electronics》2004,10(5):944-954
We report experimental results on the nonlinear dynamical response of a semiconductor laser subjected to time-delayed (>5 ns), frequency selective, optical feedback from a Fabry-Pe/spl acute/rot interferometer type of filter. Three regimes of interest, based on the relative value of the filter bandwidth with respect to the relevant laser parameters (relaxation oscillation frequency and external cavity mode spacing), are identified, viz. a wide filter case, an intermediate filter width case, and a narrow filter case. The dynamical response of the laser is shown to be quite different in each of these regimes. The principal results are 1) the laser's linewidth enhancement factor, coupled with the nonlinear response of the filter, can be exploited to induce nonlinear dynamics in the instantaneous optical frequency of the laser light on a time scale related to the time-delay of the feedback, 2) a mode mismatch effect which arises from a detuning between the filter center frequency and the nearest external cavity mode and manifests itself in a reduction of the maximum light available for feedback, and 3) a reduction in, or even disappearance of, relaxation oscillations in the laser dynamics when a filter of appropriate width is chosen. More generally, it is observed that certain dynamics that occur due to unfiltered optical feedback may be suppressed when the feedback light is spectrally filtered. 相似文献
7.
8.
Satish Kumar Vemuri Satyajit Halder Rajkiran Reddy Banala Hari Krishnreddy Rachamalla Vijaya Madhuri Devraj Chandra Shekar Mallarpu Uttam Kumar Neerudu Ravikiran Bodlapati Sudip Mukherjee Subbaiah Goli Peda Venkata Gurava Reddy Annapareddy Venkata Malarvilli Thakkumalai Kuladip Jana 《International journal of molecular sciences》2022,23(4)
Background: Breast cancer is the most common cancer in women globally, and diagnosing it early and finding potential drug candidates against multi-drug resistant metastatic breast cancers provide the possibilities of better treatment and extending life. Methods: The current study aimed to evaluate the synergistic anti-metastatic activity of Curcumin (Cur) and Paclitaxel (Pacli) individually, the combination of Curcumin–Paclitaxel (CP), and also in conjugation with gold nanoparticles (AuNP–Curcumin (Au-C), AuNP–Paclitaxel (Au-P), and AuNP–Curcumin–Paclitaxel (Au-CP)) in various in vitro and in vivo models. Results: The results from combination treatments of CP and Au-CP demonstrated excellent synergistic cytotoxic effects in triple-negative breast cancer cell lines (MDA MB 231 and 4T1) in in vitro and in vivo mouse models. Detailed mechanistic studies were performed that reveal that the anti-cancer effects were associated with the downregulation of the expression of VEGF, CYCLIN-D1, and STAT-3 genes and upregulation of the apoptotic Caspase-9 gene. The group of mice that received CP combination therapy (with and without gold nanoparticles) showed a significant reduction in the size of tumor when compared to the Pacli alone treatment and control groups. Conclusions: Together, the results suggest that the delivery of gold conjugated Au-CP formulations may help in modulating the outcomes of chemotherapy. The present study is well supported with observations from cell-based assays, molecular and histopathological analyses. 相似文献
9.
The paper proposes a novel heuristic technique for integrated hardware-software partitioning, hardware design space exploration and scheduling. The technique maps an application specified as a task graph on a heterogeneous architecture with an objective to minimize the latency of the task graph subject to the area constraint on the hardware coprocessor. The technique uses an iterative approach where the partitioner decides the processor mapping and HW design points of some tasks. The scheduler then simultaneously decides the processor mapping, HW design point and schedule time of the remaining tasks. There exists a tight coupling between the two design stages allowing them to produce superior quality designs in fewer iterations. The technique accounts for the time overheads due to inter-processor /intra-processor communication and shared memory access conflicts. It can therefore be used for both communication intensive and computation intensive applications. The technique also considers dynamic reconfiguration capability of the hardware coprocessor. The technique performs tradeoff analysis and maps hardware tasks to mutually exclusive temporal segments if this results in lower latency. The effectiveness of the technique is demonstrated by a case study of the JPEG image compression algorithm, comparison with an optimal ILP based approach and experimentation with synthetic graphs. 相似文献
10.
Marroquin JL Vemuri BC Botello S Calderon F Fernandez-Bouzas A 《IEEE transactions on medical imaging》2002,21(8):934-945
Automatic three-dimensional (3-D) segmentation of the brain from magnetic resonance (MR) scans is a challenging problem that has received an enormous amount of attention lately. Of the techniques reported in the literature, very few are fully automatic. In this paper, we present an efficient and accurate, fully automatic 3-D segmentation procedure for brain MR scans. It has several salient features; namely, the following. 1) Instead of a single multiplicative bias field that affects all tissue intensities, separate parametric smooth models are used for the intensity of each class. 2) A brain atlas is used in conjunction with a robust registration procedure to find a nonrigid transformation that maps the standard brain to the specimen to be segmented. This transformation is then used to: segment the brain from nonbrain tissue; compute prior probabilities for each class at each voxel location and find an appropriate automatic initialization. 3) Finally, a novel algorithm is presented which is a variant of the expectation-maximization procedure, that incorporates a fast and accurate way to find optimal segmentations, given the intensity models along with the spatial coherence assumption. Experimental results with both synthetic and real data are included, as well as comparisons of the performance of our algorithm with that of other published methods. 相似文献