全文获取类型
收费全文 | 300篇 |
免费 | 44篇 |
国内免费 | 17篇 |
专业分类
电工技术 | 19篇 |
综合类 | 18篇 |
化学工业 | 3篇 |
金属工艺 | 3篇 |
机械仪表 | 19篇 |
建筑科学 | 1篇 |
矿业工程 | 2篇 |
能源动力 | 2篇 |
轻工业 | 3篇 |
水利工程 | 2篇 |
武器工业 | 6篇 |
无线电 | 58篇 |
一般工业技术 | 8篇 |
冶金工业 | 2篇 |
原子能技术 | 5篇 |
自动化技术 | 210篇 |
出版年
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 4篇 |
2020年 | 3篇 |
2019年 | 10篇 |
2018年 | 3篇 |
2017年 | 3篇 |
2016年 | 7篇 |
2015年 | 12篇 |
2014年 | 12篇 |
2013年 | 12篇 |
2012年 | 26篇 |
2011年 | 37篇 |
2010年 | 18篇 |
2009年 | 24篇 |
2008年 | 42篇 |
2007年 | 21篇 |
2006年 | 22篇 |
2005年 | 28篇 |
2004年 | 21篇 |
2003年 | 15篇 |
2002年 | 13篇 |
2001年 | 10篇 |
2000年 | 4篇 |
1999年 | 5篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1994年 | 1篇 |
1992年 | 1篇 |
排序方式: 共有361条查询结果,搜索用时 15 毫秒
1.
Determinism is very useful to multithreaded programs in debugging, testing, etc. Many deterministic ap-proaches have been proposed, such as deterministic multithreading (DMT) and deterministic replay. ... 相似文献
2.
通过对直升机起降特点及视角转换的分析研究,建立模拟起降模型;以VC++为工具,采用双缓冲技术及光栅处理技术,解决了驾驶舱图片透明化过程中存在的闪烁问题;在完成驾驶舱透明化处理的基础上通过采用阈值分割方法,实现了驾驶舱与跑道在同一窗体不同区域中的显示,通过组件调用的方式完成驾驶舱按键对飞机起降的控制,并结合多线程技术完成了直升机模拟起降的仿真测试;该方法能直观清楚的反映直升机起降过程中驾驶舱内部及外部跑道的情况,对直升机起飞降落故障研究有一定的参考价值。 相似文献
3.
We present the design of a formal low-level multithreaded language with advanced region-based memory management and thread synchronization primitives, where well-typed programs are memory safe and race free. In our language, regions and locks are combined in a single hierarchy and are subject to uniform ownership constraints imposed by this hierarchical structure: deallocating a region causes its sub-regions to be deallocated. Similarly, when a region is read/write-protected, then its sub-regions inherit the same access rights. We discuss aspects of the integration and implementation of the formal language within Cyclone and evaluate the performance of code produced by the modified Cyclone compiler against highly optimized C programs using pthreads. Our results show that the performance overhead for guaranteed race freedom and memory safety is in most cases acceptable. 相似文献
4.
5.
并发错误是程序设计语言和软件工程领域的研究热点之一.近年来,针对应用程序并发错误检测的研究已取得了很大进展.但由于操作系统内核的并发和同步机制复杂、代码规模庞大,与应用程序级并发错误检测相比,操作系统内核的并发错误检测研究仍面临巨大挑战.对此,国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错误的基本类型、检测方法和评价指标,讨论了现有的并发错误检测方法和工具的局限性;接着,从形式化验证、静态分析、动态分析和静态动态相结合四个方面,对现有的操作系统内核并发错误检测的研究工作进行了分类阐述,并作了系统总结和对比分析;最后,探讨了操作系统内核并发错误检测研究面临的挑战,并对该领域未来的研究趋势进行了展望. 相似文献
6.
阐述了一种基于GPRs和嵌入式Linux的远程图像监控系统设计和实现方法。该系统主要由嵌入式视频采集终端和监控中心服务器组成。其中,嵌入式视频采集终端主要由摄像头视频采集模块、ARM模块、SIM900模块组成,监控中心服务器可实时监控远程终端的图像。系统软件采用嵌入式Linux,可编程实现图像数据采集、压缩和GPRs模块的网络连接与传输。 相似文献
7.
针对摩托车数字点火器,实现了一种低成本的标定系统。通过USB-RS232接口电路实现标定系统上、下位机的硬件连接。基于.NET Framework的Visual C#多线程编程技术完成上位机软件标定界面、监控模块、标定数据文件管理的设计;采用前后台模式完成下位机软件的标定通信和点火控制模块设计。实验表明,该标定系统工作稳定,操作方便,为数字点火器的快速开发提供了有效工具。 相似文献
8.
描述了通过使用外部知识库和基于短语的翻译模型,利用多线程、任务分发的技术实现了一个在线的、高性能的多语言翻译引擎,已初步实现了维汉、哈汉、柯汉三种语言间的翻译。翻译引擎很容易扩展到其他语言对,具有翻译词、短语、句子、文件和网页的功能。 相似文献
9.
10.
推测多线程(speculative multithreading,简称SpMT)技术是一种实现非规则程序自动并行化的有效途径.然而,基于控制流图和分支预测技术的线程划分方法,不可避免地会受到划分路径上所存在的控制依赖和数据依赖的制约.目前,在传统的线程划分算法中存在的一个重要问题是,在对划分路径进行选取时只考虑了控制依赖影响却不能有效地综合考虑数据依赖的影响,进而导致不能选取最佳的划分路径.因此,针对传统方法中这种依赖评估方法效率低下的问题,设计并实现了一种基于路径优化的线程划分算法.该算法通过引入基于程序切片技术的预计算方法,建立一种路径评估方法来评估程序间的控制和数据依赖.同时,引入控制线程体大小的启发式规则,以便有效地解决负载不平衡的问题.基于Olden测试集的测试结果表明,所提出的算法可以有效地对非规则程序进行划分,其平均加速比可以达到1.83. 相似文献