首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   220篇
  免费   17篇
  国内免费   9篇
电工技术   5篇
综合类   33篇
化学工业   5篇
金属工艺   5篇
机械仪表   9篇
建筑科学   31篇
水利工程   3篇
石油天然气   3篇
无线电   18篇
一般工业技术   5篇
冶金工业   10篇
自动化技术   119篇
  2022年   2篇
  2021年   2篇
  2020年   9篇
  2019年   3篇
  2018年   13篇
  2017年   2篇
  2016年   3篇
  2015年   4篇
  2014年   5篇
  2013年   8篇
  2012年   13篇
  2011年   9篇
  2010年   10篇
  2009年   16篇
  2008年   11篇
  2007年   18篇
  2006年   14篇
  2005年   11篇
  2004年   8篇
  2003年   13篇
  2002年   13篇
  2001年   6篇
  2000年   12篇
  1999年   2篇
  1998年   3篇
  1997年   2篇
  1996年   2篇
  1995年   2篇
  1994年   2篇
  1993年   3篇
  1992年   5篇
  1991年   5篇
  1990年   4篇
  1989年   3篇
  1987年   1篇
  1986年   2篇
  1985年   2篇
  1981年   1篇
  1980年   1篇
  1967年   1篇
排序方式: 共有246条查询结果,搜索用时 15 毫秒
1.
井下有限空间内声波的有效发生与声能量的高效传递是声波在钻柱中稳定、长距离传输的前提,高效可靠的发生装置是实现井下信息声波传输技术现场化应用的关键。为了实现速度快、准确性高、抗外界因素干扰能力强的井下信息传输,基于超磁致伸缩换能器设计加工了一种井下声波发生装置,并通过建立试验系统,对该装置的功能性及关键参数设计开展了研究。研究结果表明:①带内孔的单级圆锥变幅杆是辐射声波首选,换能器在圆锥变幅杆小端激励的声波辐射进入钻柱中能够获得平面波;②在变幅杆放大系数极小值点附近设计长径比能够有效提高低频段声波能量传递效率;③黄铜材料的声传递介质具有较高的滤波质量与声能量传递效率;④声波能量传递效率随换能器预紧力增加,先增加后保持不变,7.20 kN预紧力能够获得最佳传递效率。结论认为,在井下声波发生与中继装置的设计过程中,应充分考虑换能器声波辐射方式与结构参数对声波能量传递效率的影响;建议进一步研究声发射端机械结构、声载波参数等因素对钻柱中声传播特性的影响,以加快井下信息声传输技术现场应用的步伐。  相似文献   
2.
在基于命题逻辑的可满足性问题(SAT)求解器和基于一阶逻辑的定理证明器上,子句集简化一直是必不可少的步骤,而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法(RHTE)和归结隐藏包含消去方法(RHSE)提升到一阶逻辑上,并且利用蕴含模归结原则(IMR)证明了这种提升方式在一阶逻辑上具有可靠性(Soundness),即依据这两种子句消去方法删除一阶逻辑公式集中的子句,并不会改变公式集的可满足性或者不可满足性。此外,将这两个方法与一阶逻辑子句消去方法锁子句消去方法(BCE)和归结包含消去方法(RSE)进行组合推广,发展得到一阶逻辑上新型子句消去方法(BC+RHS)E、(RS+RHT)E和(RHS+RHT)E,并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后,分析比较了这些子句消去方法的有效性,并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。  相似文献   
3.
贾冰茹  温广宇  刘超 《塑料科技》2012,40(12):75-77
分析了显示灯塑料壳的使用要求及结构特点,阐述了PLC显示灯外壳注塑模的设计过程。该套模具采用两板式潜伏式点浇口,采用斜导柱侧抽芯和牛角销斜滑块抽芯两种侧抽芯结构,结构合理,运行可靠。  相似文献   
4.
主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。  相似文献   
5.
In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.  相似文献   
6.
Project valuation, as a decision-making tool for initiating investments in projects, should be able to value project flexibilities and incorporate reasonable risk preferences of relevant decision makers. Real options valuation methods are the available approaches for valuing project flexibilities, whereas they have shortcomings in considering managers’ reasonable risk preferences in project decisions. Therefore, researchers have suggested approximating the perspective on risk of real options methods and practitioners in project management. This study proposes a fair real options valuation for project-based environments by a behavioral economic approach, which adopts binomial lattice method, Monte-Carlo simulation, and cumulative prospect theory. The results show that behavioral factors such as ‘risk attitude’ and ‘loss aversion’ should be accepted in project investment decisions while limited to an acceptable amount depending on the project conditions (e.g. uniqueness of decision-making scenarios). This research contributes to the project management domain by enhancing project investment decisions that include project flexibilities.  相似文献   
7.
厘清贿赂、折扣及赠与的概念,明晰相互之间的界限;从要约角度、合同效力角度、捐赠与赠与区分角度及赠与条款角度深入分析赠与条款的法律性质和地位;从建筑施工合同中的赠与条款的法律性质入手,明确赠与条款的履行指令和履行质量。最后结合我国建筑工程项目的实际,提出相应的政策和制度建议。  相似文献   
8.
汉语块分析评测任务设计   总被引:1,自引:0,他引:1  
该文主要介绍了目前中文信息学会句法分析评测CIPS-ParsEval-2009中的三项块分析评测任务 基本块分析、功能块分析和事件描述小句识别的设计理念、判定标准和相关资源构建方法。然后给出了这三项目前的主要评测结果并对相关内容进行了简要分析。最后通过相关统计数据分析和国内外相关研究评述,总结了这三项评测任务的主要特色。  相似文献   
9.
An algorithm to compute maximal contractions for Horn clauses   总被引:2,自引:0,他引:2  
In the theory of belief revision, the computation of all maximal subsets (maximal contractions) of a formula set with respect to a set of facts is one of the key problems. In this paper, we try to solve this problem by studying the algorithm to compute all maximal contractions for Horn clauses. First, we point out and prove the conversion relationship between minimal inconsistent subsets of union of the formula set and the set of facts and maximal contractions of the formula set with respect to th...  相似文献   
10.
《工程建设标准强制性条文》(电力工程部分)是工程建设必须严格执行的规定。结合工程实际,对火电厂工程建设中设计阶段存在的与《工程建设标准强制性条文》不符或在执行过程中容易出错的方面进行剖析,如事故放油阀门布置、汽水及油管道布置、制粉系统防爆和灭火设施设置、抗燃油集装装置基础设计等;并针对存在的问题或缺陷提出相应的预防措施及解决办法,为今后的工程设计提供参考。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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