空间扫描

日航天飞机自动着陆试验机试验成功７月６日日本在澳大利亚的武麦拉机场，成功地进行了航天飞机自动着陆试验机（ＡＬＦＬＥＸ）的自动着陆试验。日本时间１０∶１０，大型直升机将ＡＬＦＬＥＸ吊升到１５００ｍ的高空，１０∶４２在距跑道终端２７００ｍ处上空脱开吊索，...     

AXAF：探测宇宙X射线的新天王

“先进Ｘ射线空间望远镜”（ＡｄｖａｎｃｅｄＸ－ＲａｙＡｓｔｒｏｐｈｙｓｉｃｓＦａｃｉｌｉｔｙ——ＡＸＡＦ）是继“开普顿γ射线空间望远镜”（ＧＲＯ）和“哈勃空间望远镜”（ＨＳＴ）之后，ＮＡＳＡ的第三个大型空间望远镜，耗资１４亿美元，可提供关于黑洞和银河...     

高T_cBi－Pb－Sr－Cu－Ca－O系氧化物超导材料的Meissner效应和磁屏蔽效应

对高ＴｃＢｉ－Ｐｂ－ｓｒ－Ｃｕ－Ｃａ－Ｏ系氧化物超导材料的多晶块状、多晶粉末状和单晶等三种样品的Ｍｅｉｓｓｎｅｒ效应和磁屏蔽效应进行了仔细测量和分析．块状样品具有较强的磁屏蔽能力，在ＺＦＣ（Ｚｅｒｏ－ＦｉｅｌｄＣｏｏｌｅｄ）和ＦＣ（ＦｉｅｉｄＣｏｏｌｅｄ）两种过程中，超导体的体积比之差最大约１０％左右（μ０Ｈ≈２００Ｘ１０－４Ｔ）；粉末样品和单晶样品的磁屏蔽能力很小（７７Ｋ）．     

航天简讯

航天简讯１９９８年空间探测器趋向小型化□□小型化是１９９８年太空探测器的流行款式。今年计划发射的太空探测器不仅规模大大缩小，而且所携带的设备也非常精简。即便是美国航宇局的大型空间观测站、价值高达１４亿美元的“高级Ｘ射线天体物理学设备”（ＡＸＡＦ），体...     

日研制成功小型自动着陆实验机

１９９５年８月１１日，在富士重工业宇都宫制作所，日本航空宇宙技术研究所（ＮＡＬ）和日本宇宙开发事业团（ＮＡＳＤＡ）宣布，他们已研制成功小型自动着陆实验机（ＡＬＦＬＥＸ）。ＡＬＦＬＥＸ是为２０００年初日本实现天地往返运输系统（ＨＯＰＥ）计划达到实用化程度，并弄清其中个别关键技术而研制的三种实验样机中的一种。富士重工业耗资１２亿日元制成了两架这样的样机。其余两种实验样机其一是由三菱重工业制造的轨道再入实验机（ＯＲＥＸ），已于１９９４年２月由第一枚Ｈ－火箭发射成功，再一种是由川崎重工业正在制造中的高超…     

22太阳活动周的δ黑子群与X级X射线耀斑

用２２太阳活动周的２２１个δ黑子群（从１９８６年至１９９１年），研究δ黑子群的特性，δ黑子群与Ｘ级Ｘ射线耀斑（ＸＸＦ）之间的关系。１．证实了Ｔａｎｇ，Ｚｉｒｉｎ和Ｌｉｇｇｅｔｔ的发现，所有δ黑子群源于二个偶极黑子区，由其中之一的前导黑子与另一的后随黑子相互渗透而构成；在δ黑子的极性分界线上，磁场是强烈地剪切的，同时还找到了许多δ黑子解体的事例，这点与Ｚｉｒｉｎ（１９８７）的结论相悖，δ黑子的解体是     

第41届巴黎航展掠影(1995年6月11～18日)

△　欧空局研制的阿里安－５运载火箭（图左）定于１９９６年首次发射△　俄罗斯制造的多功能舱（ＦＧＢ）定于１９９７年１１月用质子号火箭发射，它是建造“阿尔法”国际空间站的第１个入轨舱段▲洛克威尔公司提出的航天飞机后继型方案：用于运载重型航天器的Ｘ－３３和用于运载小型有效载荷的Ｘ－３４。未来的阿里安－６火箭模型第41届巴黎航展掠影(1995年6月11～18日)     

劳拉公司制造的在轨运行卫星表

卫星名称数量轨道位置卫星公司用途卫星功率／Ｗ转发器工作频段发射年份超鸟－１、２（第１次使用ＦＳ－１３００平台）２１５８°Ｅ、１６２°Ｅ日本空间通信公司（ＳＣＣ）提供新闻采集、有线电视、银行业务及商业服务４０００Ｋｕ、Ｋａ、Ｘ１９９２、１９９３国际通信...     

VO2热致变色薄膜的结构与光电性能研究

研究了用磁控溅射制备的ＶＯ２热致变色薄膜,用Ｘ射线衍射,Ｘ射线光电子谱和原子力显微镜对薄膜的结构进行了分析,对薄膜的光学和电学特性也进行了研究。     

超音速轴对称有旋流特征线法的计算程序

编写了一个ＦＯＲＴＲＡＮ７７程序，计算了Ｍａ０为２．０￣５．０的超速轴对称有旋流Ｃａｕｃｈｙ问题的一些特征线网，但推进方向是从初值线在物面，这样，可以对物形进行反设计，在设计科波机时，可以选用这种流场中的流面作为其升力面的组成部分。     

可展桁架天线在轨运行中温度场分析

利用热传导辐射理论,并引入天线所处的轨道条件。可计算可展桁架抛物面天线在轨运行时不同时刻的温度场.利用Fortran语言,编制了基于上述理论的有限元程序,可计算各种轨道条件下不同时刻天线的温度场.还可用于指导天线的热变形分析和热控制设计.      

Performance evaluation of IRI-2007 at equatorial latitudes and its Matlab version for GNSS applications

International Reference Ionosphere (IRI) model is the widely used empirical model for ionospheric predictions, especially TEC which is an important parameter for radio navigation and communication. The Fortran based IRI-2007 does not support real-time interactive visualization and debugging. Therefore, the source code is converted into Matlab and is validated for the purposes of this study. This facilitates easy representation of results and for near real-time implementation of IRI in the applications including spacecraft launching, now casting, pseudolite based navigation systems etc. In addition, the vertical delay results over the equatorial region derived from IRI and GPS data of three IGS stations namely Libreville (Garbon, Africa), Brasilia (Brazil, South America) and Hyderabad (India, Asia) are compared. As the IRI model does not account for plasmasphere TEC, the vertical delays are underestimated compared to vertical delays of GPS signals. Therefore, the model should be modified accordingly for precise TEC estimation.     

Effect of vapor condensation on ascending performance of stratospheric airship

This paper reports a numerical investigation on the effects of water vapor condensing inside the air bag of a stratospheric airship on its ascending performance. The kinetic and thermal model considering vapor condensation was established, based on which a computer program was written in Fortran. The simulation results show that the vapor condensation remarkably affects the kinetic and thermal characteristics of the stratospheric airship in the ascent process. During the ascent process below 11 km, a large amount of latent heat is released when the water vapor in the air inside the air bag of the stratospheric airship condenses, which results in the increase of the temperature and the reduction of the weight of the air in the air bag, causing the airship to speed up, the accelerated expansion of the helium, and the decrease of the helium temperature in the helium bag. When the flight altitude is higher than 11 km, the effect of vapor condensation on the kinetic and thermal characteristics of the stratospheric airship is negligible because vapor is virtually nonexistent in the air.     

矩的显式积分算法研究与应用

矩的求解通常被用于求解有限元、体积、惯性矩等问题中.基于矩的叠加性,首先给出了在三维空间中计算域的离散方式,并推导了矩的显式积分公式,随后将其推广到n维空间中,该表达式易于在计算机上实现;设计了矩的并行计算算法,并通过Fortran和Python混编的方式,实现了矩的并行计算;对多重精度下的样例数据给出了一个算例,实现了零阶矩和二阶矩的计算,并和串行算法、逐次降维算法作出比较,进行了效率分析和误差分析.结果显示,矩的显式积分并行计算算法易于程序实现,并且在效率上高于串行算法,能够很容易推广到高维空间,该算法具有高度可并行性,误差主要来自计算域离散.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

一种基于容腔节点的液压系统建模语言及实现

为实现直观面向系统原理图对液压系统建模,提出了一种基于容腔节点法的液压系统建模语言和一套新的建模语言描述规则,并阐述了利用该建模语言进行程序实现的方法.该建模语言将液压系统的拓扑结构抽象成具有容腔节点和元件节点的图形结构.液压元件模型独立封装,可模块化使用.在建模语言描述规则的基础上,生成容腔节点与元件节点的连接矩阵.所有节点和连接矩阵构成了系统的整体模型.通过典型智能液压泵系统建模过程,验证了该建模描述语言的正确性和有效性.结果表明:该基于容腔节点的液压系统建模语言可方便建立符合液压系统原理的拓扑图,并面向系统原理图自动生成系统模型.      

航天器自动化测试与航天器测试语言

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.     

语言处理的基本运算集

从属性和实体两个角度对语言处理中的基本运算进行了分类研究,系统定义了两级基本运算集:属性派生运算集、实体转化运算集.这些研究增强了语言处理的可计算性,有助于建立更经济的知识处理模式、更通用的信息描述机制.