首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   521篇
  免费   47篇
  国内免费   59篇
电工技术   70篇
综合类   48篇
化学工业   65篇
金属工艺   1篇
机械仪表   6篇
建筑科学   17篇
矿业工程   3篇
能源动力   3篇
轻工业   18篇
水利工程   3篇
石油天然气   12篇
武器工业   6篇
无线电   118篇
一般工业技术   35篇
冶金工业   46篇
原子能技术   4篇
自动化技术   172篇
  2024年   3篇
  2023年   5篇
  2022年   13篇
  2021年   16篇
  2020年   15篇
  2019年   6篇
  2018年   6篇
  2017年   11篇
  2016年   15篇
  2015年   17篇
  2014年   34篇
  2013年   27篇
  2012年   42篇
  2011年   47篇
  2010年   45篇
  2009年   27篇
  2008年   21篇
  2007年   32篇
  2006年   36篇
  2005年   36篇
  2004年   18篇
  2003年   25篇
  2002年   27篇
  2001年   12篇
  2000年   16篇
  1999年   9篇
  1998年   8篇
  1997年   6篇
  1996年   5篇
  1995年   2篇
  1994年   5篇
  1993年   6篇
  1992年   3篇
  1991年   6篇
  1990年   3篇
  1989年   2篇
  1987年   2篇
  1985年   4篇
  1984年   3篇
  1983年   1篇
  1982年   2篇
  1980年   1篇
  1979年   2篇
  1978年   1篇
  1976年   1篇
  1965年   1篇
  1961年   1篇
  1958年   1篇
排序方式: 共有627条查询结果,搜索用时 15 毫秒
1.
Nonterminating Rewritings with Head Boundedness   总被引:1,自引:1,他引:0       下载免费PDF全文
We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.  相似文献   
2.
从距离谱的角度对迫零在Turbo码中的作用进行了理论分析。通过仿真,研究了迫零对Turbo码性能的影响。仿真结果表明,Turbo码编码器迫零处理有助于改善Turbo码的性能。  相似文献   
3.
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。  相似文献   
4.
H.264视频编解码标准的算法复杂度高,不能满足视频监控和无线传输中要求的高压缩比、低码率和实时性的要求,通过分析可知运算量最大的是运动估计模块,本文对该模块的算法进行优化。在ARPS算法的基础上结合预测的初始点和自适应调节臂长的搜索策略的优点,采用可变阈值的早期终止策略和简单的搜索模板的算法。实验表明该算法在有效减少搜索点数的情况下并不会对图像质量产生较大的影响,提高了运动估计算法的搜索速率和鲁棒性。  相似文献   
5.
李轶  吴文渊  冯勇 《软件学报》2014,25(6):1133-1142
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨.  相似文献   
6.
电力缴费系统在移动Android终端中的设计与实现   总被引:1,自引:0,他引:1  
随着社会发展进程的加快,电力已经成为人们日常生活中不可或缺的重要组成部分.本文设计的电力缴费系统利用信息化移动终端实现自助缴费,让缴费人员与移动终端自助缴费系统之间得到了信息化交互模式,通过信息化的方式提高了服务效率.  相似文献   
7.
主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。  相似文献   
8.
地面沉降是全世界主要的工程地质灾害之一,而地下水超采是造成地面沉降的主要原因之一。为研究地下水人工回灌和停采对北京平原地面沉降的影响,采用三维地下水模型和情景设计法,设计3个情景(保持现状、人工回灌和地下水停采)对北京平原区域及沉降中心的沉降速率进行模拟。结果表明:保持现状、人工回灌和地下水停采等情景下北京平原在2015、2020和2030年的区域地面沉降分别为24 mm/a左右、12. 7~23. 2 mm/a及12. 4~23. 7mm/a,沉降中心地面沉降分别为39. 30~158. 62 mm/a、21. 09~165. 83 mm/a及16. 5~162. 95 mm/a;人工回灌和地下水停采对研究区地下水水位和含水层储存量的恢复以及地面沉降的控制有显著的促进作用,但地下水停采的效果要优于人工回灌的效果;只有综合考虑社会经济发展和地面沉降控制,才能既控制地面沉降的恶化,又保证北京平原社会的可持续发展。  相似文献   
9.
本文针对带初始输入的二维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的二维齐次线性循环的终止性, 并建立了用来完备判定该类循环终止性的算法。  相似文献   
10.
以高附着力耐温二元醇(XC-488)、甲苯二异氰酸酯(TDI)、甲基丙烯酸羟乙酯(HEMA)为原料,合成了聚酯型双键封端的聚氨酯预聚物(HPU),然后将不同含量的HPU与不饱和聚酯树脂、短切玻璃纤维、碳酸钙、阻燃剂等进行共混,用于团状模塑料(BMC)的制备。通过傅里叶变换红外光谱、差示扫描量热仪、力学性能、吸水率、熔体流动性、耐酸碱性、耐老化测试和扫描电子显微镜进行测试。结果表明,当HPU的含量为6 %(质量分数,下同)时,BMC复合材料的综合力学性能最好,此时复合材料的拉伸强度、弯曲强度、冲击强度分别为(47.24 ±0.42) MPa、(117.76±0.65)MPa、(33.8±0.2) kJ/m2。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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