全文获取类型
收费全文 | 73942篇 |
免费 | 5677篇 |
国内免费 | 2812篇 |
专业分类
电工技术 | 3915篇 |
技术理论 | 6篇 |
综合类 | 4465篇 |
化学工业 | 12872篇 |
金属工艺 | 4052篇 |
机械仪表 | 4842篇 |
建筑科学 | 5215篇 |
矿业工程 | 2421篇 |
能源动力 | 2252篇 |
轻工业 | 4810篇 |
水利工程 | 1012篇 |
石油天然气 | 5313篇 |
武器工业 | 465篇 |
无线电 | 7687篇 |
一般工业技术 | 9520篇 |
冶金工业 | 3983篇 |
原子能技术 | 761篇 |
自动化技术 | 8840篇 |
出版年
2024年 | 310篇 |
2023年 | 1281篇 |
2022年 | 2149篇 |
2021年 | 2952篇 |
2020年 | 2216篇 |
2019年 | 1984篇 |
2018年 | 2323篇 |
2017年 | 2528篇 |
2016年 | 2097篇 |
2015年 | 2734篇 |
2014年 | 3471篇 |
2013年 | 4259篇 |
2012年 | 4388篇 |
2011年 | 4909篇 |
2010年 | 4214篇 |
2009年 | 3979篇 |
2008年 | 3882篇 |
2007年 | 3739篇 |
2006年 | 3832篇 |
2005年 | 3457篇 |
2004年 | 2301篇 |
2003年 | 2094篇 |
2002年 | 1874篇 |
2001年 | 1649篇 |
2000年 | 1811篇 |
1999年 | 2063篇 |
1998年 | 1771篇 |
1997年 | 1430篇 |
1996年 | 1412篇 |
1995年 | 1192篇 |
1994年 | 959篇 |
1993年 | 719篇 |
1992年 | 549篇 |
1991年 | 434篇 |
1990年 | 341篇 |
1989年 | 259篇 |
1988年 | 227篇 |
1987年 | 146篇 |
1986年 | 123篇 |
1985年 | 97篇 |
1984年 | 67篇 |
1983年 | 41篇 |
1982年 | 42篇 |
1981年 | 31篇 |
1980年 | 25篇 |
1979年 | 13篇 |
1977年 | 7篇 |
1976年 | 8篇 |
1975年 | 5篇 |
1945年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
981.
Collaborative business process can become unreliable when business partners collaborate in a peer- based fashion without central
control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in
managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage the collaboration by individual participants. Furthermore three reliability
properties named Time-embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined based on CoBTx-Net to verify (1) the violation of time constraint, (2) collaborative logic conflicts, and (3)
the improper termination from individual organizations.
相似文献
Lai XuEmail: |
982.
Hung-Min Sun Muh-Chyi Leu 《Multimedia, IEEE Transactions on》2009,11(5):947-959
In a mobile pay-TV system, a large number of messages are exchanged for mutual authentication purposes. In traditional authentication schemes, with one-to-one delivery, one authentication message per request is delivered from a head end system to subscribers. This results in the delivery of a large quantity of messages and therefore is inefficient and costly. Moreover, since most traditional schemes use an RSA-based signature for identity validation and nonrepudiation of communication, they suffer from high communication costs. Due to its wireless nature, mobile pay-TV is vulnerable to attacks during hand-off. As traditional schemes do not support hand-off authentication, they are insecure during hand-off. With these shortcomings, they are not suitable for mobile pay-TV. In this paper, we propose an innovative authentication scheme, in which, by providing one-to-many facility, only one authentication message for multiple requests is broadcasted from the head end system to subscribers. By employing bilinear property of pairing and elliptic curve cryptography, our scheme provides one-to-many facility in the case of multiple requests for the same service in a short period of time. This new scheme achieves better broadcast efficiency and performance on communication costs than traditional ones. Additionally, this scheme provides a hand-off authentication mechanism to protect the access of services while preventing attacks during hand-off; therefore, the scheme is more secure to support access control. Moreover, to provide anonymous authentication for protecting identity privacy, the scheme adopts an identity-based scheme while traditional schemes do not apply. The scheme inherits advantages of the identity-based scheme that a public key does not need to be certificated, the certification authority mechanism will not be needed and the key exchange overhead can be reduced. With these advantages of our scheme, it is well suited for mobile pay-TV system. 相似文献
983.
The present work is an archival paper for a series of contributions proposed in last few years on building a theory of roughness over pure mereological relations among information granules. There are five major efforts taken in the present paper: (1) emphasizing on the representational semantics of theory of roughness: to approximately represent a class of entities characterized by some aspects in terms of entity collections described at other aspects; (2) defining a representation model Granular Representation Calculus (GrRC) to synthesize complex information systems from information granules; (3) establishing notion of Granular Rough Theory (GrRT) over information granules operated in terms of GrRC; (4) extending GrRC/GrRT to various computational environments such as multi-agent systems and ontological computing environments; (5) exploring pragmatic aspects of GrRC/GrRT in implementing prototypes with data model and object programming orientations, and proposing an Ontology-Driven Web Information System as a granular-rough computational Web intelligence framework over GrRC/GrRT. 相似文献
984.
Impulsive controller design for singular networked control systems with packet dropouts 总被引:1,自引:0,他引:1
Xianlin Zhao Shumin Fei Changyin Sun 《International Journal of Control, Automation and Systems》2009,7(6):1020-1025
This paper considers the problem of impulsive time-delay control for singular networked impulsive control systems(SNICSs)
and uncertain SNICSs both with network-induced delay and packet dropouts. The parameter uncertainty is assumed to be norm
bounded. The problem to be addressed is the design of robust impulsive time-delay feedback controllers such that the exponential
stability of the resulting closed-loop system is guaranteed for admissible uncertainties. By applying Lyapunov function theory
and Halanay Lemma, impulsive time-delay controller is derived through solving LMIs. Numerical examples are provided to demonstrate
the application of the proposed method. 相似文献
985.
阐述了模态测试悬挂控制系统的研究意义,分析了模态测试悬挂控制系统的工作原理和硬件结构,制定了适合模态试验悬挂控制系统的CAN通讯协议,设计了底层电磁力与气压控制软件、上/下位机通信软件和上层工控机监控软件;试验结果表明,基于CAN总线的模态测试悬挂控制系统具有控制精度高、工作稳定可靠、通信速度快和可扩展性强等特点,很好地实现了模态测试悬挂控制系统预期的研制指标。 相似文献
986.
基础位移激励下椭圆抛物面碳纤维索网的振动 总被引:1,自引:1,他引:0
在考虑温度变化的基础上,研究椭圆平面双曲抛物面碳纤维索网在基础激励下的非线性振动问题,建立了椭圆平面双曲抛物面碳纤维索网在基础位移激励下的非线性振动方程,采用Galerkin原理及KBM法求得了椭圆平面双曲抛物面碳纤维索网非线性振动的近似解.在把碳纤维索网与钢丝索网比较的基础上,讨论分析了位移激励、温度、振幅、外阻尼等因素对椭圆平面双曲抛物面碳纤维索网非线性振动的影响,得到了碳纤维索网对温度变化不敏感,而钢丝索网受温度的影响却很大,且碳纤维索网振动特性优于钢丝索网振动特性的结论. 相似文献
987.
文章给出了B/S模式下保证系统安全的主要实现方法。在系统设计以Struts结构为架构模式,结合J2EE技术,开发了网络教学管理与评估系统平台;该系统具有较强的网络安全性。文章给出了采用由容器提供的安全服务和由应用程序提供的安全服务共同设计实现的网络系统安全措施。同时探索了基于B/S模式的多种安全技术,研究了该类信息系统在安全性方面的特点。该网络教学管理与评估系统实际运行表明,文章给出的网络系统安全措施具有较强的推广应用价值。 相似文献
988.
基于校园GIS环境的排课系统设计研究 总被引:1,自引:0,他引:1
结合学校实际情况和发展现状,提出基于校园GIS环境的排课系统设计方法,在传统的字符信息中融入空间地理信息,对排课问题中的各种约束条件进行分析,通过设定合理的排课原则和优先级,完成课程的编排,同时实现以校园GIS为基础的可视化的信息管理功能。 相似文献
989.
三维地形的显示需要绘制大量的三角形网格,为了提高地形显示速度目前广泛采取了三角形网格简化技术。针对弹道导弹作战区域地形的特殊性,提出了一种基于重要目标区的网格简化方法。从BMP位图读取地形高度信息,以四叉树保存网格数据,按照区域重要性静态确定地形网格疏密程度。并采用DirectX平台,实现了导弹战区三维地形显示,提高了渲染效率。 相似文献
990.
班级、教师、课程、教室、时间是课表的基本要素,通过把排课转化为求图的完全独立集,解决了时间冲突问题和合班课问题;根据教室资源限制,对独立集的个数和大小进行控制,解决了教室完全匹配问题和一门课程的不同教室安排问题.为实现排课软件提供了一个面向实际的算法. 相似文献