基于UML的CITIS建模分析

该文对‘恃续采办与寿命周期保障”(Continuous Acquisition and Life-cycle Support,CAL5) 战略的核心组成部分——承包商综合信息服务(Contractor Integrated Technology Information Service,CITIS)进行了建模分析。根据承包商综合信息服务在实现‘特续采办与寿命周期保障”中的作用提出了CITIS的参考结构,并采用面向对象的分析方法,从分析CITIS系统需求、静态结构模型和动态模型三个方面提出了一种基于标准化建模语言(UML)的CITIS建模方案, 对于采用C++、Java等面向对象语言编程构建系统有重要的参考价值。     

一种新型数字高精度伪码快速捕获延迟锁定环的设计与实现

介绍了一种新型全并行快速捕获延迟锁定环的设计与FPGA实现,捕获时间小于等于一个伪码周期,抗干扰容限大于80 dB。此快速捕获延迟锁定环实现127路全并行捕获和高精度跟踪,仅需存储130个PN码表,相对于其他并行捕获延迟锁定环或串并结合的环路,存储量约小2/3,并具有较高捕获精度。     

利用改正数信息的北斗三号实时精密单点定位及性能分析

北斗三号全球卫星导航系统已正式建成并开通服务。为了利用实时改正数信息系统地揭示北斗三号精密单点定位性能，并为用户提供理论依据和应用参考，首先解算了卫星实时精密轨道、钟差及其改正数，分析了其精度。然后基于实时改正数信息，利用监测站广播星历和观测数据，分别进行了双频静态、双频仿动态、单频静态和单频仿动态仿实时精密单点定位，以评估其性能。结果表明：北斗三号MEO卫星实时轨道和钟差精度均值分别约为12cm和0.2ns，满足实时精密单点定位需求。静态实时精密单点定位精度优于动态，双频优于单频，均可达到分米级。对于定位收敛时间，双频静态最短，约为40min；双频动态和单频静态均约为85min；单频动态最长，约为120min。     

基于改进A^*算法的无人机快速轨迹规划方法

针对旋翼无人机在三维障碍物环境中自主飞行时路径搜索速度慢、轨迹生成通常忽略无人机动力学特性的问题,发展一种基于改进A^*算法并同时考虑无人机动力学特性和运动学性能的快速轨迹规划方法。首先,在三维障碍物环境中运用改进A^*算法通过剔除部分网格节点降低A^*算法的节点计算量,提升算法的路径搜索速度;其次,以最小化飞行轨迹的四阶导数作为目标函数,以路径点处的位置、速度、加速度等各阶导数作为约束条件优化飞行轨迹;最后,在三维障碍物环境中对比A^*算法改进前后的路径搜索结果,并对优化的飞行轨迹进行仿真飞行测试。结果表明:改进A^*算法大幅降低了A^*算法的节点计算量,显著提升了路径搜索速度;且无人机能够始终以较小位置误差沿优化轨迹光滑连续飞行。     

模糊关联方法在齿轮箱故障诊断中的应用

模糊关联度故障识别方法是运用灰色系统理论与模糊数学隶属函数相结合，克服了故障诊断的模式向量中参数量纲不同、数量级差异的缺点，综合了灰色系统理论和模糊理论的优点，使故障诊断识别的多参效法更加完善。但此种方法的关键是隶属函数建立的可靠性，关系到故障诊断的准确程度。     

开关寿命连续型不可修冷、温贮备系统的可靠性分析及其随机模拟

本文对由n个部件组成的、开关寿命为连续型随机变量的不可修冷、温贮备系统作了可靠性分析,建立了这两类系统的一般模型,给出了冷贮备系统可靠度R_n(t)及平均寿命MTTF的一般形式解。并在指数分布场合下,给出了R_n(t)及MTTF的解析表达式。当部件贮备寿命相互独立同分布时,温贮备系统可以通过一个虚设的开关变量而归结为冷贮备系统。对一般的贮备系统,可以运用数理统计方法,根据样本给出R_n(t)及MTTF的估计。文末利用随机模拟方法,构造所需样本,便可获得R_n(t)及MTTF的数值估计。实例表明,随机模拟的结果是令人满意的。     

论“以人为本”的高校音乐教育

高校音乐教育的育人功能主要体现在对大学生的品德、智力、身心、审美等多方面的影响与熏陶,促进大学生德智体美全面发展。高校音乐教育要充分发挥其育人功能,必须坚持“以人为本”,树立音乐教育大教育观,强化“以学生为本”的教学理念,倡导“音乐生活”观。     

基于被动复制方式的容错CORBA模型

容错CORBA(Common object request broker architecture,公共对象请求代理体系结构)是OMG(Objectmanagement group,对象管理组织)为了给分布式系统带来容错特性而对通用CORBA所作的一个扩展。文中首先介绍了基于被动复制方式的容错CORBA模型——PFORBUS,针对其中主服务器的重要性,该模型提出了一个主服务器选择算法,该算法基于三角模糊数对不同服务器的可靠性进行评价,从而找出可靠性评价值最高的服务器作为主服务器。然后详细介绍了PFORBUS模型在该算法支持下的相关工作,包括系统初始化、正常工作流程及主服务器失效后的处理等。最后对该模型采用不同主服务器选择算法的情况进行了仿真,并取得了较好的效果。     

Marty正规定则的推广

为区域Ｄ上的亚纯函数族，族中每一个函数ｆ只有重级≥ｋ（ｋ∈Ｎ）的零点，是区域Ｄ上的正规族当且仅当，存在一个至少包含ｋ＋４个元素的集合ＥＣ∪｛∞｝，使得对Ｄ的任一紧子集Ｋ都存在常数Ｍ（Ｋ）（依赖于Ｋ），对一切都有特别地，对区域Ｄ上的全纯族，Ｅ只要包含３个有穷元素。定理推广并改进了Ｍａｒｔｙ正规定则以及李松鹰和谢晖春关于只有重级≥ｋ的零点的亚纯函数族的一个正规定则。     

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。