全文获取类型
收费全文 | 157篇 |
免费 | 11篇 |
专业分类
电工技术 | 1篇 |
综合类 | 1篇 |
化学工业 | 25篇 |
金属工艺 | 3篇 |
机械仪表 | 3篇 |
建筑科学 | 2篇 |
矿业工程 | 1篇 |
能源动力 | 10篇 |
轻工业 | 21篇 |
水利工程 | 6篇 |
石油天然气 | 4篇 |
无线电 | 14篇 |
一般工业技术 | 22篇 |
冶金工业 | 15篇 |
原子能技术 | 2篇 |
自动化技术 | 38篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2022年 | 2篇 |
2021年 | 6篇 |
2020年 | 3篇 |
2019年 | 6篇 |
2018年 | 3篇 |
2017年 | 7篇 |
2016年 | 10篇 |
2015年 | 6篇 |
2014年 | 4篇 |
2013年 | 14篇 |
2012年 | 7篇 |
2011年 | 16篇 |
2010年 | 7篇 |
2009年 | 6篇 |
2008年 | 4篇 |
2007年 | 8篇 |
2006年 | 3篇 |
2005年 | 4篇 |
2004年 | 6篇 |
2003年 | 1篇 |
2002年 | 2篇 |
2001年 | 2篇 |
2000年 | 1篇 |
1999年 | 1篇 |
1998年 | 9篇 |
1997年 | 3篇 |
1996年 | 2篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 2篇 |
1992年 | 1篇 |
1990年 | 3篇 |
1989年 | 1篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1978年 | 1篇 |
1977年 | 1篇 |
1972年 | 1篇 |
排序方式: 共有168条查询结果,搜索用时 890 毫秒
11.
SAT-Solving the Coverability Problem for Petri Nets 总被引:2,自引:0,他引:2
Parosh Aziz Abdulla S. Purushothaman Iyer Aletta Nylén 《Formal Methods in System Design》2004,24(1):25-43
Net unfoldings have attracted great attention as a powerful technique for combating state space explosion in model checking, and have been applied to verification of finite state systems including 1-safe (finite) Petri nets and synchronous products of finite transition systems. Given that net unfoldings represent the state space in a distributed, implicit manner the verification algorithm is necessarily a two step process: generation of the unfolding and reasoning about it. In his seminal work McMillan (K.L. McMillan, Symbolic Model Checking. Kluwer Academic Publishers, 1993) showed that deadlock detection on unfoldings of 1-safe Petri nets is NP-complete. Since the deadlock problem on Petri nets is PSPACE-hard it is generally accepted that the two step process will yield savings (in time and space) provided the unfoldings are small.In this paper we show how unfoldings can be extended to the context of infinite-state systems. More precisely, we show how unfoldings can be constructed to represent sets of backward reachable states of unbounded Petri nets in a symbolic fashion. Furthermore, based on unfoldings, we show how to solve the coverability problem for unbounded Petri nets using a SAT-solver. Our experiments show that the use of unfoldings, in spite of the two-step process for solving coverability, has better time and space characteristics compared to a traditional reachability based implementation that considers all interleavings for solving the coverability problem. 相似文献
12.
Performance of PAM/PEI gel system for water shut‐off in high temperature reservoirs: Laboratory study 下载免费PDF全文
Khalid S. M. ElKarsani Ghaithan A. Al‐Muntasheri Abdulla S. Sultan Ibnelwaleed A. Hussein 《应用聚合物科学杂志》2015,132(17)
A polymer gel is one of the common remediate methods to either reduce or totally block excessive water production in oilfields. Some systems demonstrated an excellent performance in treating the problem like polyacrylamide tert‐butyl acrylate (PAtBA)/polyethylenimine (PEI). In this study, polyacrylamide (PAM) was introduced as a cheap alternative to PAtBA that can tolerate high salinity reservoirs. The thermal stability of the PAM/PEI polymeric gel in saline water was examined at 150°C (302F). Samples prepared in sea water showed better stability compared with distilled and field water. Dynamic rheology and core‐flooding experiments were used to evaluate the PAM / PEI gel system at high temperatures. NaCl and NH4Cl were evaluated as a possible retarders for delaying the gelation time in order to achieve a successful placement. NH4Cl was found to be more effective retarder. Core‐flooding tests were conducted in sandstone and carbonate cores. The subject polymer gel was injected at rates typical of those in field applications. The injectivity of PAM/PEI was tested in Berea sandstone cores with initial permeability of ~45 mD. The post‐treatment of the system showed a permeability reduction of ~94% for a period of two weeks. The injectivity in low permeability carbonate cores required more retardation compared with the injectivity in sandstone cores. The gel reduced the permeability to brine in Indiana limestone core by 99.8% for more than 5 months. Rheology of cured gel samples indicated that the gel strength needs about one day of curing in the core for the strength to stabilize. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 41869. 相似文献
13.
Amin ZA Abdulla MA Ali HM Alshawsh MA Qadir SW 《Journal of the science of food and agriculture》2012,92(9):1874-1877
BACKGROUND: Recently much attention has been paid to biologically active plants because of their low production cost and fewer adverse effects compared with chemical drugs. In the present investigation the bioactivity of Phyllanthus niruri ethanol and aqueous extracts was evaluated in vitro. RESULTS: The ethanol extract of P. niruri showed a high level of flavonoid content (123.9 ± 0.002 mg g?1), while the aqueous extract showed the highest 2,2‐diphenyl‐1‐picrylhydrazyl (DPPH; IC506.85 ± 1.80 µmol L?1) and 2,2′‐azino‐bis(3‐ethylbenzothiazoline‐6‐sulfonic acid) (ABTS; 46.44 ± 0.53 µmol L?1) free radical scavenging activities with high phenol content (376 ± 0.02 mg g?1) and elevated levels of ferric reducing antioxidant power (FRAP; 23 883 ± 0.019 mmol g?1) with excellent antibacterial activity against Staphylococcus aureus (20 mm inhibition zone) and Streptococcus agalactiae (12 mm inhibition zone), respectively, in addition to the best immune activation potential of human peripheral blood mononuclear cells (450.5%). CONCLUSIONS: It is clear from our results that both extracts of P. niruri has excellent bioactivity roles via elevated levels of antibacterial, antioxidant and percentage of peripheral blood mononuclear cell proliferation, which could lead to the development of medications for clinical use. Copyright © 2012 Society of Chemical Industry 相似文献
14.
Hani Abu Qdais Atallah Rabi Fayez Abdulla 《Clean Technologies and Environmental Policy》2007,9(2):147-152
Recently, Jordan has witnessed increased amounts of medical waste generated at different healthcare facilities. This has resulted
in issuance of Medical Waste Regulation that aimed at regulating the management processes of such hazardous waste. To provide
information on medical waste generation rates, composition and statistical characteristics, a comprehensive sampling survey
was initiated after a regulatory definition of the medical waste was established. Hospitals from Public, private and educational
categories were covered by the survey. This paper presents the findings of the survey. The average generation rates ranged
from 0.29 to 1.36 kg/bed/day, while in terms of patient numbers it is from 0.36 to 0.87 kg/patient/day. The total daily amount
of medical waste generated at the Jordanian hospitals was estimated to be 6 tones/day. The daily amounts of medical waste
generated at King Abdullah University Hospital were found to follow a log normal probability distribution. Physical composition
analysis of the medical waste, which conducted based on the categories identified by the Jordanian Regulation, indicated that
the infectious waste category is the highest, followed by sharps category and finally pathological, cytotoxic and pharmaceutical
categories were the lowest. The study concluded that all hospitals covered by the survey are practicing segregation of hazardous
medical waste from general medical waste. However, the segregation process in some hospitals is still inefficient and there
is a potential for improvements toward minimizing the hazardous medical waste generation. 相似文献
15.
The addition of a plane reflector to a box-type solar cooker increases the obtained cooker temperature and this depends upon the efficient orientation of the cooker. In order to find out the effect of the cooker orientation on its performance, the present analysis is carried out. A method is outlined to find out a reflector performance factor and an orientation factor that depend upon the elevation angle of the sun, the solar surface azimuth angle and the reflector tilt angle. The analysis is applied to a cooker placed at Aden (Yemen). The results indicate that with proper cooker orientation the improvement in the performance of the cooker due to the reflector reached during winter is more than 100% at lower elevation angles and is more than 60% at higher elevation angles. It is concluded that with the help of the analysis the optimum position for any place, for any day of the year and for any specific time of the day can be found. 相似文献
16.
Subhadra Chaudhuri Abdulla Mondal Arun Kumar Pal 《Microscopy research and technique》1990,14(4):329-334
The microstructure and growth of ZnTe films deposited onto glass and freshly cleaved NaCl substrates are carefully studied by a TEM. Effect of different stimulator on the grain growth is also described. 相似文献
17.
Large‐scale fading (LSF) between interacting nodes is a fundamental element in radio communications, responsible for weakening the propagation, and thus worsening the service quality. Given the importance of channel‐losses in general, and the inevitability of random spatial geometry in real‐life wireless networks, it was then natural to merge these two paradigms together in order to obtain an improved stochastical model for the LSF indicator. Therefore, in exact closed‐form notation, we generically derived the LSF distribution between a prepositioned reference base‐station and an arbitrary node for a multi‐cellular random network model. In fact, we provided an explicit and definitive formulation that considered at once: the lattice profile, the users' random geometry, the effect of the far‐field phenomenon, the path‐loss behavior, and the stochastic impact of channel scatters. The veracity and accuracy of the theoretical analysis were also confirmed through Monte Carlo simulations. 相似文献
18.
Measurements were made of zinc levels in saliva, whole blood and plasma as well as copper levels in plasma by atomic absorption spectrophotometry. The mean zinc concentration (in ppm) was 0.478 (n = 136) in resting mixed saliva, 0.046 (n = 36) in parotid saliva, 6.41 (n = 145) in whole blood and 0.87 (n = 145) in plasma. The whole blood zinc levels were significantly lower in females than in males (P less than 0.001). Females and blood donors (males) had a significantly (P less than 0.001) higher Cu:Zn ratio than males (non-donors). It would thus appear, first, that the local effect of salivary zinc cannot be assessed simply from the concentration of zinc in stimulated parotid saliva since about nine-tenths of the zinc in resting mixed saliva is derived from other sources and, second, that the Cu:Zn in plasma is the most eligible variable for detecting sub-clinical Zn deficiency. 相似文献
19.
Delta-aminolevulinic acid dehydratase activity was measured in the blood of rats poisoned by successive injections of phenylhydrazine (1 ml, 35 mmol). After 5 days of successive injections, more than 90% of the circulating blood cells consisted of reticulocytes and the enzyme activity also increased successively and reached a maximum corresponding to the number of reticulocytes. Thus delta-aminolevulinic acid dehydratase activity measured in the peripheral blood is mainly due to the percentage of circulating reticulocytes. 相似文献
20.
Progressive Compression of 3D Mesh Geometry Using Sparse Approximations from Redundant Frame Dictionaries 下载免费PDF全文
In this paper, we present a new approach for the progressive compression of three‐dimensional (3D) mesh geometry using redundant frame dictionaries and sparse approximation techniques. We construct the proposed frames from redundant linear combinations of the eigenvectors of a combinatorial mesh Laplacian matrix. We achieve a sparse synthesis of the mesh geometry by selecting atoms from a frame using matching pursuit. Experimental results show that the resulting rate‐distortion performance compares favorably with other progressive mesh compression algorithms in the same category, even when a very simple, sub‐optimal encoding strategy is used for the transmitted data. The proposed frames also have the desirable property of being able to be applied directly to a manifold mesh having arbitrary topology and connectivity types; thus, no initial remeshing is required and the original mesh connectivity is preserved. 相似文献