控制性学习条件下网络外语教学环境创建刍议

网络教学环境的创建及其在外语教学中的运用越来越成为外语界关注的焦点。在控制环境下建构多媒体网络教学环境的手段,充分调动学生的主动性和参与性,从而有助于提高学习者的语言水平及语用能力,加速其文化及社会知识的建构。     

基于状态的装备可靠度模型及其应用

为应用基于状态的装备可靠度模型,实现对装备的精确维修,采用了比例风险模型（Proportional Hazards Model,PHM）将装备的年龄信息及检测所得状态信息融入系统的风险函数中。考虑到样本包含截尾数据的情形,应用极大似然估计方法对模型中的参数进行了估计以及相应的模型检验。通过对该方法在一个实际案例中应用的详细分析,验证了方法的可行性。     

软件系统的可靠性综合评估模型研究*

主要研究了软件系统可靠性的评估方法。基于软件系统的基本结构和体系,对软件系统层次可靠性进行分析,并对影响可靠性的因素进行了分析;根据各分系统失效对整体系统失效影响程度的大小,通过事件测试分析得到实际参数,在给出重要度系数的基础上,建立了串并联系统间权重系数模型,并通过Bayes分析建立了软件系统的可靠性综合评估模型,从而达到对软件系统可靠性综合评估的目的。算例表明该可靠性综合评估模型具有一定的工程应用价值。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

基于雷达波束篱笆的空间碎片数量的置信区间估计

针对雷达波束篱笆空间碎片探测模式,提出了一种估计碎片数量置信区间的方法.对于给定的轨道高度范围,将轨道倾角和雷达散射截面足够大的碎片是否真正穿越波束篱笆这一事件用(0-1)分布来建模,根据所获取的轨道高度数据,得到该轨道高度范围内碎片穿越波束篱笆的平均概率,进而采用中心极限定理估计出该范围内碎片总数量的置信区间.仿真实验验证了方法的有效性.     

软件化雷达的多路超高速ADC数字谱分析

用于软件雷达硬件平台的并行多路等效时间超高速ADC系统中,客观地存在着诸多不可避免的工作非均匀性,如:时基抖动、通道直流偏置不均衡及通道增益不一致等等,而造成取样输出信号的频谱发生畸变,影响雷达系统性能.综合讨论了由于采样非均匀和通道偏置及增益不一致对取样信号数字谱的影响,在矩形抽样和理想抽样情况下,建立了该信号数字频谱的完整数学模型,并以理想抽样的正弦信号为例进行详细分析,得到了采样系统输出信噪比的计算公式,为系统的后续补偿校正,及对软件雷达系统指标的确定与分配提供了参考和依据.     

高炮射弹飞行时间拟合

用插值拟合和最小二乘逼近拟合方法对高炮射弹飞行时间拟合问题进行了研究.通过对插值拟合公式原理及误差规律的分析,提出确定可用区间的"去值检验"方法,说明了插值拟合公式的应用范围.通过对最小二乘拟合公式实际计算结果的分析,得出了"拟合公式阶数取3为最佳"的结论.对其他口径高炮的射弹飞行时间拟合也基本适用.     

基于群件的指挥网软件系统设计

指挥网软件系统是指挥自动化系统的灵魂和核心,其设计的关键在于精确分析系统内部流动的信息实际处理模式。考察任意级别作战单元的信息处理,无论操作对象来自该单元的何种工作状态,都可以抽象为CSCW模式,而群件模式所采用的三种核心技术完全满足了指挥网节点工作流的需求。在分析指挥网软件系统层次结构以及节点工作流的基础上,提出了一种基于群件技术的设计方案。     

域间流量工程体系结构的研究

随着Internet的快速发展,为了提高网络整体资源的利用率,出现了通过跨域网络性能的优化,达到优化网络资源使用的域间流量工程技术。在分析与评价域间流量工程体系结构研究状况的基础上,提出了面向域间流量工程的RCP体系结构以及今后需要研究的主要问题。     

基于主动知识库的地形图汉字注记智能提取方法

地形图中包含了大量的字体丰富的汉字注记 ,正确提取并识别这些汉字是图纸处理中的关键组成部分。简要分析了交互提取及自动提取两种方法的优缺点 ,提出并实现了一种基于主动知识库的结合两者优点的汉字注记智能提取方法 ,取得了很好的应用效果。