四阶Fibonacci数列的通项及性质

著名的二阶Fibonacci数列有许多通项表达式和性质.文中运用矩阵方法,对四阶Fibonacci数列进行了比较深入的研究,求得了四阶Fibonacci数列的3个通项表达式,并得到了一些与Fibonacci数列相似的性质.     

广义Fibonacci数列的通项及性质

著名的Fibonacci数列有许多通项表达式和性质。利用数学归纳法和特征方程求根的方法对广义Fibonacci数列Rn 1=uRn vRn-1,R0=a,R1=b进行研究,得到了两个通项表达式和一个性质.     

指控系统总体设计中的车电综合设计

围绕指控系统总体设计中的车电综合设计,描述了车电综合设计的概念。以提高指控系统的一致性、互换性、可维修性和可靠性为目标,提出了相关设计原则。从工程应用和技术实现的角度出发,提出了设计过程中应考虑的方舱布局、供电系统、车辆布线、避雷设计、电连接器选型、线缆选型等多方面的因素及其实现方法。最后,提出了在总体设计前期必须重视车电综合设计的观点。     

HLA数据回放及其可通用性问题研究

为了给HLA分布仿真系统提供运行数据的回放能力并解决各种回放策略都必须面对的数据完备、时序准确、运行高效及回放方法的可通用性等问题,对HLA联邦中的数据回放问题进行了研究,分析了HLA仿真中的回放需求以及HLA对回放实现技术的影响,指出回放方法的可通用性实质上是联邦独立性的概念,研究了将回放数据对象化处理的方法,针对成员式数据回放策略、基于对象序列化技术和成员自动生成技术提出了一种可通用的HLA数据回放实现方案,最后介绍了通用HLA数据回放工具的应用情况。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

制订科学的预防维修大纲加速维修管理科学化

本文探讨了欧洲国家维修团体联盟(EFNMS)第十次学术会议的主题——“维修——为了未来的投资”的意义和内涵.在此基础上,重点介绍了为获取此种投资效益所必需制订的预防维修大纲的方法及其理论依据.     

人手操作的联体计算

机器人的一个重要理论问题是如何控制机械手以获得所需要的运动。本文将人手操作的基本运动,抽象为具有七个构件而有九个自由度的刚体系统,严格地分析了这些运动,并根据实际情况考虑到各构件的重力、控制力和摩擦阻力,因此能完成人手操作的多种功能。而为了便于在计算机上实施运算利用Kane方程建立了以广义坐标表达的运动微分方程,这可作为分析机械手运动的理论依据。     

控制系统故障的智能诊断技术

综述和讨论了故障诊断的模糊逻辑法、神经网络法和模糊神经网络法,并对其研究情况作了展望。     

基于频率补偿的时延估计方法

由于2个测量站的通道幅相不一致而导致送给时延估计器的两路信号的频率有差异,继而影响时延估计和系统定位精度。首先理论推导了频率差异是如何影响广义相关时延估计的,接着应用频域相关函数对频率差异做准确估计和补偿,最后给出了频差补偿后的时延估计方法。以4种常用通信信号为例,仿真验证了不同信噪比下所提出方法的正确性和有效性。