首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   437篇
  免费   47篇
  国内免费   16篇
电工技术   20篇
综合类   22篇
化学工业   68篇
金属工艺   19篇
机械仪表   112篇
建筑科学   36篇
矿业工程   22篇
能源动力   9篇
轻工业   22篇
水利工程   23篇
石油天然气   8篇
武器工业   3篇
无线电   34篇
一般工业技术   36篇
冶金工业   12篇
原子能技术   1篇
自动化技术   53篇
  2024年   14篇
  2023年   35篇
  2022年   35篇
  2021年   33篇
  2020年   21篇
  2019年   29篇
  2018年   42篇
  2017年   13篇
  2016年   11篇
  2015年   17篇
  2014年   22篇
  2013年   20篇
  2012年   28篇
  2011年   31篇
  2010年   19篇
  2009年   30篇
  2008年   37篇
  2007年   16篇
  2006年   7篇
  2005年   12篇
  2004年   8篇
  2003年   4篇
  2002年   2篇
  2001年   2篇
  2000年   1篇
  1999年   3篇
  1998年   1篇
  1997年   2篇
  1995年   1篇
  1992年   2篇
  1989年   1篇
  1988年   1篇
排序方式: 共有500条查询结果,搜索用时 0 毫秒
1.
本文对自适应共振理论(Adaptive Resonance Theory,简称ART)模型的技术细节作了较为详细的介绍,并对ART模型的基本原理、方法和作用做了全面论述。  相似文献   
2.
一种构造代码安全性证明的方法   总被引:4,自引:2,他引:2  
郭宇  陈意云  林春晓 《软件学报》2008,19(10):2720-2727
提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.  相似文献   
3.
运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。  相似文献   
4.
郭宇  陈言红  张梅 《测控技术》2016,35(9):107-110
密钥管理是密码系统重要组成部分,对密码系统的安全性起着关键的作用.分布式密钥管理被广泛应用于保密通信、面向群体的密码学.为此,基于秘密共享策略,利用Birkhoff插值法和离散对数的困难性,提出了基于Birkhoff插值的可验证秘密共享(BIVSS,birkhoff interpolation verified secret sharing)算法.BIVSS算法考虑了参与者和分发者的不诚信问题,分析了BIVSS的可验性和安全性能.该算法比常见的秘密共享策略具有更广泛的适用性.  相似文献   
5.
今天上级让小六做一份宣传文档(题目叫做《宣传之窗》)。文档内容很简单,小六两下就做好了,在但封面的问题上小六有些犹豫不决。他觉得插入的风景图太单调了,想加点特效上去,但自己又不会PhotoShop,  相似文献   
6.
提出了采用化学腐蚀硼锗共掺光纤通过电孤放电封闭成型制作非本征型光纤法-珀传感器的方法.发现硼锗共掺光纤在40%氢氟酸溶液中的腐蚀速率是一般单模光纤的30倍以上.在1.357~1.400的折射率范围内,条纹对比度随折射率改变的灵敏度约为30 dB/RIU,分辨率约为3.33×10-5,线性度为0.99以上.化学腐蚀硼锗共...  相似文献   
7.
面向制造系统的有向图仿真建模方法研究   总被引:3,自引:0,他引:3  
通过对制造系统虚拟仿真的需求进行分析,提出将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制,详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。  相似文献   
8.
一种面向车间物流模型的仿真优化方法   总被引:4,自引:0,他引:4  
首先构建了一个优化与仿真分离的仿真优化框架,该框架的核心是混合优化算法模块和物流仿真模块,笔者根据物流仿真的特点提出了一种改进的区域收缩遗传算法和增强连续型禁忌搜索算法混合的优化算法,也是本文中讨论的重点。并基于该框架开发了一个仿真优化软件系统,最后利用此系统优化了一个生产线实例。  相似文献   
9.
在知识经济时代,信息化程度的高低已经成为一个国家现代化水平和综合国力的重要标志。然而,在国家信息化体系建设中,政府信息化又是整个信息化中的关键。总体来说,我国的政府信息化建设,90%处于搁置状态,大多是形象工程,真正实用的少之又少。究其原因是太多软件只是解决政  相似文献   
10.
本文主要研究基于FPGA的数据处理系统,内部包含一个1024点的FFT处理单元.FFT部分采用基四算法,五级级联处理,并通过CORDIC流水线结构使硬件实现较慢的复乘运算转化为移位和加减运算.双端口RAM、只读ROM全部内置在FPGA芯片内部,使整个系统的数据交换和处理速度得以很大提高,合理地协调了资源和速度之间相互制约问题.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号