全文获取类型
收费全文 | 815篇 |
免费 | 107篇 |
国内免费 | 56篇 |
专业分类
航空 | 634篇 |
航天技术 | 83篇 |
综合类 | 99篇 |
航天 | 162篇 |
出版年
2024年 | 3篇 |
2023年 | 32篇 |
2022年 | 21篇 |
2021年 | 41篇 |
2020年 | 20篇 |
2019年 | 33篇 |
2018年 | 15篇 |
2017年 | 25篇 |
2016年 | 36篇 |
2015年 | 32篇 |
2014年 | 43篇 |
2013年 | 35篇 |
2012年 | 62篇 |
2011年 | 52篇 |
2010年 | 32篇 |
2009年 | 38篇 |
2008年 | 49篇 |
2007年 | 63篇 |
2006年 | 35篇 |
2005年 | 37篇 |
2004年 | 37篇 |
2003年 | 34篇 |
2002年 | 17篇 |
2001年 | 13篇 |
2000年 | 19篇 |
1999年 | 18篇 |
1998年 | 17篇 |
1997年 | 15篇 |
1996年 | 19篇 |
1995年 | 8篇 |
1994年 | 15篇 |
1993年 | 14篇 |
1992年 | 19篇 |
1991年 | 4篇 |
1990年 | 5篇 |
1989年 | 14篇 |
1988年 | 2篇 |
1987年 | 3篇 |
1986年 | 1篇 |
排序方式: 共有978条查询结果,搜索用时 15 毫秒
1.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 相似文献
2.
3.
邵明伟 《郑州航空工业管理学院学报(管理科学版)》2009,27(5):79-81
二十多年中国经济持续增长,深刻表明农业增长对工业化和一般经济增长的重要性.面对当前农村剩余劳动力转移给农业发展带来的挑战和机遇,转变农业经营方式是目前实现农业再次飞跃较现实的选择.以前仅有的一些研究都没有把农业经营方式和农业生产方式联系起来进行探讨,从而忽略了农业经营方式的丰富内涵.其实,农业生产方式的复杂性决定了农业经营方式具有农业经营技术条件、农业经营权力结构、农业经营组织形式三层含义的必然性,并且层次之间具有特定的逻辑关系并相互作用构成一个特征鲜明的完整系统,为农业经营方式创新提供了灵活而广阔的空间. 相似文献
4.
5.
6.
7.
8.
张百灵 《南京航空航天大学学报》1989,(3)
本文提出了Coates图k-连接组的概念,建立了求解线性有源网络不定导纳矩阵一般k阶余因式的k-连接组拓扑公式,得到了线性有源网络拓扑分析的一种新方法——k-连接组法。与正(负)根有向树法相比,这种方法需找的子图和结果中的冗余项都比较少。 相似文献
9.
10.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献