全文获取类型
收费全文 | 128篇 |
免费 | 12篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 19篇 |
综合类 | 5篇 |
化学工业 | 25篇 |
金属工艺 | 6篇 |
机械仪表 | 15篇 |
建筑科学 | 13篇 |
矿业工程 | 1篇 |
能源动力 | 2篇 |
轻工业 | 6篇 |
水利工程 | 1篇 |
石油天然气 | 6篇 |
武器工业 | 2篇 |
无线电 | 11篇 |
一般工业技术 | 10篇 |
冶金工业 | 1篇 |
自动化技术 | 23篇 |
出版年
2024年 | 4篇 |
2023年 | 9篇 |
2022年 | 14篇 |
2021年 | 21篇 |
2020年 | 12篇 |
2019年 | 9篇 |
2018年 | 5篇 |
2017年 | 4篇 |
2016年 | 4篇 |
2015年 | 4篇 |
2014年 | 6篇 |
2013年 | 15篇 |
2012年 | 7篇 |
2011年 | 4篇 |
2010年 | 6篇 |
2009年 | 4篇 |
2008年 | 8篇 |
2007年 | 3篇 |
2006年 | 2篇 |
2003年 | 3篇 |
2002年 | 2篇 |
排序方式: 共有146条查询结果,搜索用时 15 毫秒
91.
针对经典混洗蛙跳算法在函数优化中易陷入局部最优和早熟收敛等缺点,提出一种保持种群多样性的改进型混洗蛙跳算法。其思想是通过反向学习机制初始化种群,并动态改变多样性比例来计算所有分组的最优值的多样性密度,来改进个体进化方式。典型复杂函数测试表明,该算法能有效找出全局最优解。 相似文献
92.
93.
模糊空间描述逻辑及应用 总被引:1,自引:0,他引:1
提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。 相似文献
94.
95.
96.
97.
为准确预测自润滑关节轴承衬垫的弹性参数,结合衬垫的压紧预处理过程,建立了修正的衬垫特征体元(RVE)细观几何模型。结合桥联理论建立了相应的轴承衬垫弹性性能分析模型。用解析法分别计算了平纹、斜纹、五枚二飞缎纹3种衬垫的弹性参数。通过与其他实验数据比较得知,平纹衬垫、斜纹衬垫、五枚二飞缎纹衬垫弹性参数计算值与实验值最大相对误差分别为4.76%、5.47%、4.39%。对用于计算不同纤维束弹性常数时,若纤维束中纤维和基体沿轴线方向弹性模量比值较大,则桥联参数α取值比β小,所得结果较为准确。若实验条件允许,可通过对纤维束进行简单拉压剪切实验确定α、β值。 相似文献
98.
霍尔逻辑作为计算机程序的逻辑基础,可以用于描述一般程序的验证.分离逻辑作为霍尔逻辑的扩展,可以支持很多现代程序语言中的高阶特性.步进索引模型被用于定义自递归谓词.步进索引逻辑被广泛应用于各种基于交互式定理证明器的程序验证工具中,然而,基于步进索引逻辑的推理却比经典逻辑复杂、繁琐.事实上,也可以在步进索引模型上定义更加简洁清晰的、与“步数”无关的经典逻辑体系下的非步进索引程序语义.人们希望找到步进索引逻辑和非步进索引逻辑之间的关系,但发现两种逻辑并不等价.对实际的程序验证工作中涉及的命题进行归纳总结,找出它们共同的特征,给出关于程序状态的断言的约束条件;分别定义步进索引逻辑和非步进索引逻辑体系中断言的语义,并证明在该约束条件下两种语义的等价性;在Coq中,形式化以上所有定义和证明;最后,对未来值得关注的研究方向进行初步探讨. 相似文献
99.
100.