全文获取类型
收费全文 | 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条查询结果,搜索用时 0 毫秒
21.
22.
诊断是一种提升互连网络可靠性的常用手段.条件诊断是假设系统中任一节点的所有相邻节点不会同时发生故障,这种诊断大大提高了诊断的有效性.提出一种在PMC模型下超立方体的条件诊断算法,通过广度优先搜索遍历整个超立方体,在遍历过程中通过相邻节点之间的诊断结果将超立方体节点分成若干个集合,再通过集合之间的关系和集合中所含元素的数量识别出故障集合和无故障集合.对于n维超立方体,节点数为N,该算法的时间复杂度为O(N2). 相似文献
23.
在基于时间触发的CAN协议的实时分布系统中,时间触发的CAN协议的任务调度是一个重要的问题.一种多项式时间复杂度的优化算法被提出来构造调度表,其基本周期有4种假定情况,其中在实验中给出了每种算法的渐近性能比,并证明折衷周期算法的性能要优于其它三种算法. 相似文献
24.
基于不完全Kripke结构三值逻辑的模型检验 总被引:2,自引:0,他引:2
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题.为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式.这样一个逻辑公式的真值除了真、假外,还出现了第三种情况:未知,即在这个状态模型下无法确定其真值,需要更多的状态信息才能确定.本文还讨论了二值逻辑的模型检验技术,在此基础上给出了基于不完全状态空间的三值逻辑的模型检验算法,此算法与二值逻辑模型检验算法相比,没有带来时间复杂度的增加,最后给出了三值逻辑模型检验算法的应用. 相似文献
25.
Java虚拟机动态类加载的形式化模型 总被引:1,自引:0,他引:1
Java虚拟机支持一种功能很强的动态加戡类的机制.它具有惰性加戡、类型安全连接、用户自定义加戡策略、以及劝态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误.尽管JDK1.2通过引入一种类加戡约束策略修正了这个错误,但是由动态加戡引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加戡相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加戡约束策略、字段及方法解析算法等类加戡的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。 相似文献
26.
针对图形学中现有点与三角形位置关系判定算法平均基本操作次数大、存在不可判定情况等不足,尝试通过添加异常处理进行算法改进,以适当减少基本操作次数。改进后的判定算法采取两次区域划分,将异常简化为求交点问题,来提高判定效率和准确性。在数学证明的基础上所进行的软件仿真结果表明,改进后的算法具有可行性,能够达到判定算法在效率和准确性方面的要求。 相似文献
27.
验证码今已广泛应用在各个领域,常见的英文字母与数字组合的验证码自动识别准确率已达到较高的水准,而汉字因其字符复杂,用传统方法进行自动识别难度很大。提出一种基于卷积神经网络的验证码自动识别方法来提高字符的识别准确率。采用Keras卷积神经网络框架,设计多层卷积来提取深层次图像信息,分别对汉字验证码和字母数字验证码进行识别,以提高模型的泛化性。实验结果表明用该方法汉字验证码的单字识别率已达到99.4%;传统四字符字母数字验证码的识别率最高达到99.3%。这一结果表明深度神经网络对验证码复杂结构的感知能力很强大,通过对比实验发现Keras框架在验证码识别领域有较好效果。 相似文献
28.
针对ARM并行阵列机结构,提出了与之相适应的通信结构,采用4个路由器完成16个处理器内核之间的通信,有效地节约了面积.该路由器采用基于数据包交换的片上网络通信方式,内部运用缓存机制、经典的XY路由算法和专用的仲裁策略再加入数据多播,且处理器选用低功耗、高性能的ARM内核,通过采用以上机制能够有效降低数据传播延迟和功耗.实验结果表明采用该方案设计的路由器时钟频率最高可达406.009 MHz,能够满足该ARM阵列机对于通信速率的要求. 相似文献
29.
超立方体双环互连网络及路由算法* 总被引:1,自引:0,他引:1
给出了一种可扩展的互连网络拓扑结构,称为超立方体双环。该互连网络拓扑结构结合了超立方体拓扑的短直径、高连通性、对称性、路由简单和一种新的双环拓扑结构的可扩展性和常数节点度的优点,使得网络规模增大时,网络节点度可以保持常数;网络节点采用格雷编码和约翰逊编码的混合编码方法,网络的任意相邻节点编码有且仅有一位不同,使得路由算法设计简单。最后分别设计了基于混合编码的单播、广播路由算法。分析表明提出的互连网络具有较好的拓扑性质和通信性能。 相似文献
30.