全文获取类型
收费全文 | 101篇 |
免费 | 7篇 |
国内免费 | 10篇 |
学科分类
工业技术 | 118篇 |
出版年
2023年 | 2篇 |
2022年 | 3篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2017年 | 2篇 |
2015年 | 3篇 |
2014年 | 8篇 |
2013年 | 10篇 |
2012年 | 7篇 |
2011年 | 8篇 |
2010年 | 5篇 |
2009年 | 11篇 |
2008年 | 5篇 |
2007年 | 6篇 |
2006年 | 6篇 |
2005年 | 8篇 |
2004年 | 5篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2001年 | 3篇 |
2000年 | 5篇 |
1999年 | 2篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1993年 | 2篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1985年 | 1篇 |
1983年 | 1篇 |
1981年 | 2篇 |
排序方式: 共有118条查询结果,搜索用时 15 毫秒
1.
3D图形绘制技术已经渗透到各种移动设备中.相对于桌面PC,移动设备图形处理需要以更低的功耗、更有限的内存带宽和较低的运算能力实现高性能、高质量的图形显示效果.文中介绍了移动图形处理器发展现状,从硬件设计方面分析了这一领域未来面临的挑战;分析了当前移动图形处理器中区块式和立即式渲染的架构特点,总结了渲染过程中加速数据流计算方法和芯片低功耗设计方法.最后展望了移动图形处理器的发展趋势. 相似文献
2.
无数据缓存的容错环形NoC 总被引:1,自引:0,他引:1
提出一种分层双组双环NoC拓扑结构,该结构中链路分为两组环网,其中有一组环网为主环,另一组为备用环网,用于NoC网络的容错.每组环网中包含一个控制环和一个数据环,控制环采用包的形式交换结点之间路由、链路错误和差错控制信息,数据环用电路交换方式进行数据通信.针对以上NoC拓扑结构,提出交换结点无需缓冲区的三级流水线结构,使得各个IP之间的数据通信延时最小.环网中采用时分复用和优先级相结合的机制,实现了公平路由和带宽的空分复用.仿真结果表明,该结构可以有效避免拥塞、死锁和饥饿,保证带宽充分利用,与理论分析一致. 相似文献
3.
4.
文章在分析形式化验证/综合系统VIS 的基础上,改进了该电子系统中的关键技术——二叉判定图(BDD),使BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。 相似文献
5.
用VIS验证微处理器PIC 总被引:2,自引:0,他引:2
近年来,二叉判定图BDD和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用VIS系统验证微处理器PIC设计的正确性。利用VIS证明了PIC设计部分电路的等价性。发现了一个设计错误并证明了PIC中一些重要模块的特性。 相似文献
6.
视频数字信号处理芯片XY VDSP是采用阵列结构的SIMD处理机。XY VDSP在硬件结构和指令级上采用高度并行,使其可以高效处理视频应用。本文将分析XY VDSP的并行性实现,并以一个矩阵矢量乘加的例子作为说明。 相似文献
7.
8.
VxWorks作为一种广泛应用于高性能领域中的可裁剪的实时嵌入式操作系统,并没有为用户提供完善的图形界面。为了在VxWorks中实现三维图形的开发和显示,文中通过将OpenGL与WindML(WindRiver Multimedia Library)媒体库相结合,提出VxWorks下三维图形开发环境系统建立和基于该环境的图形开发的方法。完成VxWorks操作系统交叉编译环境的建立、MindML的配置和Mesa3D的编译,并完成VxWorks操作系统下的OpenGL程序开发。通过大量应用程序的测试验证,证明该方法能够完成VxWorks操作系统下的三维图形开发的要求,并且具有操作简单、容易开发等特点。 相似文献
9.
基于不完全Kripke结构三值逻辑的模型检验 总被引:2,自引:0,他引:2
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题.为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式.这样一个逻辑公式的真值除了真、假外,还出现了第三种情况:未知,即在这个状态模型下无法确定其真值,需要更多的状态信息才能确定.本文还讨论了二值逻辑的模型检验技术,在此基础上给出了基于不完全状态空间的三值逻辑的模型检验算法,此算法与二值逻辑模型检验算法相比,没有带来时间复杂度的增加,最后给出了三值逻辑模型检验算法的应用. 相似文献
10.
Java虚拟机动态类加载的形式化模型 总被引:1,自引:0,他引:1
Java虚拟机支持一种功能很强的动态加戡类的机制.它具有惰性加戡、类型安全连接、用户自定义加戡策略、以及劝态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误.尽管JDK1.2通过引入一种类加戡约束策略修正了这个错误,但是由动态加戡引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加戡相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加戡约束策略、字段及方法解析算法等类加戡的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。 相似文献