实时嵌入式软件需求描述框架探索

描述软件需求,目前最大的挑战就是保证需求描述的完整性、准确性、一致性及规范性。本文分析了实时嵌入式软件的特点,找出实时嵌入式软件需求规格说明应当覆盖的内容,并针对各项内容,分析描述所采用的方法,形成实时嵌入式软件需求描述的框架。此框架对改善需求描述的完整性、规范性有很大帮助,对提高需求描述的准确性和一致性有积极作用。     

无反馈多级式多传感器组合导航系统

传统的多传感器组合导航系统大都采用集中式、分布式与混合式信息融合方法,而多级式信息融合算法是上述3种算法的发展,可完成高层次空间融合。文章首先研究了基于无反馈信息的多传感器组合导航系统的多级式信息融合算法,然后理论分析证明该算法与无反馈形式的联邦卡尔曼滤波算法等价,最后以SINS/GPS/ SST/高度表多组合导航系统为例,对上述算法及结论进行了仿真与验证。     

高反压下喷嘴雾化特性的理论探讨

本文对高反压下正压力指数的喷嘴雾化特性的可能原因进行了探讨。试验技术上采有稿压封闭容器，引起小液滴回流会造成液雾测量畸变。从机理上，本文提出两个因素：对空气雾化喷嘴，由强紊流脉动与液滴簇的相互作用会引起不同尺寸液滴碰撞而凝聚，对压力雾化喷嘴，可能出现由于高反压下液体微团速度迅速衰减而使气动作用力小于低反压下的气动作用力。本文详细分析了后一情况。证明通常文献及收中所述“高反压下促进雾化的气动作用增大”的论点，并不完全正确。     

不同环境下几种GPS接收机定位精度研究

在室内或部分遮挡环境中,不同GPS接收机接收信号的能力和定位精度有较大差异。通过对不同的观测环境、不同品牌接收机以及不同的数据处理软件这三个变量的控制展开实验,通过静态单点定位和静态相对定位两种方式测定接收机在不同环境下的定位精度。     

计算章动的一个新方法

在传统的计算方法中，章动是有５个参数１，１＇，Ｆ，Ｄ和Ω线性组合的三角函数为因子的项之和。若Ｎ是项数，则用计算机计算章动时，包括黄经章动和倾角章动一般需要计算１３Ｎ次四则运算和２Ｎ次三角函数。然而，用计算机进行三角函数运算的机时比四则运算要长得多。本法为了更适用于计算机，尽可能把三角函数的运算次数减少到最少。以１０６项ＩＡＵ１９８０章动序列计算为例，传统的方法需要计算２１２次三角函数运算，而本法只     

应用保角变换法计算八角形洞壁干扰因子

一、引言 目前,许多低速风洞实验段的横截面为八角形,而在洞壁修正时还采用文献[3]、[6]给出的δ曲线。 过去主要应用两种方法求δ值:一种是映象法,可以计算圆形、方形、正方形和椭圆形等的δ值;另一种就是应用保角变换法,可以计算方形、长方形、椭圆形和八角形等的δ值。但是,从现有的资料来看,还没发现用上述两种方法给出计算任意八角形洞     

求非线性规划KT—解的一种方法

非线性规划问题: 的Kuhn—Tucker条件为; 两者之间关系密切,本文给出了求解问题(KT)的新方法及其收敛性。