首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   417篇
  免费   52篇
  国内免费   15篇
  2024年   2篇
  2023年   4篇
  2022年   7篇
  2021年   9篇
  2020年   14篇
  2019年   8篇
  2018年   2篇
  2017年   6篇
  2016年   10篇
  2015年   8篇
  2014年   34篇
  2013年   35篇
  2012年   53篇
  2011年   40篇
  2010年   26篇
  2009年   39篇
  2008年   39篇
  2007年   23篇
  2006年   12篇
  2005年   23篇
  2004年   9篇
  2003年   6篇
  2002年   14篇
  2001年   13篇
  2000年   12篇
  1999年   7篇
  1998年   10篇
  1997年   5篇
  1996年   2篇
  1994年   1篇
  1993年   4篇
  1992年   3篇
  1990年   2篇
  1989年   1篇
  1988年   1篇
排序方式: 共有484条查询结果,搜索用时 250 毫秒
121.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。  相似文献   
122.
无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。  相似文献   
123.
参数化系统二维抽象框架   总被引:1,自引:0,他引:1       下载免费PDF全文
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。  相似文献   
124.
《中国军转民》2010,(3):77-77
中国核电巨头之一的中国广东核电集团3月2日与浙江省30家民营能源装备企业签订合作协议,总金额约10亿元,这是中广核首次面向民营核电装备企业采购相关设备。  相似文献   
125.
《中国军转民》2010,(7):67-67
近日,卫士通隆重地向大型企业市场及各级行业市场推出新一代多功能综合安全网关——CG-USG3000系列。该系列共包括USG3010、USG3020、USG3030、USG3040、USG3050、USG3060六款产品,基于卫士通公司在安全行业数十年的技术积累,结合了行业发展特征和客户的广泛需求,USG3000系列在支持防火墙、  相似文献   
126.
基于TCP/IP协议栈构建了弹上飞控软件评测与验收系统,详细描述了TCP/IP协议栈在该系统中的应用。  相似文献   
127.
移动计算的发展与便携计算设备的大量使用 ,提高了移动无线网络的重要性。由于面向群组计算的应用也大大增加 ,产生了MANET组播路由的需求。由于潜在的广播能力 ,MANET更适合组播通信。本文指出了关于MANET组播路由研究的一些突出的问题 ,并且研究和讨论了现有几种组播协议的优缺点 ,以及对不同条件的适应性。  相似文献   
128.
提出了一个在多种介质情况下考虑常见体力的弹性接触问题情形时形成其系统方程的方法。在物体具有多种介质时 ,用边界元法求解时必须将其区域分开 ,而此时形成的方程具有稀疏的性质。文章对此利用凝聚的思想 ,采用事先消元的方法 ,得到一个求解速度较快、仅限于可能接触区的接触系统方程  相似文献   
129.
6月11日,国防科学技术大学和航天科技集团公司四院在古城西安正式签署战略合作框架协议,标志着以军工科研教学为主的国防高校和以固体动力技术研发为特色的航天研究院在战略合作的道路上迈开了新的一步,双方将在已有的合作基础上开展更为广泛和深入的合作与交流。  相似文献   
130.
附连水质量的边界元法求解   总被引:1,自引:0,他引:1  
研究了计算水下结构动态响应中附连水质量的边界元方法;根据数值积分和边界元法的原理,应用直线单元对结构边界进行离散,将原有表达形式中复杂的曲线积分转化成可直接计算的数值积分形式,从而解决了奇异积分的问题;得到了更适于直接计算的系数矩阵和向量的表达形式,使边界元法更方便地应用于计算无限流场中不规则截面物体的附连水质量.最后,给出了典型算例,并与经典计算结果比较,误差均在4%以内.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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