全文获取类型
收费全文 | 168篇 |
免费 | 17篇 |
国内免费 | 22篇 |
专业分类
航空 | 90篇 |
航天技术 | 27篇 |
综合类 | 38篇 |
航天 | 52篇 |
出版年
2023年 | 3篇 |
2022年 | 2篇 |
2021年 | 6篇 |
2020年 | 2篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2017年 | 7篇 |
2016年 | 3篇 |
2015年 | 3篇 |
2014年 | 7篇 |
2013年 | 12篇 |
2012年 | 11篇 |
2011年 | 16篇 |
2010年 | 10篇 |
2009年 | 7篇 |
2008年 | 5篇 |
2007年 | 11篇 |
2006年 | 14篇 |
2005年 | 7篇 |
2004年 | 13篇 |
2003年 | 5篇 |
2002年 | 9篇 |
2001年 | 16篇 |
2000年 | 5篇 |
1999年 | 2篇 |
1998年 | 6篇 |
1997年 | 3篇 |
1996年 | 2篇 |
1995年 | 3篇 |
1994年 | 2篇 |
1993年 | 2篇 |
1992年 | 2篇 |
1991年 | 3篇 |
1990年 | 1篇 |
1989年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有207条查询结果,搜索用时 78 毫秒
91.
本文在节点法和截面法的基础上,将两者融为一体,为计算两向正交正放平板网架各杆内力,提供了一种新颖方法,称其为弯剪法,文中引用了实例,结果与其它方法完全一致,并符合实际,这就证实了本法的有效性和可靠性,有一定的参考价值。 相似文献
92.
93.
Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题. 相似文献
94.
空间绳网是一种柔性的捕获技术,为更准确地研究绳网捕获空间目标的过程,提出了一种基于网口轨迹的分析方法。采用集中质量法和Hertz接触理论构建了绳网捕获目标的动力学模型。将绳网捕获目标的过程按时间先后顺序分为自由展开、包裹目标以及利用收口装置捕获目标3个阶段进行研究。基于对网口轨迹的分析,提出了绳网成功捕获目标的评价指标,重点对捕获过程中涉及的相关参数进行分析,评估了包括发射速度、捕获距离、收口时间以及偏心距离等在内的捕获参数对绳网捕获目标过程的影响。仿真结果表明,基于网口轨迹的分析方法可以更直观全面地分析绳网捕获目标的过程,并为捕获参数的选择提供参考依据,以提高绳网捕获目标的成功率。 相似文献
95.
针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。 相似文献
96.
基于Petri网的UML状态迁移策略 总被引:2,自引:0,他引:2
分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进. 相似文献
97.
用LI-6400型光合测定系统,测定了北五味子Schisandra chinensis Baill叶片光合作用的日变化,结果表明,北五味子叶片净光合速率(Pn)呈双峰型变化.清晨随着日出,Pn随光照强度和温度的增加而增加,在11:00达到高峰,随后下降,到15:00时出现第2个高峰,但峰值比第1个的低.5:00-11:00及15:00-19:00的光合变化与光照强度和温度的变化趋势基本一致,11:00-14:00光合作用随光照强度和温度的增加而下降,出现了明显的光合"午休"现象.相关性分析表明,光合午休与中午高光强、高温和低湿有关.气孔导度(Gs)和蒸腾速率(Tr)也为双峰型曲线,Pn与Gs、Tr呈显著正相关,通过对胞间二氧化碳浓度的分析表明,气孔限制在北五味子叶片的"光合午休"中起了一定作用. 相似文献
98.
99.
基于Petri网和UML的工作流模型设计 总被引:6,自引:1,他引:6
介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。 相似文献
100.
提出了一种反舰导弹针对水面机动目标的航向平面控制导引一体化设计方案。建立了航向平面的一体化控制导引模型,然后基于NBF网络切换增益调节和滑模控制的思想进行了控制导引律的设计,为了验证该一体化设计的有效性和正确性,进行了仿真计算。仿真结果表明,针对高机动的水面目标命中精度很高。 相似文献