首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   78967篇
  免费   7651篇
  国内免费   6535篇
电工技术   4021篇
技术理论   11篇
综合类   8120篇
化学工业   6190篇
金属工艺   2056篇
机械仪表   4998篇
建筑科学   6656篇
矿业工程   1757篇
能源动力   2381篇
轻工业   1629篇
水利工程   1802篇
石油天然气   1562篇
武器工业   878篇
无线电   8109篇
一般工业技术   7536篇
冶金工业   3586篇
原子能技术   724篇
自动化技术   31137篇
  2024年   294篇
  2023年   1377篇
  2022年   2065篇
  2021年   2503篇
  2020年   2469篇
  2019年   2308篇
  2018年   2240篇
  2017年   2400篇
  2016年   2894篇
  2015年   2968篇
  2014年   4760篇
  2013年   5120篇
  2012年   4870篇
  2011年   6099篇
  2010年   4566篇
  2009年   4465篇
  2008年   4756篇
  2007年   5244篇
  2006年   4813篇
  2005年   4261篇
  2004年   3570篇
  2003年   3225篇
  2002年   2663篇
  2001年   2199篇
  2000年   1832篇
  1999年   1580篇
  1998年   1212篇
  1997年   1036篇
  1996年   821篇
  1995年   764篇
  1994年   587篇
  1993年   479篇
  1992年   445篇
  1991年   307篇
  1990年   274篇
  1989年   295篇
  1988年   233篇
  1987年   109篇
  1986年   138篇
  1985年   113篇
  1984年   111篇
  1983年   81篇
  1982年   82篇
  1981年   52篇
  1980年   45篇
  1979年   45篇
  1978年   32篇
  1977年   29篇
  1964年   34篇
  1955年   43篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
2.
ContextEnterprise software systems (e.g., enterprise resource planning software) are often deployed in different contexts (e.g., different organizations or different business units or branches of one organization). However, even though organizations, business units or branches have the same or similar business goals, they may differ in how they achieve these goals. Thus, many enterprise software systems are subject to variability and adapted depending on the context in which they are used.ObjectiveOur goal is to provide a snapshot of variability in large scale enterprise software systems. We aim at understanding the types of variability that occur in large industrial enterprise software systems. Furthermore, we aim at identifying how variability is handled in such systems.MethodWe performed an exploratory case study in two large software organizations, involving two large enterprise software systems. Data were collected through interviews and document analysis. Data were analyzed following a grounded theory approach.ResultsWe identified seven types of variability (e.g., functionality, infrastructure) and eight mechanisms to handle variability (e.g., add-ons, code switches).ConclusionsWe provide generic types for classifying variability in enterprise software systems, and reusable mechanisms for handling such variability. Some variability types and handling mechanisms for enterprise software systems found in the real world extend existing concepts and theories. Others confirm findings from previous research literature on variability in software in general and are therefore not specific to enterprise software systems. Our findings also offer a theoretical foundation for describing variability handling in practice. Future work needs to provide more evaluations of the theoretical foundations, and refine variability handling mechanisms into more detailed practices.  相似文献   
3.
As suggested by the uncanny valley hypothesis, robots that resemble humans likely elicit feelings of eeriness. Based on the psychological model of meaning maintenance, we expected that the uncanny valley experience could be mitigated through a fictional story, due to the meaning-generating function of narratives. A field experiment was conducted, in which 75 participants interacted with the humanlike robot Telenoid. Prior to the interaction, they either read a short story, a non-narrative leaflet about the robot, or they received no preliminary information. Eeriness ratings were significantly lower in the science fiction condition than in both other conditions. This effect was mediated by higher perceived human-likeness of the robot. Our findings suggest that science fiction may provide meaning for otherwise unsettling future technologies.  相似文献   
4.
Specialized varieties of sugar beets (Beta vulgaris L.) may be an eligible feedstock for advanced biofuel designation under the USA Energy Independence and Security Act of 2007. These non-food industrial beets could double ethanol production per hectare compared to alternative feedstocks. A mixed-integer mathematical programming model was constructed to determine the breakeven price of ethanol produced from industrial beets, and to determine the optimal size and biorefinery location. The model, based on limited field data, evaluates Southern Plains beet production in a 3-year crop rotation, and beet harvest, transportation, and processing. The optimal strategy depends critically on several assumptions including a just-in-time harvest and delivery system that remains to be tested in field trials. Based on a wet beet to ethanol conversion rate of 110 dm3 Mg−1 and capital cost of 128 M$ for a 152 dam3 y−1 biorefinery, the estimated breakeven ethanol price was 507 $ m−3. The average breakeven production cost of corn (Zea mays L.) grain ethanol ranged from 430 to 552 $ m−3 based on average net corn feedstock cost of 254 and 396 $ m−3 in 2014 and 2013, respectively. The estimated net beet ethanol delivered cost of 207 $ m−3 was lower than the average net corn feedstock cost of 254–396$ m−3 in 2013 and 2014. If for a mature industry, the cost to process beets was equal to the cost to process corn, the beet breakeven ethanol price would be $387 m-3 (587 $ m−3 gasoline equivalent).  相似文献   
5.
This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.  相似文献   
6.
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC+). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC+ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC+ model into an ARCTL model and CTLKC+ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC+ to another logic of action called GCTL1, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.  相似文献   
7.
Social media-based screening is a well-known practice to both recruiters and job seekers. Little is known, however, about how job seekers present themselves on social media, i.e. ‘self-disclosure’, for employment purposes. This study builds on the theories of hyperpersonal computer-mediated communication, self-efficacy and social exchange to examine job seekers’ professional online image concerns, social media self-efficacy, and perceptions of social media effectiveness in the job search as predictors of inappropriate and career-oriented self-disclosures on these media. Findings from a sample of 3374 Italian respondents showed that career-oriented self-disclosure was predicted by all three factors, whereas inappropriate self-disclosure was only predicted by social media self-efficacy. Furthermore, the relationship between professional online image concerns and inappropriate self-disclosure was moderated by age, education and work experience, but not by gender. Theoretical and practical implications are discussed, and directions for future research are suggested.  相似文献   
8.
Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.  相似文献   
9.
ABSTRACT

The concept of digital game-based learning (DGBL) evolves rapidly together with technological enhancements of virtual reality (VR) and smart phones. However, the mental workload (MWL) that VR-training applications demand and motivational qualities originating from user experience (UX) should be identified in order to create effective and enjoyable training/learning challenges that fit with individual users’ capabilities. This study examined the effects of reality-based interaction (RBI) and VR on measures of student motivation and MWL, in a mental arithmetic game for secondary school pupils. In a randomised controlled trial with sixty school children, a mental arithmetic game was tested with three different interaction and two different presentation methods – VR RBI, VR head-mounted-display tapping and tablet flick-gesture. Results found a significant effect of RBI on MWL but no differences in enjoyment of training were found between VR-experience and tablet training-experience. In fact, adding the gaming-context to the mental arithmetic task created an enjoyable, motivating experience regardless of presentation or interaction-style.  相似文献   
10.
《Planning》2015,(3)
为了培养青年医师运用医学科普语言传播医学知识的能力,向社会提供更优质、可及的健康知识,改善医患关系,促进社会和谐;同时出于向社区、媒体推送一批优秀青年医学科普人才的考虑,本文在总结北京协和医院培养青年医务人员医学科普能力经验的基础上,尝试构建一套适合大型公立医院(尤其是教学医院)培养青年医务人员医学科普能力的新模式——“科普训练营”。本文旨在系统介绍该模式的产生背景、实践经验及初期效果,阐释实施后的重要意义,及实施过程中的挑战与应对策略。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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