首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   56篇
  免费   14篇
  国内免费   7篇
航空   48篇
航天技术   5篇
综合类   8篇
航天   16篇
  2023年   1篇
  2022年   1篇
  2021年   5篇
  2019年   1篇
  2017年   2篇
  2016年   2篇
  2015年   5篇
  2014年   4篇
  2013年   1篇
  2012年   2篇
  2011年   2篇
  2010年   4篇
  2008年   6篇
  2007年   4篇
  2006年   6篇
  2005年   4篇
  2003年   1篇
  2002年   1篇
  2001年   1篇
  2000年   4篇
  1997年   2篇
  1996年   2篇
  1995年   2篇
  1993年   1篇
  1992年   2篇
  1991年   3篇
  1990年   3篇
  1989年   4篇
  1985年   1篇
排序方式: 共有77条查询结果,搜索用时 173 毫秒
71.
72.
73.
通过对文丘利管的工作原理的分析,阐明了文丘利管在液氮系统中所起的作用,提出了文丘利管的设计计算方法。通过对现有设备液氮系统的改造,对该系统及文止利管进行了试验验证工作。这些工作所得到的结论对新型环境模拟设备液氮系统的设计提供了重要的参考依据。  相似文献   
74.
叶栅二次流旋涡结构与损失分析   总被引:3,自引:2,他引:1  
采用三维粘性程序对某型动力涡轮的第一级进行了数值模拟, 模拟结果捕捉到了该涡轮级叶栅的内部流的流动细节, 展示了涡轮叶栅端壁和型面流动及叶栅通道内的三维流动结构.通过对叶栅中的二次流现象和流动损失机理的分析, 揭示了该涡轮级叶栅通道内二次流旋涡结构(马蹄涡、通道涡、壁角涡、尾迹涡、泄漏涡等)的演变过程, 以及旋涡结构对损失分布的影响.   相似文献   
75.
基于重构的修正过程(correction procedure via reconstruction, CPR)方法是一种适用于非结构网格、紧致高效的高阶方法,但在离散非线性对流项时容易因为混淆误差的累积而出现数值不稳定。本文研究了基于LG (Legendre-Gauss)点分裂形式的CPR方法在欠解析流动中的稳定性,并将其与子单元限制技术结合,求解含激波的欠解析流动问题。结果表明:经过边界通量修正的LG点分裂形式CPR格式能够满足离散守恒律,且与子单元限制相结合后守恒律依然成立;在无激波的欠解析流动问题中,相比于散度形式CPR格式,分裂形式明显提高了计算的稳定性,而且比使用LGL(Legendre-Gauss-Lobatto)点的分裂形式CPR格式具有更小的数值误差;在含激波的欠解析流动求解中,相比基于LGL点的间断伽辽金谱元法子单元限制策略,基于LG点的分裂形式CPR格式子单元限制策略具有更高的分辨率和更小的振荡。  相似文献   
76.
糖尿病肾病(Diabetic Kidney Disease, DKD)是糖尿病(Diabetes Mellitus, DM)患者发生终末期肾病和死亡的主要原因。对 DKD 患者进行预后评估有助于降低疾病进展的风险及减少并发症和死亡的发生。本综述主要讨论 DKD 进展性生物标志物的现状和研究进展,包括常用的白蛋白尿和肾小球滤过率(Glomerular Filtration Rate, GFR),以及新型生物标志物如肿瘤坏死因子受体(Tumor Necrosis Factor Alpha Receptor, TNFR)和肾小管标志物等。同时,本文还对 DKD 进展性标志物的开发和应用存在的挑战进行了讨论。  相似文献   
77.
基于NuSMV的AADL模型形式化验证技术   总被引:1,自引:0,他引:1  
刘畅  蒋永平  马春燕  张涛 《航空学报》2022,43(3):451-466
结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性,提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先,覆盖AADL模型的所有软件构件和行为特征,提出了AADL模型到NuSMV模型的映射规则和转换算法;其次,采用图同构方法分析了转换算法的正确性;然后,在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述,以验证AADL模型中安全性、活性和嵌套模态配置的正确性;最后,以飞行控制系统为例,详细阐释了基于NuSMV的AADL模型形式化验证方法,并给出验证属性的统计信息。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号