有新任务插入的多星动态调度模型与算法研究

对地观测卫星动态调度问题是一类复杂的调度问题.在对动态调度的要求进行分析的基础上,针对有新任务插入的多星动态调度问题的特点,建立了多星动态调度模型,提出了一种基于自由度规则的动态启发式求解算法.分别设计了基于最大自由度的退出启发式规则和基于自由度比例的退出启发式规则,采用深度有限搜索策略进行迭代搜索.仿真实例分析表明,基于自由度规则的动态启发式求解算法能够较好地解决有新任务插入的多星动态调度问题.     

寡头发电商报价动态模型及其混沌控制

在寡头发电商报价古诺博弈模型基础上,考虑自适应报价动态与有限理性报价动态, 分别建立两发电商与三发电商报价动态系统模型, 并分析系统Nash均衡的稳定性,然后对Nash均衡的稳定域、分岔图、混沌吸引子进行了数值仿真;在此基础上, 运用状态滞后反馈控制方法,对报价动态系统的混沌控制进行了解析分析与数值仿真,结果表明选择合适的控制变量和控制参数,可使报价动态系统稳定在Nash均衡.     

不确定性规避下的动态资产组合选择

在Heston(1993) 随机波动模型中引入一个新的随机变量,用以测度风险资产价格未来实际运动与模型描述之间的不确定性差异,研究投资者面对时变投资机会和规避该不确定性差异下的动态资产组合选择问题.通过设定不确定性规避状态函数,运用稳健控制方法获得最优动态资产组合选择的封闭解.分析表明,当投资者的风险规避程度大于(小于)1时,时变投资机会导致正(负)投资期效应;规避不确定性差异导致风险资产投资减少;动态资产组合选择行为可解释非市场参与之迷.最后,以上证综指1991-01-2006-10间的月度收益数据为样本,用谱广义矩法估计随机波动模型中的参数进一步验证和量化上述分析.     

改进的高动态高灵敏度GPS信号捕获算法

首先介绍弱GPS信号定义和影响因素,指出要想实现弱信号条件下的捕获,必须增加处理增益.要提高增益,就要进行累积,而累积最重要的限制就是导航电文的变化、多谱勒频偏的影响以及非相干累积的平方损失.而高动态又必须考虑累积时间与多普勒补偿的均衡.针对这些因素,指出在弱信号条件下,FFT捕获较传统算法更具有优势.采用差分累积提高累积时间并减轻了非相干累积平方增益损失.半比特搜索法能够估计出导航数据的最佳组合,实现很长时间的相干积分.高动态高灵敏度情况下,还必须考虑补偿码多谱勒的影响.提出一套完整的弱信号处理方案,采用Monter·Carlo方法进行仿真,实验结果验证了该算法的有效性.     

支持向量机用于性能退化的可靠性评估

为解决性能退化轨迹建模中的小样本训练问题,研究了基于统计学习理论的支持向量机回归原理,提出了基于支持向量机回归模型的产品性能退化轨迹建模、寿命预测及可靠性评估方法.给出两种性能退化轨迹的支持向量机回归模型——单一模型和加权模型.实例分析表明,所提方法有较好的预测精度.加权支持向量机回归模型可在早期实现较高精度的寿命预测,提高性能退化的可靠性评估精度,从而可缩短试验时间,节约经费开支.     

带有学习效应和机器可用性限制的排序问题

针对单机和两台机器的平行机排序问题,建立了机器具有学习效应和可用性限制的排序模型。在这个模型中,机器具有学习效应。在学习效应下,工件的加工时间与所排位置有关,对于需要在同台机器上加工的工件,工件随位置的靠后其实际的加工时间减少。同时由于定期维修等原因而导致机器在某段时间内不能加工工件。考虑了目标函数为极小化总完工时间的单机和两台机器的平行机问题。对于机器在任意时间进行维修的一般情况给出了动态规划算法,通过数值例子说明了算法的有效性,对机器在使用前进行维修的特殊情况给出了多项式算法。     

Secure and efficient elliptic curve cryptography resists side-channel attacks

An embedded cryptosystem needs higher reconfiguration capability and security. After analyzing the newly emerging side-channel attacks on elliptic curve cryptosystem (ECC), an efficient fractional width-w NAF (FWNAF) algorithm is proposed to secure ECC scalar multiplication from these attacks. This algorithm adopts the fractional window method and probabilistic SPA scheme to recondigure the pre-computed table, and it allows designers to make a dynamic configuration on pre-computed table. And then, it is enhanced to resist SPA, DPA, RPA and ZPA attacks by using the random masking method. Compared with the WBRIP and EBRIP methods, our proposals has the lowest total computation cost and reduce the shake phenomenon due to sharp fluctuation on computation performance.     

卫星单轨任务合成观测问题及其动态规划算法

一类遥感卫星的侧摆机动性能较差,必须考虑将某些任务合成观测以提高观测效率。研究了卫星在单个轨道圈次内,任务间的最优合成观测问题。建立了问题的约束优化模型,分析合成任务性质,基于合成任务间存在角度相关及时序特征,将问题按照卫星的最大侧摆次数划分为多个阶段,利用动态规划思想,得到了问题的最优解。测试算例验证了算法的有效性。     

汽车电子ABS控制参数混合逻辑动态自标定研究

采用软硬件协同设计方法,提出基于汽车电子子系统模块化统一建模的动态仿真测试方法.参照汽车电子电控单元参数的匹配方法,提出了基于CCP协议在线调整ABS参数的匹配方法,并从理论上研究了基于MLD(Mixed Logical Dynamical)系统的ABS控制参数自动标定算法.并通过求解MIQP问题为ECU-ABS控制解出一个优化的控制序列.以ABS开发为例进行了说明和测试,对监控标定系统进行了试验,建立了完整的电控参数标定仿真、实验流程.提出的方法对其它汽车电子嵌入式实时软件开发,缩短调试、路试周期具有重要的意义.     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.