汽车计算平台工程国外相关标准概述

结合我国汽车计算平台工程,分析了国外相关的标准现状和基本框架,并为今后工作的开展提出了建议.     

并行算法在软件无线电多DSP平台的应用

近年来，随着软件无线电的发展，用于软件无线电平台中的多DSP并行结构受到越来越多的关注，因为这种结构能提高数字信号处理的速度。提出了一种适合在该平台上并行运算的算法，以多阶FIR滤波器为例，验证了算法，并探讨算法的性能，给出了该算法在多处理器条件下，与单处理器处理结果的比较。对选取合适的软件无线电中频处理多处理器平台具有一定的参考价值，并对舰载软件无线电的实现提供了科学参考。     

微制造平台微振动的最优控制

采用混合隔振技术建立了微制造平台隔振系统。该系统以空气弹簧和橡胶层作为被动隔振元件、超磁致伸缩致动器作为主动隔振元件，并采用最优控制理论设计其主动控制器。研究了在不同的性能指标加权阵的情况下，该主动振动控制系统对基础干扰和由微制造设备产生的直接干扰所引起的微制造平台振动的控制效果。研究表明性能指标加权阵对振动控制效果影响非常大。通过大量的仿真实验确定了一组性能指标加权阵，使所设计的主动控制系统能在较宽的频率范围对基础干扰和直接干扰所引起的微制造平台振动进行有效的控制。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

琼东南盆地深水区储层分布规律

琼东南盆地深水区经历了断陷、断拗和拗陷3大构造演化和沉积充填阶段,主要发育4种沉积体系,相应地形成了4类主要储层:1)陵三段扇三角洲或滨海相砂岩储层;2)三亚、梅山组滨浅海相砂岩储层;3)三亚—莺黄组低位体储层;4)梅山组台地边缘礁滩灰岩储层。平面上,储层发育具有明显的分带性,可划分为:北部浅水陆架滨岸砂岩、三角洲砂岩储层发育带;中央坳陷低位体储层发育带;南部永乐隆起区碳酸盐岩储层发育带。深水区主要位于后2个带,每个带储层发育的控制因素不同,可以进一步划分为多个储层发育区。每个储层发育区存在多套储盖组合,每套储盖组合在多个储层区中发育。其中台地灰岩储层可能成为南部隆起区具有重要意义的勘探层系。      

织金县HFC双向网络设计方案

织金电视台通过对有线电视网络进行双向改造，为Internet宽带接入、数字电视、VOD等多媒体应用提供了运行平台，介绍织金县城区HFC双向网络设计方案。     

光电平台无角位移减振机构运动分析

分析了光电平台的工作环境和角振动对成像质量的影响，应用空间机构学原理和减振理论，设计了一种既具减振功能又能抑制角位移的无角位移减振机构。对减振机构的减振机理及运动特性进行了分析，并利用三维建模软件和MSC．Visual Nastran 4D仿真分析软件对该减振机构进行了三雏实体仿真分析，通过输出的仿真数据及曲线检验无角位移减振原理的正确性。     

可信计算与可信网络

论文对主流的可信计算技术——TCPA和NGSCB进行了分析,并对可信计算平台(TCP)进行了研究,对基于可信计算的可信网络的三个基本属性进行了分析和研究,最后介绍了可信网络的发展现状。     

地杂波O．94μm激光后向反射率测试研究

通过对地杂波O．94μm激光后向反射率的测试，获取不同入射角的多背景后向反射率测试数据。通过对测试数据的分析处理提供特征信息，为激光探浏器设计提供依据。     

协同作战能力简析

协同作战能力(CEC)是一种充分利用网络技术的新型海岸防空技术，给系统的作战能力带来了革命性的交破。本文对协同作战能力的产生、功能、组成以及未来的发展趋势作了详细的介绍，阐述了CEC系统的总体设计思想。在此基础上，将CEC系统与传统的作战系统的性能和设计思想在各方面进行了比较，交出了CEC系统各方面的优越性能。协同作战能力是现代和未来作战系统的发展方向，CEC系统的发展必将成为衡量各国国防科技现代化的重要指标。