电子书包支持的体验学习活动设计与应用研究

旨在研究电子书包支持的体验学习的活动模型和应用效果。首先通过理论分析提出了电子书包支持的体验学习活动模型,并设计了《校园植物知多少》等3个教学专题,之后在某小学进行了试点实验研究。研究结果表明,电子书包支持的体验学习模型确实有助于提高学生的认知体验、行为体验和情感体验的参与度。     

基于传播模拟的消息流行度预测

社交网络中的消息流行度预测问题对于信息推荐和病毒式营销等应用具有重要意义。该文提出了一种基于传播模拟的消息流行度预测方法,首先使用最大熵模型学习并预测用户转发消息的概率,然后使用独立级联传播模型在真实的社会网络上模拟消息的传播过程,从而完成消息流行度的预测。该方法的优点在于更充分的利用了社会网络的结构和用户特征信息。该文在Twitter数据集上的实验结果表明,相对于基准方法,该文提出的方法具有更高的准确率和稳定性。     

基于语言模型的有监督词义消歧模型优化研究

词义消歧是自然语言领域中重要的研究课题之一。目前,有监督词义消歧方法已经是解决该问题的有效手段。但是,由于缺乏大规模的训练语料,有监督方法还不能取得满意的效果。该文提出一种基于语言模型的词义消歧优化模型,该模型采用语言模型优化传统的有监督消歧模型,充分利用有监督和语言模型两种模型的消歧优势,共同推导歧义词的词义。该模型可以在训练语料不足的情况下,有效的提高词义消歧效果。在真实数据上表明,该方法的消歧性能超过了参加SemEval-2007:task #5评测任务的最好的有监督词义消歧系统。     

陀螺稳定装置载体角振动仿真模型构建方法

建立了坦克装甲车辆行驶角振动和陀螺稳定装置载体角振动关系的数学模型,实现了在坦克装甲车辆行驶振动条件下火炮稳定性能的计算机仿真测试,为评价火炮控制系统的设计提供了一种依据。     

PLC控制电梯教学模型的设计

根据电梯系统的结构特点及控制要求,设计了基于PLC控制的电梯教学模型。详细阐述了模型电梯系统的硬件构成和软件实现方法。试验表明,该实验装置提高了PLC实验课的教学质量。     

基于SVM模型的妫水河叶绿素a浓度的遥感反演

以北京市妫水河为研究区,基于2011年9月25日和2012年9月30日的两期叶绿素a浓度实测数据和准同步的环境一号卫星(HJ-1A)多光谱数据,分别构建一元线性和多元支持向量机模型(SVMM),通过决定系数R²和平均相对误差对模型的精度进行检验,用模型进行水体叶绿素a浓度的反演,并分析其时空分布特征。研究表明:在样本数较少的情况下,SVM具有很强的非线性映射能力,能够取得较好的预测结果,更适用于反演叶绿素a浓度。时间分布上,研究区叶绿素a浓度呈增加趋势,均值上升了6.86 μg/L;空间分布上,深水区叶绿素a浓度值低于浅水区,上游高于下游。国产HJ-1A CCD2多光谱数据以其4 d的时间分辨率,在水质动态变化监测方面具有优势。     

移动传感器随机事件捕获

移动传感器在入侵检测的应用研究中,感兴趣区域主要考虑的是特定形状,如圆形或矩形。由于这种限制,很多研究结论通用性差。研究了感兴趣区域是任何形状的一个环;基于移动传感器的速度,移动模式和数量,建立了一个随机模型;分析多个或单个移动传感器沿环检测的性能。在模型中,当所有移动传感器检测时,它们被置以恒定的速度周期性地沿环移动。对于多个移动传感器,它们的速度都相同。入侵事件的模式为每次入侵到达环上一个随机点,抵达后停留一个随机时间长度。根据移动传感器的数量,导出了移动传感器对入侵漏捕概率和首次捕获入侵所需平均时间的一般表达式。最后,评估了移动传感器的检测性能。     

FC-AE-ASM网络的模糊可靠性研究

针对目前FC-AE-ASM(fibre channel avionic environment anonymous subscriber messaging)网络可靠性计算问题, 以网络任务模型为基础, 提出了FC-AE-ASM网络的模糊可靠性模型。该模型主要分析了FC-AE-ASM网络的三种基本拓扑, 得出了这三种结构的模糊可靠性表达式。同时, 结合串并联的推导方法, 推导出了FC-AE-ASM冗余网络的模糊可靠性计算式。对实例的计算结果表明, FC-AE-ASM网络模糊可靠性的改善取决于关键因素, 并且基本路径冗余网络在自身网络可靠性较高时与全网冗余网络性能基本相同。     

基于STL文件的Laplacian网格优化算法

针对直接重构得到且以STL文件格式存储的网格模型质量不高的问题, 提出了一种基于Laplacian坐标的网格模型全局优化算法。该算法在提高三角面片质量的同时可以很好地保持原网格模型的局部几何特征, 其核心思想是通过在最小二乘意义下求解由权重控制的包含顶点位置和拉普拉斯坐标双重约束的线性系统来对网格顶点进行重新定位。从实验结果可以看出, 该算法较以往的Lapacian优化算法在对网格细节特征的保持上有一定优势。     

基于本体的特征模型演化的一致性验证

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。