全文获取类型
收费全文 | 21290篇 |
免费 | 1806篇 |
国内免费 | 1553篇 |
专业分类
化学 | 1292篇 |
晶体学 | 54篇 |
力学 | 343篇 |
综合类 | 72篇 |
数学 | 209篇 |
物理学 | 3253篇 |
无线电 | 19426篇 |
出版年
2024年 | 149篇 |
2023年 | 439篇 |
2022年 | 591篇 |
2021年 | 553篇 |
2020年 | 375篇 |
2019年 | 490篇 |
2018年 | 276篇 |
2017年 | 427篇 |
2016年 | 465篇 |
2015年 | 555篇 |
2014年 | 1275篇 |
2013年 | 1026篇 |
2012年 | 1458篇 |
2011年 | 1394篇 |
2010年 | 1356篇 |
2009年 | 1741篇 |
2008年 | 1975篇 |
2007年 | 1618篇 |
2006年 | 1755篇 |
2005年 | 1674篇 |
2004年 | 1176篇 |
2003年 | 880篇 |
2002年 | 545篇 |
2001年 | 449篇 |
2000年 | 335篇 |
1999年 | 274篇 |
1998年 | 229篇 |
1997年 | 195篇 |
1996年 | 196篇 |
1995年 | 149篇 |
1994年 | 98篇 |
1993年 | 105篇 |
1992年 | 116篇 |
1991年 | 98篇 |
1990年 | 60篇 |
1989年 | 83篇 |
1988年 | 29篇 |
1987年 | 6篇 |
1986年 | 5篇 |
1985年 | 5篇 |
1984年 | 6篇 |
1983年 | 4篇 |
1982年 | 1篇 |
1981年 | 10篇 |
1980年 | 2篇 |
1975年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 953 毫秒
961.
962.
UML状态机到B形式化规约的转换 总被引:4,自引:1,他引:4
文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点.将其转换为B形式化模型,然后在B工具环境中遵循B方法的精化原则和正确性验证方法,开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则,涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明.这套转换规则行之有效。 相似文献
963.
964.
965.
966.
967.
针对常规光栅条纹反射三维形貌测量方法中对实际参考面的需求,提出了基于虚拟参考面方法。在系统标定阶段,通过向标定用平面镜投射一幅特殊标记的棋盘格图像,将其在平面镜另一侧成的虚拟像所在的平面定义为虚拟参考面。根据虚拟参考面上各点与编码光栅条纹相位间的对应关系,经计算可直接得到测量所需的两垂直方向的参考相位分布,从而无需在工件测量前首先对实际参考面进行相位提取操作。与常规光栅条纹反射三维形貌测量方法相比,由于避免了对参考平面测量的需求,本文方法获得的参考相位分布,在保证测量精度的同时提高了测量速度,降低了测量的复杂性,有利于系统的集成化。搭建了光栅条纹反射三维形貌测量系统,采用基于虚拟参考面的光栅条纹反射方法对超精密加工平面镜和组合台阶的表面形貌进行测量,建立相位偏移与被测工件表面梯度的对应关系,由梯度恢复工件表面高度,测量精度达到50μm左右。 相似文献
968.
<正> 随着家用数字卫星电视的迅猛发展,数字卫星加密电视已渐渐走入千家万户。接收卫星加密电视必须拥有卫星运营商提供的解密卡,当前解密卡较贵,市场上便出现了提供商非法将正版解密卡的控制字 CW(Control Word)信息以较低的价格有偿共享给多个用户,从中牟取暴利的现象,本文就导致控制字 CW 被共享的原因进行一些分析,并提出了有效应对该系统缺陷的六大解决思路,从而有效打 相似文献
969.
研究了K(4P)与H2的电子-高转动态能级间的碰撞转移.利用CARS(相干反斯托克斯拉曼散射)探测H2的高转动态分布,扫描和激活CARS谱证实了在的H2(0.9),(0,10),(0,11)和(1,7)能级上有布居.由扫描和激活CARS谱的峰值得到转动态布居数之比.通过速率方程分析,由时间分辨CARS轮廊得到(0,9),(0,10),(1,7)的自弛豫速率及H2(0,11)→H2(1,7)的碰撞转移速率系数为(2.2±0.6)× 10-12cm3s-1. 相似文献
970.