全文获取类型
收费全文 | 622篇 |
免费 | 161篇 |
国内免费 | 71篇 |
专业分类
航空 | 498篇 |
航天技术 | 129篇 |
综合类 | 38篇 |
航天 | 189篇 |
出版年
2024年 | 9篇 |
2023年 | 9篇 |
2022年 | 33篇 |
2021年 | 34篇 |
2020年 | 39篇 |
2019年 | 27篇 |
2018年 | 37篇 |
2017年 | 35篇 |
2016年 | 27篇 |
2015年 | 46篇 |
2014年 | 32篇 |
2013年 | 42篇 |
2012年 | 51篇 |
2011年 | 60篇 |
2010年 | 53篇 |
2009年 | 50篇 |
2008年 | 36篇 |
2007年 | 48篇 |
2006年 | 41篇 |
2005年 | 24篇 |
2004年 | 30篇 |
2003年 | 24篇 |
2002年 | 14篇 |
2001年 | 9篇 |
2000年 | 15篇 |
1999年 | 6篇 |
1998年 | 9篇 |
1997年 | 1篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1992年 | 3篇 |
1990年 | 1篇 |
1985年 | 2篇 |
1983年 | 2篇 |
1977年 | 1篇 |
1974年 | 1篇 |
排序方式: 共有854条查询结果,搜索用时 5 毫秒
1.
并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。 相似文献
2.
求解装箱问题的遗传算法 总被引:4,自引:0,他引:4
本文提出了两种求解装箱问题(BinPacking)的遗传算法。一种是简单遗传算法,它采用等长度字符代码编码方法,使用常规的遗传操作算子。另一种是混合遗传算法,它综合运用解装箱问题的FFD(FirstFitDe-creasing)近似算法和简单遗传算法。试算结果表明,由这两种遗传算法所得到的装箱方案较一些近似算法所得到的装箱方案都要好。 相似文献
3.
为减小导弹电液伺服机构滑模变结构跟踪控制中的抖振,研究了一种模糊滑模变结构控制(FS-MVSC)方法。给出了模糊滑模控制器的构成,以及模糊化、模糊规则与推理、反模糊化处理的方法。在保持系统对参数变化和外干扰不确定强鲁棒性的同时,可使系统具有较优的动态响应和稳态控制精度。仿真结果表明,该控制方案有效。 相似文献
4.
昝丽娜%舒武炳%贠伦刚%蔡娟 《宇航材料工艺》2007,37(2):22-25
在双马来酰亚胺/二元胺/改性剂A预聚体系中加入环氧丙烯酸树脂,制备了一种可用作耐热复合材料基体的改性双马来酰亚胺树脂。用DSC研究了该树脂基体的反应特性,并制定出了合适的固化工艺参数:改性树脂基体经140℃/1 h 160℃/1 h 180℃/2 h初固化,于220℃/8 h后固化处理,其热变形温度(HDT)为245℃;该树脂与玻璃纤维制备的单向复合材料层压板的室温拉伸强度、弯曲强度和层间剪切强度分别为1 030 MPa、1 600 MPa和92.1 MPa;180℃下测得弯曲强度保持率为67.8%,层间剪切强度保持率为63.2%,用DMA法测得T_g为273℃。 相似文献
5.
论妇女平等就业权的法律保护 总被引:1,自引:0,他引:1
许娟 《西安航空技术高等专科学校学报》2007,25(6):17-19
妇女平等就业权的保护是妇女劳动权益保护的一个重要方面,分析我国妇女平等就业权保护现状,提出如何加强对我国保障妇女平等就业权的法律保护,对保障妇女的劳动权益,推动我国社会和谐发展具有重要意义。 相似文献
6.
国内民用航空制造业如今正在加速发展,而相应的备件工程与波音、空客都还是有一定的差距。结合ARJ21飞机项目研究了民用飞机初始备件计划模型,并在此基础上开发了备件计划软件系统,完成了初始备件计划工作的计算机化。 相似文献
7.
以空调制冷故障考核仿真系统为例,介绍空调制冷仿真实验实训系统在国家级试点专业——供热通风与空调工程技术专业教学中的作用。该系统重点解决了空调制冷故障的考核仿真模拟,阐明了仿真技术对于高职高专学生培养的重要性和可行性。仿真实验实训技术在技能型人才培养中将有很大的发展空间。 相似文献
8.
利用非交错对称矩阵构造Cartesian认证码 总被引:1,自引:0,他引:1
利用特征为2的有限域上非交错对称矩阵构造了一个Cartesian认证码,并计算出其参数。进而,假定编码规则按照均匀的概率分布所选取,计算出了该码被模仿攻击成功的最大概率只和被替换攻击成功的最大概率Ps。 相似文献
9.
文章通过对两种不同企业集群组织形式的比较,重点探讨了形成企业竞争优势的企业虚拟组织的机理及结构功能.以关系型同质中小企业集群为研究对象,基于供应链虚拟一体化的思路,对其竞争优势进行研究,同时提出这种组织模式可能存在的潜在问题并加以理论上的证明,力求找到适合我国中小企业现状的发展之路. 相似文献
10.
为了解决有指导词义消歧任务中的知识源问题,提出并构建了一个基于知网的汉语词义实例库(CSIC),同时开发了一个语义标注平台(SenseTag)。该平台通过方便快捷的人机交互方式显著提高了实例库的建设效率和质量。利用条件随机场模型,从实例库中自动学习消歧知识,进行自动标准在随机选取的部分汉语高频多义词的词义消歧开放测试中,取得了平均正确率85%的较好效果。 相似文献