形成性评价在大学英语教学中的应用

大学英语教学评价研究是大学英语教学改革的内在需要。随着大学英语教学改革的进行,注重知识和运用能力培养的形成性评价在英语教学中受到了越来越多的关注。形成性评价的主要目的是支持高质量的学习,因此,形成性评价应该成为最重要的教学评价模式。形成性评价有助于教员了解学员的学习进展,以便不断调整教学,满足学员的需求,提高教学质量。     

基于马尔可夫更新过程的装甲装备使用可用度模型

针对在装甲装备使用可用度评估中,采用统计评估法存在统计周期长和不能用于研制阶段的缺点,利用马尔可夫更新过程,建立了考虑工作时间、修复性维修时间、延误时间和预防性维修时间的装甲装备的稳态可用度模型,并进行了示例应用。该模型可以在装备研制阶段,根据装备各项时间参数的分布,来估计装甲装备的使用可用度,可为装备设计、装备维修间隔期规划等提供理论和方法指导。     

Technical note: A computationally efficient algorithm for undiscounted Markov decision processes with restricted observations

We present a computationally efficient procedure to determine control policies for an infinite horizon Markov Decision process with restricted observations. The optimal policy for the system with restricted observations is a function of the observation process and not the unobservable states of the system. Thus, the policy is stationary with respect to the partitioned state space. The algorithm we propose addresses the undiscounted average cost case. The algorithm combines a local search with a modified version of Howard's (Dynamic programming and Markov processes, MIT Press, Cambridge, MA, 1960) policy iteration method. We demonstrate empirically that the algorithm finds the optimal deterministic policy for over 96% of the problem instances generated. For large scale problem instances, we demonstrate that the average cost associated with the local optimal policy is lower than the average cost associated with an integer rounded policy produced by the algorithm of Serin and Kulkarni Math Methods Oper Res 61 (2005) 311–328. © 2008 Wiley Periodicals, Inc. Naval Research Logistics 2009     

Quality control chart design under Jidoka

We consider design of control charts in the presence of machine stoppages that are exogenously imposed (as under jidoka practices). Each stoppage creates an opportunity for inspection/repair at reduced cost. We first model a single machine facing opportunities arriving according to a Poisson process, develop the expressions for its operating characteristics and construct the optimization problem for economic design of a control chart. We, then, consider the multiple machine setting where individual machine stoppages may create inspection/repair opportunities for other machines. We develop exact expressions for the cases when all machines are either opportunity‐takers or not. On the basis of an approximation for the all‐taker case, we then propose an approximate model for the mixed case. In a numerical study, we examine the opportunity taking behavior of machines in both single and multiple machine settings and the impact of such practices on the design of an X – Q C chart. Our findings indicate that incorporating inspection/repair opportunities into QC chart design may provide considerable cost savings. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009     

考虑不完全维修的可修串联系统可用度模型

可用度是衡量系统可靠性、维修性水平的一个重要指标.提出一类基于gamma劣化过程的可修串联系统的可用度计算方法.该方法从构成系统部件的状态出发,用gamma过程刻画部件的退化失效规律,同时考虑系统维修效果的不完全性,在此基础上推导出系统可用度的表达式.最后用一个算例验证了研究模型的合理性.     

多决策目标排序的层次分析与灰色关联法

战争中对打击目标排序是下定作战决心的前提,是战场信息处理的重要内容.随着军事科技的发展和战术运用要求的提高,决定目标排序的因素不断增多,作战环境更加复杂,单一指标已不能满足需求.采用层次分析和灰色关联相结合的方法对多决策目标进行分析,为具有多决策因子目标提供了一种排序方法.灰色数据的白化和精确数据的直接使用提高了数据的效率,使得不同特点的目标具有可比性.实例表明,该方法行之有效.     

炮兵作战决策方案优选的方法

炮兵作战方案的选择,是炮兵作战指挥决策的关键环节,其合理与否,直接关系到炮兵作战效能的发挥和作战的成败.根据炮兵作战的实际,阐述了炮兵作战方案优选的依据,给出了运用层次分析法确定影响作战方案选择的各因素权重的方法步骤,在对优选依据的建模要素进行分析的基础上,构建了每个要素的效用函数计算模型,并给出了评估方案的计算方法,提供了模型应用的一般步骤.     

基于灰色关联法的飞行模拟器方案评估

对三个飞行训练模拟器方案进行灰色关联评估。根据装备效能分析原则,结合飞行训练模拟器组成结构的自身特点,确定了影响飞行训练模拟器效能的主要指标,建立了飞行模拟器效能评估体系,应用层次分析法,计算出各指标的权重,再利用灰色理论原理,对效能体系中主要指标进行了灰色综合评估,然后把灰色综合评估值与费用结合,确定评估矩阵,按照灰色关联法的步骤,计算出各方案与理想方案的关联度。结果是比较符合实际情况的,并且应用到某型飞行模拟器方案论证中。     

浅析达尔富尔和平进程及其面临的挑战

达尔富尔危机始于2003年2月。这场危机主要是由北方的游牧民与南方的定居农民之间对生存资源的争夺而引发的国内冲突。在国际社会的斡旋下,苏丹政府已与几个反政府武装签署了和平协议,并同意部署联合国-非盟混合维和行动,达尔富尔地区的和平进程已步入正轨。由于苏丹国内的复杂形势和困难,达尔富尔地区的和平进程仍面临诸多挑战,和平与和解之路仍然漫长。     

一种GMM-SVM混合说话人辨认模型

文中提出了一种GMM和SVM混合说话人识别模型,在特征参数域和概率得分域对两种模型进行了融合。混合模型结合了GMM和SVM各自的优势,使SVM的概率输出兼顾各说话人模型内部和模型之间的信息,并有效解决了SVM训练算法复杂,难以处理大量样本的问题。采用TIMIT数据库进行了说话人辨认实验,结果证明本文提出的GMM-SVM模型比传统的GMM模型和SVM模型具有更好的辨识性能。