GPS和类GPS测距技术联合用于双星编队星座的状态确定

编队卫星状态的高精度确定是编队星座功能实现的重要基础。针对对地观测的双星编队星座的状态确定问题,为了提高状态确定的精度,在GPS技术的基础上,引入了类GPS测距技术,建立了联合GPS和类GPS测距技术进行状态整体确定的两种数学模型,并讨论了GPS星间单差模糊度和类GPS星内单差模糊度的同时初始化方法,最后进行了数值仿真。仿真结果显示,类GPS观测值尤其是类GPS星内载波单差观测值的引入,明显提高了双星编队星座的状态确定精度,其中绝对姿态角的精度达到rad,相对位置的精度达到m,相对钟差的精度达到s。仿真证明方法正确有效,模型二更优于模型一。

GPS和类GPS测距技术在双星编队星座状态确定中的联合应用

为提高状态确定的精度,借鉴AFF技术引入一种辅助手段——类似GPS的伪距和载波相位测距技术(简称类GPS测距技术)．它的伪码码元和载波相位波长比GPS的更短,因而可获得更高精度的相对测量信息．针对对地观测的双星编队星座的状态确定任务,建立了联合GPS和类GPS测距技术进行编队星座状态整体确定的数学模型,并快速同时解算出GPS星间单差模糊度和类GPS星内单差模糊度,最后进行了数学仿真．仿真结果表明,编队状态的精度有明显提高,其中相对位置精度为10^(-3)m,姿态角精度为10^(-4)rad．仿真证明该方法有效．

基于星敏感器和GPS伪距差分的相对状态确定

针对双星编队飞行中的相对导航问题,提出了一种基于星敏感器和GPS伪距差分的相对状态确定方法。首先给出了相对轨道和相对姿态动力学方程,选取相对姿态基准坐标系,然后分别建立了星敏感器和GPS伪距差分的观测方程,运用Unscented卡尔曼滤波方法(UKF)设计了双星编队相对状态确定的UKF滤波器。利用一个仿真实例说明了该方法的可行性和有效性。

桃花峪黄河大桥主桥成桥状态确定及基准索股架设

以桃花峪黄河大桥主桥为工程背景,介绍了利用大型商用软件Midas/Civil确定双塔三跨平面主缆自锚式悬索桥成桥状态的具体方法和流程,给出了主缆各索股无应力下料长度、主索鞍及散索套预偏量、基准索股架设线形及跨度、塔高、索温及索长变化对基准索股架设线形影响的参数分析方法。

基于事件的人在执行任务中的状态确定

在组织管理中,管理者常常通过一件事情的执行和工作的汇报,估计被管理者的能力和判断事情的状态,从而确定必要的措施。这是一个常见现象,但是如何从数学的角度加以解释,至今没有文献报道。本文从控制论的角度,利用基于事件的状态估计成果,进行一次尝试。

粮食补贴政策的运行机制与改革逻辑——基于不确定性状态依存方法的解释

从种粮主体视角出发,引入劳动市场收入跨度概念,基于空间向量和不确定性状态依存方法构建了粮食补贴政策运行机制与改革逻辑的理论分析框架。基于该理论框架发现:(1)粮食补贴政策的核心作用之一是为粮食产业吸引较高技能禀赋的种粮者;(2)不同类型粮食补贴都会被当成收入性补贴,其产生的收入效应会起到扩大粮食种植面积和促进粮食科技进步的作用。因此应从政策空间、政策目标和政策弹性3个维度改革完善我国粮食补贴政策:一是进一步聚焦政策目标,提高技能型经营主体种粮意愿;二是充分发挥政策乘数效应,补贴聚焦产业链中后端;三是着力优化政策响应机制,抓住信息技术革命契机。

GPS技术用于编队卫星状态整体确定方案设计

编队卫星的控制和应用需要确定编队卫星的运动状态,包括卫星绝对的和相对的位置、姿态以及钟差。本文设计联合利用GPS和一种类似GPS的载波相位和伪码交联测距技术的方案,快速实现星间GPS载波相位差分的整周模糊度的确定,进一步提高相对状态确定的精度,使相对位置精度达到厘米级、相对姿态角精度达到角分级。

基于改进的无迹卡尔曼滤波确定视线感知相对状态

基于视线传感器原理,研究了如何确定摄动作用下两颗卫星间相对状态的问题。采用VISNAV传感器作为相对状态传感器,并应用一种改进滤波算法实现了问题求解。首先,考虑了两颗卫星间相对位置与相对姿态的运动方程及摄动作用的影响,给出了改进的离散系统方程及其误差协方差矩阵的取值方法,避免了复杂协方差矩阵的实时额外求解,降低了算法计算量及实施难度。最后,给出相应的无迹卡尔曼滤波(UKF)算法并通过STK和MATLAB软件进行了数值仿真实验。分析表明,改进后的算法保证了收敛性,数值仿真及对比仿真验证了本文方法的可行性和有效性。在摄动因素作用的前提下,改进的方法能够在200m的相对距离内达到角秒级的相对姿态确定精度和毫米级的相对位置确定精度,完全可以满足近距离自由飞行卫星间的相对状态确定要求。

状态不确定独立否定句的加工机制

采用自定步速阅读方法与图片核证范式(picture verification paradigm)探讨状态不确定独立否定句(如"裙子不是红色的")的动态表征过程,包括3个实验。结果发现:(1)在否定加工的初期,即250 ms间隔时间条件下,读者表征事件的否定状态;肯定句已经通达事件的实际状态。(2)在否定加工的中期,即750 ms间隔时间条件下,读者仍然表征事件的否定状态,但已开始对事件的备择选项进行搜索;肯定句仍然保持对事件实际状态的表征。(3)在否定加工的后期,即1500 ms间隔时间条件下,读者表征否定标记与事件的否定状态,同时完成对备择选项的搜索;肯定句依旧保持对事件实际状态的表征。据此,本文提出的锚激活与限制满足模型(anchor-based activation and satisfaction constrained model)得到初步证明。

类别型状态不确定独立否定句的加工机制:来自眼动实验的证据

探讨类别型状态不确定独立否定句(如"裙子不是蓝色的")的动态表征过程。实验1和实验2分别仅给被试提供"与事件备择选项一致的图片"(红色裙子)和"含有否定标签的与事件否定状态一致的图片"(含有否定标签的蓝色裙子);实验3同时提供以上两种选项。结果发现:3个实验中被试在早期均对"与事件否定状态一致的图片"注视概率更高,在晚期阶段,实验1仅对"与事件备择选项一致的图片"注视概率更高,实验2和实验3均仅对"含有否定标签的与事件否定状态一致的图片"注视概率更高,并且选择为事件的最终状态;实验4的评定结果表明,当被试有充裕时间完成任务时,37名评定者中有30名选择"与事件备择选项一致的图片"为事件的最终状态。4个实验的结果为锚激活与限制满足模型和抑制假设提供了进一步证据。

具有初始状态不确定性的非线性系统脉冲补偿迭代学习控制(英文)

针对于具有初始状态不确定性的非线性时不变系统,采用矩形脉冲信号补偿传统的比例微分型一阶和二阶迭代学习控制律.在Lebesgue-p范数度量跟踪误差意义下,利用卷积的推广的Young不等式分析学习控制律的跟踪性能.分析表明,在适当选取比例学习增益,微分学习增益和非线性状态函数的Lipschitz常数以保证收敛因子小于1的前提下,渐近跟踪误差是由初始状态不确定性引起的,而且可通过调节补偿因子予以消减.数值仿真验证了补偿策略的有效性和理论分析的正确性.

不确定状态下在线消费者品牌选择时滞依赖行为研究

先分解出不同的在线消费者的时滞依赖效应,剖析在线渠道下消费者品牌选择的时滞依赖行为机理;然后研究不同动态品牌选择模型,包括随机过程模型和随机效用模型;最后,就未来研究方向进行了讨论。

基于确定有限状态自动机的改进多模式匹配算法研究

针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。

确定性有限状态机的最小测试成本迁移覆盖准则

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.

基于GPS和陀螺的航天器相对状态自主确定

根据GPS和陀螺的不同特点,将两者结合起来,设计了一种基于GPS和陀螺的相对状态自主确定算法.采用修正罗德里格参数(MRPs)作为姿态描述参数,通过建立相对轨道和相对姿态运动方程以及GPS和陀螺观测方程,运用unscented卡尔曼滤波方法(UKF)设计了双星编队相对状态自主确定算法,仿真结果验证了方法的可行性和有效性.

状态信息不确定的组合投资决策方法

本文将组合投资理论与不确定型决策方法结合起来 ,提出了在未来自然状态不确定的情形下的组合投资决策模型 。

离散事件系统的非确定性状态反馈控制(Ⅰ)

在离散事件系统（ＤＥＳ）中引入了强迫事件，讨论了确定性ＤＥＳ的非确定性状态反馈控制，其中对闭环系统的行为规范得到并证明了非确定性状态反馈控制器存在的充分必要条件。

基于双目视觉的相对状态自主确定

基于双目视觉系统提出了一种适于交会对接最后阶段的近距离绕飞的相对状态自主确定方法。用修正罗德里格参数(MRP)描述姿态,给出了追踪器与目标器间的相对姿态运动学与动力学方程,以及相对运动方程,根据双目视觉系统的小孔成像原理建立了双目系统的测量数学模型,由扩展卡尔曼滤波(EKF)获得两航天器的相对位姿及其变化率。仿真结果表明该法可行。

基于UKF算法的小卫星串行编队相对状态自主确定

基于星间测距和星间测角对小卫星编队进行自主相对状态确定。卫星编队采用圆轨道串行双星编队方式,Hill方程对此构型不再适用,文中以卫星在惯性坐标系下的轨道动力学方程为基础,详细推导出卫星的相对运动动力学模型,并建立测量方程。由于测量方程为非线性方程,为避免线性化误差,提高测量精度,采用无迹卡尔曼滤波(UKF)算法,以双星编队为例,进行了数学仿真。仿真结果表明,该算法易于实现,并具有较高的精度。