微处理器容软错误设计量化评估指标及评估方法

针对高可靠微处理器软容错设计,提出了一种新的可靠性度量标准,增强的平均无失效工作量,以解决现有度量标准没有综合考虑性能、面积、功耗开销带来的可靠性降低的缺点;提出了一种评估方法对增强的平均无失效工作量以及两种控制流检测技术进行定量评估。评估结果表明,软硬件结合的控制流检测技术较好地折中了可靠性、性能、面积和功耗。量化评估指标全面考虑了多种开销对微处理器可靠性的影响,采用相应的评估方法可以更加准确地对微处理器可靠性加固手段进行定量评估,以指导设计探索和设计优化。     

伞翼无人机线性自抗扰高度控制

针对伞翼无人机参数不确定性和复杂环境干扰敏感的问题,提出一种伞翼无人机线性自抗扰(Linear Active Disturbance Rejection Control,LADRC)高度控制方法。建立伞翼无人机8自由度飞行动力学模型,并引入风场和降雨模型以更加准确地模拟真实飞行环境。基于LADRC确定总体控制架构,设计线性扩张状态观测器对所有扰动进行估计,并引入误差反馈率在控制中实时补偿。使用该控制方法在多种扰动工况下进行伞翼无人机高度控制仿真实验。仿真结果表明,基于LADRC的高度控制方法能够有效克服内扰和外扰的影响,实现高精度高度控制;与传统PID控制效果相比,LADRC控制器具有更好的抗扰能力和鲁棒性。     

教育公平视野下的乡村中小学教师队伍建设 ——以江西省宜春市为例

加强乡村中小学教师队伍建设是实现城乡教育公平,补齐我国教育短板的关键所在.宜春市乡村中小学教育队伍建设面临着教师总体数量不足、年龄结构有待完善、整体素质有待提高、学科结构不尽合理、职称晋级比较难、工资待遇偏低等一系列问题.因此,要从改善乡村中小学教师的生存环境、增强乡村中小学教师的职业吸引力、提高乡村中小学教师培训的实效性、健全义务教育学校城乡教师交流机制和建立乡村教师编制动态调整机制五个方面着手,进一步加强乡村中小学教师队伍建设.     

一维ARMA模型判阶及参数辨识的一种算法

本文讨论了一般的ARMA模型,导出模型的冲激响应序列h(i)与参数a_i,b_i的关系式,进而给出了判定模型的阶(M,N)的算法,然后由已导出的关系式及判阶算法,导出了辨识模型参数a_i,b_i的快速算法。最后进行了微机仿真,验证了算法的正确性。     

远程火炮密集度试验多组数据的处理方法

远程火炮密集度试验需要进行多次射击,同一试验条件下的多组数据通常认为来源于同一分布,但却未见于证明。利用统计检验方法,给出了对试验数据方差齐性及均值相等性的检验方法,并在多组试验数据一致性的基础上给出了试验数据均值、方差的无偏估计,同时在既定置信度下给出了其置信区间,为远程火炮精度检测提供了工具。     

一类具有时滞和Gompertz增长率的捕食系统的稳定性与Hopf分支

研究一类具有时滞和Gompertz增长率的捕食系统,通过分析系统的特征方程,得到正平衡点的局部稳定性和系统出现Hopf分支的条件,并利用中心流形定理和规范型理论,得到确定Hopf分支方向和分支周期解稳定性的计算公式．     

一类具有时滞的生态一流行病系统的稳定性和Hopf分支

讨论一类食饵染病的时滞捕食一被捕食者模型,通过分析特征方程,得到正平衡点局部稳定和Hopf分支存在的条件．同时,应用中一tl,流形定理和规范型理论研究正平衡点处Hopf分支方向和分支周期解的稳定性．最后,通过数值模拟对理论结果进行了说明．     

基于可能性决策的敌对危机行动预测与仿真

可能性决策能较好地应对军事领域常常出现的概率难以获得,或者强调“出奇制胜”而有意规避概率风险的情形,是解决知识不完备情况下敌对行动预测的有力手段。从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决策的最优化定理,给出多步条件下可能性决策的实现算法,结合危机条件下敌对行动预测的范例和仿真分析,与传统概率风险决策进行比较,体现可能性决策的优越性,为该方法的推广应用创造条件。