车载导航系统动态高精度初始对准技术

针对载车在运动状态下的初始对准问题,提出了利用航位推算算法进行精对准的新方法,阐述了航位推算轨迹和真实轨迹相似的原理。在载车初始粗对准之后,行驶一段路程到达一位置已知点,由航位推算结果并运用相似性原理求出初始粗对准的航向误差角,从而修正航向角达到精对准的目的。最后通过跑车试验验证了对准方法的有效性,当载车起始点和位置已知点间距离为6 km左右时,初始对准航向角可达到角分级精度。     

基于操作系统的动态库分析及移植方法

在操作系统中都有动态库的概念,而采用动态库可以有效地减少应用程序大小,节省空间,提高效率,增加程序的可扩展性,便于模块化管理 但不同系统的动态库实现机制不同、格式不同,在不同操作系统调用时要进行动态库程序移植 分析和比较两种操作系统动态库技术,并将VC++编制的动态库移植到Linux上     

关于双Cω-半群的同余格

本文将讨论得出双Cω-半群的迹为τ1和τ2最小同余的具体情况,进而分析出双Cω—半群的同余格的子格[ρT,ρT]的结构.     

创新管理模式,推进公路工程科学发展——浅谈新形势下公路工程管理模式的转变

文章结合公路工程实际,介绍了当前公路工程管理现状及传统管理模式所存在的问题和形成原因,提出了根据实际改革创新的"小业主、大监理"管理模式,并通过对两种管理模式的对比,阐明了"小业主、大监理"管理模式在公路工程管理中的优越性。     

VaR及投资灵敏度分析

VaR是一种处理非线性问题、概括证券组合市场风险量化的工具,它解决了传统风险定量化工具对于非线性的衍生金融资产适用性差、难以概括证券组合的市场风险缺点,有利于测量和管理金融风险.通过简要介绍VaR的概念、性质及特点的基础上,对VaR关于投资组合的灵敏度进行了深入分析,给出了VaR关于投资组合一阶、二阶导数的解析表达式,进而说明了VaR的凸性利用.     

双Cω一半群由同余对生成的最小正规同余

双Cω一半群中由同余对生成的最小的正规同余的同余类可以归纳为两种情况:τ1和τ2,由此可得双Cω一半群的最小正规同余图.     

对称群 S4 及其正规子群A4、K4的若干性质

本文讨论了四个字母的对称群S4及其正规子群A4(4次交错群)、K4(Klein四元群)的若干性质,分析了它们之间的一些关系.     

高等数学课程思政建设与教学实践

通过梳理课程思政的内涵、特点及课程思政融入高等数学教学的研究现状,分析了在青海师范大学进行高等数学课程思政建设的必要性;提出将学生日常行为管理、课程具体知识点、国家重大科技成果作为课程思政融入高等数学教学的3个切入点,并辅以7个实例说明;最后给出了高等数学课程思政建设的教学实施策略.