全文获取类型
收费全文 | 2340篇 |
免费 | 444篇 |
国内免费 | 330篇 |
出版年
2024年 | 23篇 |
2023年 | 85篇 |
2022年 | 56篇 |
2021年 | 104篇 |
2020年 | 125篇 |
2019年 | 72篇 |
2018年 | 20篇 |
2017年 | 70篇 |
2016年 | 110篇 |
2015年 | 76篇 |
2014年 | 192篇 |
2013年 | 137篇 |
2012年 | 187篇 |
2011年 | 182篇 |
2010年 | 182篇 |
2009年 | 156篇 |
2008年 | 214篇 |
2007年 | 180篇 |
2006年 | 143篇 |
2005年 | 119篇 |
2004年 | 101篇 |
2003年 | 104篇 |
2002年 | 74篇 |
2001年 | 83篇 |
2000年 | 43篇 |
1999年 | 47篇 |
1998年 | 49篇 |
1997年 | 34篇 |
1996年 | 24篇 |
1995年 | 32篇 |
1994年 | 22篇 |
1993年 | 10篇 |
1992年 | 13篇 |
1991年 | 14篇 |
1990年 | 16篇 |
1989年 | 13篇 |
1988年 | 1篇 |
1987年 | 1篇 |
排序方式: 共有3114条查询结果,搜索用时 15 毫秒
941.
时态逻辑形式化描述并发系统性质 总被引:1,自引:0,他引:1
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例. 相似文献
942.
软件内建自测试(Build-In-Self-Test for Software)的思想来自于硬件内建自测试.讨论了在该项目中模板需要存储的有关信息,研究了测试用例的组织方式和在模板中的存储方式及其执行方式.而且就如何简化结构化程序的测试也进行了探讨,并提出了包装类的概念. 相似文献
943.
面向通信指挥的多层信息融合及决策支持模型研究 总被引:3,自引:3,他引:0
刘伟 《军事运筹与系统工程》2004,18(3):53-57
根据通信指挥的需要 ,给出了一个基于信息融合的通信指挥决策支持结构 ,设计了信息融合与决策分析多层黑板模型 ,为便于知识的集成 ,建立了混合知识表示模型用于知识的表示。 相似文献
944.
实舰简介美国海军LCS 2"独立"号濒海战斗舰是美国通用动力公司为美国海军濒海战斗舰计划而设计的一艘新概念战斗舰艇。该舰于2010年1月16日服役,现停驻于诺福克海军基地。 相似文献
945.
为解决辐射源识别的问题,研究利用变精度粗糙集模型来确定辐射源识别特征权值的方法。由概念的正域中对象类的条件属性的描述,得到该概念的充分条件,并依据知识间的依赖性作为所要考虑的因素来获取特征权值,同时结合模糊集理论,提出一种基于变精度粗集特征加权的辐射源模糊识别方法。最后将此识别方法模型应用于雷达辐射源用途识别,仿真实验及其结果验证了该方法的可行性和有效性。 相似文献
946.
947.
948.
马金凤 《兵团教育学院学报》2011,21(1):76-78
本文介绍了两种常用的灰色模型,并结合已有数据对未来5年门诊病人人均医药费用进行了比较预测。对预测结果给予了解释,这些数据可以为医疗保险及相关政策制定提供参考。 相似文献
949.
提出了用基于本体和UML的需求分析方法来建立天基信息支援下装备保障系统需求模型;建立了天基信息支援下装备保障系统需求本体元模型、语义模型并给出了建模算法;以天基信息支援下机步师装备保障系统为案例,依次建立其装备保障角色关系模型、装备保障活动模型和装备保障信息模型,然后用UML的表示方法对本体模型进行描述,详细阐明了基于本体与UML建立需求模型的方法和过程。 相似文献
950.
研究一类具有时滞和免疫反应的HIV模型。首先通过分析特征方程研究了平衡点的局部稳定性以及Hopf分支的存在性。然后利用规范型理论和中心流行理论得到了确定Hopf分支方向和分支周期解稳定性的计算公式。接着讨论了无病平衡点的全局稳定性。最后通过数值模拟说明了所得理论结果。 相似文献