k/N(G)系统可靠性评定的熵(法)近似限

将近代,Shannon信息论与可靠性工程理论相结合,推导了由不同成败型或不同指数型单元组成的k/N（G）系统可靠性评定用的熵（法）第一、二近似下限计算公式。评定结果令人满意。     

复杂动态系统实时仿真模型自动生成

提出了一种表示复杂动态系统数学模型的分层结构,探讨了模型变量与参数在实时仿真程序中的引用－赋值关系,提出了一个既包含了模型的数学特征,又包含了模型实时运行所需的信息的实时仿真模型分层结构。在此基础上设计了一个实时仿真模型库及实时仿真模型自动生成系统。     

DDS在跳频频率合成器中的应用

本文对直接数字频率合成（DDS）基本原理进行了简要介绍,提出了一种由DDS和直接频率合成（DS）构成的适用于宽带跳频通信系统的频率合成器设计方案。     

基于有限体积法和SNBCK模型的红外辐射特性计算

耦合求解流场、组分浓度场、基于SNBCK模型的气体辐射传输/能量方程以求准确模拟飞行器排气系统气动热力及红外特性.窄带模型参数由HITEMP逐线计算数据库计算得到.通过CO₂4.3μm波段吸收率计算,圆柱炉膛辐射换热特性计算两个算例验证了所采用程序求解辐射传输/能量方程的准确性.最后计算了两种二元喷管的红外特性,结果表明大宽高比二元喷管地面和空中状态红外辐射特性差异巨大.     

政府采购扶持科技型中小企业发展的对策建议

我国科技型中小企业是科技创新的主要力量,但存在制约其发展的诸多问题,如融资难、科技投入不足、竞争力弱等,说明科技型中小企业需要得到政府的扶持。发达国家的成功经验可供我国参考,即具有明确的政府采购扶持中小企业的管理制度,具有有效的监督和申诉制度,积极扶持科技型中小企业开拓国内外政府采购市场。我国政府可利用政府采购来扶持科技型中小企业。具体对策是：完善政府采购的法律制度,加强对知识产权的保护力度,制定科技型产品及国货的认证制度,加大采购力度,建立中小企业管理委员会,完善政府采购监督机制。     

一种新型多普勒噪声抑制技术对BepiColombo任务无线电科学实验的性能提升

在欧洲空间局和日本宇宙开发机构联合开展的BepiColombo水星任务中,将开展水星轨道器无线电科学实验,包括估计水星的引力场及其旋转状态,并对广义相对论进行验证。目前地面系统和星上设备的主流配置可以在无线电科学实验中建立X/X、X/Ka和Ka/Ka多个频段的链路,测速精度可达3 um/s（1 000 s积分）,测距精度为20 cm。提出了基于时延机械噪声对消技术提高无线电科学实验性能的方案。时延机械噪声对消技术需要处理在两个测站不同时刻的测量数据,一个测站实施双向多普勒测距,对另一个单收测站的要求较为严格,该测站需要具有较好的对流层条件。这种方法能够显著降低Ka频段双向链路的主要测量噪声,包括由对流层和天线机械系统震动引起的噪声。我们给出了端到端的仿真性能,并估计了在使用时延机械噪声对消技术前提下的水星引力场和旋转状态。考虑使用NASA位于美国本土戈尔德斯敦的DSS-25天线或欧空局位于阿根廷马拉圭的DSA-3天线作为双程测量站,并考虑使用位于智力的APEX天文观测天线作为单收站。分析结果表明在最好的噪声条件下,使用DSA-3天线作为双程测量站时,时延机械噪声对消技术可将待估计的全局和局部参数的估计精度提升一倍。对于无线电科学实验的目标,这一可能的性能提升对行星地质物理学很有意义,它将有益于研究水星内部的结构。     

基于自由权矩阵的时变时延线性群系统编队控制

研究了基于自由权矩阵方法的时变时延线性群系统编队控制问题。首先,基于一致性理论,设计了具有时变时延的线性群系统编队控制协议。其次,通过变量代换,将时延条件下的线性群系统编队控制问题转化为时延系统的镇定问题。构造Lyapunov-Krasovskii函数,并利用自由权矩阵方法对时延系统的镇定问题进行分析,得到了保守性较小的线性矩阵不等式（LMI）判据,并求解出时延上界和编队控制器增益。最后,通过仿真实验,验证了方法的有效性。     

ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

空间科学任务协同设计过程优化

为了对概念设计阶段空间科学任务协同设计过程进行合理规划, 减少设计反馈, 降低系统耦合度, 提出了设计结构矩阵(DSM)过程建模和遗传算法(GA) 过程优化算法. 该方法采用DSM对空间科学任务设计活动序列进行建模, 通过DSM描述设计活动间的信息依赖关系, DSM上三角之和代表该设计活动序列设计反馈次数; 将 DSM对应的设计活动序列视为染色体, 采用GA进行序列优化, 最小化设计反馈次数. 通过过程优化算法获取最佳设计活动序列, 优化设计过程, 降低系统耦合度. 空间科学任务实例分析结果表明, 该方法能够有效应用于空间科学任务协同设计的过程建模和过程优化, 指导设计过程的制定.      

空间科学任务协同设计论证平台

空间科学任务协同设计论证存在设计方案耦合强,数据一致性差,数据变更难,数据与流程脱节等问题.为了解决上述问题,建立了典型空间科学任务的多层数字化模型;采用图形化方式对论证流程进行建模,并建立流程与数据的映射关系;通过共享数据池的方式为多岗位用户提供多方案数据协同机制;采用消息总线对数据变更进行及时提醒;利用方案依赖关系矩阵来判别方案耦合关系,最终自动合并任务总体设计方案.作为一个分布式平台,空间科学任务协同设计平台采用Eclipse RCP和Spring技术架构,整合了Hibernate、工作流Activiti5等中间件,提供统一门户,支持多岗位、多任务、多方案、多版本的管理能力,提供论证流程监控、数据协同交互等功能.结合某空间科学任务论证验证了该平台的有效性.