首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   124篇
  免费   6篇
  国内免费   1篇
化学工业   56篇
金属工艺   2篇
机械仪表   2篇
建筑科学   2篇
无线电   3篇
一般工业技术   30篇
冶金工业   4篇
原子能技术   5篇
自动化技术   27篇
  2022年   4篇
  2021年   3篇
  2020年   2篇
  2019年   1篇
  2018年   5篇
  2017年   7篇
  2016年   5篇
  2015年   3篇
  2014年   4篇
  2013年   8篇
  2012年   8篇
  2011年   9篇
  2010年   7篇
  2009年   2篇
  2008年   6篇
  2007年   5篇
  2006年   8篇
  2005年   5篇
  2004年   4篇
  2003年   1篇
  2002年   2篇
  2001年   4篇
  1999年   1篇
  1998年   4篇
  1996年   4篇
  1995年   5篇
  1994年   4篇
  1993年   1篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
  1989年   1篇
  1987年   1篇
  1986年   2篇
  1984年   1篇
  1980年   1篇
排序方式: 共有131条查询结果,搜索用时 15 毫秒
1.
Flexible conductive polymer composites were prepared using styrene–butadiene rubber (SBR) as a matrix and conductive carbon black as filler. The filler loading was varied from 10 to 60 phr. The effect of frequency, filler loading, temperature, and applied pressure on the AC conductivity, permittivity, and loss factor of the composites was studied. The AC conductivity of low and high loaded composites was found to be frequency dependent and independent respectively. The permittivity and the loss factor were continuously decreasing with increasing frequency. The increase in filler loading increased the AC conductivity, dielectric constant, and loss factor of the composites. Increase in temperature imposed increase in conductivity and permittivity of the composites. With increasing applied pressure the properties showed exponential increase. The effect of time under a constant compressive stress was studied and dielectric relaxation times were evaluated. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 104: 986–995, 2007  相似文献   
2.

In incremental software development (ISD) functionalities are delivered incrementally and requirements keep on evolving across iterations. The requirements evolution involves the addition of new dependencies and conflicts among functional and non-functional requirements along with changes in priorities and dependency weights. This, in turn, demands refactoring the order of development of system components to minimize the impact of these changes. Neglecting the non-functional constraints in the software development process exposes it to risks that may accumulate across several iterations. In this research work, we propose a risk management framework for ISD processes that provides an estimate of risk exposure for the project when functional features are frozen while ignoring the associations with non-functional requirements. Our framework proposes suitable risk reduction strategies that work in tandem with the risk assessment module. We also provide a tool interface for our risk management framework.

  相似文献   
3.
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniques for checking correctness of software upgrades: (1) a technique based on simultaneous use of over-and under-approximations obtained via existential and universal abstractions; (2) a dynamic assume-guarantee reasoning algorithm—previously generated component assumptions are reused and altered on-the-fly to prove or disprove the global safety properties on the updated system. When upgrades are found to be non-substitutable, our solution generates constructive feedback to developers showing how to improve the components. The substitutability approach has been implemented and validated in the ComFoRT reasoning framework, and we report encouraging results on an industrial benchmark. This is an extended version of a paper, Dynamic Component Substitutability Analysis, published in the Proceedings of the Formal Methods 2005 Conference, Lecture Notes in Computer Science, vol. 3582, by the same authors. This research was sponsored by the National Science Foundation under grant nos. CNS-0411152, CCF-0429120, CCR-0121547, and CCR-0098072, the Semiconductor Research Corporation under grant no. TJ-1366, the US Army Research Office under grant no. DAAD19-01-1-0485, the Office of Naval Research under grant no. N00014-01-1-0796, the ICAST project and the Predictable Assembly from Certifiable Components (PACC) initiative at the Software Engineering Institute, Carnegie Mellon University. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, the US government or any other entity.  相似文献   
4.
This paper aims towards designing a new token-based mutual exclusion algorithm for distributed systems. In some of the earlier work, token based algorithms for mutual exclusion are proposed for the distributed environment assuming inverted tree topology. In a wireless setup, such a stable, hierarchical topology is quite unrealistic due to frequent link failures. The proposed token-based algorithm works for processes with assigned priorities on any directed graph topology with or without cycles. The proposed algorithm, in spite of considering priorities of processes, ensures liveness in terms of token requests from low priority processes. Moreover, the algorithm keeps control message traffic reasonably low. The simulation results exhibit the performance of the proposed algorithm under varied contexts besides presenting a comparative performance with other recent algorithms for mutual exclusion like FAPP (Fairness Algorithm for Priority Process).  相似文献   
5.
Standard laboratory ageing methods of bitumen only take into account the effect of thermo-oxidation during the service life of a pavement but the effect of high energy cosmic radiation on site is not simulated in these procedures. The aim of the present work is to compare the laboratory simulated short term bitumen ageing (rolling thin film oven test) with ageing produced by short exposures of bitumen samples to Ultra Violet and gamma radiation. The influence of ageing agents on the thermal properties and rheological performance of the pristine and modified bitumen binders has been evaluated in this study. The thermal behavior of various aged bitumens is characterized by both isothermal as well as non-isothermal thermogravimetric analysis. The thermoanalytic investigations on bituminous samples are carried out to evaluate the thermal stabilities and activation energies of the binders and the life time prediction of the materials is made with the help of the kinetic information. It is found that modified bituminous binders are more resistant to heat and radiation. Different rheological tests are conducted by dynamic shear rheometer to examine the effect of ageing in terms of bitumen oxidation and polymer phase degradation which has a major consequence on high temperature rutting or low temperature cracking. Type of modifier is found to be of decisive importance. Creep and recovery tests show that the structure-time dependency of pristine aged bitumen is influenced much by stress and temperature than in the case of modified aged bitumens. The study has revealed that the elastomeric modifier protects the bituminous binder more than plastic modifier or nano filler. Finally, a fair correlation has been made between standard RTFO ageing and radiation aging.  相似文献   
6.
The thermal analysis of the chemical vapor transport (CVT)-grown \(\hbox {CuInSe}_{2}\) single crystals was carried out by recording the thermogravimetric, differential thermogravimetric and differential thermal analysis curves. All the three thermo-curves were recorded simultaneously by thermal analyzer in the temperature range of ambient to 1080 K in inert nitrogen atmosphere. The thermo-curves were recorded for four heating rates of 5 K \(\cdot \,\hbox {min}^{-1}\), 10 K \(\cdot \,\hbox {min}^{-1}\), 15 K \(\cdot \,\hbox {min}^{-1}\) and 20 K \(\cdot \,\hbox {min}^{-1}\). The TG curve analysis showed negligible mass loss in the temperature range of ambient to 600 K, stating the sample material to be thermally stable in this temperature range. Above 601 K to the temperature of 1080 K, the sample showed continuous mass loss. The DTG curves showed two peaks in the temperature range of 601 K to 1080 K. The corresponding DTA showed initial minor exothermic nature followed by endothermic nature up to nearly 750 K and above it showed exothermic nature. The initial exothermic nature is due to absorbed water converting to water vapor, whereas the endothermic nature states the absorption of heat by the sample up to nearly 950 K. Above nearly 950 K the exothermic nature is due to the decomposition of sample material. The absorption of heat in the endothermic region is substantiated by corresponding weight loss in TG. The thermal kinetic parameters of the CVT-grown \(\hbox {CuInSe}_{2}\) single crystals were determined employing the non-mechanistic Kissinger relation. The determined kinetic parameters support the observations of the thermo-curves.  相似文献   
7.
BACKGROUND: The technical properties of polyolefinic thermoplastic elastomer (TPE) systems can be modified significantly using fillers like nano‐silica. Controlled irradiation can potentially be an effective way of tailoring the technical properties of such nano‐silica‐filled TPE systems. RESULTS: The effect of controlled electron‐beam irradiation on the properties of a pristine silica nanoparticle‐filled model low‐density polyethylene/ethylene–(vinyl acetate) (LDPE/EVA) TPE system is explored in this paper. The morphology of such a filled system was investigated using scanning electron microscopy (SEM) and field‐emission SEM. The dispersion of silica particles was analysed using transmission electron microscopy which clearly indicates that at low loading a fine dispersion of silica occurs in the polymer matrix. Swelling studies and Fourier transform infrared analyses indicate the occurrence of a favourable EVA–silica interaction. On the whole, it is observed that electron‐beam irradiation induces a high degree of reinforcement in all the silica‐filled samples through interfacial crosslinking as well as controlled crosslinking in the two polymer phases. In a few samples the processing characteristics are remarkably preserved following concurrent nano‐silica reinforcement and irradiation, while the technical properties of TPE systems, including set, solvent swelling and mechanical properties, are improved. However, the improvement in properties is a strong function of sequence of addition of filler in the LDPE/EVA blends. CONCLUSION: The green technique studied can be potentially extended for the improvement of the technical properties of conventional TPE systems. Copyright © 2009 Society of Chemical Industry  相似文献   
8.
We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and allows us to express many properties of software in a concise and intuitive manner. We show how standard automata-theoretic LTL model checking algorithms can be ported to our framework at no extra cost, enabling us to directly benefit from the large body of research on efficient LTL verification. We also present an algorithm to detect deadlocks in concurrent message-passing programs. Deadlock- freedom is not only an important and desirable property in its own right, but is also a prerequisite for the soundness of our model checking algorithm. Even though deadlock is inherently non-compositional and is not preserved by classical abstractions, our iterative algorithm employs both (non-standard) abstractions and compositional reasoning to alleviate the state-space explosion problem. The resulting framework differs in key respects from other instances of the counterexample-guided abstraction refinement paradigm found in the literature. We have implemented this work in the magic verification tool for concurrent C programs and performed tests on a broad set of benchmarks. Our experiments show that this new approach not only eases the writing of specifications, but also yields important gains both in space and in time during verification. In certain cases, we even encountered specifications that could not be verified using traditional pure event-based or state-based approaches, but became tractable within our state/event framework. We also recorded substantial reductions in time and memory consumption when performing deadlock-freedom checks with our new abstractions. Finally, we report two bugs (including a deadlock) in the source code of Micro-C/OS versions 2.0 and 2.7, which we discovered during our experiments. This research was sponsored by the National Science Foundation (NSF) under grants no. CCR-9803774 and CCR-0121547, the Office of Naval Research (ONR) and the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, the Army Research Office (ARO) under contract no. DAAD19-01-1-0485, and was conducted as part of the Predictable Assembly from Certifiable Components (PACC) project at the Software Engineering Institute (SEI). This article combines and builds upon the papers (CCO+04) and (CCOS04). Received December 2004 Revised July 2005 Accepted July 2005 by Eerke A. Boiten, John Derrick, Graeme Smith and Ian Hayes  相似文献   
9.
This paper proposes a new method for image binarization that uses an iterative partitioning approach. The proposed method has been tested towards binarization of both document and graphic images. The quantitative comparisons with other standard methods reveal that the proposed approach outperforms existing widely used binarization techniques in terms of accuracy of binarization. The experimental results further establish the superiority of the proposed method, especially for degraded documents and graphic images. The proposed algorithm is suitable for a multi-core processing environment as it can be split into multiple parallel units of executions after the initial partitioning.  相似文献   
10.
The pristine nanosilica particles were melt‐blended with a model low‐density polyethylene–ethylene vinyl acetate thermoplastic elastomers (TPE) system by varying the sequence of addition and nanosilica contents. Bis‐[3‐(triethoxysilyl)propyl] tetrasulfide (Si‐69) was used to improve the state of dispersion of nanosilica particles in one of the compositions. The dielectric properties of the TPE systems are influenced remarkably by loadings of silica, variation of sequence of addition of ingredients during mixing, addition of Si‐69, and controlled electron beam irradiation. The effects of interfacial and orientation polarization on the permittivity and the loss tangent were studied by dielectric analyses. These were correlated with the structures of various nanocomposites. An attempt has also been made to support the dielectric results by volume resistivity measurements, measurements of breakdown voltage, and swelling–deswelling kinetic results. POLYM. ENG. SCI., 2010. © 2009 Society of Plastics Engineers  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号