全文获取类型
收费全文 | 2196篇 |
免费 | 21篇 |
国内免费 | 47篇 |
专业分类
系统科学 | 34篇 |
丛书文集 | 99篇 |
教育与普及 | 129篇 |
理论与方法论 | 203篇 |
现状及发展 | 6篇 |
综合类 | 1793篇 |
出版年
2024年 | 13篇 |
2023年 | 22篇 |
2022年 | 26篇 |
2021年 | 33篇 |
2020年 | 20篇 |
2019年 | 19篇 |
2018年 | 14篇 |
2017年 | 18篇 |
2016年 | 22篇 |
2015年 | 29篇 |
2014年 | 77篇 |
2013年 | 90篇 |
2012年 | 102篇 |
2011年 | 115篇 |
2010年 | 97篇 |
2009年 | 87篇 |
2008年 | 157篇 |
2007年 | 106篇 |
2006年 | 88篇 |
2005年 | 89篇 |
2004年 | 91篇 |
2003年 | 104篇 |
2002年 | 100篇 |
2001年 | 81篇 |
2000年 | 76篇 |
1999年 | 61篇 |
1998年 | 65篇 |
1997年 | 75篇 |
1996年 | 81篇 |
1995年 | 61篇 |
1994年 | 59篇 |
1993年 | 54篇 |
1992年 | 38篇 |
1991年 | 27篇 |
1990年 | 23篇 |
1989年 | 24篇 |
1988年 | 10篇 |
1987年 | 5篇 |
1986年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1957年 | 1篇 |
1932年 | 1篇 |
排序方式: 共有2264条查询结果,搜索用时 15 毫秒
41.
基于信号解释Petri网的可重构逻辑控制器分析与设计 总被引:3,自引:0,他引:3
为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 . 相似文献
42.
高剑平 《广西民族大学学报》2004,(4)
科学理性是一种认知理性 ,它的宗旨就是通过对科学理论或科学事实的哲学解释或分析 ,来揭示对象亦即客体的规律性 ,从而表明科学理性的完美。而一种理论是否完美是在一次又一次认识中完成的 ,科学理性的认识功能主要表现在解释、预见和怀疑上。 相似文献
43.
44.
本文通过对不同量子测量解释的共同基本特征的考察,系统地阐述了量子测量解释中隐含的实在观的三个基本信条,(1)在本体论意义上,承认世界的独立存在性;(2)可以对物理过程进行统计因果性的说明;(3)物理世界具有非分离性或整体性.提出了以这种整体性实在观为前提,对量子力学的实在论解释要求重新审查传统真理观的观点. 相似文献
45.
46.
《辽宁师范大学学报(自然科学版)》2004,27(3):366-366
要是以提供献内容梗概为目的、不加评论和补充解释,简要明确地记叙献重要内容的独立短.其基本要素包括研究的目的、方法、结果、结论,具有独立性和自明性.要可分为报道性要、报道/指示性要和指示性要,作要一般要写成前两种,字数在300字以内为宜,且对方法、结果、结论宜写得详细。 相似文献
47.
为了避免单井解释与宏观地质背景脱节的弊端,采用面向对象技术对测井资料多井评价系统进行了分析。在开发基本构件类的基础上,建立了在区域背景下以求解井筒解释参数为主要目标的多井交互解释系统。在大庆、胜利、新疆等油田诸多区块的初步应用结果表明,该系统具有较好的实用性。 相似文献
48.
现今智慧城市大力推广的情景下,相比传统的建造和运维手段,建筑信息模型(BIM)技术更适合作为建筑项目全过程智慧化管理的重要基础,解决项目管理建设中容易出现的管理不当、信息紊乱、难以发挥信息资源合理利用等问题。本文通过相关文献研究和查询相关报告,提取出10个影响因素,基于此采用解释结构模型技术(Interpretative Structural Modeling,ISM)搭建智慧城市背景下BIM运维管理应用影响因素的结构模型,根据结构模型对影响因素进行解释和分析,得出各影响因素之间的联系。该研究对BIM应用提供了理论依据,支持多方BIM相关人员针对不同使用情况来做出及时和明智的决策。 相似文献
49.
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子△↓的△↓-解释,也需要用到选择公理,另外指出了已有代数证明的不足之处,并作了修正。 相似文献
50.
从不可约张量算符与角动量算符之间的对易关系出发,利用角动量算符和角动量本征态的有关性质,给出了Wigner-Eckart定理的一种简单证明方法. 相似文献