全文获取类型
收费全文 | 1436篇 |
免费 | 201篇 |
国内免费 | 326篇 |
专业分类
电工技术 | 14篇 |
综合类 | 148篇 |
化学工业 | 6篇 |
金属工艺 | 1篇 |
机械仪表 | 54篇 |
建筑科学 | 19篇 |
矿业工程 | 4篇 |
轻工业 | 15篇 |
水利工程 | 1篇 |
石油天然气 | 1篇 |
武器工业 | 7篇 |
无线电 | 186篇 |
一般工业技术 | 28篇 |
冶金工业 | 7篇 |
原子能技术 | 2篇 |
自动化技术 | 1470篇 |
出版年
2024年 | 9篇 |
2023年 | 27篇 |
2022年 | 39篇 |
2021年 | 44篇 |
2020年 | 27篇 |
2019年 | 33篇 |
2018年 | 24篇 |
2017年 | 40篇 |
2016年 | 42篇 |
2015年 | 50篇 |
2014年 | 91篇 |
2013年 | 111篇 |
2012年 | 116篇 |
2011年 | 112篇 |
2010年 | 114篇 |
2009年 | 125篇 |
2008年 | 159篇 |
2007年 | 222篇 |
2006年 | 111篇 |
2005年 | 104篇 |
2004年 | 82篇 |
2003年 | 63篇 |
2002年 | 41篇 |
2001年 | 39篇 |
2000年 | 33篇 |
1999年 | 25篇 |
1998年 | 16篇 |
1997年 | 17篇 |
1996年 | 16篇 |
1995年 | 10篇 |
1994年 | 4篇 |
1993年 | 4篇 |
1992年 | 3篇 |
1991年 | 6篇 |
1989年 | 3篇 |
1986年 | 1篇 |
排序方式: 共有1963条查询结果,搜索用时 17 毫秒
1.
张俊 《计算机科学与探索》2021,15(6):1074-1083
功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术. 相似文献
4.
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。 相似文献
5.
6.
物联网中安全通信协议的安全性能低下问题普遍存在,同时在采用非形式化方法对物联网安全通信协议进行分析时也十分容易出错,这些问题的存在严重威胁着物联网网络的安全,也带来了恶劣的后果。为很好地解决这两个安全问题,并使物联网通信协议的安全性得到进一步的加强,物联网安全通信协议被提出,并在物联网中建立了协议主体模型和攻击者模型,此外,分析物联网的协议模型也采用了通信顺序进程CSP的形式化方法。文章就将介绍物联网中安全通信协议的形式化分析。 相似文献
7.
航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。 相似文献
8.
提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证。通过实例逻辑验证表明,依据功能验证平台,按照验证步骤对设计程序进行缺陷检查,测试用例能保证RTL代码结构和功能覆盖达到100%,并提供验证报告方便快速定位并进行缺陷修复,大大地降低了仪控系统在核电厂实际使用过程中出现问题的概率,保证核电安全级仪控系统稳定性、可靠性和安全性的要求,为仪控系统提供更充分更有力的依据。 相似文献
9.
10.
Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。 相似文献