首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2591篇
  免费   223篇
  国内免费   213篇
电工技术   176篇
综合类   204篇
化学工业   80篇
金属工艺   41篇
机械仪表   131篇
建筑科学   370篇
矿业工程   83篇
能源动力   28篇
轻工业   21篇
水利工程   53篇
石油天然气   41篇
武器工业   11篇
无线电   165篇
一般工业技术   78篇
冶金工业   85篇
原子能技术   2篇
自动化技术   1458篇
  2024年   3篇
  2023年   15篇
  2022年   42篇
  2021年   36篇
  2020年   52篇
  2019年   27篇
  2018年   40篇
  2017年   54篇
  2016年   53篇
  2015年   89篇
  2014年   153篇
  2013年   120篇
  2012年   165篇
  2011年   206篇
  2010年   174篇
  2009年   174篇
  2008年   198篇
  2007年   253篇
  2006年   219篇
  2005年   213篇
  2004年   138篇
  2003年   127篇
  2002年   123篇
  2001年   53篇
  2000年   67篇
  1999年   57篇
  1998年   43篇
  1997年   20篇
  1996年   22篇
  1995年   16篇
  1994年   15篇
  1993年   11篇
  1992年   11篇
  1990年   2篇
  1989年   5篇
  1988年   2篇
  1987年   4篇
  1986年   3篇
  1985年   1篇
  1984年   1篇
  1983年   3篇
  1982年   4篇
  1981年   3篇
  1980年   1篇
  1979年   3篇
  1976年   1篇
  1975年   1篇
  1974年   1篇
  1961年   1篇
  1959年   1篇
排序方式: 共有3027条查询结果,搜索用时 15 毫秒
1.
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.  相似文献   
2.
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.  相似文献   
3.
指纹考勤管理软件的研究与实现   总被引:2,自引:0,他引:2  
齐金平  孟建军  蒋兆远 《信息技术》2003,27(10):70-72,76
针对企、事业单位原有的考勤系统,如打卡钟、磁卡、IC卡等考勤方式存在代打卡、卡丢失等不足和缺陷的实际,结合指纹识别技术,建立一套考勤、薪资、人事管理于一体的软件系统。给出了系统的体系结构和功能实现,能使企业考勤管理更加简便快捷、客观公正。并提出了进一步的发展方向和展望。  相似文献   
4.
CRC计算方法的研究   总被引:6,自引:1,他引:5  
郭晶  朱辉 《计算机应用》1997,17(3):15-16
本文丛面地介绍了CRC的基本原理和计算方法,并给出了编程实例。  相似文献   
5.
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.  相似文献   
6.
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.  相似文献   
7.
张有德  崔岩 《河北冶金》2002,(4):32-35,43
高炉冷却壁的检漏及维护,是炼铁工作者十分关心的问题,本文针对邯钢高炉具体情况,探讨了高炉冷却壁漏水的原因,检漏方法,漏水冷却壁的维护及预防措施。  相似文献   
8.
门式脚手架在已建高层建筑外装修中的应用   总被引:1,自引:0,他引:1  
介绍门式脚手架在已建高层建筑外排栅中的整体搭设和应用实例。  相似文献   
9.
In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.  相似文献   
10.
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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