基于扩充关系模型的演绎数据库系统

首先讨论了当前演绎数据库的数据模型,并在关系模型的基础上构造了演绎数据库的扩充关系模型,使逻辑与数据库操作一体化,最后介绍了基于该模型的系统设计原理及实现方法。该系统可以支持两种不同风格的查询语言,具有数据/知识定义及操纵功能,可作为专家系统、决策支持系统的开发环境。     

从ACCV‘95看计算机视觉技术的发展

介绍了第二届亚洲计算机视觉会议（ＳＥＣＯＮＤ ＡＳＩＡＮ ＣＯＮＦＥＲ－ＥＮＣＥ ＯＮ ＣＯＭＰＵＴＥＲ ＶＩＳＩＯＮ，ＡＣＣＶ’９５）的一些情况；回顾了在该领域及相关学科的研究成果，讨论了当前计算机视觉所面临的理论与实际应用问题，并对中国空间技术研究院这一学科的发展提出看法。     

通信卫星隔热屏热控涂层的研制及应用

介绍了ＧＤ２及ＧＤ２Ａ两种涂料型热控涂层的组成、工艺、性能，并讨论了影响涂层性能的因素。实验结果表明，涂层性能稳定并达到了热控设计的要求。这两种涂层已成功地应用于中国通信卫星的隔热屏上。     

演绎数据库的研究与实现

讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(Deductive Qcerg Language),该系统已建立在IBM PC微型机上,实验结果表明:这种实验方法是行之有效的。     

星用广角线阵CCD相机的机载试验

在卫星遥感中利用广角线阵ＣＣＤ相机对地球资源信息进行“粗查“，并同时利用高分辨率ＣＣＤ相机进行“详查”的遥感器组合是一种可行的方案。文中介绍广角ＣＣＤ相机的研制及利用小型无人机进行机载试验的结果。在方案设计中主要讨论几保分辨率和辐射分辨率两项指标，也兼顾讨论诸如扫掠宽度和覆盖周期等问题。为获得好的机载试验效果将相机安装在双轴稳定平台上。     

从ACCV＇95看计算机视觉技术的发展

介绍了第二届亚洲计算机视觉会议（ＳＥＣＯＮＤＡＳＩＡＮＣＯＮＦＥＲＥＮＣＥＯＮＣＯＭＰＵＴＥＲＶＩＳＩＯＮ,ＡＣＣＶ’９５）的一些情况;回顾了在该领域及相关学科的研究成果;讨论了当前计算机视觉所面临的理论与实际应用问题,并对中国空间技术研究院这一学科的发展提出看法。     

德中卫星公司成立

德国航宇公司航宇部（ＤＡＳＡ）和中国航天公司（ＣＡＳＣ）签约，成立德中卫星公司，发展、制造和销售通信卫星及各型地球站。ＤＡＳＡ卫星系统处还有意在地球观测卫星，如气象卫星上与中国合作。这家担有风险的联合公司设在慕尼黑，ＤＡＳＡ和ＣＡＳＣ各占５０％股份，在北京开设联络处。公司已经接受了两项计划——中国东方红３号通信卫星系列（ＤＦＨ－３）和下一代ＤＦＨ－４系列卫星。还可能建立一个提供卫星服务的公司。ＤＡＳ．Ａ和中国航天当局及公司之间往来已超过１０年，１９８０年ＤＡＳＡ向中国提供卫星部件的测试设备，还包…     

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

异质网上互操作—从数据交换到程序交换

对分布式计算和软件集成中的互操作性问题进行了讨论，叙述了遵循特定的标准解决互操作性的办法，比较几种常见的互操作标准，包括ＳＴＥＰ／ＳＤＡＩ，ＣＯＲＢＡ和Ｊａｖａ，描述了Ｊａｖａ语言出现后程序交换的新特点，并对互操作标准的现状作了评述。     

一个基于故障树模型的诊断系统

提出一种基于故障树模型的诊断方法，并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型，提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在ＣＯＭ－ＰＡＱ４８６微机上，Ｗｉｎｄｏｗｓ环境下，用ｂｏｒｌａｎｄＣ＋＋实现了该诊断系统，并通过对一个电路系统实验台的诊断验证了方法的有效性。     

载人航天的热真空试验

据对国外情况的调研,讨论了载人航天热真空试验的特点与试验目的,提出了三类15项试验项目;讨论了载人航天器整体热真空试验的必要性,提出了分别进行舱外与舱内环境下的单舱或联舱试验的建议;分析了载人航天器热真空试验的特点与应用,提出了在卫星用试验设备上附加航天员所需专门装置,满足试验需要的设想。     

容错待命储备系统的任务可靠性计算

讨论了待命储备系统具有容错性能时的任务可靠性计算, 由于故障检测器、切换器和待命器件是否可靠,直接影响该容错系统的可靠性.为了正确评估系统的任务可靠性,这里考虑了检测器和切换器存在一定的误警率和误切换率. 据我们所知,Markov模型是处理这个问题的主要工具,而国内很少有这方面的讨论.本文用Markov理论来确定系统的状态及其状态转移矩阵, 从而容错可靠性的计算问题得到解决,此外还讨论了有关误差概率的计算模型.     

电离层的运动与电波频率的变化

本文对从空间缓慢变化电离层反射的回波的多卜勒频移进行了讨论,认为反射面的运动和媒质的运动可以分开,等效镜反射面不一定在偏区.提出了利用寻常波和非寻常波多卜勒频移反演等值面运动速度剖面的方法.      

微放电效应部件设计研究

分析了影响微放电效应阈值电平的几种因素。对微放电效应部件设计的一般步骤和方法进行了论述 ,给出了具体的设计实例 ,并对微放电效应部件设计中需要注意的问题进行了说明     

太阳活动对VLF传播的一种影响

本文以实验数据为基础, 讨论了在太阳耀斑期间产生的相位周期丢失, 并用对极传播理论解释了这种相位周期丢失的机理。相位周期丢失是电波传播中的一个重要传播现象, 特别是对于低频和甚低频传播。由于太阳耀斑引起的这一传播现象在以往的讨论中比较罕见, 因此, 对这一问题的讨论具有特殊意义。      

鲁棒故障诊断中特征结构配置的有关问题

讨论了用于故障检测的特征结构配置方法，给出了特征结构设计的必要条件。此外，还讨论对加权矩阵与增益矩阵的最优鲁棒设计问题，提出了一种直接的、降秩逼近的设计方案，指出了Ｐａｔｔｏｎ的设计方案有可能实现不了的原因，并举例给予验证。     

时延-角度特性研究

本文在球不对称局域准抛物电离层模型下,设计了一套射线追踪算法的计算机程序。研究了时延随角度变化特性。指出了最小时延的传统求解方法的适应范围,讨论了时延-角度特性曲线与返回散射电离图的关系及其能量分布特点。      

等离子体彗星的某些相关分析

本文进行了彗星的分类统计,给出了"太刚活动"和"等离子体彗星出现频数"的统计,表示出它们之间无相关性。作了"太阳活动"与"彗星事件"的相关分析,表明其相关性是弱的;但是,"太阳风风速"与"彗星事件"的相关性较强。最后,用我国自己的资料作为一个实例,讨论了等离子体彗星的象差角及其扭折骚扰。      

基于靶标成像双目视觉坐标测量方法研究

提出了一种利用手握式靶标实现双目视觉三维坐标测量的新方法。利用空间透视变换建立了非线性测量模型,介绍了基于Newton非线性迭代的测量方程的求解方法。以矩阵分析理论为基础,讨论了影响测量方程求解的因素,并提出了方法中重要部件手握式靶标上特征点分布的基本约束条件,为这一方法在实际应用中获得较高的测量准确度提供了较为完善的理论分析依据。通过数值分析与计算,验证了理论分析的正确性。     

Physics of the impulsive phase of solar flares

The physics of the impulsive phase of solar flares is discussed in relation to high resolution microwave, hard X-ray and ultraviolet observations. High spatial resolution observations of the structure of microwave flaring loops and their interpretation in terms of arcades of loops as the sites of primary energy release are presented. Theoretical interpretation of the confinement of microwave producing energetic electrons in the coronal part of loops is discussed. High temporal and spatial resolution measurements in hard X-rays, as well as observations of the spectral evolution of the hard X-ray emission are presented. Observations of the relative locations of microwave and hard X-ray emitting regions are presented and their significance with respect to the energy release site and electron acceleration is discussed. The relative timing of the peaks of impulsive hard X-ray and microwave burst is discussed. The significance of ultraviolet measurements in obtaining the density of flaring regions is discussed. Possible diagnostics of impulsive phase onsets from cm-λ polarization data are presented, and the role of the emergence of new flux and of the current sheet formed between closed loops in producing impulsive energy release at centimeter wavelengths are analyzed. Decimeter and meter wave manifestations of preflash phase and millisecond pulsations at centimeter and decimeter wavelengths and the relevant physical processes involved are discussed.