基于衬底偏置的超低耗电流复用混频器

基于SMIC 0. 18μm 1P6M CMOS工艺,设计实现了一种工作在0.6V超低电源电压下的混频器.该混频器跨导级采用自偏置的互补跨导结构,并与开关级构成折叠结构,大大降低了电源电压;电路中所有的MOS管衬底均加有固定偏置电压,减小了MOS管的阈值电压,实现了超低电压超低功耗的设计;并采用电流复用技术,改善了电路的噪声性能,并提高了其转换增益和线性度.该混频器核心电路尺寸为460μm×400μm,当射频信号、本振信号和中频信号分别为1575MHz,1400MHz和175MHz时,仿真表明,该混频器转换增益(G_c)为6.1dB,双边带噪声系数为14dB,输入1dB压缩点为-16.67dBm,在0.6V的电源电压条件下,功耗仅为0.76mW,可用于航空航天领域的电子系统中.     

航天器嵌入式操作系统研究与设计

随着航天器结构和功能的复杂化,对作为系统资源管理者的操作系统的功能和可靠性等要求也日益增强.分析嵌入式实时操作系统在国内外航天领域的研究与应用现状,提出面向航天器应用特点的具有多任务管理、内存管理、文件系统、容错和故障管理等功能的高可靠、高性能的嵌入式实时操作系统的研究与设计方案,并展望其在未来网络化及分布式安全航天器中的发展前景.     

PCB材料与电源/地层谐振阻抗关系

为降低多层高速PCB(Printed Circuit Board)电源/地谐振阻抗,根据平行平面腔体谐振模型理论推导出PCB电源/地谐振阻抗、谐振频率、谐振品质因数与构成PCB板的导体材料和绝缘材料的电磁参数的之间的函数关系式,并根据此关系式得出了从PCB材料选取角度减小电源/地谐振阻抗的两种途径,即采用高磁导率、低电导率的导体材料代替普通导体材料;采用高介电常数和损耗正切的平面间绝缘体材料.随后PCB电源/地平行平面结构的全波仿真结果证实了这两种途径的有效性.      

矫形外科机器人技术及应用研究

从矫形外科临床手术的角度,讨论了矫形外科机器人技术及矫形外科机器人辅助手术系统的结构组成.结合矫形外科手术的临床特点和矫形外科机器人的功能,将矫形外科机器人系统的结构分成五个部分:计算机控制、机械本体、传感器、视觉、操作系统.并通过对矫形外科机器人系统这几个部分的阐述,分析了矫形外科机器人系统各组成部分在临床手术过程中的功能及应用特点,从机器人的本体设计、空间布局、控制系统结构、操作方式等方面,提出了矫形外科机器人临床应用过程中的安全策略.在总结矫形外科机器人的临床应用特点的基础上,探讨了矫形外科机器人的研究热点和应用前景,为矫形外科机器人的设计提供方法和设计依据.     

超音频脉冲TIG焊电源拓扑及电弧焊适用性

研制出一台超音频直流脉冲TIG(Tungsten Inert Gas)焊电源,对该电源的拓扑结构及工作原理进行了介绍.与常规直流TIG焊电源相比,该电源可输出不同频率、均具有陡峭的上升、下降沿的脉冲电流,电流变化率大于50A/μs.该电源的基值电流、峰值电流、脉冲电流频率、占空比等焊接工艺参数调节方便,使该电源不仅能够焊接薄板,而且能够适用于中厚板的焊接.通过对比常规直流TIG焊和超音频直流脉冲TIG焊焊接的1Cr18Ni9Ti奥氏体不锈钢焊缝的微观组织,发现采用超音频直流脉冲TIG焊工艺的焊缝粗晶区变窄,晶粒细化现象显著.试验结果表明:所研制的超音频脉冲TIG焊电源具有良好的弧焊适用性.     

RTEMS操作系统应用开发环境的设计与实现

在嵌入式应用开发中,实时操作系统越来越重要,其开发环境的优劣也成为评价的标准.RTEMS是一个开放源代码的实时嵌入式操作系统.通过建立交叉编译环境、实现远程下载、远程调试以及工程化管理和裁剪,完成了一个具有友好可视化用户界面、易于使用的RTEMS操作系统应用开发环境的设计,为开发人员提供了一个良好的工作平台,为编写大型的嵌入式软件提供了方便,为推广RTEMS的使用打下了基础.该系统已经用于教学和科研领域.      

低压CMOS折叠共源共栅混频器的设计

基于SMIC 0.18μmCMOS工艺,采用一种折叠共源共栅结构,设计实现了一种低压CMOS折叠共源共栅混频器,解决了传统Gilbert混频器中跨导级与开关级堆叠带来的高电源电压问题,以及在跨导级的高跨导、高线性与开关级的低噪声间进行折衷设计的难题.该混频器核心电路尺寸为165μm×75μm,当射频信号、本振信号和中频信号分别为1575.42MHz、1570MHz和5.42MHz时,仿真表明:该混频器转换增益( G_C )为15dB,双边带噪声系数为12.5dB,输入三阶截断点为-0.4dBm,在1.2V的电源电压条件下,功耗为3.8mW,可用于航空航天领域的电子系统中.      

飞机结构检修一体化的实现与分析方法

飞机结构的检修一体化要求是保证结构优化设计的一个主要方面.全面分析了影响结构检修的主要因素,提出了飞机结构检修一体化的分析与实现方法,并给出了分析流程图.还给出了一个算例证明方法的可行性.将该方法用于新研飞机结构的设计和定寿阶段,有利于制定最佳的检修方案,指导飞机结构将来的检修安排.      

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

Linux内核在新型硬件平台上的实现

新型微处理器M3270的研制成功,使得支持该体系结构的操作系统的研究迫在眉睫.通过对Linux内核体系结构的研究,进而分析出往新型硬件平台移植Linux内核所需进行的工作,将大大提高操作系统的设计水平、缩短开发时间.在分析了Linux内核的体系结构和M3270硬件体系结构的基础上,提出在该硬件平台上实现Linux内核的方法.      

A new approach to the telescope operation method for satellite tracking using a time synchronization technique

For the development of a telescope that is capable of precisely tracking satellites and high-speed operation such as satellite laser ranging, a special method of telescope operation is required. This study aims to propose a new telescope operation method and system configuration for the independent development of a mount and an operation system which includes the host computer. Considering that the tracking of a satellite is performed in real time, communication and synchronization between the two independent subsystems are important. Therefore, this study applied the concept of time synchronization, which is used in various fields of industry, to the communication between the command computer and the mount. In this case, communication delays do not need to be considered in general, and it is possible to cope with data loss. Above all, when the mount is replaced in the future, only the general communication interface needs to be modified, and thus, it is not limited by replacement in terms of the overall system management. The performance of the telescope operation method developed in this study was verified by applying the method to the first mobile SLR system in Korea. This study is significant in that it proposed a new operation method and system configuration, to which the concept of time synchronization was applied, for the observation system that requires an optical telescope.     

面向战斗机云作战的构造型仿真平台架构

随着大数据、云计算、物联网、移动互联网等信息技术的迅猛发展与广泛应用,新的作战模式不断涌现,以任务分布式指控流程为核心的云作战成为一种全新的跨域全维作战样式。在分析作战云与云作战特征的基础上,结合传统作战仿真流程提出了云作战体系仿真流程,并提出了云作战构造型仿真平台框架的总体方案设计与系统功能设计。通过云作战构造型仿真示例,对比了传统作战样式与云作战样式的观察-调整-决策-行动（OODA）循环,结果表明,云作战样式能够有效缩短OODA循环时间。      

非流形几何造型及其布尔运算研究

简述了非流形造型的基本原理及其采用的基本操作,以及非流形几何造型布尔运算,侧重在其基本理论,包括:推广的Euler公式,集合属籍分类函数,正则集与正则集合运算;最后介绍了非流形造型布尔运算的5个基本运算步骤,即求交,新面环的生成与剖分,拓扑元素分类,连面成壳与连壳成体,以及悬点、悬边、悬面的生成.实践证明算法是有效、正确的.     

The MELISSA pilot plant facility as as integration test-bed for advanced life support systems.

The different advances in the Micro Ecological Life Support System Alternative project (MELISSA), fostered and coordinated by the European Space Agency, as well as in other associated technologies, are integrated and demonstrated in the MELISSA Pilot Plant laboratory. During the first period of operation, the definition of the different compartments at an individual basis has been achieved, and the complete facility is being re-designed to face a new period of integration of all these compartments. The final objective is to demonstrate the potentiality of biological systems such as MELISSA as life support systems. The facility will also serve as a test bed to study the robustness and stability of the continuous operation of a complex biological system. This includes testing of the associated instrumentation and control for a safe operation, characterization of the chemical and microbial safety of the system, as well as tracking the genetic stability of the microbial strains used. The new period is envisaged as a contribution to the further development of more complete biological life support systems for long-term manned missions, that should be better defined from the knowledge to be gained from this integration phase. This contribution summarizes the current status of the Pilot Plant and the planned steps for the new period.     

飞机环境控制系统的模糊控制研究

地面实验表明,采用传统PID(Proportional-Integral-Differential)控制方法的飞机环境控制系统不能很好的解决电子设备和座舱的温度控制问题.采用了基于遗传算法优化的模糊控制方法,根据系统不同的工作任务,分别采用了2种模糊控制规则.通过优化输入输出变量的隶属度函数参数,使得新的模糊控制系统具有响应快、超调小、稳态精度高的特点.仿真表明,该模糊控制系统优于原系统并且能够满足飞机环境控制系统的设计要求.      

基于机器视觉的高精度顶桥施工位姿测量系统

分析了现有的顶桥施工中位姿测量系统的特点,指出其目前存在的主要问题.针对这 些问题和现场需求,基于计算机视觉反馈理论,设计了一种由CCD传感器、激光准直仪和倾 角传感器组成的新型高精度光电测量系统.在建立了相关数学模型的基础上,搭建了硬件系 统,给出了视频采集、图像处理和多串口通信等关键技术的具体实现方法,完成了各功能模 块的软件开发.该测量系统具有精度高、实时性好、操作简单、维护方便和成本低廉的优点 ,能够替代以往效率低下的人工测量方式,而且其实现方法为其他大型施工测量系统的设计 提供了新技术.      

车载惯导校准装置仿真测试系统的设计与研究

为了提高车载惯导校准装置系统的通用性和易扩展性,使该平台能够对不同型号的惯导系统进行测试,研究与设计了一套仿真测试系统软件。介绍了该系统的整体结构,并按功能将设计分为测试系统和仿真系统两部分,详细说明了这两部分的实现方法。实施结果表明,通过这种软件平台搭建的系统,具有实时性强、算法运行可靠、结构紧凑、操作简单的特点。     

GPS在气象火箭遥测跟踪上的应用

利用GPS全球定位系统、天线云台和宽波瓣天线组成的跟踪系统, 研究了接收位置信息与跟踪之间的时间差, 气象火箭理论弹道误差导致的中断跟踪,气象火箭探空仪分离后至初次定位前的跟踪, 天线云台转到359°位置后反转359°及跟踪过程中跟踪中断后的继续跟踪等关键问题,成功实现了气象火箭探空仪的遥测跟踪. 该跟踪系统在子午工程气象火箭试验中得到较好的应用, 此种跟踪方式相比传统雷达跟踪方式具有体积小、重量轻、操作简单、成本低、机动性强、跟踪可靠性强等诸多优点.      

First results of MWC SAS3 electromagnetic wave experiment on board of the Chibis-M satellite

The main goals of the Chibis-M mission are the testing of a new micro-satellite technology, the study of new physical processes related to lightning activity and the verification of possible monitoring techniques of Space Weather phenomena. In frames of the Chibis-M mission an electromagnetic wave complex MWC is installed on board of the satellite composed of electromagnetic sensors and SAS3 measuring unit. The obtained data show that the scientific instrumentation operates properly and produces interesting information. Here we present the first results of the first year of operation of the MWC in the ELF–VLF bands in different operation modes. An important conclusion is that basing on the experience of the first year it is possible to realize an effective and reliable Space Weather monitoring system using micro-satellites and simultaneously operating ground support equipments.     

级间开缝间隙传感器动态测试方法研究

针对某型号分离面间隙传感器的测试要求,提出了一种间隙位移传感器的动态测试方案,设计了测量系统,通过激光测试法测量并记录级间开缝间隙传感器CI1-27在自由弹出状态下的输出响应。经应用,该方法操作便捷,数据可靠,为间隙传感器的动态测试提供了一种新的参考。