挖掘高等数学人文价值,培养大学生探究能力

数学的人文要素对培养学生的探究能力具有重要意义,在数学教学中通过体现数学人文价值来培养学生的探究能力可采取以下几种尝试:介绍古今人们对有关数学方面的认识,帮助学生全方位了解数学;借助数学史料,再现数学知识的发现过程;开展专题研究,师生共同研讨数学知识中隐含的数学思想方法;利用“数学美”,再现数学的人文价值,为此教师需做好两种形态知识的转化工作,树立新型的数学教育信念。     

防火涂料性能要求及测试方法探讨

介绍了饰面型防火涂料、电缆防火涂料、钢结构防火涂料以及混凝土防火涂料的理化性能要求及防火性能要求。重点阐述了这些防火涂料防火性能的测试方法。     

常微分方程的割线迭代格式

在常微分方程的数值解法中,Euler的隐式格式稳定性较好,但由于它为隐式,因而给计算带来了极大地不方便。为了解决此问题,本文给出了一种数值解法——常微分方程的割线迭代格式。     

车载UWB SAR干扰自适应抑制新方法

在分析车载超宽带合成孔径雷达(UWB SAR)探测系统中干扰类型及其产生机理的基础上,针对Tsaipei Wang等提出的批处理方法的局限性,提出一种基于迭代运算的图像域自适应干扰抑制方法.该方法利用基于韦布尔分布的恒虚警率(CFAR)检测器提高干扰信号估计的准确性;采用迭代方法在线估计和更新参数,实现干扰的自适应抑制.实测数据处理结果表明:该方法可有效抑制自信号干扰,且结构上适于实时处理,可满足车载UWB SAR探测系统对图像预处理的要求.     

Analysis of a machine repair problem with an unreliable server and phase type repairs and services

In this paper we study a machine repair problem in which a single unreliable server maintains N identical machines. The breakdown times of the machines are assumed to follow an exponential distribution. The server is subject to failure and the failure times are exponentially distributed. The repair times of the machine and the service times of the repairman are assumed to be of phase type. Using matrix‐analytic methods, we perform steady state analysis of this model. The time spent by a failed machine in service and the total time in the repair facility are shown to be of phase type. Several performance measures are evaluated. An optimization problem to determine the number of machines to be assigned to the server that will maximize the expected total profit per unit time is discussed. An illustrative numerical example is presented. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 462–480, 2003     

军用移动电站战伤修理的若干问题

分析研究了电站平时修理和战伤修理的主要区别,提出了电站战伤评估逻辑图和战伤修理方法。     

基于迭代卡尔曼粒子滤波的目标跟踪算法研究

粒子滤波在基于图像序列的目标跟踪中获得了广泛应用．针对其计算量较大的问题,提出一种迭代卡尔曼粒子滤波算法,将非线性跟踪问题分解为线性子结构的全局状态空间模型和非线性子结构的局部状态空间模型,利用粒子滤波在卡尔曼滤波估计值的局部范围内搜索目标,逼近真实目标状态．将实验结果与粒子滤波进行比较,结果表明,迭代卡尔曼粒子滤波减少了粒子数,降低了计算量,能够对高机动目标进行实时稳定的跟踪．     

基于DoDAF的装备体系结构建模方法

美军DoDAF体系结构框架是一种重要的武器装备体系建模标准,对于保证武器装备系统之间可集成性、可互操作性具有重要的借鉴意义。为支撑武器装备体系建设的统一建模过程,优化体系结构和控制变更影响,文章力图在“能力需求牵引”作战思想指导下．提出基于DoDAF标准的结构化武器装备体系结构建模方法。采用DoDAF基线产品与用户自定义产品（基于“适用”原则）相结合的方式,从建模框架、流程、方法和支撑产品等方面对武器装备体系结构建模方法进行系统研究。由于使用结构化建模方式,在建模过程中采用与开发了相关的基础建模产品,从而使得模型更具针对性,建模过程更加直观、具体和易于操作。     

略论高校音乐教育专业舞蹈教学

舞蹈课是高校音乐教育专业学生的一门必修课,是专业基础课之一。考虑到学生身体条件和对舞蹈的感觉的差异性,必须调动学生的学习兴趣,加强舞蹈基本功训练,开展示范性教学,让学生在实践中提高舞蹈教学、编排和表演能力。     

Performance evaluation of a production/inventory system with periodic review and endogenous lead times

This paper considers a discrete time, single item production/inventory system with random period demands. Inventory levels are reviewed periodically and managed using a base‐stock policy. Replenishment orders are placed with the production system which is capacitated in the sense that there is a single server that sequentially processes the items one at a time with stochastic unit processing times. In this setting the variability in demand determines the arrival pattern of production orders at the queue, influencing supply lead times. In addition, the inventory behavior is impacted by the correlation between demand and lead times: a large demand size corresponds to a long lead time, depleting the inventory longer. The contribution of this paper is threefold. First, we present an exact procedure based on matrix‐analytic techniques for computing the replenishment lead time distribution given an arbitrary discrete demand distribution. Second, we numerically characterize the distribution of inventory levels, and various other performance measures such as fill rate, base‐stock levels and optimal safety stocks, taking the correlation between demand and lead times into account. Third, we develop an algorithm to fit the first two moments of the demand and service time distribution to a discrete phase‐type distribution with a minimal number of phases. This provides a practical tool to analyze the effect of demand variability, as measured by its coefficient of variation, on system performance. We also show that our model is more appropriate than some existing models of capacitated systems in discrete time. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007