首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   328篇
  免费   27篇
  国内免费   16篇
工业技术   371篇
  2024年   2篇
  2023年   20篇
  2022年   24篇
  2021年   14篇
  2020年   14篇
  2019年   21篇
  2018年   21篇
  2017年   15篇
  2016年   10篇
  2015年   18篇
  2014年   17篇
  2013年   19篇
  2012年   21篇
  2011年   18篇
  2010年   13篇
  2009年   23篇
  2008年   12篇
  2007年   12篇
  2006年   14篇
  2005年   11篇
  2004年   7篇
  2003年   6篇
  2002年   10篇
  2001年   8篇
  2000年   1篇
  1999年   10篇
  1997年   1篇
  1996年   1篇
  1995年   2篇
  1994年   2篇
  1991年   1篇
  1990年   2篇
  1984年   1篇
排序方式: 共有371条查询结果,搜索用时 31 毫秒
71.
以青岛白啤作为研究对象,建立一种快速筛选二肽基肽酶-IV(dipeptidyl peptidase-IV,DPP-IV)抑制活性肽的方法。白啤经超高效液相色谱-四极杆-静电场轨道阱高分辨质谱结合De novo软件鉴定出肽段序列,确定了置信度较高的68 条肽段。应用Peptide Ranker对68 条肽段进行生物活性评分,筛选出评分大于0.5的4 条肽段,同时又根据先前文献对抑制DPP-IV活性肽的氨基酸位点研究报道,筛选出13 条肽段。对筛选出的17 条肽段进行吸收、代谢及毒性预测及分子对接评价,选定了VPFPHTP和LAKLQR两条潜在抑制DPP-IV活性肽段。通过肽段与DPP-IV分子对接构象图表明,选定的2 条活性肽均能以氢键及疏水作用紧密结合DPP-IV,从而抑制其活性。利用体外方法验证2 条活性肽抑制DPP-IV活性,结果显示2 条肽段具有明显的DPP-IV抑制活性。  相似文献   
72.
张翠  单绍仁 《水泥工程》2017,30(5):61-62
<正>1生产现状及存在的问题某公司20 000 t/d骨料生产线原工艺流程见图1。其配置为,PE1200×1500Ⅱ颚式破碎机,生产能力300~800 t/h(187~500 m~3/h);ZSW600×150振动给料机,处理能力650 t/h,偏心轴转速500~800  相似文献   
73.
74.
正我公司骨料线二破使用反击破PF-1620进行破碎作业,该反击破使用4年一直运转正常,2019年1月例行停机检查,发现反击破转子1处裂透,采取应急措施进行了处理,使生产得以顺利进行。反击破转子结构见图1,转子断裂见图2。转子是钢板焊接结构,材质ZG20SiMn。转子筋板裂透,筋板两侧均有对称性裂纹。分析认为,转子断裂原  相似文献   
75.
76.
77.
服装行业网络销售可以方便消费者购买,可以降低产品成本,并可提高利润空间、品牌的诚信度和知名度。服装产品网络销售主要有高档时装网络商城、大型百货网络商店、网络专卖店、个体服装网络摊位或店铺四种销售模式。但是在服装试穿、物流配送、支付方式、缺乏诚信等方面还存在着许多问题,有待解决。  相似文献   
78.
《容斋随笔》引用了大量文献,涵盖四部各类典籍,有些文献资料今已亡佚,此书是了解古代文献资料极好的宝库。其中引用前人和同时代人赋作以论证其观点有三十五条,引用赋作约一百零六篇。有些作者、作品为洪迈反复征引,有些不见于他书记载的通过此书而留下只鳞片甲。从洪迈引用的赋作来了解宋代赋作的使用、流传、阅读情况,并试图总结其引赋的来源和引赋之用,并从《容斋随笔》记录的鄱阳乡邦文献,考察洪迈创作《容斋随笔》的过程以及引书喜好。  相似文献   
79.
80.
江南  汪吕蒙  张晓瞳  何炎祥 《软件学报》2022,33(6):2115-2126
迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一个高效的迭代求解严格支配节点的算法(CHK),首先建立了值域是逆序列表集合的半格结构,逆序列表中的元素是控制流图中节点的逆后序遍历次序,并证明了它是一个半格,其偏序满足上升链条件.然后使用半格结构,实现了一个基于工作表的Kildall迭代算法,计算严格支配节点.接下来,首先给出了控制流图中支配节点的定义性规范和相关性质定理,然后构造并证明了迭代求解算法所满足的重要性质.利用这些性质定理,相对于定义性规范,证明了该迭代求解算法的正确性和完备性.最后进行总结,并讨论未来工作.整个形式化开发使用的是定理证明助手Isabelle/HOL.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号