全文获取类型
收费全文 | 66篇 |
免费 | 2篇 |
国内免费 | 5篇 |
学科分类
工业技术 | 73篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 5篇 |
2021年 | 2篇 |
2020年 | 4篇 |
2019年 | 4篇 |
2018年 | 4篇 |
2016年 | 2篇 |
2015年 | 2篇 |
2014年 | 6篇 |
2013年 | 5篇 |
2012年 | 3篇 |
2011年 | 2篇 |
2010年 | 1篇 |
2009年 | 4篇 |
2007年 | 2篇 |
2005年 | 2篇 |
2004年 | 1篇 |
2003年 | 1篇 |
2001年 | 2篇 |
2000年 | 5篇 |
1999年 | 1篇 |
1998年 | 3篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
排序方式: 共有73条查询结果,搜索用时 0 毫秒
1.
基于SolidWorks尺寸驱动建模的二次开发 总被引:1,自引:0,他引:1
阐述了SolidWorks二次开发原理,提出了基于零件尺寸遍历的尺寸驱动建模二次开发方法并详细论述了开发思路。以VBA为开发工具,运用SolidWorks API技术,实现了此方法在SolidWorks中的应用。该方法对传统的尺寸驱动建模进行了改进,使尺寸驱动建模具有普遍适用性,可大大提高产品设计效率。 相似文献
2.
分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLIDdata、SLIDdata的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约... 相似文献
3.
4.
5.
为研究某种大口径可折叠尾翼式修正枪弹的飞行气动特性,建立了该枪弹的计算模型。对该计算模型在不同攻角、不同飞行马赫数下的气动力进行了仿真计算,分析比较了工程计算软件Missile Datcom和数值计算软件FLUENT二者计算结果的差异。结果表明该计算模型具有良好的气动特性,导弹计算程序Missile Datcom适用于枪弹模型的仿真计算。根据两种程序的不同特点,可以在不同的设计阶段加以运用。 相似文献
6.
弹体底部厚度是影响横向效应增强型弹药(简称PELE)横向效应的一个重要因素.为了分析弹体底部厚度与PELE的横向效应之间的关系,弹芯、靶板不改变,仅改变弹体底部厚度,以ANSYS/LS-DYNA软件为平台对不同底部厚度的PELE作用不同厚度靶板的过程进行了数值仿真.通过破片的横向速度比较不同弹体底部厚度下PELE的横向效应,获得弹体底部厚度对PELE横向效应作用的影响规律. 相似文献
7.
8.
雷达部署阵地的选址直接影响防空雷达探测来袭目标的能力,并最终影响武器系统的总体作战效能。采用无人机航测技术在西安某山区进行实地测量,基于测量数据利用Pix4Dmapper数据处理软件构建出实验区域的三维模型,并获得了实验区域的点云数据;基于该点云数据转化得到DEM数据,利用ArcGIS的空间分析功能快速计算出航测区域内两处拟部署阵地的地形遮蔽角。在此基础上,基于一典型作战想定,分析了阵地选址对防空雷达极限探测距离的影响,为该防空雷达的部署提供了辅助决策依据,验证了该方法的可行性。 相似文献
9.
通过对班组武器杀伤榴弹的外弹道计算,得到外弹道参数的相互关系,根据初速变化对榴弹起爆位置的影响,分析了班组武器上采用计时引信和计转数引信两种不同方式引信的定位误差,探讨了提高班组武器杀伤效果的途径。 相似文献
10.