全文获取类型
收费全文 | 131篇 |
免费 | 31篇 |
国内免费 | 10篇 |
专业分类
航空 | 103篇 |
航天技术 | 23篇 |
综合类 | 13篇 |
航天 | 33篇 |
出版年
2024年 | 2篇 |
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 9篇 |
2020年 | 3篇 |
2019年 | 11篇 |
2018年 | 3篇 |
2017年 | 4篇 |
2016年 | 7篇 |
2014年 | 8篇 |
2013年 | 11篇 |
2012年 | 8篇 |
2011年 | 12篇 |
2010年 | 6篇 |
2009年 | 5篇 |
2008年 | 4篇 |
2007年 | 6篇 |
2006年 | 6篇 |
2005年 | 7篇 |
2004年 | 10篇 |
2003年 | 7篇 |
2002年 | 5篇 |
2001年 | 4篇 |
2000年 | 1篇 |
1999年 | 4篇 |
1998年 | 10篇 |
1997年 | 2篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有172条查询结果,搜索用时 93 毫秒
21.
谢泗薪 《中国民航学院学报》1998,16(6):45-51
软系统方法(SSM)是一个学习系统,能帮助人们认识人类问题的复杂环境,为人们提供一种用系统的观点认识软问题的思想方法。运用软系统方法综合分析高校科研成果产业化所面临的形势及存在的问题,按照根定义建立概念模型,然后经过理想的概念模型与现实的比较,得出了一系列解决问题的方法与策略。对在新形势下如何促进高校科研成果产业化做了有益的探讨。 相似文献
22.
工程应用验证可以说是一种新的软件测试手段和方法,是对常规软件测试的一种补充。工程应用验证主要适用于那些大型、复杂、开发周期长、与工程实际结合比较密切的,尤其像MS-CAD集成环境那样具有预先研究性质的软件,目的是软件能更好地满足潜在用户的需求。本文结合有关的课题工作进行,对工程应用验证的内涵、方法及实施途径进行了探讨。并针对RMS-CAD集成环境,对验证实施办法进行了详细分析。通过对集成环境应用验证工作的实施,对工程应用验证理论进行了检验,得出了相应的结论。从某些角度讲,工程应用验证应成为具有预研性质的大型工程软件开发的重要辅助手段。 相似文献
23.
24.
A formal approach using SysML for capturing functional requirements in avionics domain 总被引:1,自引:0,他引:1
In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System. 相似文献
25.
Jie Wang Cuichun Li Xiuyun Meng 《Advances in Space Research (includes Cospar's Information Bulletin, Space Research Today)》2021,67(8):2517-2533
As the lighter-than-air (LTA) flight vehicle, the stratospheric airship is a desirable platform to provide communication and surveillance services. During the ascent from sea-level to the mission altitude, the volume of the lifting gas may change significantly, which will result in the change of the center-of-buoyancy (CB). A general calculation method is developed to specify CB for the stratospheric airship with a double-ellipsoid hull and an arbitrary number of the gas cells. The cross-section-integral (CSI) method is used as a basic calculation scenario to specify CB. Considering the complexity in determining the boundary between the helium and air in the gas cell, a searching algorithm is put forward and the specification of CB can be conducted by the iterative calculation. As an important application, the stable condition of the pitch angle is analyzed when the change of CB is involved. Under different initial configurations, the stable pitch angle of the stratospheric airship during the ascent is specified and compared, which shows the advantages of the multi-gas-cell configuration. The results of this paper may provide an important reference for the engineering application of the stratospheric airship. 相似文献
26.
27.
28.
工程文件编号生成算法是国航工程文件管理系统(AEDMS)开发的难点。提出的.工程文件编号生成算法包括.工程文件流水号和改版号的指派算法与自动编排算法。前者解决了新旧系统.工程文件编号的兼容问题;后者是一种新的基于关系代数的自动编号算法,其利用元组序号,具有紧凑简单、可靠性好、可维护性好、执行效率高、适用面广的特点。实算结果和AEDMS运行实践表明,此工程文件编号生成算法是可行的。 相似文献
29.
权威真相源不仅是基于模型的系统工程实施的核心要素,也是"数字工程战略"的关键环节。对权威真相源构建技术进行了研究,包括对权威真相源进行了定义和分析,设计了权威真相源的构建目标和原则,构建了权威真相源的架构和业务流程,并对构建权威真相源的支持技术进行了研究。梳理了民用飞机预研论证的业务流程、专业模型和基础模型,最后通过民用飞机预研论证验证机的案例研究,证实了权威真相源构建技术的可行性。民用飞机预研论证权威真相源能够有效提升系统工程的组织性,提升协同设计效率,同时能够提高模型和系统设计的重用性,减少系统工程实施的复杂度,缩小开发成本。 相似文献
30.