全文获取类型
收费全文 | 7759篇 |
免费 | 710篇 |
国内免费 | 616篇 |
学科分类
工业技术 | 9085篇 |
出版年
2024年 | 12篇 |
2023年 | 50篇 |
2022年 | 65篇 |
2021年 | 109篇 |
2020年 | 108篇 |
2019年 | 141篇 |
2018年 | 123篇 |
2017年 | 123篇 |
2016年 | 161篇 |
2015年 | 164篇 |
2014年 | 344篇 |
2013年 | 334篇 |
2012年 | 432篇 |
2011年 | 517篇 |
2010年 | 402篇 |
2009年 | 490篇 |
2008年 | 575篇 |
2007年 | 712篇 |
2006年 | 711篇 |
2005年 | 574篇 |
2004年 | 531篇 |
2003年 | 473篇 |
2002年 | 389篇 |
2001年 | 339篇 |
2000年 | 269篇 |
1999年 | 194篇 |
1998年 | 165篇 |
1997年 | 120篇 |
1996年 | 109篇 |
1995年 | 95篇 |
1994年 | 72篇 |
1993年 | 40篇 |
1992年 | 38篇 |
1991年 | 28篇 |
1990年 | 22篇 |
1989年 | 7篇 |
1988年 | 8篇 |
1987年 | 5篇 |
1986年 | 3篇 |
1985年 | 5篇 |
1984年 | 5篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1980年 | 7篇 |
1979年 | 4篇 |
1977年 | 3篇 |
1975年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有9085条查询结果,搜索用时 296 毫秒
1.
Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large dimensionality of such systems. To overcome this problem, a typical approach is to decompose the net into subnets and then control the plant through hierarchical or decentralized structures. Although this concept has been widely discussed in the literature for discrete PNs, there is a lack of research for HPNs. In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced. The advantage of using the proposed approach is validated by an existing example. A sugar milling case study is analysed by using a decomposed FOHPN model and the optimization results are compared against the results of the approaches presented in other papers. Simulation results show not only an improvement in production rate, but also show the ability to control the plant online. In addition, by using the hierarchical control structure for an FOHPN model, it is possible to reduce the cost of communication links, improve the reliability of the system, maintain the plant locally, and partially redesign the system. 相似文献
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.
Shouguang Wang Mengdi Gan Mengchu Zhou Dan You 《IEEE/CAA Journal of Automatica Sinica》2015,2(4):345-352
As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size. 相似文献
4.
The falling down problem has become one of the very important issues of global public health in an aging society. The specific equipment was adopted as the detection device of falling-down in the early studies, but it is inconvenient for the elderly and difficult for future application. The smart phone more commonly used than the specific fall detection equipment is selected as a mobile device for human fall detection, and a fall detection algorithm is developed for this purpose. What the user has to do is to put the smart phone in his/her thigh pocket for falling down detection. The signals detected by the tri-axial G-sensor are converted into signal vector magnitudes as the basis of detecting a human body in a stalling condition. The Z-axis data sets are captured for identification of human body inclination and the occurrence frequencies at the peak of the area of use are used as the input parameters. A high-level fuzzy Petri net is used for the analysis and the development of identifying human actions, including normal action, exercising, and falling down. The results of this study can be used in the relevant equipments or in the field of home nursing. 相似文献
5.
《电子技术与软件工程》2015,(1)
计算机网络实时性分析问题一直是国内外各知名院校、研究机构的研究重点之一。Petri网是一种可以描述系统动态行为特性的图形化建模工具,直观形象,易于学习和理解,便于使用。为此,在给出Petri网基本介绍的基础上,探讨了Petri网在计算机网络实时性分析中的应用价值。 相似文献
6.
运动会新闻发布系统的设计与实现 总被引:2,自引:0,他引:2
针对运动会比赛期间随时需要方便、快捷、高效地更新大量新闻的需求 ,研制和开发一套运动会新闻发布系统。利用微软最新推出的asp .net动态网页开发工具 ,采用web分布式三层设计模型设计实现了一套操作简单、功能完善、具有通用性的运动会新闻发布系统 相似文献
7.
Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification. 相似文献
8.
织金电视台通过对有线电视网络进行双向改造,为Internet宽带接入、数字电视、VOD等多媒体应用提供了运行平台,介绍织金县城区HFC双向网络设计方案。 相似文献
9.
林驹 《电信工程技术与标准化》2006,19(11):45-48
介绍了光缆接入网建设的重要性,然后重点介绍光缆接入网的建设原则,最后提出光缆线路保护方式、资源利用方法和要求. 相似文献
10.