全文获取类型
收费全文 | 285篇 |
免费 | 18篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 1篇 |
综合类 | 2篇 |
化学工业 | 56篇 |
金属工艺 | 4篇 |
机械仪表 | 8篇 |
建筑科学 | 17篇 |
能源动力 | 5篇 |
轻工业 | 34篇 |
水利工程 | 10篇 |
无线电 | 45篇 |
一般工业技术 | 44篇 |
冶金工业 | 19篇 |
原子能技术 | 3篇 |
自动化技术 | 56篇 |
出版年
2023年 | 7篇 |
2022年 | 16篇 |
2021年 | 23篇 |
2020年 | 12篇 |
2019年 | 17篇 |
2018年 | 7篇 |
2017年 | 10篇 |
2016年 | 20篇 |
2015年 | 11篇 |
2014年 | 11篇 |
2013年 | 22篇 |
2012年 | 16篇 |
2011年 | 23篇 |
2010年 | 14篇 |
2009年 | 11篇 |
2008年 | 9篇 |
2007年 | 13篇 |
2006年 | 10篇 |
2005年 | 3篇 |
2004年 | 3篇 |
2003年 | 3篇 |
2002年 | 1篇 |
2001年 | 2篇 |
2000年 | 6篇 |
1999年 | 3篇 |
1998年 | 5篇 |
1997年 | 8篇 |
1996年 | 2篇 |
1995年 | 4篇 |
1994年 | 3篇 |
1993年 | 3篇 |
1988年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1981年 | 1篇 |
1967年 | 1篇 |
排序方式: 共有304条查询结果,搜索用时 15 毫秒
271.
This paper presents the geometrically nonlinear analysis of the slack and taut cable structures considering the material inelasticity subjected to self-weight, pretension, and external loads. The finite element procedure is briefly summarized using the Lagrangian formulation associated with isoparametric interpolation polynomials and the Newton–Raphson iterative scheme with incremental load. The simple and efficient method to determine the initial equilibrium state of the slack cable systems under self-weight as well as support motions is presented using the penalty method. The numerical algorithm to evaluate the tangent modulus of elasticity of cable is presented based on the iterative scheme. The accuracy and reliability of the present study are verified by comparing the predictions with those generated by well-reported slack and taut cable structure problems. The effect of the yielding of cable segments on displacements and stresses of cable structures is investigated. 相似文献
272.
Thai B. Healey G. 《IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics》2000,30(4):610-616
Color textures contain a large amount of spectral and spatial structure that can be exploited for recognition. Recent work has demonstrated that spatial filters offer a convenient means of extracting illumination-invariant spatial information from a color image. In this paper, we address the problem of deriving optimal filters for illumination-invariant color texture discrimination. Color textures are represented by a set of illumination-invariant features that characterize the color distribution of a filtered image region. Similar features have been used in previous studies. Given a pair of color textures, we derive a spatial filter that maximizes the distance between these textures in feature space. We provide a method for using the pairwise result to obtain a filter that maximizes discriminability among multiple classes. A set of experiments on a database of deterministic and random color textures obtained under different illumination conditions demonstrates the improved discriminatory power achieved by using an optimized filter. 相似文献
273.
This paper introduces four classes of rotation-invariant orthogonal moments by generalizing four existing moments that use harmonic functions in their radial kernels. Members of these classes share beneficial properties for image representation and pattern recognition like orthogonality and rotation-invariance. The kernel sets of these generic harmonic function-based moments are complete in the Hilbert space of square-integrable continuous complex-valued functions. Due to their resemble definition, the computation of these kernels maintains the simplicity and numerical stability of existing harmonic function-based moments. In addition, each member of one of these classes has distinctive properties that depend on the value of a parameter, making it more suitable for some particular applications. Comparison with existing orthogonal moments defined based on Jacobi polynomials and eigenfunctions has been carried out and experimental results show the effectiveness of these classes of moments in terms of representation capability and discrimination power. 相似文献
274.
Simon?Hudon Thai?Son?HoangEmail author Jonathan?S.?Ostroff 《Software and Systems Modeling》2016,15(4):1091-1116
We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems, satisfying safety and liveness properties. The method features the novel notion of coarse and fine schedules, a generalisation of weak and strong fairness for specifying events’ scheduling assumptions. Based on events schedules, we propose proof rules to reason about progress properties and a refinement order preserving both liveness and safety properties. We illustrate our approach by an example to show that systems development can be driven by not only safety but also liveness requirements. 相似文献
275.
We introduce a heuristic that is based on a unique genetic algorithm (GA) to solve the resource-sharing and scheduling problem (RSSP). This problem was previously formulated as a continuous-time mixed integer linear programming model and was solved optimally using a branch-and-bound (B&B) algorithm. The RSSP considers the use of a set of resources for the production of several products. Producing each product requires a set of operations with precedence relationships among them. Each operation can be performed using alternative modes which define the subset of the resources needed, and an operation may share different resources simultaneously. The problem is to select a single mode for each operation and accordingly to schedule the resources, while minimizing the makespan time. The GA we propose is based on a new encoding schema that adopts the structure of a DNA in nature. In our experiments we compared the effectiveness and runtime of our GA versus a B&B algorithm and two truncated B&B algorithms that we developed on a set of 118 problem instances. The results demonstrate that the GA solved all the problems (10 runs each), and reaches optimality in 75% of the runs, had an average deviation of less than 1% from the optimal makespan, and a runtime that was much less sensitive to the size of the problem instance. 相似文献
276.
Thai Son Hoang 《Formal Aspects of Computing》2013,25(1):59-87
The Shadow semantics is a qualitative model for noninterference security for sequential programs. In this paper, we first extend the Shadow semantics to Event-B, to reason about discrete transition systems with noninterference security properties. In particular, we investigate how these security properties can be specified and proved as machine invariants. Next we highlight the role of security invariants during refinement and identify some common patterns in specifying them. Finally, we propose a practical extension to the supporting Rodin platform of Event-B, with the possibility of having some properties to be invariants-by-construction. 相似文献
277.
Local Effects on Airway Inflammation and Systemic Uptake of 5 nm PEGylated and Citrated Gold Nanoparticles in Asthmatic Mice 下载免费PDF全文
Albert J. Omlor Duc D. Le Janine Schlicker Matthias Hannig Raphael Ewen Sebastian Heck Christian Herr Annette Kraegeloh Christina Hein Ralf Kautenburger Guido Kickelbick Robert Bals Juliane Nguyen Q. Thai Dinh 《Small (Weinheim an der Bergstrasse, Germany)》2017,13(10)
Nanotechnology is showing promise in many medical applications such as drug delivery and hyperthermia. Nanoparticles administered to the respiratory tract cause local reactions and cross the blood–air barrier, thereby providing a means for easy systemic administration but also a potential source of toxicity. Little is known about how these effects are influenced by preexisting airway diseases such as asthma. Here, BALB/c mice are treated according to the ovalbumin (OVA) asthma protocol to promote allergic airway inflammation. Dispersions of polyethylene‐glycol‐coated (PEGylated) and citrate/tannic‐acid‐coated (citrated) 5 nm gold nanoparticles are applied intranasally to asthma and control groups, and (i) airway resistance and (ii) local tissue effects are measured as primary endpoints. Further, nanoparticle uptake into extrapulmonary organs is quantified by inductively coupled plasma mass spectrometry. The asthmatic precondition increases nanoparticle uptake. Moreover, systemic uptake is higher for PEGylated gold nanoparticles compared to citrated nanoparticles. Nanoparticles inhibit both inflammatory infiltrates and airway hyperreactivity, especially citrated gold nanoparticles. Although the antiinflammatory effects of gold nanoparticles might be of therapeutic benefit, systemic uptake and consequent adverse effects must be considered when designing and testing nanoparticle‐based asthma therapies. 相似文献
278.
General non-linear functional differential equations are considered. New explicit criteria for the exponential stability are presented. The stability criteria given in this paper include many existing results as particular cases. In particular, they unify, generalise and improve some ones published recently in [Ngoc, P. H. A. (2012). On exponential stability of non-linear differential systems with time-varying delay. Applied Mathematics Letters, 25(9), 1208–1213 and Ngoc, P. H. A. (2013b). Novel criteria for exponential stability of functional differential equations. Proceedings of the American Mathematical Society, 141(9), 3083–3091]. Two examples are given to show the effectiveness and advantage of the obtained results. 相似文献
279.
Yuanbing Mao Thai Tran Xia Guo Jian Y. Huang C. Ken Shih Kang L. Wang Jane P. Chang 《Advanced functional materials》2009,19(5):748-754
In this paper, the luminescence, including photoluminescence, upconversion and cathodoluminescence, from single‐crystalline erbium‐doped yttria nanoparticles with an average diameter of 80 nm, synthesized by a molten salt method, is reported. Outstanding luminescent properties, including sharp and well‐resolved photoluminescent lines in the infrared region, outstanding green and red upconversion emissions, and excellent cathodoluminescence, are observed from the nanocrystalline erbium‐doped yttria. Moreover, annealing by the high power laser results in a relatively large increase in photoluminescent emission intensity without causing spectral line shift. These desirable properties make these nanocrystals promising for applications in display, bioanalysis and telecommunications. 相似文献
280.