变结构交互式多模型滤波和平滑算法

针对机动目标跟踪问题，提出了一种变结构交互式多模型滤波和平滑算法。首先，对多模型滤波和平滑问题进行了简单描述，并给出了前向交互式多模型滤波和后向交互式多模型平滑的数学模型；然后，建立了变结构交互式多模型算法的精确模型，模型子集之间并行独立运行，通过选取概率最高的模型子集的状态估计作为最终的估计结果；最后，对变结构交互式多模型算法的滤波数据进行平滑处理，得到了变结构交互式多模型滤波和平滑算法。所提算法将前向滤波和后向平滑相结合，提高了目标跟踪精度。仿真结果表明，变结构交互式多模型滤波和平滑算法的跟踪效果优于其他方法。     

游泳教学中的若干心理问题研究

在游泳教学中授课教师通过对初学者心理特点的分析研究,采用行之有效的教学方法,帮助初学游泳者克服恐水心理,培养他们对游泳运动的兴趣,尽快掌握游泳基本技术,把游泳作为今后终身锻炼身体的一个项目。     

可信计算平台测评理论与关键技术研究

可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.     

基于IP网络的集群调度系统的研究

集群通信技术具有快捷、便利、信道共享的优点,能够比传统的通信方式更加适用于跨地市间的通信。但传统的模拟集群通信系统容量较小、不易于联网,且频率利用率较低,因此数字集群系统已成为集群通信的必然发展趋势;本文对集群调度系统的标准体制进行了研究,并介绍了其主要技术IP媒体流、IP组播技术,以提高集群调度系统的服务质量。     

基于通用准则的可信计算支撑软件设计方法

现有的可信计算支撑软件的规范只定义了软件的功能接口,对其要达到的安全功能需求没有明确的描述,这使得可信计算支撑软件的分析和设计没有明确的安全目标.针对这一问题,结合通用准则CC的思想,提出一种可信计算支撑软件的设计方法,通过分析可信计算支撑软件的安全功能需求,并按照功能类、功能族和组件的层次对其安全功能进行了划分,确定功能组件间的依赖关系,完成了可信计算支撑软件原型的设计,能实现密码支持和完整性保护等安全目标.实验结果表明,该软件支持TPM2.0的接口调用,并能够对中国密码算法SM4提供调用支持.     

论高校图书馆电子阅览室服务功能扭曲现象及管理对策

针对一些高校图书馆电子阅览室服务功能扭曲、数字资源利用率不高的现象,提出了相应的对策,并探讨了利用计算机技术规范读者行为的方法。     

煤矿"箕斗罐笼"的设计

将箕斗与罐笼功能合并,设计一种新型的混合提升容器——箕斗罐笼。根据煤矿现场的需求,结合矿井的生产情况,从箕斗罐笼设计所面临的主要问题及约束条件入手,参照现行通用设备尺寸．依据设计实践中的探索过程,叙述了煤矿箕斗罐笼的设计思路。采用这一方法进行矿井改造,工作量小,能够完成中、小型“一井一面”矿井的全部提升任务。     

高职体育选项课的探索与建设——以安徽财贸职业学院为调查样本

以终身体育思想为切入点,以安徽财贸职业学院学生为研究对象,运用文献资料法、问卷调查法、数理统计法和逻辑分析法,对高职体育选项课进行了探索和分析,发现存在着一些问题,制约着高职体育选项课的发展,同时也试图通过我们的调研,使高职体育选项课趋于体育健康教育、素质教育、职业特色教育的协同发展。     

影响高职学生体育选项课选项因素探析

本文就当前高职体育选项课发展中,学生进行体育选项时所受各种因素影响,展开调查,分析研究;确定影响高职院校学生体育选项课选项因素内涵,针对实际情况提出合理建议,为高职体育选项课教学改革提供理论参考。