全文获取类型
收费全文 | 5524篇 |
免费 | 435篇 |
国内免费 | 112篇 |
专业分类
电工技术 | 244篇 |
综合类 | 202篇 |
化学工业 | 945篇 |
金属工艺 | 196篇 |
机械仪表 | 181篇 |
建筑科学 | 345篇 |
矿业工程 | 53篇 |
能源动力 | 301篇 |
轻工业 | 452篇 |
水利工程 | 96篇 |
石油天然气 | 176篇 |
武器工业 | 4篇 |
无线电 | 635篇 |
一般工业技术 | 810篇 |
冶金工业 | 359篇 |
原子能技术 | 20篇 |
自动化技术 | 1052篇 |
出版年
2024年 | 17篇 |
2023年 | 93篇 |
2022年 | 167篇 |
2021年 | 218篇 |
2020年 | 172篇 |
2019年 | 172篇 |
2018年 | 216篇 |
2017年 | 200篇 |
2016年 | 235篇 |
2015年 | 213篇 |
2014年 | 229篇 |
2013年 | 424篇 |
2012年 | 328篇 |
2011年 | 417篇 |
2010年 | 340篇 |
2009年 | 337篇 |
2008年 | 279篇 |
2007年 | 236篇 |
2006年 | 234篇 |
2005年 | 186篇 |
2004年 | 126篇 |
2003年 | 145篇 |
2002年 | 193篇 |
2001年 | 140篇 |
2000年 | 103篇 |
1999年 | 59篇 |
1998年 | 88篇 |
1997年 | 65篇 |
1996年 | 55篇 |
1995年 | 58篇 |
1994年 | 50篇 |
1993年 | 37篇 |
1992年 | 21篇 |
1991年 | 8篇 |
1990年 | 16篇 |
1989年 | 9篇 |
1988年 | 14篇 |
1987年 | 14篇 |
1986年 | 12篇 |
1985年 | 9篇 |
1984年 | 22篇 |
1983年 | 10篇 |
1982年 | 13篇 |
1981年 | 11篇 |
1980年 | 6篇 |
1979年 | 9篇 |
1978年 | 10篇 |
1977年 | 9篇 |
1976年 | 13篇 |
1975年 | 7篇 |
排序方式: 共有6071条查询结果,搜索用时 15 毫秒
41.
42.
43.
FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis 总被引:1,自引:0,他引:1
Neila Ben Lakhal Takashi Kobayashi Haruo Yokota 《The VLDB Journal The International Journal on Very Large Data Bases》2009,18(1):1-56
Interest in the Web services (WS) composition (WSC) paradigm is increasing tremendously. A real shift in distributed computing
history is expected to occur when the dream of implementing Service-Oriented Architecture (SOA) is realized. However, there
is a long way to go to achieve such an ambitious goal. In this paper, we support the idea that, when challenging the WSC issue,
the earlier that the inevitability of failures is recognized and proper failure-handling mechanisms are defined, from the
very early stage of the composite WS (CWS) specification, the greater are the chances of achieving a significant gain in dependability.
To formalize this vision, we present the FENECIA (Failure Endurable Nested-transaction based Execution of Composite Web services with Incorporated state Analysis) framework. Our framework approaches the WSC issue from different points of view to guarantee a high level of dependability.
In particular, it aims at being simultaneously a failure-handling-devoted CWS specification, execution, and quality of service
(QoS) assessment approach. In the first section of our framework, we focus on answering the need for a specification model
tailored for the WS architecture. To this end, we introduce WS-SAGAS, a new transaction model. WS-SAGAS introduces key concepts that are not part of the WS architecture pillars, namely, arbitrary nesting, state, vitality degree, and compensation, to specify failure-endurable CWS as a hierarchy of recursively nested transactions. In addition, to define the CWS execution
semantics, without suffering from the hindrance of an XML-based notation, we describe a textual notation that describes a
WSC in terms of definition rules, composability rules, and ordering rules, and we introduce graphical and formal notations. These rules provide the solid foundation needed to formulate the execution
semantics of a CWS in terms of execution correctness verification dependencies. To ensure dependable execution of the CWS, we present in the second section of FENECIA our architecture THROWS, in which the execution control of the resulting CWS is distributed among engines, discovered dynamically, that communicate
in a peer-to-peer fashion. A dependable execution is guaranteed in THROWS by keeping track of the execution progress of a
CWS and by enforcing forward and backward recovery. We concentrate in the third section of our approach on showing how the
failure consideration is trivial in acquiring more accurate CWS QoS estimations. We propose a model that assesses several
QoS properties of CWS, which are specified as WS-SAGAS transactions and executed in THROWS. We validate our proposal and show
its feasibility and broad applicability by describing an implemented prototype and a case study. 相似文献
44.
Mutation testing has traditionally been used as a defect injection technique to assess the effectiveness of a test suite as
represented by a “mutation score.” Recently, mutation testing tools have become more efficient, and industrial usage of mutation
analysis is experiencing growth. Mutation analysis entails adding or modifying test cases until the test suite is sufficient
to detect as many mutants as possible and the mutation score is satisfactory. The augmented test suite resulting from mutation
analysis may reveal latent faults and provides a stronger test suite to detect future errors which might be injected. Software
engineers often look for guidance on how to augment their test suite using information provided by line and/or branch coverage
tools. As the use of mutation analysis grows, software engineers will want to know how the emerging technique compares with
and/or complements coverage analysis for guiding the augmentation of an automated test suite. Additionally, software engineers
can benefit from an enhanced understanding of efficient mutation analysis techniques. To address these needs for additional
information about mutation analysis, we conducted an empirical study of the use of mutation analysis on two open source projects.
Our results indicate that a focused effort on increasing mutation score leads to a corresponding increase in line and branch
coverage to the point that line coverage, branch coverage and mutation score reach a maximum but leave some types of code
structures uncovered. Mutation analysis guides the creation of additional “common programmer error” tests beyond those written
to increase line and branch coverage. We also found that 74% of our chosen set of mutation operators is useful, on average,
for producing new tests. The remaining 26% of mutation operators did not produce new test cases because their mutants were
immediately detected by the initial test suite, indirectly detected by test suites we added to detect other mutants, or were
not able to be detected by any test.
Ben Smith is a second year Ph.D. student in Computer Science at North Carolina State University working as an RA under Dr. Laurie Williams. He received his Bachelor’s degree in Computer Science in May of 2007 and he hopes to receive his doctorate in 2012. He has begun work on developing SQL Coverage Metrics as a predictive measure of the security of a web application. This fall, he will be beginning the doctoral preliminary exam and working as a Testing Manager for the NCSU CSC Senior Design Center: North Carolina State’s capstone course for Computer Science. Finally, he has designed and maintained the websites for the Center for Open Software Engineering and ESEM 2009. Laurie Williams is an Associate Professor in the Computer Science Department of the College of Engineering at North Carolina State University. She leads the Software Engineering Reasearch group and is also the Director of the North Carolina State University Laboratory for Collaborative System Development and the Center for Open Software Engineering. She is also technical co-director of the Center for Open Software Engineering (COSE) and the area technical director of the Secure Open Systems Initiative (SOSI) at North Carolina State University. Laurie received her Ph.D. in Computer Science from the University of Utah, her MBA from Duke University, and her BS in Industrial Engineering from Lehigh University. She worked for IBM for nine years in Raleigh, NC before returning to academia. Laurie’s research interests include agile software development methodologies and practices, collaborative/pair programming, software reliability and testing, and software engineering for secure systems development. 相似文献
Laurie WilliamsEmail: |
Ben Smith is a second year Ph.D. student in Computer Science at North Carolina State University working as an RA under Dr. Laurie Williams. He received his Bachelor’s degree in Computer Science in May of 2007 and he hopes to receive his doctorate in 2012. He has begun work on developing SQL Coverage Metrics as a predictive measure of the security of a web application. This fall, he will be beginning the doctoral preliminary exam and working as a Testing Manager for the NCSU CSC Senior Design Center: North Carolina State’s capstone course for Computer Science. Finally, he has designed and maintained the websites for the Center for Open Software Engineering and ESEM 2009. Laurie Williams is an Associate Professor in the Computer Science Department of the College of Engineering at North Carolina State University. She leads the Software Engineering Reasearch group and is also the Director of the North Carolina State University Laboratory for Collaborative System Development and the Center for Open Software Engineering. She is also technical co-director of the Center for Open Software Engineering (COSE) and the area technical director of the Secure Open Systems Initiative (SOSI) at North Carolina State University. Laurie received her Ph.D. in Computer Science from the University of Utah, her MBA from Duke University, and her BS in Industrial Engineering from Lehigh University. She worked for IBM for nine years in Raleigh, NC before returning to academia. Laurie’s research interests include agile software development methodologies and practices, collaborative/pair programming, software reliability and testing, and software engineering for secure systems development. 相似文献
45.
This paper is concerned with the problem of boosting social annotations using propagation, which is also called social propagation. In particular, we focus on propagating social annotations of web pages (e.g., annotations in Del.icio.us). Social annotations
are novel resources and valuable in many web applications, including web search and browsing. Although they are developing
fast, social annotations of web pages cover only a small proportion (<0.1%) of the World Wide Web. To alleviate the low coverage
of annotations, a general propagation model based on Random Surfer is proposed. Specifically, four steps are included, namely
basic propagation, multiple-annotation propagation, multiple-link-type propagation, and constraint-guided propagation. The
model is evaluated on a dataset of 40,422 web pages randomly sampled from 100 most popular English sites and ten famous academic
sites. Each page’s annotations are obtained by querying the history interface of Del.icio.us. Experimental results show that
the proposed model is very effective in increasing the coverage of annotations while still preserving novel properties of
social annotations. Applications of propagated annotations on web search and classification further verify the effectiveness
of the model. 相似文献
46.
Lydie du Bousquet Masahide Nakamura Ben Yan Hiroshi Igaki 《Innovations in Systems and Software Engineering》2009,5(3):181-196
A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living
for home users. Before being deployed, one has to guarantee the correctness, the safety, and the security of the system. Here,
we present the approach chosen to validate the Java implementation of a home network system. We rely on the Java Modelling
Language to formally specify and validate an abstraction of the system.
This is a substantially revised version of our paper that appeared in the proceedings of the Workshop On Leveraging Applications
of Formal Methods, Verification and Validation (ISoLA), Poitiers-Futuroscope, France, December 2007. 相似文献
47.
Xiaohui Chen Niu Niu Dan Li Zicong Zhang Zeyan Zhuang Dingyuan Yan Jiangao Li Zujin Zhao Dong Wang Ben Zhong Tang 《Advanced functional materials》2023,33(8):2211571
Photoactivatable agent is a powerful tool in biomedicine studies due to high-precision spatiotemporal control of light. However, those previously reported agents generally suffer from short wavelength, fluorescence self-quenching effect, and the lack of photosensitizing property, which severely restrict their practical applications. To address these issues, molecular engineering of 1,4-dihydropyridine derivatives is conducted to obtain an optimized agent, namely TPA-DHPy-Py, which exhibits low oxidation potential, high photoactivation efficiency, and excellent type I/II combined photodynamic activity. Concurrently, its photoactivated counterpart is featured by aggregation-induced near-infrared emission and remarkable reactive oxygen species (ROS) production efficiency. Upon photoactivation, TPA-DHPy-Py is capable of precisely identifying cancer cells from co-culturing cancer cells and normal cells without the assistance of any extra targeting units, and in situ monitoring lipid droplets and endoplasmic reticulum alteration under ROS stress, as well as achieving fluorescent visualization of tumor in vivo with supremely high imaging contrast. Furthermore, the unprecedented performance on photodynamic cancer therapy is demonstrated by the significant inhibition of tumor growth. Therefore, the photoactivatable TPA-DHPy-Py with dual-organelle-targeted and excellent photodynamic activity associated with self-monitoring ability is highly promising for cancer theranostics in clinical trials. 相似文献
48.
Haitao Hu Dan Li Wenbin Dai Qiao Jin Dong Wang Jian Ji Ben Zhong Tang Zhe Tang 《Advanced functional materials》2023,33(19):2213134
Compared to conventional photothermal therapy (PTT) which requires hyperthermia higher than 50 °C, mild-temperature PTT is a more promising antitumor strategy with much lower phototoxicity to neighboring normal tissues. However, the therapeutic efficacy of mild-temperature PTT is always restricted by the thermoresistance of cancer cells. To address this issue, a supramolecular drug nanocarrier is fabricated to co-deliver nitric oxide (NO) and photothermal agent DCTBT with NIR-II aggregation-induced emission (AIE) characteristic for mild-temperature PTT. NO can be effectively released from the nanocarriers in intracellular reductive environment and DCTBT is capable of simultaneously producing reactive oxygen species (ROS) and hyperthermia upon 808 nm laser irradiation. The generated ROS can further react with NO to produce peroxynitrite (ONOOˉ) bearing strong oxidization and nitration capability. ONOOˉ can inhibit the expression of heat shock proteins (HSP) to reduce the thermoresistance of cancer cells, which is necessary to achieve excellent therapeutic efficacy of DCTBT-based PTT at mild temperature (<50 °C). The antitumor performance of ONOOˉ-potentiated mild-temperature PTT is validated on subcutaneous and orthotopic hepatocellular carcinoma (HCC) models. This research puts forward an innovative strategy to overcome thermoresistance for mild-temperature PTT, which provides new inspirations to explore ONOOˉ-sensitized tumor therapy strategies. 相似文献
49.
Singh Karamjeet Chebaane Saleh Ben Khalifa Sana Benabdallah Feres Ren Xiaobing Khemakhem Hamadi Grover Amit Singh Mehtab 《Wireless Networks》2022,28(3):1003-1016
Wireless Networks - Inter-satellite data transmission links are very crucial for providing global inter-connectivity. We report designing and investigations on high date rate inter-satellite... 相似文献
50.
Clustering divides objects into groups based on similarity. However, traditional clustering approaches are plagued by their difficulty in dealing with data with complex structure and high dimensionality, as well as their inability in solving multi-objective data clustering problems. To address these issues, an evolutionary state-based novel multi-objective periodic bacterial foraging optimization algorithm (ES-NMPBFO) is proposed in this article. The algorithm is designed to alleviate the high-computing complexity of the standard bacterial foraging optimization (BFO) algorithm by introducing periodic BFO. Moreover, two learning strategies, global best individual (gbest) and personal historical best individual (pbest), are used in the chemotaxis operation to enhance the convergence speed and guide the bacteria to the optimum position. Two elimination-dispersal operations are also proposed to prevent falling into local optima and improve the diversity of solutions. The proposed algorithm is compared with five other algorithms on six validity indexes in two data clustering cases comprising nine general benchmark datasets and four credit risk assessment datasets. The experimental results suggest that the proposed algorithm significantly outperforms the competing approaches. To further examine the effectiveness of the proposed strategies, two variants of ES-NMPBFO were designed, and all three forms of ES-NMPBFO were tested. The experimental results show that all of the proposed strategies are conducive to the improvement of solution quality, diversity and convergence. 相似文献