全文获取类型
收费全文 | 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条查询结果,搜索用时 0 毫秒
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.
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.
针对试验中出现的初始段跟踪数据缺失情形,研究利用修正制导工具误差后的遥测数据转至发射系下弥补外测跟踪数据的逆向递推方法,给出了实际实现方案.从微分方程理论出发,推导了初始跟踪数据误差影响积分终值误差的结论.仿真计算给出了符合工程实际的全程弹道,并验证了误差理论分析的正确性,位置误差基本为初始位置偏差加上初始速度偏差的积分,速度误差为初始速度偏差加上一个小量. 相似文献
10.
负荷求导法在电网超短期负荷预测中的实践 总被引:6,自引:0,他引:6
介绍负荷求导法在浙江电力调度技术支持系统中的应用和实践,并通过在电网调度中的实践结果与目前常用的几种超短期负荷预测方法误差比较,验证了负荷求导法误差更小,对电网调度的实际工作具有广泛的实用价值。 相似文献