排序方式: 共有57条查询结果,搜索用时 15 毫秒
21.
22.
通过对某新型弹射装置的工作原理分析,建立其物理模型并进行简化;以空气动力学、工程流体力学和动力学系统建模为理论基础,建立弹射机构的物理和数学仿真模型,并利用计算分析软件求得弹射机构的动态参数的变化规律,对弹射过程的动态参数进行研究,为设计新的弹射机构提供理论依据。 相似文献
23.
基于懒替换的C符号执行 总被引:1,自引:0,他引:1
针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构. 相似文献
24.
夏华龙 《航空精密制造技术》1993,(5)
叙述一些在线仿真器的实现技术,例如“零地址仿真”技术和“全空间仿真”技术,并介绍它们在AEDK8688和AEDFK5198仿真器上的实现。 相似文献
25.
初桂兰 《西安航空技术高等专科学校学报》2015,(1)
介绍了飞机数字化装配技术在国外的应用情况,通过调查,总结了数字化装配技术在国内的应用范围、特点和成效,分析了国内与国外数字化装配技术存在的差距,提出了国内飞机数字化装配技术发展的对策。 相似文献
26.
27.
28.
29.
30.