首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   438篇
  免费   51篇
  国内免费   24篇
电工技术   34篇
综合类   80篇
化学工业   28篇
金属工艺   6篇
机械仪表   25篇
建筑科学   23篇
矿业工程   5篇
能源动力   4篇
轻工业   66篇
水利工程   3篇
石油天然气   28篇
武器工业   4篇
无线电   24篇
一般工业技术   23篇
冶金工业   12篇
原子能技术   3篇
自动化技术   145篇
  2025年   1篇
  2024年   6篇
  2023年   6篇
  2022年   13篇
  2021年   9篇
  2020年   9篇
  2019年   8篇
  2018年   11篇
  2017年   10篇
  2016年   11篇
  2015年   13篇
  2014年   19篇
  2013年   26篇
  2012年   35篇
  2011年   47篇
  2010年   27篇
  2009年   22篇
  2008年   27篇
  2007年   25篇
  2006年   19篇
  2005年   20篇
  2004年   24篇
  2003年   25篇
  2002年   18篇
  2001年   14篇
  2000年   6篇
  1999年   12篇
  1998年   6篇
  1997年   3篇
  1996年   8篇
  1995年   3篇
  1994年   9篇
  1993年   5篇
  1992年   2篇
  1990年   2篇
  1989年   1篇
  1986年   1篇
  1985年   1篇
  1984年   2篇
  1983年   1篇
  1980年   2篇
  1979年   2篇
  1976年   1篇
  1955年   1篇
排序方式: 共有513条查询结果,搜索用时 15 毫秒
1.
We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.  相似文献   
2.
建立了纺织品中微量甲醛、乙醛、丙醛、丁醛和戊醛的高效液相色谱串联质谱测定方法.以2.0%磷酸为溶剂,以超声波辅助技术进行萃取,采用2,4-二硝基苯肼(DNPH)衍生,衍生物在BEH C18色谱柱(75 mm×2.0 mm,2.2μm)上以甲醇-0.05%甲酸为流动相,采用梯度洗脱分离,电喷雾电离(ESI)正离子多反应监...  相似文献   
3.
设U=Tri(A,M,B)是三角代数,Dn={δ0,δ1,…,δn}为U上的一组可加映射且δ0=I.若A,B∈U有δm(AB)=∑mk=0Cmkδk(A)δm-k(B)(m=0,1,2,…,n),则称Dn为U上的一个n阶导子系,若A∈U有δm(A2)=∑mk=0Cmkδk(A)δm-k(A)(m=0,1,2,…,n),则称Dn为U上的一个n阶Jordan导子系.利用算子论的方法讨论了三角代数上的n阶导子系,证明了三角代数上的每个n阶Jordan导子系都是n阶导子系.  相似文献   
4.
甲壳素是地球上的第二大可再生资源。主要论述了甲壳素及其衍生物的制备、结构和性质,并讨论了其在造纸工业中的应用。  相似文献   
5.
设A为一有单位元的复Banach代数,D包含A为非空开集。西方中引入并研究了映射F:D→A的一阶方向导数DF(a)和高阶方向导数D^(n)f(a)。利用Riesz函数演算,证明了它们的一些性质,讨论了它们与内导子δa的关系。特别地,当f∈H(Ω),a∈A且δ(a)包含Ω时,得到了算子δ^(n)F(a)的一个表示。  相似文献   
6.
分段函数在《高等数学》中经常出现,其分段点处的求导问题一向是学生学习的一大难点。通常我们是依据导数定义来判断分段点处的可导性,学生实际用起来感觉很吃力。对分段函数在分段点处可导性的判别方法做了详细梳理,对满足一定条件的分段函数,利用求导公式分别求出分段点左、右两侧的导函数,再将分段点代入作为分段点处的左、右导数,并以此得出分段函数在分段点处的可导性,这样做可使计算过程大大简化,更易于学生接受。  相似文献   
7.
设U=Tri(A,M,B)是含单位元I的三角代数并且φ:U→U是线性映射.利用代数分解的方法,证明了当三角代数U满足适当条件时,如果U,V∈U且UV=VU=I,有φ([U,V]ξ)=[φ(U),V]ξ+[U,φ(V)]ξ(ξ≠±1),则φ是导子.并得到了套代数上ξ-Lie可导映射的一个刻画.  相似文献   
8.
为了对同向抽运光纤拉曼放大器的功率转换效率进行研究,由耦合方程出发,首先理论推导出功率转换效率的解析解,然后采用数值计算的方法详细分析不同物理因素对功率转换效率的影响。结果表明:功率转换效率先随着光纤长度和单位面积的拉曼增益系数增加而增加,当增加到最大值时保持数值不变;小信号时,初始信号光功率对功率转换效率的影响较小;大信号时,功率转换效率随着初始信号光功率增加而快速增加;功率转换效率和初始抽运光功率呈抛物线曲线关系;抽运光与信号光的频率比增加时,功率转换效率减小。  相似文献   
9.
形变图像配准(deformable image registration, DIR)是自适应放射治疗(adaptive radiotherapy, ART)中轮廓推衍和剂量累积的关键过 程。 本研究比较3种不同形变配准算法在自适应放疗过程中轮廓推衍和剂量累积的变化。选择头 颈部癌症患者的放疗影像数据图像进行这项研究,刚性配准后采用B样条弹性配准和LCC- Demons配准算法,其中B样条弹性算法研究了两种优化指标:归一化互相关、归一化互相 关结合弯曲能量惩罚(bending energy penalty, BEP) 正则化。剂量评估采用剂量参数D95、Dmin、Dmean、Dmax和均 匀性指数(homogeneity index, HI)来评价累积剂量与初始剂量的差异。几何评估使用Dice 相似性系数(Dice similarity coefficient, DSC)和 Hausdorff距离(Hausdorff distance, HD)来评价体积之间的重叠度。经过实验,几何评估所得的PTV(planning target volume)靶区、左腮腺、 右腮腺Dice系数在B样条弹性配准的两种优化算法和LCC-Demons算法中分别为:0. 82、 0.83、0.86,其中在LCC-Demons算法下得到的Dice系数达到了最大值0.91, 所得的Hausdorff距离均在1—3 mm之间,DSC重叠度结果与表明偏差 距离均在临床可接受的 范围内。对于剂量评估,相应的HI值分别为:1.089、1.082、1.081,LCC-Demons同样达到 了最小值1.081,本实验中LCC-Demons在轮廓推衍和剂量映射中均取 得了较好的效果,同 时也为临床环境下对配准质量的评估提供了一定的借鉴。  相似文献   
10.
高效液相色谱法因操作简单、高效和灵敏度高成为单糖分析的重要方法之一。文章介绍几种常用单糖分析的高效液相色谱方法,即液相色谱示差折光检测法、液相色谱蒸发光散射检测法、PMP柱前衍生化检测法、对氨基苯甲酸柱前衍生法、邻氨苯甲酸衍生法、柱后衍生法,指出它们的优缺点,并从灵敏度、操作方法、精确度等方面进行分析比较。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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