全文获取类型
收费全文 | 37篇 |
免费 | 2篇 |
专业分类
综合类 | 3篇 |
化学工业 | 3篇 |
金属工艺 | 6篇 |
机械仪表 | 9篇 |
建筑科学 | 2篇 |
矿业工程 | 1篇 |
能源动力 | 1篇 |
轻工业 | 3篇 |
水利工程 | 2篇 |
无线电 | 6篇 |
自动化技术 | 3篇 |
出版年
2024年 | 1篇 |
2023年 | 2篇 |
2020年 | 1篇 |
2018年 | 2篇 |
2017年 | 1篇 |
2014年 | 1篇 |
2013年 | 1篇 |
2012年 | 4篇 |
2011年 | 5篇 |
2010年 | 4篇 |
2008年 | 2篇 |
2006年 | 1篇 |
2004年 | 1篇 |
2002年 | 3篇 |
2001年 | 3篇 |
2000年 | 1篇 |
1995年 | 1篇 |
1993年 | 2篇 |
1992年 | 1篇 |
1990年 | 1篇 |
1983年 | 1篇 |
排序方式: 共有39条查询结果,搜索用时 15 毫秒
1.
用VIS验证微处理器PIC 总被引:2,自引:0,他引:2
近年来,二叉判定图BDD和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用VIS系统验证微处理器PIC设计的正确性。利用VIS证明了PIC设计部分电路的等价性。发现了一个设计错误并证明了PIC中一些重要模块的特性。 相似文献
2.
根据方位特征(POC)方程的并联机构拓扑设计理论和方法,设计了一种结构简单且对称的三平移的并联机构,通过方位特征方程分别计算了机构的方位特征集、自由度、耦合度等拓扑特性,验证机构能实现三平移的运动特性;建立机构运动学方程,推导得到机构的正逆解的解析式,以及机构的奇异性、工作空间、灵巧度等运动性能指标。最后,建立多目标优化设计模型,采用带有精英保留策略的快速非支配多目标优化算法(NSGA-Ⅱ)进行结构参数的尺度综合,优化得到一组Pareto最优解(Pareto optimal solutions)。结果表明,不能同时最大化工作空间体积和全局灵巧度,可以根据实际的需求选择Pareto最优解,以满足两个目标的需求。 相似文献
3.
4.
本文指出了传统离线编程方法的不足,提出了自由曲面直接插补控制方法,提出了对传统插补方法的修正偏置算法及针对实时插补技术的速度修调,阐述了实时插补算法轨迹的生成过程、该插补算法基于曲面曲率等几何信息控制加工误差及切削步长、切削行宽,生成的刀具路径具有一定的自适应性。 相似文献
5.
在积自动机基础上,利用互模拟关系引出商自动机,用以解决积自动机的状态组合爆炸问题。进而提出一个自然的测试语言包含的算法,这种算法的空间复杂度与规范自动机的状态目呈指数关系即O(2^k),其中K是规范自动机的状态数目。 相似文献
6.
大尺寸NiFe2O4-10NiO/17Ni型金属陶瓷惰性阳极的制备 总被引:1,自引:0,他引:1
研究以PVA为主要成分的粘结剂体系的热分解特性对大尺寸粉末压坯脱脂行为的影响,发现PVA的不均匀热分解是造成大尺寸粉末压坯脱脂失效的原因之一,开发一种具有稳定热分解反应特性的新型粘结剂体系,实现大尺寸粉末压坯的无缺陷热脱脂;研究烧结气氛、金属相的添加对NiFe2O4-10NiO致密化行为的影响。结果表明:N2气氛烧结及加入Ni可有效提高NiFe2O4-10NiO陶瓷基体的烧结致密度,1350℃时于N2气氛中烧结的NiFe204.10NiO/5Ni型金属陶瓷材料的相对密度达到97.28%。采用优化工艺实现d120mmX140mm深杯状NiFe2O4-10NiO/17Ni金属陶瓷惰性阳极脱脂预烧坯的烧结,所得烧结坯平均相对密度为95.21%。 相似文献
7.
8.
刘建元 《西安邮电学院学报》2001,6(3):6-10
有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 ,并给出改进后的构造OBDD的算法 相似文献
9.
在碳酸岩和方解石胶结的砂岩储层中,水通常含有大量的二价钙离子(Ca+2)和镁离子(Mg+2)。据Cowan和Weintritt的研究,在石油开采过程中,碳酸钙(CaCO3)是最普遍的成分。肖一种可溶物过饱和的时候,易溶的碳酸钙(CaC03)就可能形成。储层中,在一定的温度和压力下,盐水在化学成分上与他周围的介质相平衡。当碳酸钙(CaC03)为固态时,平衡可能被从盐水或石油中脱出的CO2破坏,从而导致沉淀作用的发生。最后,沉淀作用可能会因油田水的回注或CO2在流动过程中因盐水-CO2的相互作用而产生。然而,许多水已经变得过饱和和易于结垢的生产水并不是大量产生。在过饱和(SR)与结晶之间存在着一个时问差。这段时间延迟一般定义为感应时间(tind), 相似文献
10.