面向RISC-V内核的标记指令复算与纠错机制的设计

由宇宙辐射等环境因素引起的硬件瞬时故障会极大降低计算机系统的可靠性。为了减小硬件瞬时故障对系统可靠性的影响,保证程序的正确运行,基于RISC-V开源内核“蜂鸟e203”提出一种标记指令复算与纠错机制。该机制为指令码额外增加了复算标记,以较小的硬件开销实现对指定指令的复算操作。此外,该机制可以在第一次复算结果与初始运算结果不等时自动进行二次复算,并由三次运算结果的多数表决结果来纠正大部分硬件瞬时故障所引起的数据流异常。实验表明,通过与中断处理程序相结合,在随机注入瞬时故障的情况下,程序的正确执行概率平均增加了86.67%。     

Revenue management under randomly evolving economic conditions

We consider a dynamic pricing model in which the instantaneous rate of the demand arrival process is dependent on not only the current price charged by the concerned firm, but also the present state of the world. While reflecting the current economic condition, the state evolves in a Markovian fashion. This model represents the real‐life situation in which the sales season is relatively long compared to the fast pace at which the outside environment changes. We establish the value of being better informed on the state of the world. When reasonable monotonicity conditions are met, we show that better present economic conditions will lead to higher prices. Our computational study is partially calibrated with real data. It demonstrates that the benefit of heeding varying economic conditions is on par with the value of embracing randomness in the demand process. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 66:73–89,2019     

灰色关联决策在战场目标打击决策中的应用

战场目标打击顺序的选择是作战决策的重要环节,其正确性影响到作战决策的科学与否.战场环境充满灰色性,战场目标打击决策属于灰色系统理论研究的范畴,需要用到相应的灰色理论分析方法进行解决.灰色系统理论研究"部分信息已知,部分信息未知"的"少数据、贫信息"不确定系统.它提出灰色关联度分析的概念,并将其应用到决策问题.基于灰色系统理论相关研究成果,分析了灰色关联决策的相关概念及步骤,探讨了灰色关联决策在战场目标打击决策问题上的应用,为提高相关人员战场作战决策正确性提供了科学方法.     

内隐自尊、外显自尊及其交互作用对应对方式的影响研究

为了探讨内隐自尊、外显自尊及其交互作用对应对方式的影响，我们采用实验设计方法对某大学60名学生进行研究，选用自尊量表（SES）、应对方式问卷（CSQ）和内隐测验程序（IAT）施测。结果显示：一是内隐自尊、外显自尊存在低相关；二是外显自尊在积极、消极两种应对方式上主效应显著；三是不同外显自尊水平下，内隐自尊对积极应对方式有不同的影响。即高外显自尊水平下，高内隐自尊者比低内隐自尊者应用更多的积极应对方式；低外显自尊水平下，内隐自尊水平不影响积极应对方式的应用。由此可见，自尊类型影响个体应对方式，要培养个体安全的高自尊以促使个体在压力面前更多使用积极应对方式。     

基于FAHP的岸防炮兵雷达作战效能评估分析方法

针对岸防炮兵雷达的特点和作战任务,从探测能力、定位能力、数据处理能力、目标识别能力、抗干扰能力、可用性、可靠性和生存能力8个指标层,建立岸防炮兵雷达作战效能评估的层次结构体系,并确定了指标体系综合指标的随机性和模糊性,运用模糊层次分析法对雷达效能进行综合评估,给出了确立各因素权重的方法.为该雷达作战使用提供了辅助决策的依据.     

手性导电复合材料屏蔽效能的数值研究

利用建立在单层无限大手性屏蔽体模型基础上的电磁屏蔽公式，将电导率的贡献等效为介电常数虚部的一部分，通过数值分析方法研究了手性参数对导电复合材料电磁屏蔽效能的影响规律，并细化研究了该参数对反射衰减、吸收衰减和多次反射衰减的影响。数值分析发现，屏蔽效能对手性参数、电导率的变化比较敏感。     

把握GJB 9001B标准精髓促进质量管理体系建设

本文通过对GJB 9001B标准的思想精髓的探讨,论述了贯穿于该族标准中的系统设计、过程控制、预防为主、持续改进的思想理念。客观分析了军工企业第三方质量管理体系认证的特点和存在的局限性。在此基础上,对第三方质量管理体系认证与第二方质量管理体系认定,在目的要求、方式方法及测重点上的区别进行了比对,强调了第二方认定过程中"过程控制"、"持续改进"环节的重要性。并论述了发挥驻厂军事代表的重要作用,搞好质量管理体系认定和监督,促进质量管理体系发展的一些方法。     

信息系统需求建模方法研究

在需求工程领域中,基于场景的需求建模方法越来越多地被人们采用.根据信息系统自身的特点和基于场景需求建模方法的优点,给出了一种基于场景的信息系统需求建模的具体方法.通过对雷达技术保障信息系统需求建模过程的实例分析,证明该方法能够快速、准确、全面地获取信息系统的需求模型,具有较高的应用价值.     

以多元智能理论为指导的大学英语教学模式探析

由美国发展心理学家、哈佛大学研究生院心理学教授霍华德·加德纳于1983年提出的多元智能理论，对外语教学的革新提供了新的视角。该理论与外语学科关系密切，其内涵比任何一种教学法都更加丰富。发展学生的多元智能，已经成为21世纪外语教学的一种趋势。多元智能理论指导下的大学英语教学模式，对发展现代大学英语教学具有现实意义。     

Balancing a one‐way corridor capacity and safety‐oriented reliability: A stochastic optimization approach for metro train timetabling

In urban rail transit systems of large cities, the headway and following distance of successive trains have been compressed as much as possible to enhance the corridor capacity to satisfy extremely high passenger demand during peak hours. To prevent train collisions and ensure the safety of trains, a safe following distance of trains must be maintained. However, this requirement is subject to a series of complex factors, such as the uncertain train braking performance, train communication delay, and driver reaction time. In this paper, we propose a unified mathematical framework to analyze the safety‐oriented reliability of metro train timetables with different corridor capacities, that is, the train traffic density, and determine the most reliable train timetable for metro lines in an uncertain environment. By employing a space‐time network representation in the formulations, the reliability‐based train timetabling problem is formulated as a nonlinear stochastic programming model, in which we use 0‐1 variables to denote the time‐dependent velocity and position of all involved trains. Several reformulation techniques are developed to obtain an equivalent mixed integer programming model with quadratic constraints (MIQCP) that can be solved to optimality by some commercial solvers. To improve the computational efficiency of the MIQCP model, we develop a dual decomposition solution framework that decomposes the primal problem into several sets of subproblems by dualizing the coupling constraints across different samples. An exact dynamic programming combined with search space reduction strategies is also developed to solve the exact optimal solutions of these subproblems. Two sets of numerical experiments, which involve a relatively small‐scale case and a real‐world instance based on the operation data of the Beijing subway Changping Line are implemented to verify the effectiveness of the proposed approaches.