日本可重复使用空间自由飞行器在轨应用成果斐然

概述日本可重复使用的实验观测两用空间自由飞行器的主要设计特点，分析了在轨应用取得的成果，介绍了第二次飞行计划。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

利用热源温度场迭加法诊断持续点热源的强度及位置

可重复使用运载器的防热瓦故障会使航天器的局部结构产牛热源，并在结构中形成温度场。应用热源温度场迭加法的解函数，解得结构温度历程，然后据此温度的变化率趋势判断出热源位置，在此基础上依据多点测最值构造出辨识参数用于热强度识别，通过对一薄壁结构模型算例的计算仿真，证明了本文所提方法的有效性。论文工作为进一步开展热源诊断技术研究，提供了可资工程实践应用的数值算法体系以及有益的数值计算结论。     

星雨连绵

英仙座流星雨可说是最有名的流星雨之一，它不但数量多，而且几乎从来没有在夏季星空中缺席过，每年固定时间稳定出现。是最活跃、最常被观测到的流星雨，为全年三大周期性流星雨之首。2008年8月12日23时开始至第二天凌晨，它将为公众奉献一场精彩纷呈的夏夜星空大戏。人们用肉眼就可以看到流星从天空划过的美丽景象。     

简讯

简讯英美两公司就导引头进行谈判英ＧＥＣ马可尼航空电子公司同美麦道公司正在就由前者为麦道公司与杭廷公司的大防区外对陆攻击导弹（简称“大ＳＬＡＭ”）提供一种先进的红外导引头问题进行谈判。这种导弹是竞争皇家空军常规防区外发射导弹的一种方案。ＧＥＣ马可尼公司...     

影响导弹惯性仪器性能因素研究

分析了惯性仪器的失效模式与失效机理。讨论了贮存环境条件和周期性测试对惯性仪器性能的影响。提出了减小贮存和测试对惯性仪器性能影响的措施。     

“白骑士”携X-37做系挂飞行

由波音公司、国防高级研究项目局和美国航宇局共同支持的X-37无人驾驶可复用航天飞机6月21日挂载在“白骑士”载机上，在加州莫哈韦沙漠上空进行了首次系挂飞行。由比例复合材料公司设计的“白骑士”飞机曾在一年前的这一天携“太空船一号”进行了首次亚轨道飞行，并最终帮助“太空船一号”夺得了1000万美元的安萨里X奖。