首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  完全免费   2篇
  自动化技术   2篇
  2011年   1篇
  2009年   1篇
排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
针对航天器和空间碎片位置误差未知的情况,提出一种空间目标碰撞概率的计算方法。该方法基于正交投影变换将碰撞概率中的三维问题转化到二维进行求解,并利用变量置换的方法计算空间目标碰撞概率。讨论了位置误差椭球形状和大小变化对碰撞概率的影响。根据实际碰撞事例验证了其有效性。  相似文献
2.
陶秋铭  赵琛  郭亮 《软件学报》2009,20(8):2074-2086
基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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