全文获取类型
收费全文 | 84124篇 |
免费 | 2738篇 |
国内免费 | 5992篇 |
专业分类
系统科学 | 7361篇 |
丛书文集 | 2878篇 |
教育与普及 | 1622篇 |
理论与方法论 | 491篇 |
现状及发展 | 565篇 |
研究方法 | 3篇 |
综合类 | 79934篇 |
出版年
2024年 | 690篇 |
2023年 | 2210篇 |
2022年 | 2429篇 |
2021年 | 2970篇 |
2020年 | 2340篇 |
2019年 | 2002篇 |
2018年 | 1151篇 |
2017年 | 1506篇 |
2016年 | 1810篇 |
2015年 | 2623篇 |
2014年 | 4340篇 |
2013年 | 4066篇 |
2012年 | 4527篇 |
2011年 | 5044篇 |
2010年 | 4417篇 |
2009年 | 5385篇 |
2008年 | 6039篇 |
2007年 | 5742篇 |
2006年 | 4680篇 |
2005年 | 3832篇 |
2004年 | 3394篇 |
2003年 | 3040篇 |
2002年 | 2738篇 |
2001年 | 2561篇 |
2000年 | 2092篇 |
1999年 | 1787篇 |
1998年 | 1193篇 |
1997年 | 1171篇 |
1996年 | 1060篇 |
1995年 | 841篇 |
1994年 | 749篇 |
1993年 | 792篇 |
1992年 | 769篇 |
1991年 | 650篇 |
1990年 | 603篇 |
1989年 | 555篇 |
1988年 | 490篇 |
1987年 | 311篇 |
1986年 | 144篇 |
1985年 | 56篇 |
1984年 | 25篇 |
1981年 | 21篇 |
1980年 | 6篇 |
1959年 | 1篇 |
1958年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
901.
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用. 相似文献
902.
牙列缺损修复的多媒体仿真系统设计 总被引:1,自引:0,他引:1
利用计算机三维重建技术和多媒体技术开发了用于口腔修复临床及教学的多媒体仿真系统.在PowerSHAPE中制作牙列缺损及修复的三维几何模型库,适当处理后调入ANSYS5.5中制作相应的有限元模型库,再把有关的素材(模型、文字、声音、动画等)经Visual Basic 6.0编程和Camtasia Recorder处理并按一定的形式编辑组织.该系统具有教学演示功能和临床辅助功能,将临床常见的牙列缺损及修复的单元体进行三维形象化、具体化,有助于学生的理解和修复科医生制定手术方案. 相似文献
903.
基于云理论神经网络决策树的生成算法 总被引:1,自引:0,他引:1
提出了一种基于五层云神经网络的决策树生成方法.运用五层云神经网络学习变量间的云映射关系,从中生成云决策树.给出了神经网络的学习算法和云决策树的推理方法,这种方法不但具有神经网络的学习能力,而且结合云理论处理知识的不确定性的能力.该方法利用了五层云神经网络学习后的云映射强度,并能实现云决策树的剪枝优化,提高了算法的正确率. 相似文献
904.
供需网环境下企业动态结构建模研究 总被引:3,自引:0,他引:3
针对传统供应链管理中存在的弊端,提出了多功能开放型供需网概念,在此基础上分析了多功能开放型企业供需网环境下企业动态结构的需求与特点,并建立了基于Multi-agent的企业动态结构及其协作模型.在此动态结构及协作模型中,系统的构成单元具有决策智能、自治、自组织和协作能力,支持企业动态重构,从而使企业具有以内部变化适应外部快速变化的能力. 相似文献
905.
客户关系的动态发展及其策略分析 总被引:2,自引:0,他引:2
根据客户关系管理中客户关系发展的周期性特点,提出了客户关系发展的五阶段模型.以此为基础,构造了马尔可夫过程模型,对客户关系的动态发展进行了分析研究,并得出了客户关系生命周期价值的定量计算方法.以该方法为基础,定量分析了影响客户关系发展的各个因子对客户关系生命周期价值的影响,得到了可供企业借鉴的客户关系管理策略. 相似文献
906.
用沉淀法合成了掺杂Y~(3 ),La~(3 )的CaSO_4:Eu~(2 )稀土发光材料,研究了材料的晶体结构和荧光光谱,根据实验结果,所制样品基本上属正交晶系、C_(2v)空间群,Eu离子在CaSO_4中的激发峰为基态到4f~65d(E_g),(T_(2g))激发态的跃迁;样品发射主峰位于383um,属于Eu~(2 )的~5P_(7/2)→~8S_(2/7)跃迁,说明样品中Eu离子主要以Eu~(2 )的形式存在。CaSO_4:RE(La,Y)本身没有荧光,Y~(3 ),La~(3 )掺入CaSO_4:Eu中未改变基质的晶型结构,但可增强CaSO_4:Eu中Eu~(2 )的荧光强度。 相似文献
907.
丘威 《上饶师范学院学报》2003,23(6):90-93
引用XML、SOAP等相关技术和需求驱动模型的远程教学概念,建构了基于需求驱动的XML课件系统模型,及其应用研究的关键技术的实现。 相似文献
908.
混沌神经网络在分离叠加模式和信息恢复中的应用 总被引:2,自引:0,他引:2
提出了一种改进的混沌神经网络模型,该模型具有两个特点:①能从叠加模型恢复出被记忆的正确信息;②能通过部份信息恢复被记亿的全部信息.设计了一系列的仿真实验证明了所提模型的有效性。 相似文献
909.
对目前主要的数据存储方式进行了介绍,针对网络中单个应用系统存储需求紧张而同时网络中存在存储资源浪费、闲置等情况,提出了用软件实现基于B/S模式的网络存储系统BSMSM(B/S Model based Shared Memory),从而实现了跨平台的网络存储. 相似文献
910.
根据比较优势理论,竞争优势理论建立了中国农产品的静态和动态显示比较优势降税模型。讨论了模型解的存在性。 相似文献